+ 2*y**2. Let c be j(6). Let m be (-25936)/275570*5/2. Is m bigger than c?
False
Let o(y) = -2*y**2 - 2*y + 1. Let m be o(0). Let i be (-4)/m + 10/(-2) + 9. Which is greater: 1/174 or i?
1/174
Let s(b) = 2*b**2 - 3. Let r be s(-3). Suppose -7*o + 10*o + 87 = 0. Let l = 89/3 + o. Which is smaller: l or r?
l
Suppose 108*v = -32*v + 140. Is v smaller than -8/171?
False
Let l(w) = -w**3 + 8*w**2 + 9*w - 10. Let j be l(9). Let g = 64/3 - j. Let k be (-11 - (-360)/8) + -4. Are g and k equal?
False
Let b be ((-357)/238)/(130/(-24)). Which is smaller: b or -1?
-1
Suppose 41 - 9 = -8*f. Let g be (-7 - f)*(76/(-36) - -2). Which is bigger: g or 0.97?
0.97
Let m be (0/1)/5 - (-16 + -2). Suppose m = 2*b - 8. Suppose 2*d + p - 25 = 0, 0*d - 35 = -3*d + p. Is d at most b?
True
Let s = 0.38 - 183.28. Let r = s - -183. Which is smaller: r or 8?
r
Suppose -54*h - 1537 = 277 + 4180. Which is smaller: -126 or h?
-126
Let l(c) = c**3 + 8*c**2 + 2*c - 17. Let p be l(-7). Suppose k - 12 = 2*n, 18 + p = 4*k - 5*n. Let i be 5*((-11290)/(-2825) - k). Which is greater: 0 or i?
0
Let z = -0.0259 - 184.9741. Let j = z - -184.81. Are -1 and j equal?
False
Suppose -12*x + 1 = -47. Suppose -4*i - x*q + 12 = 0, -3*q + 6*q - 9 = -i. Which is smaller: -1 or i?
-1
Suppose -4*n + 59 = 5*i, 6*n = -3*i + 2*n + 29. Suppose -10*l = -i*l + 15. Suppose 6*h + 125 = 3*h - 4*j, -15 = l*j. Do h and -34 have different values?
True
Let y = 234 + -234. Let m be 34/154 + (-196)/539. Is y < m?
False
Let i be ((-429)/26 + 17)*(-14656)/84. Which is greater: i or -86?
-86
Suppose 3*g - g = 6, 5*o - 4*g = 13. Let b be 39/33 - (-4)/(-20)*o. Let r = -1 + 1. Is r at most as big as b?
True
Suppose 346 = 16*s - 1382. Let t = -108 + s. Which is bigger: -1/69 or t?
t
Let g = 26 - 30.95. Let d = -2.38 - g. Let j = d - -0.43. Is 1 != j?
True
Let n = -31341 + 156707/5. Which is bigger: 439 or n?
439
Let g = 37 + -26. Let i be (-127472)/(-10912) + (-24)/11. Which is greater: i or g?
g
Suppose 11*n = -82 - 6. Let l be (n/(544/(-44)))/(-2). Is l smaller than -1?
False
Let p be (-10 + 11)/(1/(-408)). Let m be (24/(-21))/4 - p/7. Let x be m/(-84) + (-10)/(-15). Are 0 and x equal?
False
Suppose 1124*f - 1163*f = -39. Is -76 less than or equal to f?
True
Let a be (6/8)/((-4)/80). Let i be (-15)/(-60) + (-14)/(-8) + -121. Let c = 105 + i. Which is greater: a or c?
c
Let z = 38 + -38.008. Let k = -0.019 + z. Let f = 10.973 - k. Is f less than -2/5?
False
Let x = 1.62 + -1.55. Is x at most as big as -1?
False
Let v = 1703 - 1704. Which is bigger: -560 or v?
v
Let a = -217 - -216.83. Let w = a - -0.08. Which is greater: 1/3 or w?
1/3
Suppose 35 = -24*g + 25*g. Let u be 40/g*(-7)/(-2). Are 4 and u nonequal?
False
Let p(t) = -13*t + 79. Let v be p(-11). Let s = v - 210. Is s equal to 10?
False
Suppose 5*x + 1654 = 2*u - 3*u, 5*u + 988 = -3*x. Let j be -12981*(-7)/(-273) + 441/91 + -5. Which is smaller: j or x?
j
Let u = 23 + 70. Let f = 92 - u. Suppose -4*x = -9*x - 95. Are f and x nonequal?
True
Suppose 3 + 15 = -3*g. Let d(u) = -u + 6. Let q be d(g). Suppose 0 = 5*x + 33 + q. Which is greater: x or -12?
x
Suppose 5*u + 4*v + 0*v = 41, 2*v - 43 = -5*u. Suppose -j - u = -1. Let k(i) = -10*i - 991. Let p be k(-98). Is j != p?
True
Suppose 3*u - 423 = k - 1231, 4*k - 2*u - 3242 = 0. Let w = 811 - k. Does 1/219 = w?
False
Suppose -5*j - 8 = 2*k + 7, 2*j + 6 = -2*k. Let r be ((-2)/(-16))/(j/4). Suppose 0 = 357*u + 1145 + 1354. Is u equal to r?
False
Let p(c) = 14*c - 460. Let x be p(33). Let m be 176 - (x + 16/(-8)). Is 177 not equal to m?
True
Let r = 9003/238 + -265/7. Let u = -0.332 + -9.668. Is u smaller than r?
True
Suppose -7*i + 8 = -6*i + d, 0 = i - 2*d - 2. Let f(p) = 10*p + 12. Let t be f(i). Suppose 8*r = -r + t. Are -2 and r nonequal?
True
Suppose 65 = 4*i + z, -7*z = i - 10*z. Suppose -i*x + 161 + 334 = 0. Which is smaller: 29 or x?
29
Suppose h + 8 = 27. Let d = h + -22. Let w be 2*((-333)/6)/d. Which is smaller: w or 36?
36
Let y(m) = m**3 - 5*m**2 - 7*m + 4. Let f be y(6). Let q be 0/(6 - 2) + f. Is -11/4 greater than q?
False
Let v = -382387 - -125041648/327. Let d = -2598/82513 + 3/757. Let y = d + v. Which is smaller: y or -1/5?
-1/5
Let c be (504/(-81) - -4) + -3 + 2 + 3. Let l = -87/14 + 281/42. Is l at most as big as c?
False
Let u = 16.985 + -17. Let t = -151.985 + 155. Let c = u + t. Is 1 less than c?
True
Let a = 0 - 11. Let q(r) = -55*r + 15*r - 24 + 27*r - r**2. Let j be q(a). Which is bigger: 6 or j?
6
Let w = 13 + -4. Suppose 5*m + 6 = -w. Let k be (m/2*20/15)/6. Which is bigger: k or 3/4?
3/4
Suppose 0 = -4*q - i + 1173, 15*q + 3*i = 19*q - 1153. Which is smaller: 3786/13 or q?
3786/13
Let l = -17 + -62. Let v = 79.1 + l. Which is smaller: -21 or v?
-21
Suppose 0 = -0*m + 2*m + 2, 4*p = -3*m - 47. Let i be 134/3 + 2/6. Let f = i + p. Which is smaller: f or 33?
33
Let m(w) = -3*w**2 + w - 4. Suppose -2*x + 11 = -5*u - 8, -u - 8 = x. Let a be m(x). Suppose -489*c - 10268 - 5869 = 0. Is a at most as big as c?
True
Let i = -11221/1305 - 2/1305. Which is smaller: i or -0.04?
i
Suppose -5*h + 1118 = -2*k + 14024, -2*k + 14*h + 12960 = 0. Does k = 6436?
False
Let o = -17 - -12. Let z(h) = 10 - 121*h**3 - 3*h**2 + 146*h**3 - 26*h**3 + 8*h. Let c be z(o). Which is greater: 19 or c?
c
Suppose 3*l - 54 = 4*l. Let n = -205739 - -1440171/7. Which is smaller: l or n?
l
Let b(k) = k**2 - 18*k - 39. Let g be 6/(-10) + (-83)/(-5). Suppose -4*i + g = 0, -2*p + 5*p = -i + 64. Let y be b(p). Does -2/123 = y?
False
Suppose 119*t + 2868 = 113*t. Let n = 462 + t. Is n less than -44/3?
True
Let g(p) = -p**3 - 13*p**2 + 14*p + 3. Suppose 0 = 5*n + 10, 5*n - 5 = -2*b - 43. Let y be g(b). Let v be 0/1 - -9 - 2. Which is smaller: y or v?
y
Let m be (-29)/((-348)/(-60)) + 0. Suppose 4*t - 19 - 8 = l, -39 = -4*t + 5*l. Which is greater: m or t?
t
Let q(g) = g**2 + 5*g - 17. Let y be q(3). Suppose 1 = y*k - 8*k. Let o be 1 + 0 + (-55)/65. Is o less than or equal to k?
False
Let k = 3717 - 3717. Does -29/175 = k?
False
Let z be 9/3 + (454 - 5) + 5. Suppose 24*l - 5495 - z = 0. Is l bigger than 249?
False
Let b be -3 + (8*10 - -1). Suppose -2*l + 4*l - 40 = 2*c, -5*l + b = -4*c. Suppose 2*x = -63 + 19. Is c > x?
False
Suppose 4*a = 3*a - 58. Suppose 3*k = -5*u + 167, 3*u - 180 - 109 = -5*k. Let f = k + a. Is -3/50 greater than or equal to f?
False
Let t(b) = b**2 + 6*b - 89. Let q be t(-13). Suppose 5*d - u + 966 = 0, 190 = -q*d + d - 3*u. Which is bigger: d or -195?
d
Let k = 261.65 + -263. Let n = -1.15 - k. Let a = 1/369 + 9/41. Is n less than a?
True
Let a be 32/12*3 - 6370/26. Let l be ((-6)/(-4))/((-1)/158). Is l bigger than a?
False
Let j be (-6)/(-12)*(18 - -4). Suppose 6*r = -c + j*r - 12, -4*c + 77 = 5*r. Do c and 1/2 have different values?
True
Suppose 0 = 271*j + 36*j + 34*j + 12276. Suppose 5*m - 49 = -234. Which is smaller: m or j?
m
Let s = -3065 + 2945. Is 6 equal to s?
False
Let p = -290 - -247. Suppose -21 = -3*m - 54. Let q = m - 33. Are q and p unequal?
True
Let n = 15 - 19. Suppose 92*b - 60 = 86*b. Let j = b + -43/4. Which is smaller: j or n?
n
Let u = -39850 - -51287. Are u and 11437 equal?
True
Let z be 0/5 - (-2 + 0 - 1). Suppose -z = -p, 4*f + p - 2*p - 109 = 0. Let m be 5/7 - (132/f + -5). Is -3/8 bigger than m?
False
Suppose 0 = h + 3*f + 8, 6*h - 2*f - 6 = 7*h. Let t be 15 + -17 + -28 + 1. Let c = t - -21. Which is smaller: h or c?
c
Let a = 422 + -709. Let x be (-25051)/a - (-2)/(-7). Are 1/4 and x nonequal?
True
Let f = 41643 + -892742635/21438. Is 1 at most f?
False
Let u = 75 + -5024/67. Let w(m) = -m**3 + 33*m**2 + 35*m - 30. Let d be w(34). Suppose -3*l - 2*x + 6*x = d, -3*l - 3*x = -3. Which is smaller: u or l?
l
Let z = -11851 - -11840. Which is greater: -128/11 or z?
z
Let j = 82/7 - 3533/301. Let q be (-2)/(-8) - 27/(-36) - -2. Which is greater: j or q?
q
Let t be (-12 + 6 - 136/(-20))*(-1545)/2. Which is smaller: t or -620?
-620
Let t = 3 + 7. Let x = -31/3 + t. Let s = -1119 + 1146. Is x >= s?
False
Let y(i) = 31*i**2 - 410*i - 137. Let t be y(8). Which is smaller: -7172/5 or t?
-7172/5
Let b = -359.76 - 132.24. Which is greater: 1/4 or b?
1/4
Suppose -1014 = -b - 1016. Let p be b*(-30)/(-12)*1. Which is smaller: -6 or p?
-6
Let c = 10.856 + -46.842. Let x = c + -0.014. Is x <= 0?
T