0. Let x(k) = 25*k + 2418. Let t be x(-97). Does t = c?
False
Suppose 0*u + 18 = -2*u. Let m = -53/6 - u. Let s = 2.23 + -2.13. Which is greater: s or m?
m
Suppose 5*l = -2*r + 23, -2*l - 4*r = -0*l - 22. Suppose l*p = 5*p. Suppose 5*z + z - 24 = p. Is 3 at most z?
True
Let f be (-10)/50 + (-14)/5 + 10. Let j = -3 - f. Let o be (1 + 6 - 6) + -10. Is j at most o?
True
Let q be 3/6 - ((-38260)/(-8) + -4). Is -4779 < q?
True
Let i be -7 + (9/(-2) - (10 + -15)). Let u = 27 - 22. Suppose u*l = v - 4, -l - 4*v + 20 = 4. Which is smaller: i or l?
i
Let y be (-1227)/9 - 12/72. Let j = 136 + y. Is j equal to -81?
False
Let p be 10917/(0 - -9) + -5 + -3. Is 0.1 at most as big as p?
True
Let m(x) = 2*x + x - x**2 - 2149 + 2159 - x**2. Let z be m(-2). Is z less than or equal to -25/6?
False
Let s(c) = -c**3 + 6*c**2 + 13*c - 35. Let r be s(7). Which is bigger: r or 43?
43
Let c be (-1 - -7)*(-5)/(-15). Suppose -2*l = c*l. Suppose 4 = -l*j + 4*j. Which is greater: j or -5/17?
j
Let o = 229.22 + -227. Let d = -2.61 + o. Which is greater: -3 or d?
d
Let j be -4 + (((-1096360)/84)/(-5))/14. Let v = -6/49 + j. Is 182 smaller than v?
True
Let m = 59.58 - -0.42. Let q = -147 + 228. Let r = q - m. Is -0.1 < r?
True
Suppose 0 = -240*z + 153*z. Do z and 2748/5 have different values?
True
Suppose 0 = 4*v + 4, 114*f - 111*f + 178 = -v. Which is smaller: 2/855 or f?
f
Let i(n) = n**2 + 13*n + 10. Let p be i(-7). Let g(r) = 25*r - 508. Let a be g(19). Is p bigger than a?
True
Let g = 12 + -25. Suppose n - 51 = 13. Let j be -6*(-3 - (n/g + 2)). Which is bigger: j or -1?
j
Let o = -2.507 + 2.607. Let n = -2.8 - -3. Let u = n + -0.14. Are u and o non-equal?
True
Let h be 7 + -15 - 9825/(-1233). Is 0 greater than or equal to h?
True
Let x(u) = 4*u**3 - 2*u**2 + 2*u - 1. Let n be x(2). Let f = -229 - -213. Let a be 1 + (-55)/40 + (-454)/f. Which is greater: n or a?
a
Let z = -338.242 + 338. Let l = z + 0.792. Is 2/7 less than l?
True
Let f = 5482 + -520793/95. Which is bigger: -0.14 or f?
f
Let v = -0.3 + 0.3. Let u = 335 + -335.237. Let c = u - 1.063. Which is bigger: v or c?
v
Let s = 2765 + -2986.9. Let x = 222 + s. Is x >= -1.96?
True
Suppose 39*b + 8 + 31 = 0. Are b and -13/236 nonequal?
True
Let b be -3*(-1 + (-35)/(-30))*-2. Which is smaller: b or -5/1998?
-5/1998
Let k(u) = -236*u - 46. Let o be k(3). Is o < -756?
False
Suppose -6*o - r = -3*o - 93, 5*o - 148 = -4*r. Suppose -10*n + 4*g - o = -8*n, 0 = 5*n + 3*g + 41. Which is smaller: n or -9?
n
Let n = 290 - 390. Let w = n + 101. Is -187 greater than or equal to w?
False
Let q = 4386043/850124 - 4/19321. Let a be 0 - (153/36)/(-1). Let u = q - a. Are 0 and u unequal?
True
Let p = 18 + -31. Let q = p + 13.13. Suppose 0 = 89*d - 95*d + 6. Is d less than q?
False
Let z be (-51)/(7/((-42)/9)). Let g = z - 30. Let i be 4/10 + ((-11648)/7080)/g. Are i and 1 nonequal?
True
Let u = 6118/90393 + 4/3117. Suppose 3 = -5*r - 2. Is u smaller than r?
False
Let v(x) = -6*x + 71. Let k be v(11). Suppose 0 = -k*i + 2*i, -i - 16 = -2*r. Are r and 11 unequal?
True
Let v = -1/211 - 835/1899. Let i = 387 - 386. Which is smaller: v or i?
v
Suppose -25*l + 129 = -26*l. Let j be (-1)/((-111)/l) + 1. Let y = j + 116/259. Which is bigger: -11 or y?
y
Let l be -10 - 3/(-3 + 0). Let p = l + 19. Let i = p - 14. Which is greater: i or -24/7?
-24/7
Let w = 8843 - 114650/13. Which is greater: 25 or w?
25
Let f be (-3)/48*(-2)/(-26). Suppose 4*l - t = -5, -5*l - 89 = -5*t - 49. Which is bigger: f or l?
l
Let o be 888/(-322) + 6/(-21). Let l = 3967/1311 + o. Let t(h) = -h**3 - 14*h**2 + 27*h + 519. Let i be t(-13). Does i = l?
False
Let m(w) be the second derivative of w**4/12 - 7*w**3/6 - 25*w**2/2 + 27*w + 1. Let a be m(-4). Suppose b - 20 = -2*p + 21, 5*p - 105 = -3*b. Is p > a?
False
Suppose a - 11 = -3*r, -5*a + 2*r - 26 = -30. Suppose -3*v - 744 = 4*g, -5*v + 3*g - 1263 = a*g. Is -252 >= v?
True
Let c = -16.5669 + 0.4669. Is c at least as big as -6?
False
Let x = 41/100 + -24769/60900. Let q be -15 - -9 - (-1 + (-3 - 1)). Which is smaller: q or x?
q
Let z be ((-75)/45)/(10/(-426)). Is z at most 498/7?
True
Let g(v) = 11*v**3 - 7*v**2 - 4*v + 5. Let n(q) = 7*q**3 - 4*q**2 - 3*q + 3. Let b(a) = -5*g(a) + 8*n(a). Let u be b(-4). Which is smaller: 1/26 or u?
u
Suppose 5984 = -36*l + 28*l. Which is smaller: l or -749?
-749
Let j(z) = -z**3 - 21*z**2 - 3*z - 50. Let p be j(-21). Suppose -p*t + 22 = -2*t. Suppose -5 = -t*f - 3*h, -2*f + 7 = f + 4*h. Is f less than or equal to -3/7?
False
Let q(k) = -5*k**3 - 157*k**2 + 1667*k - 24. Let y be q(10). Which is smaller: -4053 or y?
y
Suppose 0 = j + 2*m - 590, 1750 = 3*j - 5*m + 6*m. Suppose -11*l = -9*l + j. Let c be 3/((-18)/4) + l/9. Which is smaller: -32 or c?
c
Let k = 67.2 - 54. Let n = k - 13.2. Is n greater than 158?
False
Let k = -348 + 347. Is k bigger than -5/187?
False
Let c = -6512 - -6511. Which is smaller: 35.63 or c?
c
Let o = 258 - 257. Suppose 2 + 8 = 2*q - 5*n, -q + 5 = -3*n. Suppose 4*m - 83 = -q*t, -3*m + 29 = -m + 5*t. Is o not equal to m?
True
Suppose 0 = -4*m + 2*m. Let l(x) = 2*x + 14. Let y be l(8). Let v be (-3)/y + (-4 - -5). Which is bigger: v or m?
v
Let w = 107 - 103. Suppose 5*r + 27 = 2*g, -w*r + r - 5*g - 41 = 0. Are -25/4 and r equal?
False
Let z = 51 - 47. Suppose z*c = -5*t - 0*t + 67, 5*t - 54 = -3*c. Suppose 0 = c*n - 23*n + 10. Is n at most 2/51?
False
Let d = -6934 - -8100. Is -0.2 at most as big as d?
True
Let c = -6706 + 6702.2. Which is smaller: 1.62 or c?
c
Let h = -113 + 1745. Which is smaller: h or 1633?
h
Let f be -1 + 10/55 + 4850/(-176). Suppose -2*s - 30 = -86. Let j = s + f. Is j equal to 1?
False
Let f(g) = 5*g**2 - 7*g + 20. Let n be f(-6). Let b be ((-66)/n)/((-1)/(-10)). Let j = 0 - 1. Which is bigger: b or j?
j
Let l = 246 + -136. Suppose 107*z + 3 = l*z. Let j = -0.4 + 1.6. Is z > j?
False
Let k = -27.3 + 29.99. Which is bigger: k or -0.1?
k
Suppose -18 = -14*b + 11*b. Suppose -7*k + 4*k = -b. Suppose k*p = 20 + 22. Which is bigger: p or 20?
p
Let y = 4105 + -4104.972. Is y not equal to 32?
True
Suppose 64086 = -55*o + 22*o. Is o bigger than -1941?
False
Suppose 10*d - 4824 - 16 = 0. Is 479 not equal to d?
True
Suppose -88*l - 4*p + 3328 = -92*l, -5*l + 3*p = 4158. Which is greater: l or -835?
l
Suppose 0 = -4*l - l + 3015. Suppose -l = -17*z - 76. Let m(w) = w**3 + 5*w**2 - 6*w + 2. Let q be m(-5). Which is bigger: q or z?
q
Suppose -3*n - 7 = -l, -5*l + 22 = -n - n. Let j(r) be the second derivative of -5*r**3/3 - r**2/2 + 50*r. Let y be j(n). Is y greater than 10?
False
Suppose 292*q - 284*q - 8 = 0. Which is smaller: -2/10697 or q?
-2/10697
Suppose -19*d + 15*d + 12 = 0. Suppose -d*l = -8*l + 910. Let j be (-8)/(-28) - 472/l. Are -1 and j nonequal?
True
Let w = -2254164/3095 + 77/619. Which is bigger: -727 or w?
-727
Suppose 22 = -n - 4*o, -2*n - 4*o - o = 50. Suppose 323*p = 326*p - 2664. Suppose 0 = 875*c - p*c - 403. Is c > n?
False
Let f = -1851 - -1862. Which is smaller: f or 0.052?
0.052
Let w = 23854 + -23858. Which is smaller: -79/21 or w?
w
Let n = 21388.8 - 21389. Let i = -55 + 16. Is i >= n?
False
Let p = -456 + 427.8. Let w = 45.6 + p. Which is bigger: -1 or w?
w
Let r(c) = 3*c**2 + 145*c - 257. Let s be r(-50). Is s at least 112?
False
Let z be 4/14 + 221746/(-776454). Which is smaller: 1 or z?
z
Let z = 0.73 - 0.5. Let x = -31.23 + z. Let o = x - -30. Is -6 at least as big as o?
False
Let c = 2 - 3. Let g be ((-104)/156)/((-2)/81). Let n(r) = 5*r - 153. Let b be n(g). Which is smaller: b or c?
b
Let i be (5 + 5/(-5))*(-106)/(-8). Let j = 204 - 202. Which is smaller: j or i?
j
Suppose z + 22 = 5*m, 2*m - m - 2 = -z. Let a(o) = -4*o - 1. Let b(n) = 5*n. Let l(p) = m*a(p) + 3*b(p). Let r be l(-1). Which is smaller: r or 13?
r
Let h be 1 + (-4)/7 - 288360/2492. Let g = -217 + 102. Let f = g - h. Which is smaller: f or 0?
0
Let t be 74 - (-3)/(-2*12/32). Suppose -n = 78 - t. Is 2 >= n?
True
Let w = -517 - -512.832. Which is greater: 2/5 or w?
2/5
Let h(z) = -z**2 + 21*z - 44. Let l be h(16). Suppose -2*a + 8 = l. Which is bigger: 0.1 or a?
0.1
Let l be (33/165)/(22/5). Let x be (1 + -1)/(-1 + 0). Suppose 35*t - 39*t = x. Is l smaller than t?
False
Let t = -2517/4 - -629. Which is bigger: t or -341/5?
t
Let o = 2076 + -4261. Do 1