u be y(-27). Is 513/4 bigger than u?
True
Suppose z - 3*z = 3*x - 1, x - 7 = -4*z. Suppose 2*r = r + z*y + 4, -3*r - 2 = y. Let p be (-4)/(-28)*8/(-24). Are p and r equal?
False
Let j = -5511.8 - -5512.8. Let c be (28/6)/((-8)/30). Is j at most as big as c?
False
Let a(t) = -5*t**3 - 29*t**2 + 11*t + 28. Let s be a(-6). Let n(g) = -12*g - 1. Let v be n(7). Which is bigger: s or v?
s
Suppose 0 = 207*c - 9*c + 594. Does -608 = c?
False
Let s = -69871109/8445 + 24821/3. Which is bigger: -1 or s?
s
Let f(a) = -75*a - 10575. Let w be f(-141). Which is bigger: -3/9629 or w?
w
Let y = 50 - 50.4. Let l = 2671 + -2762. Are l and y unequal?
True
Let m = 16 - 8. Let k = -303 + 295. Let o be (k/66)/(-12 - 306/(-27)). Which is greater: m or o?
m
Let a(b) = -b + 6*b**2 - 6 + b**3 - 15*b - 37 - 19. Let t be a(-6). Which is smaller: 0.2 or t?
0.2
Let c be -3 + (-5)/16*-141. Let r(a) = a**2 - 12*a - 41. Let x be r(12). Let m = x + c. Which is smaller: m or -1?
-1
Let g be (0 - 19) + (-20)/5. Suppose q = 4*x + 5, -q - q + 2*x - 26 = 0. Is g bigger than q?
False
Let u = 7709/30 + -257. Let c = -2474 + 2475. Are u and c equal?
False
Let x = 24258376/79 + -307072. Is -5 smaller than x?
True
Suppose -2976*p - 6086 = -3155*p. Let v be 2/1 - 22/10. Which is smaller: p or v?
v
Let h be ((-28)/63)/((-4)/696). Let c = h - 2570/33. Suppose 14*w = -3*w - 10*w. Are w and c nonequal?
True
Let p(o) = 294*o - 1121. Let u be p(4). Which is smaller: u or 60?
u
Let y = 0.83 - 1.7. Let a = 0.77 + y. Let c = -0.04 + -0.06. Is a at most as big as c?
True
Let l(z) = -z**2 + 23*z + 17. Let u(v) = -3*v**2 + 67*v + 51. Let h(n) = -11*l(n) + 4*u(n). Let a be h(13). Which is smaller: 40 or a?
40
Let l = -24 - -18. Let k be l/(2 + -1) + -6. Which is bigger: k or -13?
k
Let z = -0.1503 - 9.5857. Let a = z - 0.164. Let w = 9.8 + a. Which is smaller: w or -26?
-26
Let l be 285/(-219) - (-7 + 24/4). Let g = 80/219 - l. Do g and 4.7 have different values?
True
Let b be (14/(-7))/((-364)/(-19045)). Which is greater: b or -106?
b
Let w = 1697435/459 + 1630/459. Which is greater: 3701 or w?
w
Let d = 3740 - -1082. Is 4822 greater than or equal to d?
True
Let r = 1333.1 + -1333. Which is smaller: -900 or r?
-900
Let a = 0.40554 + 4.15666. Let j = a - 0.0022. Which is bigger: j or 0.1?
j
Let k be ((-54)/8)/(2/(-8)) - 3. Let p = k - 22. Suppose -p*j = 2*c - 60, -j - c = -2*j + 20. Is j greater than 25?
False
Let a = 3310 + -3305. Is a bigger than -102?
True
Let u(c) = -184*c - 551. Let o be u(-3). Which is smaller: o or -1/2537?
-1/2537
Suppose -8*q = -5*q - 3, -q = 4*a - 5165. Which is smaller: 1295 or a?
a
Let k = 10633.5 + -10633. Is -1/15 >= k?
False
Let m be (-5 + 24 + -4)*1. Suppose -q + 2*a = 4*q + m, a = 5. Let z be 4/8 + 17/(-26). Is z bigger than q?
True
Suppose -786*s + 801*s + 15 = 0. Is s at most -2/9421?
True
Let r be 36/24*20/(-3). Is r at most -16?
False
Suppose -116*f + 2 = -1 + 3. Which is smaller: -20/1319 or f?
-20/1319
Let t be 374/(-6) - 7/(-21). Let q = t + 58. Let n be 12*((-15)/12 + (-2)/q). Which is greater: n or -15/2?
-15/2
Suppose 0 = 5*g + 1332 - 1342. Suppose 5*d = 4*v + 8*d - 60, 46 = 3*v + g*d. Let i be 1/1*(-33)/(-2). Which is bigger: i or v?
v
Let t(j) = j**2 - 9*j + 14. Let o be t(10). Suppose 3*b = -0*b + o. Let c be 19/(-2)*((-12)/b + 2). Which is smaller: c or -5?
-5
Suppose 8 = 4*z - 0*z, -4*z + 10 = g. Suppose -4*l - a + 167 = 0, 0 = -g*l - l - 2*a + 129. Which is smaller: l or -2?
-2
Let a(x) = -21*x**3 + 9*x**2 - 10*x - 3. Let s be a(6). Let q = -1047377/245 - s. Let r = -127/49 + q. Which is greater: r or 1/2?
1/2
Let z(h) = 6*h**2 + 2*h - 1. Let u be z(3). Suppose -63*b = -u*b. Suppose b = -18*l + 21*l. Which is smaller: 16/17 or l?
l
Let w be 80462/(-96) - 28/(-4). Let j = 831 + w. Which is smaller: j or -1?
-1
Let x be (-5136)/18 - 4/6. Let n = x + 291. Do 12 and n have the same value?
False
Let v(y) = 6*y**3 - 20*y**2 - 71*y + 11. Let c be v(-3). Are -593/5 and c nonequal?
True
Let i = -125.2 + 133.2. Let y be (-6)/(-27) - 532/45. Let f = y - -628/55. Is i != f?
True
Suppose 155*b - 234 = 142*b. Let o be (-6)/(-10)*20/b. Are 10/51 and o equal?
False
Let p = -13507 - -13977. Do p and 2346/5 have the same value?
False
Suppose 5*r + 69 = -5*k + 4, -71 = 5*r + 3*k. Let n(b) = -b**3 - 17*b**2 - 20*b - 24. Let y be n(r). Let l = y + -40. Is 18 not equal to l?
True
Let y be (-29 - 1)*(-87597)/678. Let u = y + -3876. Which is smaller: u or 0?
u
Let l = -33.32 - -28.32. Do -1/66 and l have the same value?
False
Suppose -u = -12*u + 1771. Suppose 0 = 5*i - u + 11. Let f = i + -36. Are f and -8 equal?
False
Let u be ((-22)/12 - -2)/(-10*(-21)/18270). Let z be (6 + 1)*(-6)/(-7). Suppose w + z - 4 = 0, 2*q = w + 30. Which is bigger: q or u?
u
Let r = 1.24 - 1.13. Is -0.14 at least r?
False
Let p = -13 - -15. Suppose -5*y - 5*g - 12 = -p*g, 5*g - 2 = -y. Let k be (0 - y/(-2))/((-39)/(-6)). Which is bigger: k or 0?
0
Suppose 36*a = 11*a - 39*a + 257920. Which is smaller: a or 4031?
a
Suppose 599 - 21 = 57*z - 277. Which is greater: 85/7 or z?
z
Let d be (891/88 - 10)*0. Is 1/626 less than d?
False
Let q = 151 - 157. Let g be (q + -16)*(-15)/(-10). Which is greater: -31 or g?
-31
Let w(u) = 8*u**2 - 299*u - 3731. Let l be w(-12). Are l and 1009 equal?
True
Let k = 0.37 + 28.33. Let t = k - 29.7. Let f = 24.7 + -26. Which is greater: f or t?
t
Let v = -4.5601 - -4.58. Let t = 1470 + -1471. Which is greater: t or v?
v
Let d(h) = h**2 + 11*h - 15. Let m be d(-12). Let r be 2*(1 + (-7 - -7)). Let s be r*(-4 + -24*(1 + m)). Which is smaller: s or 87?
87
Suppose -2808*r = -2782*r + 13130. Is -12 <= r?
False
Let i(s) = -22. Let o(d) = -d - 142. Let h(g) = 6*i(g) - o(g). Suppose 4*n - 33 = -105. Let c be h(n). Which is bigger: c or -9?
c
Let l = -13647 + 13930. Are 1131/4 and l non-equal?
True
Suppose 2*k - r - 6 = 0, 4*r - 6 = -5*k + 9. Suppose 0 = 3*h + k*a + 351 + 27, -4*h = 2*a + 504. Is -126 < h?
False
Suppose -9*g = 26*g - 5215. Suppose -139 = 9*u + g. Which is smaller: u or -22?
u
Let o be (-4)/(-8) - -130*(-42369)/530172. Let l = 2/14727 + o. Which is smaller: l or -10?
-10
Let v = -48 - -54. Suppose v = -3*a, -249 - 142 = -3*o + 2*a. Let b = o + -129. Is b <= -10/13?
False
Let p = -388221 - -388505.533. Let g = -0.533 + p. Do g and -0.1 have the same value?
False
Let a be 2/(-18)*48/160*90/63. Is -1 less than a?
True
Let d = -13 - -29. Let c = d - 16.1. Let l = 6.9 - 7.2. Which is bigger: l or c?
c
Let m be ((-93)/18*-3)/(4/66). Let s = 257 - m. Let l be ((-5)/(-10) + -1)*-2. Is l greater than s?
False
Let y = -6696 + 8276. Which is smaller: y or -10?
-10
Let n(g) = g**3 + g**2 + 5*g. Suppose 0 = -20*k - 3*k. Let l be n(k). Let a = 6 - -13. Is l at least a?
False
Let f be 52/(-96) + (-52)/416. Is f equal to 1147/7?
False
Let f(j) = j - 9. Let w be f(13). Suppose 0*x = -4*x - q + 428, 0 = 4*x - w*q - 408. Let i = 3044 + -2937. Which is smaller: x or i?
x
Let m be (-50)/14 + (90/42)/(-5). Suppose 2*s - 45 = -3*l - s, 0 = 5*l + 3*s - 85. Let x be ((-42)/l)/(m/(-10)). Which is smaller: -4 or x?
x
Let r be (26523/14)/3*(-7)/9. Let k = -422 + -68. Let s = k - r. Is s less than 2?
True
Let d = 1954 + -2023. Suppose -5*g = -2*i + 342, 3*g - 4*i - 64 = 4*g. Which is smaller: d or g?
d
Let x be ((-156)/195)/((-13)/(-235)). Is x != -14?
True
Suppose -14194 = -90*i - 3394. Is 132 at least i?
True
Let w be 1/((-3)/(-3)) - (276 + -3). Let g = 266 + w. Is g not equal to 2/41?
True
Let s = -3568 + 4487. Which is greater: 918 or s?
s
Let t be -5*(-2)/10 - 37. Let n be 4/14 + (-324)/(-189). Suppose 5*v + 213 = -f + 31, -n*v = -4*f + 64. Is t smaller than v?
False
Suppose 0 = 9*m - 15*m + 102. Let n be 5 + 0 + -3 + -1. Let v be (5 + n)/((-9)/(-27)). Which is smaller: v or m?
m
Suppose 304074 = 126920*g - 126938*g. Is -16893 >= g?
True
Let s be (-11)/(99/(-63)) - (4 + (-4 - -3)). Let f(c) = -c - 2. Suppose 2*d = 4*t + 26, -1 = -2*d - 11. Let l be f(t). Is l not equal to s?
True
Suppose -1 = i, -3*t - 3 = -868*i + 871*i. Which is bigger: t or -6/7999?
t
Let c(z) = z**2 - 5*z + 12. Let g = 87 + -81. Let v be c(g). Let w be (v/15)/3*-5. Is -2 < w?
False
Let q = 8869 - 8869.1. Is q at least -7/1082?
False
Let q = 628 - 100. Let k = 361 - q. Is k <= -1?
True
Suppose 0 = -7445*p + 7422*p