*y = 4*n + 44, 5*y - 4 = 4*n + 4. Do n and w have different values?
True
Suppose 0 = 289*o - 282*o - 12929. Which is bigger: o or 1848?
1848
Suppose 0 = -39*v + 56*v - 17. Let t be (-123)/12 - v*12/16. Is t >= -10?
False
Suppose t + u - 600 = 0, 3*t + 18*u = 24*u + 1800. Is t != 601?
True
Let m(c) = 10*c + 259. Let u be m(-9). Which is smaller: 168 or u?
168
Let d = 1.808 - 0.359. Let w = 923.951 + -924. Let n = d + w. Does 0.2 = n?
False
Let w = -3134 - -3134.202. Which is smaller: 2 or w?
w
Suppose 0 = -5*b + a - 250, 7*a - 12*a - 25 = 0. Let x = b + 93/2. Which is smaller: x or -4?
x
Suppose c - 5 = 3*h, 13*h - 15 = 2*c + 12*h. Which is smaller: -26 or c?
-26
Let n = 14 + -29. Let t be (76/(-8) - 4)/(3/4). Which is bigger: n or t?
n
Let s(y) = y**2 - 5*y. Let g be s(0). Suppose -4*r - 5*v + 164 = 0, g = 9*v - 12*v - 12. Suppose 0 = -3*x + 120 + 21. Which is greater: r or x?
x
Let l(j) = j**3 - 14*j**2 + 55*j - 58. Let d be l(8). Are -27/46 and d nonequal?
True
Let j = 10275633/370 + -27772. Is j > 0?
False
Let c = 4 + 0. Let i = -6.3672 + -0.8328. Are i and c non-equal?
True
Let s be 10/(-15)*21/14. Let x be (558/(-223)*2 - s) + 4. Which is smaller: 1 or x?
x
Let c be (-3)/(-3) + 6575 + -27 + 4 + 23. Which is bigger: c or 6577?
6577
Let s(q) = -10*q**2 - q - 10. Let y be s(3). Let z = y + 45. Let p be z/6 + (6 - 4). Are p and -9 nonequal?
True
Let i = -90 - -89. Which is bigger: -1/427 or i?
-1/427
Let m(n) be the second derivative of n**3/6 - 2*n - 88. Let v be m(28). Is v greater than 5?
True
Let i = -1987082/95 - -3364188891/160835. Let g = i + 2/1693. Which is smaller: g or 1?
g
Let k(g) = 2*g**2 - 2*g - 1. Let z be k(-1). Let w be (-1)/(-3*(-2)/z). Let u be 2102/(-78) - (928 + -955). Which is smaller: u or w?
w
Let y be 2*68/22 - 6/33. Suppose -y*n = -n. Let q = -3 + n. Which is smaller: q or -3/2?
q
Let s = 60 + -80. Let g be (1/(-18))/(s - -18). Which is smaller: 0 or g?
0
Let i = 112 + -102. Let l be (5/i)/(1 - 34/32). Is l > -11?
True
Let q(p) = -240*p + 240. Let c be q(1). Which is greater: -1/4318 or c?
c
Let b(r) = -4*r**2 - 31*r - 21. Let c be b(-7). Which is smaller: 1/403 or c?
c
Let c(h) = -h**3 - h**2 - h. Let i be c(0). Suppose -20 = 9*u + u. Let a be (-20)/6 + (u - -5). Which is bigger: i or a?
i
Let c(p) = 117*p - 6056. Let m be c(52). Suppose -k + 98 = 4*n, -3*n - k + 76 = k. Which is greater: n or m?
m
Suppose -5*b = -4*b + 5*y - 45, -b + 5*y - 45 = 0. Is b bigger than -5/4196?
True
Let s = 547/36 - 145/9. Let f = s + 7/6. Is 1 at most f?
False
Let y = -10.961505 + -0.028695. Let v = y - 0.0098. Is v less than -19/3?
True
Let x = 244 + -213. Let m = x - 685/22. Which is bigger: m or -1?
m
Let r be ((-696)/(-171) - 4)/((-13)/(-2886)). Is r equal to 16?
False
Suppose -322*k = -37995 + 13201. Let j(z) = -z**2 - 19*z - 11. Let b be j(-9). Is k < b?
True
Let l(a) = 10*a**2 + 12*a + 11. Let g be l(-1). Suppose -8*u + 19 = -g*u. Which is greater: u or -21?
u
Let u be (7 + 100/(-12))*(-8970)/(-52). Which is greater: u or -0.09?
-0.09
Suppose 0 = -3*o + k - 43, -4*o + 0*o - 84 = 4*k. Let h = -17 - o. Let a be (4/322)/(194/(-28) + 7). Is h greater than or equal to a?
False
Let f(r) = -r**2 + 41*r - 129. Let i be f(24). Suppose 283*y = i*y + 20. Which is smaller: y or 16?
y
Let x be 1/2 - -9*10/540. Let z = -9 + -5.5. Which is smaller: x or z?
z
Let u = 12.436 - 6.238. Which is greater: u or 0?
u
Let h(c) = -2*c + 26. Let i be h(13). Let s(l) = 24*l - 1. Let x be s(1). Let p be (0 - 1/2)*(-12)/x. Which is bigger: p or i?
p
Let u = 5 + -4. Suppose -5*y = 7*y - 96. Suppose 11*p = 3*z + y*p + 45, z + p + 9 = 0. Which is greater: u or z?
u
Let r be (-131)/12 + -1 - 645/(-387). Is 4 greater than r?
True
Let i(m) = -161*m + 3031. Let y be i(17). Which is greater: 300 or y?
300
Suppose -46*t + 3 = -45*t. Let i = -17 + 19. Suppose -6*r + 6 = -t*r + 2*h, i*r = -5*h + 4. Which is bigger: r or 0?
r
Suppose 5*a = 25*a + 40. Let v be -2*((-13800)/4605 - (-5 - a)). Which is bigger: v or -1?
v
Suppose 408 = -17*x - 195 - 162. Is x < -42?
True
Let n = 2691.8 + -2692. Is 135 at least as big as n?
True
Let i(g) = 14*g + 5. Let u be i(4). Suppose -3*y - 39685 = -z, 5*y - 3*z - 19622 + 85757 = 0. Let f be (-2)/8 - y/216. Is f < u?
False
Suppose -m - 2*s + 6 = 3*m, -2*m - 3*s = -9. Suppose m = 99*l - 100*l - 31. Let b(y) = -2*y**2 + y - 2. Let j be b(4). Is j greater than l?
True
Let m = -0.034 - -0.534. Let p = 1.5 - m. Let d = 2.32 + -0.02. Which is bigger: p or d?
d
Let x = 46 - 46. Let j = -2/157 - 622/471. Is j <= x?
True
Let k = 104.62 + -2917.62. Is k less than 2/5?
True
Let w be (12/(-2))/(-30) - (-627)/15. Suppose 47*n = w*n + 2*l + 8, 2*l = n. Let m be 2/(-5) - 26/(-40). Which is smaller: n or m?
m
Suppose s = -0*s. Suppose 0*n + n + 3*h + 858 = 0, -3*h = -4*n - 3492. Let u = -8691/10 - n. Is u smaller than s?
False
Let i = -2928.9 + 2929. Which is greater: i or -288?
i
Let w be (-6625)/924 - (-2)/11. Let l = -19/28 + w. Let q = 2010 + -2009. Which is smaller: l or q?
l
Suppose -24562 = -15*w - 24472. Is 86/13 bigger than w?
True
Let k = -8.62 - -9.6. Let n = 5362 + -5360.98. Let p = n + k. Which is smaller: p or 1/2?
1/2
Suppose -3*f + o - 45 = 0, 105*o + 2 = -f + 101*o. Which is smaller: -38 or f?
-38
Suppose -2*g + 92 = 5*u, 4*u - 5*u - 4*g + 4 = 0. Let p be (-65)/u + 0 + -6 + 2. Is -7 at most p?
False
Suppose 7*u - 66 = -31. Suppose -16 + 6 = u*y. Do y and -42/17 have different values?
True
Suppose 58*m = 185*m - 17780. Is m smaller than 150?
True
Let i = -443 + 471.6. Let w = i - 11.6. Which is greater: -2/11 or w?
w
Let a be (2/9 - 8392/180)/((-26)/2080). Which is smaller: a or 3713?
a
Let q = -671 + 1264. Suppose n + p - q = 0, 5*n + p - 950 - 2019 = 0. Which is smaller: 0 or n?
0
Let b = 2.893 - -19.617. Which is smaller: -0.1 or b?
-0.1
Let w = 0.1 + -0.12. Let q = -382 + 379. Let o(j) = -j**3 - 3*j**2 - 4*j - 16. Let s be o(q). Which is smaller: s or w?
s
Let v = 225 - 823.4. Is v less than -0.1?
True
Let q be (-10876)/(-17)*-42 - 582/(-4947). Are -26871 and q non-equal?
True
Suppose 2*v + 457 = -3*c, -c = -v - 2*c - 231. Let n = 235 + v. Which is bigger: n or -1/65?
-1/65
Let i be 74335/(-14865) + (10 - 55/11). Which is smaller: -1 or i?
-1
Let u be 10*((-3)/(-12))/((-1)/306). Let a = 2344/3 + u. Let o be 408/28 + 12/28. Is a != o?
True
Suppose -2*o = 3*o - 70. Suppose 0 = 4*g + 34 + o. Let w be g/(-16)*2/(-57). Is w > 1?
False
Let q = -35 + 37. Let k(c) = -12*c**3 + c**2 + 4. Let z be k(q). Let r be 7/28 - (-38)/z. Is r >= 0.1?
False
Let m = -882047/5 - -175839. Which is smaller: m or -571?
-571
Let v(s) = -s**3 - 30*s**2 - 60*s - 112. Let h be v(-28). Does 2/5927 = h?
False
Let p = -39726 + 39725.93. Is -1371 at least as big as p?
False
Let a = 14 + -14. Suppose 2*h + 4 = -a. Let q = h - -2. Is -1/57 greater than or equal to q?
False
Let q be 2 + (-13427)/(-5) - -38*(-13)/1235. Which is smaller: q or 2684?
2684
Let n = 125 - 120. Let i(q) = -2*q**2 + q + 2. Let w = -11 - -13. Let o be i(w). Which is greater: n or o?
n
Let s = -5672/3 - -1894. Which is greater: s or 2?
s
Let k(b) = b**2 - 4*b + 3. Let w be k(3). Let r be (1162/1560 - (-21)/(-28)) + w. Does r = 1?
False
Let g be 13 - (-2)/((8/48)/(-1)). Which is smaller: g or 2/74571?
2/74571
Let m be (4 - -3)*((-13812)/(-588) + (-2)/(-14)). Is 166 > m?
True
Let i = 59 + -1769/30. Suppose 140*r - 93 = 233*r. Which is greater: r or i?
i
Let p(a) = a**3 - 2*a**2 - 5*a + 7. Let g be p(-6). Let q = g + 2252/9. Let s = -7/16 + 3/16. Which is greater: q or s?
s
Let f = -9353/10 - -5687/10. Let a = -366 - f. Is a <= 28/9?
True
Let h(y) = -y**3 + 54*y**2 - 245*y - 24. Let m be h(49). Let c be (-2)/(24/(-10) + 2). Suppose -3*v + 0*v + 2*d - 80 = 0, 0 = -v + c*d - 44. Is m bigger than v?
False
Let v = -317 + 187. Let d = v + 129.5. Is d bigger than -0.7?
True
Let i(v) = v**2 - 17*v - 54. Let l be i(15). Let d be (-478)/(-10)*140/l. Which is bigger: -79 or d?
-79
Let u(x) = 4*x**2 - 3*x + 2. Let l be u(1). Suppose -3*y = -l*o - 24, 4*y + 0*o + o - 22 = 0. Let b(n) = -3*n + 19. Let g be b(y). Is g at most 1.4?
True
Let a be (-2)/(-4) - ((-16)/((-4608)/(-693)))/(-5). Let r be (-2)/4 - 3/(-6). Is a > r?
True
Let o = 27 - 26.992. Let k = o - 0.308. Let g = 13/45 + 2/45. Is k less than or e