ppose -7*f = 1012 - 4904. Let o be ((-24)/(-40))/(f/10). Let z = o + 421/12510. Is 1 bigger than z?
True
Let b be (644/112)/((-360)/32). Is 0 at least b?
True
Let x = 73 - 25. Let c(v) = v**3 - 3*v**2 - 14*v + 89. Let r be c(4). Are r and x non-equal?
True
Let o be (2/(-5) - (-33 - -32))*55. Is 422/13 bigger than o?
False
Let o be 4/(-12)*((-180)/(-6))/2 + 6. Which is smaller: o or 1/1753?
1/1753
Let s be (-143)/65*10 + 26. Do -132 and s have different values?
True
Suppose -77*w + 6518 = -30*w - 53877. Which is bigger: 1281 or w?
w
Let h(t) = -t - 5. Let c be h(-6). Let y be (-6)/10 + 1134/90. Let o be (455/(-90) + 5)*y/33. Which is smaller: c or o?
o
Let x = -33.7 + -135.3. Let i = 168 + x. Suppose d + 4*w = -0*w + 13, 0 = -4*d - w - 8. Is d != i?
True
Let y = -1.1 + 0.1. Let d(f) be the second derivative of -2*f**3 - 32*f**2 - 76*f + 2. Let o be d(-3). Which is smaller: o or y?
o
Suppose -14*s = -0*s + 2*s. Suppose -g + 5*o + 23 = s, 9*o = 7*o - 6. Is 108/13 less than g?
False
Suppose -3*f = 2*f. Let j = 598 - 95679/160. Let r = j + 273/7520. Are f and r unequal?
True
Suppose 73*s - 7417 + 3903 = 6268. Which is smaller: 106 or s?
106
Let q = -146.2374 + 1.2374. Which is bigger: q or -29?
-29
Let d(f) = f - 2. Let p(c) = 10*c - 8. Let o(j) = 8*d(j) - p(j). Let i be o(-10). Suppose -i*z - 20 = 4. Which is greater: 29 or z?
29
Let n be (-138)/345 - ((-1292)/180 - (-2)/(-9)). Is 10/27 greater than or equal to n?
False
Suppose 0 = -323*z + 319*z - 12. Let a be ((-396)/48 + 8)/(z/76). Which is smaller: a or -1?
-1
Let o be (-12)/20*10/(-9). Let w be 6/(-27) + (-3 - 295/9). Let j be (33/(-9) - -4)*w/44. Is o equal to j?
False
Suppose -3*n - 152 - 94 = 0. Let z = -132555 + 132475. Is n at most as big as z?
True
Suppose 3*i = -21*i. Suppose -3*s + z - 471 + 133 = 0, -2*s - 5*z - 248 = i. Is -113 != s?
True
Suppose h - 2808 + 613 = -5*x, 3*h + 1737 = 4*x. Suppose -18*o = -24*o - x. Which is smaller: o or -71?
o
Let p = 177 + -294. Let x be (-1092)/p*(-3)/2. Which is smaller: -13 or x?
x
Let j = 43.5 - 42. Let i = j + -7.8. Let k = i + -1.7. Which is greater: 3 or k?
3
Let o be (1 - -2) + (-2120)/(-55) + -5. Suppose 3774 + 2714 = 153*d + 674. Which is bigger: o or d?
d
Let n = -2862 - -2862. Is -999 not equal to n?
True
Let p be 4 - 2 - -4 - 6 - -2. Suppose 87*b - 85*b + 19 = w, -5*b + 56 = p*w. Is w < 26?
True
Let d = 17672/3 + -5886. Let g be 6/9 + (-19)/(-3). Let a be (g - 0) + 1 + -2. Which is greater: d or a?
a
Suppose 105*q = -11569 + 4639. Which is smaller: q or -73?
-73
Let a be (198/749034)/(2/(-3)). Which is greater: a or 2/9?
2/9
Let z be 3*9249/45*(-375)/(-450). Is 513 > z?
False
Let p(k) = -13*k + 31. Let i be p(2). Suppose n - 7 + 3 = 3*f, f + i*n + 12 = 0. Is f greater than or equal to -17/14?
False
Let h = -13303 - -13291. Which is smaller: 469 or h?
h
Suppose -6*n + 518 = 2690. Is -359 greater than n?
True
Let l be (-784)/(-2156) - 54518/149864. Do -1 and l have the same value?
False
Let i = 489 + -484. Suppose 4*x + i + 1 = -d, 3*x = 4*d + 5. Which is smaller: d or -49?
-49
Let m = 12 + -13. Let t = -207164/39 + 5312. Is t at least m?
True
Let k be (-33840)/(-60)*((-21)/(-12))/1. Which is smaller: k or 986?
986
Let g be (55/33)/((-1)/(-18)*-1). Let p = 8 + -3. Let r = -4 + p. Which is smaller: g or r?
g
Let o = 4661 + -13928/3. Is o less than -2?
False
Suppose 0 = 44*m - 54*m - 2530. Let l(g) = g**2 - 35*g + 41. Let s be l(21). Is s != m?
False
Let f = -14.5 - -13.3. Let b = -3.8 + f. Which is smaller: -2 or b?
b
Let o = -14 + 14.07. Let k = -2372 - -2373. Is k < o?
False
Let o = 59 + -74. Let l be (30/(-22))/((o/2)/(-5)). Let w = -158/77 - l. Which is smaller: 0 or w?
w
Let p = 40 + -37. Let a = -1379.048 + 1379. Which is smaller: a or p?
a
Let q = 3.2985 + 7457.7015. Is -2/3 equal to q?
False
Let b = -71.31 - -12.31. Let l = -1.981 + -0.019. Which is greater: b or l?
l
Let v = 12600 + -12598. Which is smaller: 1254 or v?
v
Let g = -1/1297683 - 5333477099/40228173. Is -132 at most g?
False
Let u = -12908 - -12908.59. Which is bigger: u or -9/19?
u
Let z be 12*(0 - (-6)/9). Let w be (z - 11) + (6 - 3). Let g = -7876/5523 + -2/789. Which is smaller: g or w?
g
Let y be 12/5 + 8/(-20). Suppose y*f - 5*g = -56, -2*f = 4*g + 1 + 37. Let v be (-753)/36 + 1/(-12). Which is smaller: v or f?
f
Let a be (-316)/(-3)*414/(-368). Let s = -2379/20 - a. Which is smaller: 0 or s?
s
Let a = 0.3873 - 0.4873. Is 1573 at most as big as a?
False
Suppose 64*r - 62*r + 16 = v, -2*r - 3*v = 32. Which is smaller: r or -64?
-64
Let l = -1396 - -1435. Suppose -u + 9 = 2*u. Let c be 1 + (0/u - 0). Do l and c have the same value?
False
Let d = -466 - -783. Let g = d + -789. Which is greater: g or 0?
0
Suppose -9*f = -101*f - 44344. Is f != -486?
True
Let x = 218545 - 1372681142/6281. Is 0 bigger than x?
False
Let q = -65 - -217. Let w = q + -149. Which is smaller: -0.9 or w?
-0.9
Suppose 5*t + 2*w - 194 - 83 = 0, 0 = -5*w + 5. Suppose p - g + 0*g + 11 = 0, 5*p - g = -t. Is p greater than -10?
False
Let h = 0.89 + -0.5. Let t = h - -0.36. Let o = 0.25 + t. Is o < 20?
True
Let c(j) = j**3 + j**2 + j - 7. Let i(y) = 3*y - 24. Let o be i(7). Let x be c(o). Let t = x + 19. Which is smaller: t or -5?
t
Let a(x) = -x**2 - 5*x. Suppose -3*g - d - 1 = -2*g, -5*g + 5*d - 45 = 0. Let m be a(g). Let u = -5789/4 + 1447. Which is smaller: m or u?
u
Let m = -55 + 69. Suppose -2*s - j + m = j, -j - 1 = -s. Suppose 4*b = 4*q - 8, 5*q - 2 = -b - s. Which is smaller: 9/10 or q?
q
Suppose -29*w + 5*m - 34 = 0, -4*w - w = m + 4. Is 11/776 greater than w?
True
Let o = -6797/2 - -2962. Is -438 bigger than o?
False
Let c be -1*1/1 + 29 + 6. Let o(p) = -17*p - 2. Let m be o(-1). Let f be (204/m)/(18/45). Does c = f?
True
Suppose -2*d + 3088 = -f, 3*f - 35*d = -38*d - 9255. Which is smaller: f or -0.2?
f
Let u(y) = 12*y - 16. Let t be u(4). Suppose 32 + t = 4*l. Let z be (0 + l/1314)*(-36)/48. Is z bigger than 0?
False
Let b = 14.03 + 1163.97. Which is greater: -0.1 or b?
b
Let l(f) = 246*f - 6166. Let t be l(25). Does t = 113?
False
Let r = 2027 + -2581. Which is greater: r or -555?
r
Let k = -229.1 - -228.037. Let y = k + 0.063. Let o = -0.45 + -39.55. Is o < y?
True
Suppose 9*o - 11*o = 10. Let x = -66 - o. Let z = x - -20. Which is greater: z or -40?
-40
Let h(s) = s**2 - 1. Let x be h(4). Let c be ((-8)/20)/((-3)/x). Let r = 4.3 - -4.7. Which is bigger: r or c?
r
Let h = 3508 - 2430. Which is smaller: h or -1?
-1
Let a = 366 - 102. Let n = -229 + a. Suppose t + 2*w - 35 = 0, -3*t - 4*w = 2*t - 169. Is n < t?
False
Let p = -297 + 2395/8. Is 3 < p?
False
Let k = 7035 - 935653/133. Is k at least -74?
True
Let p(w) = -2*w**2 - 3204. Let s be p(0). Let h = s + 9704/3. Let t = 62 - 31. Is t > h?
True
Suppose 35*d = 3916 + 18309. Which is bigger: 637 or d?
637
Let m = 67472 - 248499378/3683. Which is greater: m or 0?
0
Let l(o) = -9*o**3 - 7*o**2 + 10*o + 181. Let c be l(-12). Is 14604 less than or equal to c?
True
Let t = -4448/13 - -342. Let p = -47/117 + t. Let q(d) = d**2 + 6*d - 29. Let b be q(3). Which is smaller: b or p?
b
Suppose -13*x + 8031 = 296. Is x < 595?
False
Let q be -2*(6/(-15) + (-499)/(-10)). Let p be q/(-12) - 2/8. Suppose -5*c + 5*w + 1 = -14, 3*w = 2*c - p. Are 8/5 and c non-equal?
True
Let y = 3.56106 - -0.00894. Are -0.6 and y equal?
False
Suppose 13*r - 15*r = 132. Let i = 68 + r. Let q be (-3 - -3 - i) + -33. Do -36 and q have the same value?
False
Let s = 447 + -252. Let v be (-2)/(36/s) - 3/18. Suppose 56 = 3*d - 7*d. Which is bigger: v or d?
v
Suppose 15 = -3*c, 5*z + 6 = -c + 26. Let q(i) = -i**3 + 7*i**2 - 10*i + 4. Let h be q(z). Suppose p + 3 = w, 3 = -w + h. Which is smaller: p or 2?
p
Let o(n) = 127*n - 739. Let v be o(3). Is v greater than -351?
False
Suppose 4*a = 7*a - 21. Suppose -5*d + a*d = 0. Let r be (-1476)/2856 - (-2)/(-28). Which is smaller: d or r?
r
Let k be (-71 - -65)/((-2)/(-973)) - 5. Which is smaller: k or -2/7?
k
Let y = 1695 - 1695. Let g be 162/(-108)*(-1)/(-296)*2. Which is smaller: g or y?
g
Let k = 0 - -0.01. Let p = 50 + -303. Let q = 249 + p. Is k != q?
True
Let z be (3/4)/(((-9)/(-66))/(26/143)). Which is smaller: 114/89 or z?
z
Suppose 2*u + 5*j + 66490 = 0, -2*j + 5 = -3. Let x = 166887/5 + u. Let o = -122 + x. Is 55 at m