-24. Suppose -4*u + 58 = -o. Suppose -2*h - 3*h + u = -d, 3*h = -2*d + 14. Is d not equal to 3?
True
Suppose -5*s - 10 = 3*p + 24, 0 = 4*s + 2*p + 28. Is 0 smaller than s?
False
Suppose 3*f - 2*v = -0 + 11, 2*v = -3*f + 31. Suppose 5 = 4*q - f. Let i be 0 - (-4)/(-30)*q. Is i greater than 0?
False
Let v = -12 + 18. Are 4 and v equal?
False
Suppose -5*d = -5*r - 20, -3*d - 8 = d + 4*r. Is 2/73 smaller than d?
True
Suppose -g + 5 = 2*m + 2*m, -10 = -2*g + 2*m. Which is greater: -5 or g?
g
Let z = -15.7 - -16. Suppose -t - 3 + 2 = 0. Which is bigger: z or t?
z
Let i be 1 - (1 + -3)/1. Let v(h) = 11*h**2 - 1. Let b be v(1). Suppose i*n - n + b = 0. Is -4 bigger than n?
True
Let m(y) = -y**3 - 2*y**2 + 3*y + 3. Let r be m(-4). Which is smaller: 22 or r?
22
Let m = -2/289 - 275/2023. Let p(j) = j**2 + 6*j + 1. Let r be 1/1 + -1 + -6. Let a be p(r). Is a bigger than m?
True
Let d = 1 + -9. Let p = 9 + d. Which is smaller: p or 2/7?
2/7
Let q = 4 + 1. Suppose 2*o + 1 - q = 0. Is o bigger than -3?
True
Let p be (-1)/((1 + 0)/1). Let o = -1 - -1.06. Let l = o - -0.94. Is l > p?
True
Suppose -3*r = -r. Is -1/6 < r?
True
Suppose 0*f = -2*f - 60. Let r be (4/f)/(2/6). Is r at least 0?
False
Suppose 8 = -2*f - 4*s, -3*f + 4*s = 6 + 6. Let t be (2/6)/(f/(-12)). Which is smaller: t or -1/6?
-1/6
Let z = 1 - 0. Suppose q - 1 = 1. Suppose 0 = -2*p - 3*k - 12, 18 = -5*p - 4*k + q. Are z and p equal?
False
Let n = 3/14 + -37/42. Are n and 8 non-equal?
True
Let y = -0.032 - -1.032. Is y > 1?
False
Let g = 0.7 - 0.7. Let u = g + 0.2. Let m = 0.3 + -0.1. Is u less than or equal to m?
True
Let b = -1 + 1.2. Let t(k) = k**2 + 13*k - 8. Let d be t(-8). Let p be 6/(-33) - d/22. Do p and b have different values?
True
Let u = -8 - -7.94. Let k = 0.11 + -0.07. Let j = u - k. Is j >= -0.1?
True
Let a be (-4)/(-21)*(-12)/8. Let n = 53.9 + -57. Let m = n - -3. Which is smaller: m or a?
a
Let h be -5*(-2 - 6/(-2)). Let r be 4*1*4/2. Let j be (10/(-36))/h*r. Is j equal to -1?
False
Let m = -22.4 + 5.4. Which is smaller: m or 1?
m
Let u be 2 + (-4)/33 - 1. Let q = -6/11 + u. Which is bigger: q or -4/5?
q
Let u be ((-1)/12)/((-3)/(-6)). Let g(k) = 5*k - 56. Let r be g(11). Is u at most r?
False
Let c(m) = -2*m - 11. Suppose -5*n = -3 + 43. Let s be c(n). Suppose 3*b + 17 = s. Is -4 greater than b?
False
Let c = 15 - 14. Is c not equal to 2?
True
Let v be 24/(-10) + (-4)/(-10). Let d(i) = i**2 + 4*i - 3. Let k be d(2). Let h be v/3 + (-3)/k. Is h < -1?
False
Let w be -7*((-4)/8)/(-1). Is w <= -4?
False
Let p = 0.107 + 0.093. Is p not equal to 31?
True
Let k be -15*1*3/(-9). Let p(h) = -h**2 + 2*h + 5. Let b be p(k). Let f = -7 - b. Which is smaller: f or 2?
2
Let k be ((-2)/(-8))/((-6)/(-8)). Which is bigger: -1 or k?
k
Suppose 0 = -2*r + 12 - 4, -5*h + r - 9 = 0. Which is smaller: -6/11 or h?
h
Let w = -1 + 3. Let n be ((-2)/(-2))/(w - 0). Let q be (-4)/18*(-12)/(-8). Which is bigger: q or n?
n
Suppose -2*m - 4*r - 8 = -0*r, -5*m + 4*r = -22. Suppose 3*k + 7 = 5*n, 0*n + m*k + 3 = 5*n. Which is smaller: -2/33 or n?
n
Let o be 1*13 + 13 + -16. Is 9 <= o?
True
Let p(d) = d**3 - 2*d**2 + d + 4. Let j be p(3). Let n = j - 13. Are n and 4 equal?
False
Let q be (52/39)/(20/6). Let t = -2 - -4. Let p be (-1 + t + -1)/(-2). Which is smaller: q or p?
p
Let l be (-2)/(-6) - (-16)/24. Let w(z) = -1 - z - z**2 + l. Let o be w(0). Is o not equal to -7/5?
True
Let w(q) = q**3 - 5*q**2 - 4*q - 7. Let h be w(6). Suppose 19 = -x + 4*t, -5*x = -0*x + h*t - 30. Which is bigger: -1/7 or x?
x
Suppose 2*d = -4*q + 16, q - 4 = -5*d - 0. Suppose 0 = g + g + 5*f - 21, 3*g - f - 57 = 0. Let x be g/(-10) - (-7 + q). Is x equal to 0?
False
Let u = 0.43 + -1.43. Which is smaller: u or -0.01?
u
Let c = -51 - -54. Is -2/17 equal to c?
False
Let y(v) = v. Let r(p) = p**2 + 3*p + 1. Let j(c) = 2*r(c) - 9*y(c). Let f be j(2). Suppose 0*g + g = 3*q, -g + f*q = 0. Is g bigger than -1/8?
True
Let r = -12 + 15. Let d = r + -4. Is -1 < d?
False
Suppose 3*b = 4*d - 9, 0*d - 15 = 5*b - 3*d. Let s be ((-2)/b)/((-2)/3). Is -1 greater than s?
False
Suppose 0 = 2*c - 7*c + 35. Let l = -8 + c. Are -1 and l nonequal?
False
Suppose -2*n + 3*s + 19 = 0, 1 + 3 = 2*n + 2*s. Suppose -8 = d - n*d. Suppose d*a = 2*k - 2, 5*a = k - 3 - 2. Is -3/5 at most as big as k?
True
Suppose -27*l - 12 = -30*l. Let w be (-5)/((-30)/21)*l. Is 13 greater than or equal to w?
False
Let w = -49 - -32. Which is bigger: -18 or w?
w
Let i = -1 + 0. Let r = i + -6. Let b = -7.3 - r. Which is smaller: -2/3 or b?
-2/3
Let c = 2.7 + -5.5. Let k = c - -3. Is 2 equal to k?
False
Let n = 0.45 + 0.55. Which is bigger: -19 or n?
n
Suppose -4*o + 19 = 6*p - p, o + 14 = 5*p. Suppose 2*a - 35 = -p*a. Which is smaller: a or 8?
a
Suppose 12*o - 52 = -o. Which is smaller: o or 66/17?
66/17
Suppose -4*d + 4 = p, -4*p + 1 = 4*d - 3. Let y be -2 + (p/(-2))/(-1). Suppose -5*f - 3 - 2 = 0. Which is bigger: f or y?
f
Let j = 523/402 - 9/67. Is 2 less than j?
False
Let n = -36 - -36. Is -1/35 greater than n?
False
Suppose 6 = 4*l + 38. Let d = l + 17. Let o be 6/9 + (-2)/d. Which is greater: o or -1?
o
Let v be (16/(-20))/(3/(-90)). Let d be 8/v + (-17)/33. Is -1 < d?
True
Suppose -5*c + 3*c = 6. Let r(y) = -y - 6. Let x be r(-11). Suppose -x*o = 12 + 3. Are o and c unequal?
False
Let v = -27 + 31. Is 3 less than v?
True
Suppose 12*y = 8*y + 8. Let g be (-3 + 2)*(y - 1). Which is bigger: g or -7/6?
g
Let s(p) = p**3 + 6*p**2 + 4*p - 4. Let q be s(-5). Let i be (1/3)/1*3. Let a be 11 - 8 - (i + 0). Is q greater than a?
False
Let o = -12 + 10. Let h = -5 - o. Are -2 and h nonequal?
True
Let g(r) = -r**2 - 3*r - 1. Let t be g(-3). Let s be (-78)/(-260) + 1/6*-1. Which is greater: t or s?
s
Let l = 2824/37395 - 2/1385. Is l at most 0?
False
Suppose -p + 21 = -t - 6*p, -4*t + 3*p + 8 = 0. Do -1/8 and t have the same value?
False
Let q = -1 - -3. Let n = -1 + q. Does -1/2 = n?
False
Let z = 103/7 - 15. Is -18 >= z?
False
Suppose y = -2*d + 2, 0 = -4*y + d - 4 + 3. Let q be 1 + -2 - 8/(-4). Let n be 2*(-1 + q/2). Is y greater than n?
True
Suppose 2*n = 4*n. Suppose 5*j + 20 = -5*h, 0 = 5*j - h - 0*h - 4. Is n less than or equal to j?
True
Suppose 0 = 5*u + 35 - 5. Let g = 2 - u. Let m = g + -3. Which is smaller: 4 or m?
4
Suppose 3*r + 7 = j + 7*r, -3*j + 5 = -4*r. Suppose -3*z - j = -0. Let n be (9/6 - 3)/2. Is z < n?
True
Let x(q) = 3*q + 1. Let n be x(1). Suppose -3*t + n = -t. Suppose -t*c + 8 = -0. Is 3 smaller than c?
True
Let r be ((-1437)/(-1256))/(3/(-2)). Let y = r + 2/157. Suppose -3*h = -6*h - 6. Is y > h?
True
Suppose b - 7*b = -30. Is 7 at most b?
False
Suppose -4*r = 2*t - 6, 2*t - 7*t + 5*r + 45 = 0. Let h = -3 - t. Is h at least -9?
False
Suppose 0 = 4*d + 3*r + 120, -5*d + 4*r = -44 + 163. Is -28 > d?
False
Let z = 105 - 104. Which is smaller: 1/199 or z?
1/199
Let z(q) = q - 4. Let j be z(3). Let x be ((-352)/174 - j) + 1. Which is greater: 0 or x?
0
Suppose 2*x + 1 = 5. Suppose -6 = -u + x*t, 2*u + 1 = 2*t + 9. Are 1/2 and u non-equal?
True
Suppose -x - 4 + 1 = 0. Suppose 4*i - 17 = -b - 0*b, 0 = -b - 5*i + 22. Is x at most as big as b?
True
Let j(r) = -r + 1. Let y(d) = -d**2 + d - 1. Let c(n) = -3*j(n) - 4*y(n). Let p be c(1). Suppose 3 = -s + p*s. Is 3 < s?
False
Let u = -17 + 30. Let x = u + -8. Let t = 6 - 2. Is x smaller than t?
False
Let j(m) = -m**2 - 2*m + 3. Let p(k) = 2*k**2 + 6. Let h(g) = g**2 + 3. Let l(i) = 11*h(i) - 6*p(i). Let d be l(0). Let n be j(d). Which is bigger: -2/9 or n?
n
Let n = 7 + 1. Suppose -8 = -4*y - 2*c, 0 = y - 5*y - 4*c + n. Suppose -6*v + 4 = -2*v. Which is smaller: v or y?
v
Let v = -0.996 - 0.004. Let k = -5.07 + 0.07. Which is smaller: v or k?
k
Suppose -2*c - 8 = 2*c. Let s = c - -2. Let j be ((-8)/(-14))/((-60)/(-42)). Which is greater: j or s?
j
Let a = -0.2 + 0.3. Let q = 3.1 + -1.7. Which is smaller: q or a?
a
Let q = 0.14 + -11.14. Let h = q - -10.9. Is h not equal to -0.1?
False
Let v = -2 - 1. Let l be 2/v - 60/18. Let f be ((-7)/(-14))/((-1)/l). Which is greater: 4 or f?
4
Suppose 3 - 5 = -l. Suppose -5*j + g = -66, -l*j + j = 4*g - 30. Which is smaller: 13 or j?
13
Let s be (-6)/(-10) - (-12)/(-20). Which is bigger: s or 7?
7
Let b = -17 + 14. Let j = -1 - b. Is j at least -1/3?
True
Suppose 5*u - 4*v = -51,