se -4*m - b = -38, 0 = -5*m + 6*b - b + 60. Is m at most as big as i?
True
Let c = 7788 + -7742. Is 24 bigger than c?
False
Let j = -154 - 343. Are j and -493 equal?
False
Let c(r) = 6*r**3 + 2*r**2 - 2*r. Let d be c(1). Suppose d*s + 67 = 49. Let a be ((-3)/(-2))/s - 5035/(-9646). Is a at least 0?
True
Suppose 4*g - 220 = 4*l, 3*g - 5*g - 3*l + 125 = 0. Let p be (-25 + 26)/((-2)/g). Which is bigger: p or -30?
p
Suppose 6*m + 84029 + 28319 + 20468 = 0. Which is bigger: m or 1?
1
Let k = -1113.44 - -1078. Let d = k - -35.4. Suppose 0 = -s + 3*s - 2*f + 4, 4*f = -4*s + 32. Is s < d?
False
Let j(f) = f**2 + 7*f + 6. Let b be j(-6). Let a = 108626/73 + -1488. Let m = -404/1241 - a. Is b less than m?
False
Suppose 31 - 87 = -28*y - 0. Is -15 at most as big as y?
True
Let s = 1264 + -1264. Is s bigger than -18/601?
True
Suppose 0 = -3*u - 369*y + 370*y - 659, 0 = -5*u - y - 1093. Which is greater: u or -2844/13?
-2844/13
Let t(u) = -u**3 - 32*u**2 + 14*u + 448. Let l be t(-32). Is l less than 94/133?
True
Suppose 15*p + 20 = 10*p. Let g be 2 - -12*5/(-10). Let r be -4 + -5*g/50. Which is greater: p or r?
r
Let a(k) be the second derivative of -k**4/6 - 6*k**3 + 30*k**2 - 4*k - 17. Let w be a(-18). Which is bigger: 56 or w?
w
Suppose -w = 5*d + 537, 3*w + 351 + 1282 = -4*d. Is w equal to -548?
False
Suppose 0 = 2*q + 3*c, 4*q - 2*c = 9*q. Let a be 1449/(-184) + (q - 2/16). Are -8 and a unequal?
False
Let g be 10 + (-60)/6 - 3/8. Which is greater: g or -20?
g
Let b(x) = x**2 - x - 2. Let m(l) = l**3 - 6*l**2 + 2*l + 4. Let q(r) = -4*b(r) - m(r). Let v be q(-2). Is v bigger than 18?
False
Let t be -1*9/6*48660/45. Are -1627 and t unequal?
True
Let s = -3024 - -1998. Which is smaller: s or 0.5?
s
Let s be (-1)/4 + 45/20. Suppose 0 = -5*c - 513 + 98. Let k = 752/9 + c. Are k and s equal?
False
Let f = -5245.87108 + -0.12892. Which is smaller: f or 0.1?
f
Let f = 498/79 + -1810/237. Is f at least as big as -0.8?
False
Let o be -4 + 4 + ((-4)/2)/1. Let c be ((-111)/(-15) - 5) + o. Let s be -1 + 3 - (-16)/(-7). Is c greater than or equal to s?
True
Suppose -143 = 50*i + 857. Suppose -5*p - 41 = -d, 2*d + 3*p - 7*p - 58 = 0. Let s = d + i. Which is bigger: 0 or s?
s
Let s = -34 + 44. Let p be 0*(12/(-20) + 16/s). Let a = 9739/29 - 336. Which is greater: a or p?
p
Let j(x) = 2*x + 5. Let q(i) = -i - 2. Let v(k) = 6*j(k) + 11*q(k). Let r be v(-8). Let u = 22149/25 - 886. Is r at least as big as u?
True
Let z = -141/14 - -60637/42. Which is bigger: z or 1434?
1434
Let v = 4.13 + -4. Let l = v + 0.11. Let n = l - -0.06. Is n > 8?
False
Suppose -5*o = -2*b + 11 + 14, 3*b = -4*o + 3. Suppose c + 8*s - 7*s = 2, 0 = 5*s - b. Is -3/269 bigger than c?
False
Let v be (24/(-400))/(21/4). Let p = v + 79/350. Let y = 369 - 368. Are p and y nonequal?
True
Suppose 3*x = 4*n - 322, -206 = -4*n - 5*x + 100. Which is greater: n or 72?
n
Suppose 20 = q + 14. Suppose -1060 - 116 = q*y. Which is greater: 1 or y?
1
Suppose 0 = 4*b - 5*t - 29, -4*b - 2*t = -t - 23. Let q be ((-4)/b)/(8/(-2538)). Let y = -198 + q. Which is smaller: y or 15?
y
Suppose 4*r - 10 = -3*p, r + 0*r - 7 = -3*p. Let m be (-135)/(-21) + (-4)/(-7). Suppose -3*v - m = -r. Which is greater: -6/11 or v?
-6/11
Suppose 0 = -663*m + 660*m - 78. Let f be ((-19)/57)/((-2)/m) + 4. Are f and -1.29 non-equal?
True
Let t be 2446/(-22) + 22/121. Let l = t + 107. Is l < -22/7?
True
Suppose 40*t + 329 = 33*t. Suppose -143 = 6*s + 145. Which is smaller: s or t?
s
Let d = 16727 - 16712. Which is bigger: d or 1?
d
Suppose 0 = 2*c + 2*c + 5*w + 22, 34 = -5*c - 3*w. Let u = 235 + -703/3. Is u at most as big as c?
False
Let x = -17781/10 + 3677/2. Let t = x + -314/5. Which is greater: t or -2?
-2
Let u = -11 + 181/17. Let r(w) be the first derivative of 2*w**3/3 - 15*w**2/2 + 8*w - 5. Let d be r(7). Are d and u non-equal?
True
Suppose x - y = 666, 6*y - 5*y = -3. Let w = -339 + x. Does w = 323?
False
Suppose 3*s - s = 3*o + 47, 5*o = -3*s + 23. Let i = -68 - -70. Suppose 0 = 2*r - 8, -5*f + 3*r - i = -65. Which is smaller: s or f?
f
Let t = 7 - 15. Let y = 1811 - 1802.91. Let l = y + t. Is l bigger than 1?
False
Suppose 2*z + 2*f - 152 = -2*f, -f + 344 = 5*z. Let a = 638 - 570. Is z not equal to a?
False
Let s = 0.71 + -0.7. Let z be (54 - 66 - (1 + -10))/(-1 - 6). Is s < z?
True
Let q = 31 - 29.6. Let d = 1.3 - q. Let m = 0.579 - 0.049. Which is greater: m or d?
m
Let p = 25764.913 - 25750. Let z = p + 0.087. Let b = 113 - z. Which is smaller: b or -0.1?
-0.1
Suppose 6 = 3*p, 0 = d + 23*p - 19*p - 14. Let i be d + (-3966)/24 + 4. Which is bigger: i or -154?
-154
Let d = -20488 + 20487. Are -34/209 and d equal?
False
Let i(t) = 3*t**2 + 8*t - 5. Let j be i(-3). Let d(b) = 4*b. Let z(k) = -k. Let y(g) = d(g) + 5*z(g). Let x be y(j). Is 35 at most x?
False
Let u be (-187640)/(-1781858) + (176/38)/(-44). Is u equal to 1?
False
Suppose 33*n - 276 = 384. Let x = 118 + -222. Let d be (x/n)/(28/20). Which is smaller: d or -5?
-5
Let m = -110.69 - -28.69. Is 71 at most m?
False
Let u be 8/(-1)*((-16)/2 - -1). Which is smaller: 101 or u?
u
Let p = -23 + 23. Let j(i) = -i**3 - 1. Let t be j(p). Let c be 37/(-14) + (6 - (4 + t)). Which is bigger: -1 or c?
c
Let k = 4/17 - 61/187. Let f = -5 - -11. Suppose 0 = -2*g + f - 6. Is g at least k?
True
Let h = 1180.3 - 1083. Let w = h - 97.2724. Do 0.2 and w have the same value?
False
Let t(w) = w**3 + 12*w**2 - 27*w + 16. Let p be t(-14). Let u be (-10)/(-8) + 1 - p/8. Let r be -3 + 2/u*(5 - 2). Is 1/102 less than r?
False
Let w = -33 - 250. Let b = w - -212. Which is bigger: -2 or b?
-2
Suppose 0 = 5*k - 5*a + 205 + 20, -3*a = k + 29. Which is smaller: -127/3 or k?
-127/3
Let w = 14318.41 + 289.59. Is w at least 0?
True
Let s = 0.069 + 0.961. Let v = 0.045 + 0.675. Let i = v - s. Is i <= 0.1?
True
Let i(a) = -18*a**2 - 34*a - 56. Let z be i(17). Let j be z/(-24) - (-1)/(-6). Which is greater: 244 or j?
244
Let q(s) = -3*s**2 - 146*s - 2706. Let p be q(-23). Which is smaller: p or -938?
-938
Let o = 41 + -41. Suppose -13*l + 1594 + 356 = o. Suppose l = 16*f - 6*f. Is 14 bigger than f?
False
Let t be 1*-1 - (-2 + 0). Let l be (5 - (-215)/(-45)) + 667/7569. Which is bigger: l or t?
t
Suppose 4*o - 3*v + 534 = -379, -2*o + 5*v - 453 = 0. Is o != -242?
True
Let h = 46542 - 35704. Are 10836 and h unequal?
True
Let j be (21/(-294)*7)/((-3)/(-2346)). Which is smaller: -382 or j?
j
Let j = 340/283 - 1187413/1132. Is -1049 at most as big as j?
True
Suppose 16 + 329 = -3*g - 4*p, -5*g - 2*p = 561. Let d = g - -82. Does d = -143/5?
False
Suppose 8240*f = 8253*f. Which is smaller: 18/563 or f?
f
Let y be (-1)/((2/(-20))/((-36)/(-8))). Let m(v) = v**2 - 62*v + 683. Let d be m(13). Which is smaller: d or y?
y
Let o = -297 - -299. Suppose -2*b = 3*z + 256 + 119, -5*b = o*z + 261. Which is greater: z or -125?
z
Suppose 54*s + 39 - 76 = 71. Are -1146 and s non-equal?
True
Let o be 103356/462 - 12/(-21). Which is smaller: 223 or o?
223
Let h be 1463/(-38)*(2 + 0 + 0). Let d be (2*-1 - -1)*22/h. Is d < 18?
True
Let r = -99/1520 - -1/19. Let d(o) = 24*o - 77. Let w be d(5). Suppose -38*f = -w*f. Which is smaller: f or r?
r
Let l be 12/(-30) + -5*10/(-125). Let h(x) = -x + 1. Let a be h(-1). Suppose -v - b + a = 0, -v + 4*v + 2*b - 3 = l. Is -3/2 equal to v?
False
Let q = 8 - 10. Let v(z) = 2*z**2 + 30*z + 6. Let m be v(-16). Let y = q - m. Which is smaller: -41 or y?
-41
Let z = -0.317 - 0.104. Let q = -0.301 - z. Which is smaller: -5 or q?
-5
Let t(c) = 37*c**2 + 193*c - 16. Let z be t(-6). Is z less than or equal to 25?
False
Suppose 0 = 22*q + 38535 + 62577. Is q > -4598?
True
Let s be 4 - (-66012)/36 - -8. Is 1846 < s?
False
Let w be -7 - (69/(-276) + 56917/4). Which is bigger: -14237 or w?
w
Let w(z) = z**3 - 25*z**2 + 51*z - 113. Let s be w(23). Let v = 1 + 6. Suppose v = s*c + 2*h + 13, 2*c = -3*h - 7. Which is bigger: c or -10/9?
-10/9
Suppose 3 = -5*m - 14*h + 13*h, -5*h - 15 = 0. Which is smaller: 11/113 or m?
m
Let z(f) = 14*f**3 + 310*f**2 + 48*f + 13. Let q be z(-22). Which is smaller: -1405/19 or q?
q
Let q = 8289 - 18190. Let o = q - -9844.01. Let a = 57 + o. Is -1 less than a?
True
Let s(g) = 5*g**2 - 11*g + 37. Let n be s(12). Which is greater: n or 628?
628
Suppose -1533 - 124 + 33 = 7*r. Which 