). Is -418 not equal to h?
True
Suppose -2*c = -264*m + 265*m + 905, -4*m - 2*c - 3608 = 0. Is -902 less than m?
True
Let d be 6/8*(-5712)/(-153). Which is smaller: -2 or d?
-2
Let p be -4 - (1 - (102 - 1)). Let u be (-128)/p*(0 - 9/(-62)). Are u and 0 nonequal?
True
Suppose 41*g + 5360 = 25*g. Is g greater than -336?
True
Suppose 0 = 23*j - 26*j - 33. Is j < -4?
True
Suppose 0 = 25*p - 23*p + 10. Is -1 at least p?
True
Suppose 2*u + 3*u - 53 = 4*n, -43 = 2*n + 3*u. Let t = 21 + n. Suppose -t*q - 2*d - 28 = -2, -2*q = 3*d + 15. Is q <= -2?
True
Let x = 2.82 - 5.82. Is 15 at most as big as x?
False
Let o = -59 - -62. Let w be (0 - 1/o)/(2/(-42)). Let v be 2*4 + (-3)/3. Is w at most as big as v?
True
Let n(m) = -4*m**2 - 2*m + 15. Let q(w) = -3*w**2 - 3*w + 14. Let t(d) = 4*n(d) - 5*q(d). Let f be t(5). Which is smaller: f or -2/49?
-2/49
Suppose 11*h + 5 = 12*h. Suppose -n + 4*x = -x + 5, n = 3*x - h. Which is greater: -7 or n?
n
Let p be 1/(-216)*(-204)/(-153). Which is smaller: 0.1 or p?
p
Let b = 11 + -9. Let y(k) = k**2 + 2. Let l be y(b). Suppose -l = 5*r - 16. Is r equal to 1?
False
Let t be (-5551)/10738 + (1/2 - 0). Which is smaller: t or 1?
t
Let i = 65/187 + -9/17. Let p = -11 + 17. Let b be (7/(-63))/((-2)/p). Which is bigger: b or i?
b
Suppose 1 + 94 = -f. Let n = 80 + f. Which is bigger: n or 1/4?
1/4
Let w = -53 + 58. Suppose -5 = 4*d - w*s, 2*d = s - 0*s - 1. Is d <= -6?
False
Let a(y) = -y**3 - 4*y**2 + 2*y - 1. Let s be a(-5). Let k be 18/(-63) - (-529)/s. Let d = k - 1129/30. Which is smaller: 0 or d?
d
Let n be (-1346)/30 - (-186)/(-1395). Does n = -50?
False
Suppose 61*x + 5 = 66*x. Is x < 64/27?
True
Suppose -9*r + 8*r - 31 = 0. Which is greater: -414/13 or r?
r
Let d = 0.4 + -0.21. Let p = d + -0.09. Does 23 = p?
False
Let l = 36.24 - -0.76. Let z = 36.83 - l. Let n = z + 0.37. Is n bigger than 0.1?
True
Let s be -6*((-20)/(-8))/(-5). Let u be s + (95/(-1) - 0). Let i = u - -1562/17. Which is bigger: i or -1?
i
Let r be (-36)/(-14) - (-1)/(-2)*6. Does -5 = r?
False
Suppose -256 = -3*b + 2*t, -6*b + 425 = -b - 3*t. Let w be b/(-14) + (-3)/21. Which is bigger: -8 or w?
w
Let c be 6 - (8 + 6/(-2)). Which is bigger: c or 6/25?
c
Suppose 0 = 4*p - 20, 5*p - 7 = -5*v + 18. Suppose -j + 3*j = v. Let a(m) = -2*m**2 + m. Let o be a(j). Which is smaller: 2/3 or o?
o
Let o = 839/14 - 125/2. Which is greater: -4 or o?
o
Let w(f) = -f**2 + f + 18. Let d be w(0). Let s = d + -19. Let v = -671/4 + 167. Is s > v?
False
Let w = -1181/8 + 148. Let h = -45 + 43. Is w at most as big as h?
False
Let a be 4 + 10/7*-3. Which is greater: -2/49 or a?
-2/49
Let o(t) = -t**2 + 3*t - 2. Let m be o(2). Let n = -288026301/595 - -484078. Let d = -2/119 - n. Which is smaller: d or m?
d
Let o(i) = i**3 - 13*i**2 + 26*i - 23. Let r be o(11). Suppose 3*d + 47 = -2*m, -3*m - 2*d = d + 69. Let x = m + r. Which is bigger: x or -3/5?
-3/5
Let q = 2879/3 - 950. Let p = 10 - q. Is -1 at least as big as p?
False
Let y be 1/(-4)*2 - (-2037)/4098. Let k = y - -2746/4781. Which is smaller: k or -2/19?
-2/19
Let w = 419930/31 + -13545. Which is bigger: w or 2?
2
Let r be 0/10 - (-2)/(-345). Is -1 greater than or equal to r?
False
Suppose 11*p = 33 + 66. Suppose -3*z = -p + 18. Are -4 and z equal?
False
Suppose -16*n = -4*n + 12*n. Suppose n = -p, 5*f - 5*p + 71 = 16. Are -12 and f nonequal?
True
Let o(b) = -b**2 + b. Let s be o(-1). Let x = 7 + s. Let j be (-5)/((-35)/14) - (4 + -6). Which is bigger: x or j?
x
Let r be -3*(-12)/486 - 10212/81. Is -131 < r?
True
Let g be 2*4/2 - 2. Suppose 40 = g*f - 7*f. Let o(k) = -7*k**2 - 1. Let w be o(1). Do f and w have different values?
False
Let x be (4/8 - -1)*(-84)/1498. Which is smaller: -1 or x?
-1
Suppose -12 = 2*q - 2*b - 0*b, -q + 6 = 2*b. Let w be ((-2)/(-5))/(-166*q/(-20)). Which is smaller: -1 or w?
-1
Let u(f) = -f**3 - 6*f**2 - 5*f - 1. Let o be u(-5). Let v be ((-5)/(-5))/(o/(-23)). Let j be (1 - v/(-7)) + -4. Is 4 less than or equal to j?
False
Suppose 0 = -4*j - 4, 21 = 2*g + j + 2*j. Suppose 0 = 4*i - 3*n - g, -4*n = i - 3 - 0. Suppose i*b - 3 = 2*r, r + b - 2*b = -1. Is r > 0.3?
False
Let j = -133.08 + 136. Let n = j - 0.32. Let r = -14.6 + n. Which is smaller: 0 or r?
r
Suppose -3*u + 4*i - 1478 = 760, -3*u - 3*i - 2217 = 0. Which is smaller: -741 or u?
u
Let j = 1491 + -283289/190. Let t = 2/19 - j. Let x(w) = w**3 + 5*w**2 + 4*w - 1. Let l be x(-4). Is l less than or equal to t?
True
Let c be (29/116)/(-1 + (-85)/4). Which is smaller: 0 or c?
c
Suppose -223 = -37*k - 75. Which is bigger: 8/3 or k?
k
Let w be 3/(-12) + 36/16. Suppose -w*b = -i + 40, 3*b + 0*i = 4*i - 65. Which is smaller: -18 or b?
b
Let r be -8 + 36/(-18 - -9). Which is smaller: 6.5 or r?
r
Let m = 1048 - 1047. Is m at least 22.8?
False
Let k = 41 - 42. Let j be k + 1 + (-54)/(-288). Which is bigger: 0 or j?
j
Let f = 10 - -14. Suppose 4*j - f = 6*v - 2*v, 0 = -5*j + 4*v + 27. Let b be (-2)/(-48)*-3*j. Is 1 at least b?
True
Let q = -1/55 - 51/220. Are 36 and q unequal?
True
Let q be 30/378 - 1/(-7). Let u = -11 + 7. Let w be (-2)/(-4) + 2/u. Are q and w equal?
False
Let g be (2 - 0)*(-9)/2. Let z = 49 - 28. Let v = z + -30. Is v not equal to g?
False
Let l be (2/(-24))/(6/(-16)). Let s be 202*(-2)/(-8) + (-1)/(-2). Let a = s - 50. Which is smaller: a or l?
l
Suppose -5*r = 9*r - 2562. Is 184 equal to r?
False
Let w be ((-3)/(48/52))/(1/(-4)). Suppose -w*x = -12*x + 82. Is -82 >= x?
True
Suppose 0 = 12*k - 8*k + 48. Let b be 6/k + (-185)/(-26). Let a = 547/65 - b. Is a equal to 3?
False
Let l(w) = w**3 - w**2 + 5*w - 45. Let o be l(0). Which is smaller: 2 or o?
o
Let x be (8/12)/2 + 50/42. Is 1 at least as big as x?
False
Let d(f) = 4*f + 36. Suppose -4*g - 7*z + 8*z - 33 = 0, 5*g + 42 = z. Let p be d(g). Is p less than -2/17?
False
Suppose l = 3*l + 20. Let b be (-4)/l*(20 - 0). Let h = 191 + -381/2. Do b and h have different values?
True
Let m(o) = -o**2 + o + 4. Let g be m(0). Suppose 15 = -h + g. Let n = -22 - -11. Is h at most n?
True
Suppose -10*f = 75*f + 170. Which is smaller: f or -0.88?
f
Let n(s) = -s**2 + 10*s - 7. Let l(q) = 10*q**2 - 1. Let g be l(1). Let t be n(g). Let j = -0.65 - -0.35. Which is smaller: j or t?
j
Let a = 45 + -21. Let u = a - 11. Does 1 = u?
False
Suppose -988 = 6*b + 32*b. Suppose 0 = -2*t - g - 53, 0 = t - 0*g - 3*g + 23. Is t less than or equal to b?
True
Let m = -170 - -601. Which is smaller: 430 or m?
430
Let o = 16.043 - 16. Let c = o + -0.093. Which is smaller: c or -5?
-5
Suppose 0 = n + u - 6*u + 4, n = u. Which is smaller: n or 173/5?
n
Suppose 4*z = 5*z + 2*o - 926, -4*z + 3*o = -3759. Let i be (-2 - z/(-28)) + -2. Let r = 3460/119 - i. Which is smaller: -1 or r?
-1
Let l = -3049/152 + 155/8. Which is greater: l or -1?
l
Let m = -981 + 1065.3. Let r = 84 - m. Is r at most 0.09?
True
Suppose 0 = -4*x + 2*x. Let j = -2214429/337 - -6571. Is x smaller than j?
False
Let o = -315777/67 - -4713. Which is greater: 0 or o?
0
Suppose -3*q + 125 = 3*x + x, 3*q + x = 137. Let g = q + -92. Let t = g + 497/11. Which is smaller: -1 or t?
-1
Let k = -0.374 + 3.274. Is k not equal to -1?
True
Let p be 16/6*(-60)/(-16). Let h = p + -12. Let a be (2 + h)/(4 - 2). Which is smaller: a or 1/14?
a
Let z(y) = 4*y - 160. Let p be z(27). Is p bigger than -2?
False
Let s = 624 - 625. Which is smaller: 6 or s?
s
Let m = 385 - 386. Which is bigger: 0.45 or m?
0.45
Let x be (-2)/3*27/(-6). Let g be -4 - 0/x - -31. Which is greater: g or 28?
28
Let b = -502/105 - -33/7. Let s = -3 + -1. Let l be 3/12 - (-5)/s. Is l != b?
True
Let h = -2 + 1. Suppose -w - 17 = 3*f, 9*w + 5*f = 5*w - 40. Let j be 6/w - (-84)/45. Is h at most as big as j?
True
Let s(f) = -5*f**2 + 16*f - 4. Let t(a) = -14*a**2 + 47*a - 13. Let l(x) = -11*s(x) + 4*t(x). Let v be l(14). Which is smaller: -35 or v?
v
Suppose -6*d + 14*d + 416 = 0. Let l = d + 51. Is l smaller than -3/14?
True
Suppose -8 = 3*b + b. Let v = b - -6. Suppose -17 = -v*x + l, x + 4*l + 7 = -10. Is 2 smaller than x?
True
Let c = -46 + 109. Let m be (-18)/c + (-51)/(-7). Let i = 3 - -6. Is i greater than m?
True
Suppose -2*g = 6, 2*j + 3*g + 0*g + 127 = 0. Which is greater: j or -56?
-56
Let w(q) = -3*q - 4. Let y be w(-8). Let v = -19 + y. Let p be (2 - 1)*(-4)/(-156). Which is smaller