c or 58?
58
Suppose 0 = -2*r - 282 + 60. Do r and -112 have the same value?
False
Suppose h - 3*l + 12 = 0, 0 = -2*h + 5*l - 3 - 21. Let p = 9 + h. Suppose -7 = 3*r - 4. Is p less than or equal to r?
True
Let m = 1031 - 1740. Is 0.1 <= m?
False
Let k be ((-7)/2)/((-1)/2). Let c = k + -11. Suppose -12*x + 7*x - 65 = 8*x. Which is greater: c or x?
c
Let a be (-1124)/120 + (-1)/12*-2. Which is bigger: a or -8?
-8
Let h = -619 - -623. Which is bigger: 1.3 or h?
h
Let s = -7 + 13. Suppose -15 = -3*n - s. Suppose o - 5 = -v, -n*o + 5*o = 10. Is v smaller than 0?
False
Suppose 0 = -6*o + o - 30. Let y = o - -2. Let m be 18/(-60) - (-2)/y. Is 0 less than m?
False
Suppose 0 = -33*a + 35*a. Which is greater: a or -1?
a
Suppose -27*s = -56*s - 29232. Are s and 1/2 non-equal?
True
Let k = -9 - -9.02. Let n = 0.08 + k. Let m = -0.1 + -3.9. Which is bigger: n or m?
n
Let t = -24 - -44. Let i = 30 - t. Is i <= 10?
True
Suppose 0 = -4*n - 26 + 54. Let b be 4 + -5 + n/9. Are b and 1 non-equal?
True
Let u = -1 - -4. Suppose 0 = 3*s + u*r - 21, 3*s - 4 = -s + 4*r. Suppose -5*a - 59 - 21 = 4*q, -s*a + 4*q = 100. Is -19 greater than or equal to a?
True
Let i be (-5 - 1) + 5 - 3*3. Let x be i/(-45)*-3 + -1. Do -1 and x have different values?
True
Let a be 6/8*40/12. Suppose -56 = -8*p + 12*p. Let x be (-46)/p - 6/21. Which is smaller: x or a?
a
Let r = 7 - 0. Suppose 2*v - r*v + 55 = 0. Let z = 15 - v. Are 3 and z unequal?
True
Let p = 0.515 - -0.485. Are p and -873 non-equal?
True
Let g = 1.6 - 1. Let n = -3.6 + g. Let r = 0.592 - 0.792. Is r greater than n?
True
Let n be 1*4/32*(-10)/5. Is 169 at most as big as n?
False
Let m be (-2 - -97) + (-5)/(10/(-4)). Let j = -63 + m. Is 35 < j?
False
Let y be (-5)/((0 - -1)*-1). Suppose j = -5*w + 1265, -416 = y*w + 5*j - 1701. Let n = -2013/8 + w. Is 1 at most n?
False
Let c = -379994/17 + 22372. Is 1 bigger than c?
False
Let v = -13.5 + 13.7. Let c = -0.3 + 3.3. Which is smaller: v or c?
v
Let t = -438 - -445. Which is smaller: 59/9 or t?
59/9
Let f = 495 + -440. Which is smaller: 335/6 or f?
f
Let o = -33 + 33.25. Let r = -1.15 + o. Is 0 <= r?
False
Suppose 20*u - 433 = 567. Which is smaller: u or 52?
u
Suppose -4*v + 46 + 26 = 0. Let d(i) = 2*i**2 - 8*i - 6. Let z be d(6). Is v bigger than z?
False
Suppose -5*l - 4*p + 736 = 0, l - 136 = -2*p + 4*p. Does l = 149?
False
Suppose 2*a = -5*p - 38, -7*a + 4 = -3*a. Suppose -24*w - 150 - 18 = 0. Which is smaller: p or w?
p
Let w = -147 - -142.44. Let b = w + 4.6. Let j = 0 - 0. Is j >= b?
False
Suppose 0 = -v - v + 42. Let s be (-34)/(-119) - 8/v. Suppose 5*g + c - 3 = 0, 0 = -5*g - c + 2*c + 7. Is s at least as big as g?
False
Let j = -350 - -339. Are j and -11 equal?
True
Let s(r) = -r**2 + 14*r + 2. Let v be s(14). Let z be 2/v*3 + -2. Suppose 2*l + 9 = -3*h + 2*h, -l = 4*h + z. Is l at least as big as -5?
True
Let v(r) = r**2 + 2*r - 1. Let p be v(-3). Let k(d) = -4 - 3*d + d**p + 4 - 6*d + 3. Let l be k(8). Which is smaller: l or -4?
l
Let f be (-25069166)/140 - 8/28. Let r = f + 179071. Let l = r + -36/7. Does 1 = l?
False
Let r = 721 - 18034/25. Suppose 3*s + 2 = -l, 9*s + 8 = 7*s - 2*l. Which is smaller: r or s?
r
Suppose n + 3*n = -28. Let h = 9 + n. Suppose 4 = -h*u + u. Is -1 bigger than u?
True
Suppose -2*k = -p - 10, 2*p - 19*k = -18*k - 5. Is -5/54 < p?
True
Suppose -2*m + 8 = -42*j + 41*j, -4*m + 16 = j. Which is smaller: 3 or m?
3
Let r be 73/474 + (-7)/((-84)/(-8)). Let x = r + 1/79. Which is smaller: 1.5 or x?
x
Suppose -24*w = 40 + 8. Is 2/133 greater than w?
True
Suppose -3*f = 4*u - 3129, -786 = 2*u - 3*u + 3*f. Are u and -0.1 equal?
False
Let y = 2.49 - 2.6. Let k = 1.44 - -0.56. Which is smaller: k or y?
y
Suppose 10 - 11 = c, -4*m + 4*c = -16. Let a be -3 - -5 - (m + 0). Is a greater than -1/115?
False
Let z(x) = x**3 - 5*x**2 + 5*x - 5. Let r be z(4). Let c = 1023/4 - 766/3. Is r >= c?
False
Let m = -358 - -680. Let z be 4/(-2) - (m/63 + -6). Do z and -1 have the same value?
False
Let n(b) = -b**2 + 6*b - 7. Let r be n(4). Are r and 3/148 non-equal?
True
Let k = -13 - -20. Let s(b) = -b**2 + 6*b + 9. Let t be s(k). Suppose 3*c = t*p, 0*c + 4*c = 4*p + 4. Which is smaller: c or 1/3?
c
Suppose 14*n - 396 = -382. Which is smaller: n or -4/23?
-4/23
Suppose -j = 5*o - 13, j - 12 = -6*o + 2*o. Let p be (1 + j/(-14))/(48/(-64)). Which is greater: p or -1?
p
Suppose -16*l - 70 = -11*l. Let a be (l/231)/((-4)/9). Let x = a - 65/154. Which is smaller: x or -1/3?
-1/3
Let p be (-3)/(-12) + (-5)/4. Let x = -0.68 - -0.68. Which is smaller: x or p?
p
Let y = 11.3 - -815.7. Is -2/7 less than or equal to y?
True
Let r = 108/113 - 26799/27685. Which is smaller: r or 0?
r
Let k be 1/((-6)/(-2100)) + (-13 - -6). Which is smaller: k or 342?
342
Let r be ((-6)/15 + 1)*45. Suppose -5*f - 2*n - 22 = 2, 5*n - r = 2*f. Is f less than -5?
True
Let k(y) = y**2 + y + 21. Let n be k(0). Let h(p) be the second derivative of -p**5/20 + 5*p**4/12 + p**3/2 + 3*p**2 - 17*p. Let z be h(5). Is n != z?
False
Suppose -133 = -3*k + 62. Let w = 60 - k. Which is bigger: -56/9 or w?
w
Suppose 2*d + 3*m = -0*d - 284, 12 = 3*m. Is d at least -147?
False
Let y = -2.29 + -0.11. Let q = y + 2.3. Which is smaller: 11/3 or q?
q
Let c = -42 + 34.6. Let t = c + 7.7. Are t and -9 equal?
False
Suppose -5*a - 34 = -3*w, w - 3*a - 38 = -3*w. Let d = 26 + w. Is d > 35?
False
Suppose 60*h = -13*h + 40369. Is h at most 553?
True
Let l(f) = 7*f + 1. Let j be l(-1). Let a be (-4)/j*(-63)/(-14). Suppose -r = -z + 10, 2*z = -a*r - 0*z - 45. Which is smaller: r or -14?
-14
Let c(o) = o**2 - 10*o + 14. Let h be c(11). Let b = -1 + h. Which is smaller: b or 25?
b
Let h = -2751 - -244840/89. Which is smaller: h or -1?
-1
Let u be (114/(-57))/((-2)/(-9)*3). Is -15 equal to u?
False
Let p = 39 - 28. Suppose -6*s + 7 = -p. Suppose -s*h + 20 = 5*d, 4*h - 23 = -0*d - 3*d. Are d and 2/19 nonequal?
True
Let j be (-315)/(-144)*8/(-40). Do j and -2/5 have different values?
True
Let p = 57 - 54. Which is greater: p or -40?
p
Let x = 24 + -25.1. Let n = -29.9 - -33. Let a = x + n. Is a greater than 2?
False
Let v = 40 + -20. Let y = v + -17. Is y != -7?
True
Let j(i) = 2*i**2 - 12*i + 5. Let h be j(6). Suppose 3*m + 6*s + 8 = s, 0 = 4*m - 2*s - 24. Suppose d + h = m. Are 1/9 and d non-equal?
True
Let g be 0/(6 - (1 + 7)). Which is greater: g or 1/130?
1/130
Let k(q) = -11*q - 2. Let p be k(-1). Let o(w) = 0 + p + 2 + 0*w + 2*w. Let f be o(-6). Do -2 and f have the same value?
False
Suppose -523 = 14*f + 261. Is f less than or equal to 2/9?
True
Let t(s) = -s**3 + 10*s**2 - 9*s. Let l be t(9). Suppose 3*m - 6*m = l. Let c = 2 - m. Is 3 bigger than c?
True
Let x = 1586/7 + -1590/7. Suppose -4*m - 3*y + 20 = y, 3*m - 5*y - 7 = 0. Let r = 2 - m. Is r greater than x?
False
Let t(k) = 6*k - 56. Let v be t(9). Is 1 greater than v?
True
Let b be (-9)/(-6) - 14/4. Let l be (-3)/3*(b + -1). Let g = -321/5 + 338/5. Which is greater: g or l?
g
Let j(x) = -6*x. Let r be j(-1). Suppose 3*q = r*q - 63. Suppose 4*w - 3*a - 1 - q = 0, 0 = -2*w + 5*a + 18. Is 5 less than w?
False
Let i = 334 - 349. Is i greater than -4?
False
Suppose 0 = -c - c. Let r be -8*(-2)/36 - (-1)/(-3). Which is bigger: r or c?
r
Let s(o) = -o**3 + 6*o**2 - o + 10. Let h be s(8). Let x be (-6)/27 - (-152)/h. Are x and -1 non-equal?
True
Let p be 0 + 12/(-9) + 1. Let b = 0.8 - 0.2. Let g = -0.4 + b. Which is smaller: g or p?
p
Let m = -8 - -7.97. Let q = m - 0.87. Let p = q + 1. Which is smaller: p or -0.6?
-0.6
Let r = 26423/65 + -2036/5. Let b(u) = u - 8. Let i be b(6). Which is smaller: r or i?
i
Let l(v) be the second derivative of v**3/2 + v**2/2 - 54*v. Let h be l(-1). Which is smaller: -47 or h?
-47
Let c = 9 - 11. Suppose 4*r - p + 31 = 0, -9 = 2*r + r + 4*p. Let s be (16/(-96))/(r/(-8) - 1). Is s < c?
False
Let h(q) = -q**2 - 9*q + 20. Let n be h(-11). Is n smaller than -3?
False
Let v = 106.66 - 106.6. Is -0.045 at most as big as v?
True
Let m = 656 - 682. Is m > 1/3?
False
Suppose 4*q - 4 = -4*p, 0 = p - 3*p - 4*q + 2. Let d be 1 + 4 + (0 - (2 + -1)). Suppose -b = -5*b + d. Is b less than p?
False
Suppose 0 = 6*p - 2*p + j - 10, -j - 4 = -3*p. Suppose -p = -5*y + 8, 5*n + 3*y + 14 = 0. Let l be -3 + ((-21)/6 - -3). Which is smaller: n or l?
n
Let r = 92