 x?
m
Suppose 10 = 162*d - 160*d. Suppose -s = -d*f - 1, -3*f + 16 = 5*s + 11. Which is smaller: s or -4/221?
-4/221
Let g(b) be the first derivative of 2*b**3/3 + 5*b**2 + 11*b - 101. Let d be g(-2). Which is smaller: -2/601 or d?
d
Suppose 0 = -2*h + 2*f - 10, -6*h - 13 = -h - 2*f. Let t = -25.66 + 30.86. Does h = t?
False
Let g = -16741 + 16741. Is g at most as big as 5/4159?
True
Let j(u) = u**3 - 15*u**2 + 21*u - 70. Let l be j(14). Let a be (-28 + l)*1/2. Which is smaller: a or -3/4?
-3/4
Let l = 38 + -37.9. Let x = -2.9 - l. Which is bigger: -1/19 or x?
-1/19
Let c = -2560 + 2544. Which is smaller: c or -198/13?
c
Let p = -228 - -229. Suppose -2*z + p = 39. Which is smaller: -15 or z?
z
Let z(q) = -4*q**2 + 48*q - 43. Let o be z(11). Let l be 0 - (0 + (2 - -922)). Let a be (-3704)/l + (-1 - 3). Is o at most a?
False
Let s = -22.85 + 22.2. Let l = 0.35 - s. Is l < -11?
False
Suppose -2*a = -a + 2*c + 22, 0 = -4*a + 3*c - 121. Suppose 3*g = -4*s - 17, -23 = 4*s + 3*g + 2*g. Let t be 1 - 28 - (-1 - s). Is a >= t?
True
Let m be (((-192)/(-10))/(-8))/(3/(-1030)). Is m bigger than -1/6?
True
Let k = 2705 + -2654. Is 1.05 <= k?
True
Let s = -4312823571/2948 + 1462966. Let h = s + -6/67. Is h < 0?
True
Let y be ((-2)/(-6))/(7 + (-43)/6). Let n(k) = k**2 - 2*k - 7. Let s be n(y). Let i = -86 + 773/9. Which is greater: s or i?
s
Let l = -381/50 + 15291/550. Which is smaller: 19 or l?
19
Let y = -204.59 + 203.59. Which is smaller: 1596 or y?
y
Suppose -2*n = 5*z - 31359, 5*n - 13*z + 24*z - 78390 = 0. Which is smaller: n or 15668?
n
Let w = -23194 + 23193.999. Is 1/6 > w?
True
Let o = 781 + -1180. Let v = 398 + o. Which is smaller: v or 2.55?
v
Let g = 669 - 634. Suppose g*v = 63 - 28. Suppose 2*h - 2 = -w + 4*w, 5*h - 10 = 5*w. Which is smaller: w or v?
v
Let q be 1/4*283 - (-106)/(-159). Which is bigger: q or 69?
q
Let k = 9397 + -4238045/451. Let d be 2/(-32)*-4*(72/(-12) - -5). Does d = k?
False
Let y be (-26)/80 - (-3)/12. Let x be ((-15)/6)/((-10)/20). Suppose 0 = 3*v - 5*g + 12, -2 = -x*v + 8*g - 7*g. Are y and v non-equal?
True
Let g(h) = 25*h**2 - h - 1. Let x be g(-1). Suppose 28*j - 180 = x*j. Suppose -15*q = -20*q - j. Do -11 and q have different values?
True
Suppose -l + o + 14 = -13, 2*l - 63 = 5*o. Let t be ((-2220)/(-75))/(2/(-5)). Let i = t + 98. Is l greater than or equal to i?
True
Let f = 5043 + -5239. Which is bigger: f or 9?
9
Let c be -9 + -4 + 0/(-2) + (-2354 - -424). Is -1949 > c?
False
Let q = 20.3 + 785.7. Let v = q - 798.17. Let s = 7.8 - v. Is 3 != s?
True
Suppose 58 - 40 = 6*n. Let d be (n/(-54))/(7/28). Which is bigger: -4.1 or d?
d
Suppose 3*u + 0*b - 7 = -4*b, u = -4*b + 5. Suppose -546 = -2*k + 3*t, -4*t = 4*k - 2*t - 1060. Let l = 248 - k. Are u and l nonequal?
True
Let b be (11/(-440))/(4035/75). Is 1/3 less than b?
False
Let g(n) = n**3 - n - 10. Let o be g(0). Let r be 1/o*(-9 - -4). Is r at most 8?
True
Let f = 22144748/327 - 67721. Which is greater: f or 0?
0
Let y = -438 - -1267. Let f = 797783 + -796953. Is f at most as big as y?
False
Let v be (-2 + 83)*((-5)/(-120)*-123 + 5). Let o(k) = -k**2 - k + 3. Let x be o(-4). Which is greater: v or x?
x
Let d = 119 + -111. Suppose d = 34*w - 36*w. Is -13/3 at least as big as w?
False
Let r = 22.052 + -0.052. Let p = 21.54 - r. Let q = -2.96 - p. Which is smaller: q or 2/5?
q
Let t = 203 - 202.27. Let c be 1*(-3)/6*(-6)/9. Is t at least c?
True
Let j = -26338.006 - -26338. Is -0.27 equal to j?
False
Let z = 1705 - 1720. Is z at least as big as -81?
True
Let s(y) = -y**3 + 3*y**2 + 5*y + 6. Let r be s(5). Suppose -4*u = -4*x - 40, 5*x - 10*x - 26 = -3*u. Suppose -5*d + u*d + 126 = 0. Which is smaller: r or d?
r
Let s = -1.83 - -1.63. Let g(b) = 38*b + 87. Let n(q) = -13*q - 29. Let z(u) = 4*g(u) + 11*n(u). Let r be z(-7). Which is bigger: s or r?
s
Let x = 203.9 + -204. Suppose 3*c + 51 = -m + 2*m, 5*c + 5*m + 85 = 0. Let o = c + 44. Which is greater: o or x?
o
Suppose 4*r = -5*y + 2*y - 4267, -5*r + 3*y - 5327 = 0. Are -1066 and r nonequal?
False
Let a = 33.3 + -43.3. Which is greater: a or 40?
40
Let r(q) = -q**3 + 2*q**2 + 58*q - 60. Let s be r(1). Which is greater: 420 or s?
420
Let c = -17508 + 17510. Let x = -41.3 + 51. Let y = -9 + x. Which is bigger: y or c?
c
Suppose -4*d - 159 = -3*i, 4*d = 5*i - 42 - 215. Suppose 4*o - 190 - 34 = -4*f, -4*o - 5*f = -227. Let b = o - i. Is b bigger than 22/7?
True
Suppose 11*f + 43 = 87. Suppose z + 0*v + 4*v = -17, 0 = -f*z - 2*v - 12. Which is greater: -2/61 or z?
-2/61
Let g be -3 - (((-396)/(-8))/9 + 21 + -29). Is g at least 2389?
False
Let m = -116/51 + 133/51. Which is bigger: m or -5/158?
m
Let d = 415 + -432. Is d != 0?
True
Suppose 2*y - 7*y = -5*z - 1085, 666 = 3*y + 2*z. Suppose 2*h = -2*i - 102, -y = 2*i + 2*i - 4*h. Let x = 52 + i. Is 4 at most x?
False
Let d = -0.46 - -0.06. Let b = -24691.97 - -24400. Let o = b - -292. Are d and o unequal?
True
Let n(p) = 3*p - 51. Let a be n(18). Suppose 218 = -a*r + 248. Is r > 10?
False
Let l = 558 + -396. Let i be (-9)/(-8) + l/(-108). Which is bigger: i or 0?
0
Let f be (-1819)/372 + 190/38. Let c = -6/31 + f. Which is smaller: 3 or c?
c
Let i = 266.98226 + 0.01774. Is -7 >= i?
False
Let x(u) = -397*u + 1522. Let d be x(4). Suppose -i + 18 = 84. Do d and i have the same value?
True
Let a be (-1 + 0)/(4/60). Let y = 1599/2 + -11405/14. Are y and a unequal?
True
Let p be (1028 - -1) + 0 + 1. Suppose -11*u - 256 = -10*u + c, -c - p = 4*u. Which is bigger: u or -257?
-257
Let q = 4132549/1058 - 3906. Let i = 10593/13754 - q. Is 2 at most i?
False
Let z = -0.0192 - -201.0192. Let x = 200 - z. Which is smaller: x or 8?
x
Let h be -14 + (-11752)/(-2353) + 9. Are 0.1 and h unequal?
True
Let m = -2406 + 2389. Is m at least 1/160?
False
Let w = -15096/715 + 261/13. Let f = -18/11 - w. Are f and -27 unequal?
True
Let v = 45 - 38. Let g = 29 - v. Let m = g - 24. Which is greater: -12 or m?
m
Suppose 4*u - 16 = -0. Suppose u*n = 298 - 58. Suppose 35 = -5*h + n. Which is smaller: 2 or h?
2
Let c = 532 + -3757/7. Let o be 225/150*(-4)/3. Which is smaller: o or c?
c
Let o = -1 - -1. Suppose -3*t - 3 = -o. Suppose 10*c = 31*c + 18*c. Is c less than t?
False
Suppose 225*f = 241*f - 24480. Which is smaller: f or 1531?
f
Let q(m) = 2*m**3 + 255*m**2 + 1350*m + 1175. Let n be q(-122). Let l = 319 - 119. Which is smaller: l or n?
n
Let t = 68 + -66. Suppose -i = -7*i + t*i. Let z = -221/7 + 31. Which is smaller: i or z?
z
Let b = -21 + 23. Suppose -5*w + 1 = b*d, 0*d - 2*w = -5*d - 12. Let q be d + 4 + (-12)/3. Which is bigger: 2 or q?
2
Let j = 2577/7 + -368. Let b = j - 17/21. Let d = -0.103 + 46.103. Is b <= d?
True
Suppose 0 = 4*z - 3*f - 15, -f = 2*z - 3*z + 5. Suppose 4*q = g + 21, z = g + g + 2*q - 8. Which is smaller: g or 1/35?
g
Let w = 385.1 - 364. Let m = w - 21.2. Is m greater than or equal to 9?
False
Let m = -1893/55 - -350/11. Let s be -4 - -1 - (0 - 9). Suppose 0 = 5*f + s + 4. Which is smaller: f or m?
m
Let a(r) = 18*r. Let y(n) = -2*n + 24. Let p be y(12). Let k be a(p). Is k smaller than -1/269?
False
Let q = -165.76 - 0.24. Let y = -71 - q. Let i = y + -100. Which is greater: i or -0.1?
-0.1
Let r = 3 + -3.01. Let m be 0 + (-1 - (-12 - -6)). Let a(z) = -z**2 + 3*z + 11. Let k be a(m). Which is bigger: k or r?
k
Let b be 2/(-4) + 29/(-2). Let s be 28/(-8)*88/77. Does b = s?
False
Let y = 3/8054 + -12087/16108. Is -3567 less than or equal to y?
True
Let c = 1.677 + 0.323. Which is greater: c or -2.32?
c
Suppose -i + 3 = -t - t, 4*i = 3*t - 3. Let x be 30/18*(-3 - 11/(22/(-4))). Is t at most x?
True
Suppose -11*s = 728 + 4332. Let c be (s/(-80))/((-1)/8). Is -46 <= c?
True
Let p = -193.4 + 216. Let c = p + -22.55. Is c > 31?
False
Let y(v) = -2*v**3 + 20 - 16*v - 2 + 42*v - 22*v - 13*v**2 + v**3. Let k be y(-13). Which is smaller: k or -29?
k
Let x be (7 + -12)*(18/135 - (-3)/(-9)). Is -2/139 bigger than x?
False
Let t(s) = s - 22. Let m be t(10). Let v = -2 + m. Suppose 58 = -5*a - 17. Is a > v?
False
Let q = 0.31 - 0.15. Let g = -0.12 - q. Let f be (4/3 + 714/(-459))*3. Is f < g?
True
Let o = -7439 + 6910. Do -532 and o have the same value?
False
Let y = -1294.5 - -1298. Let h = -226 + 224.06. Let i = 0.06 - h. Which is greater: i or y?
y
Suppose 4*c - 8 = 7*h - 5*