, -5*n = -n + 2*g + 94. Let o be (1 - 1388/(-20))*(-4 - 1). Let b = o + 351. Is n at least b?
False
Let c be 308/906 - (-2)/(-6). Let b be ((-9)/6*34/204)/((-12)/(-48)). Which is smaller: b or c?
b
Let q(j) = 2*j**3 - 41*j**2 - 24*j - 72. Let x be q(21). Which is bigger: x or -133?
-133
Suppose -183 = 24*g - 25*g. Let u = -913/5 + g. Is -1/11 greater than u?
False
Let s = 1928 - 778. Is -1 < s?
True
Suppose -7*q = -2*q + 5*o - 655, 2*o + 10 = 0. Is 115 less than q?
True
Suppose 5834 = 29*g + 1368. Suppose -559 = -4*d + 61. Do d and g have the same value?
False
Suppose 0 = -14*n - 126 + 98. Is 8791 less than n?
False
Let r be (-1736)/(-5964) + 1/(-3). Let d = r + 527/710. Let f be 0*(-3)/((-9)/(-1)). Are d and f nonequal?
True
Let f = 107393/3 + -35797. Is -26813 less than f?
True
Let k = -122.85 + 1.85. Let o = k - -127. Is o greater than -1?
True
Let u be (-25)/5 - (1 + 0). Let b be (-9)/u*48/(-36). Let f be 15/15*b/((-2)/(-1)). Which is bigger: f or -2/225?
-2/225
Let k(i) be the third derivative of -5*i**4/12 + 4*i**3/3 - 29*i**2. Let b be k(5). Let w = b + 50. Are 0.1 and w equal?
False
Let i = 475 - 462. Let m = 1.2 + -0.2. Let t = 2 - m. Is i smaller than t?
False
Suppose 6*w - 351 - 219 = 0. Suppose -3*l - 4*x + 20 + w = 0, 4*l - x - 147 = 0. Are 37 and l non-equal?
False
Suppose 0*d + 5*d - 15 = 0. Let s be (-2 - (-6 - d))/13. Suppose -1979*u + 14 = -1965*u. Is s at least u?
False
Suppose 0 = 4*g - 20, 2*i - 4*i = -2*g + 374. Suppose -8*z = -24 + 1464. Which is greater: i or z?
z
Let q be 14068/36 - 2/(-9) - (5 - 7). Is 392 equal to q?
False
Let i(r) = -3*r + 30*r - 19 - 57 - 5*r. Let x be i(8). Is 100 at most x?
True
Suppose 0 = -8*d + 3*d + 2*v + 99, 3*d - 75 = -4*v. Suppose 77*b + 23*b - 2250 = 10*b. Do d and b have the same value?
False
Let t = -2.6661 - -4.6661. Which is greater: -13/991 or t?
t
Let n be 1*0/(0 - 9/3). Suppose n = -j - 0*j + 5*a + 3, 5*j + 5*a - 165 = 0. Let c = 115/4 - j. Are 2 and c unequal?
True
Let k be (14/(-4) - -2)*2 + 9. Suppose k*o - 29 = -65. Let c be (o/4)/((-5)/((-30)/(-9))). Is c <= -7?
False
Let z be (-11277)/3230 - (-11 + (-111)/(-10)). Let f = 66/19 + z. Which is smaller: 1/4 or f?
f
Let r be (80 + -84)*(-6)/106. Which is smaller: 1/5 or r?
1/5
Suppose 4*t + 18 + 399 = 5*a, -5*a = -t - 93. Let j = -0.439 + -0.561. Is j equal to t?
False
Let n be 9 + -6 - 11*441. Let r be n/(-120) - 2/5. Are 41 and r equal?
False
Suppose 47462 = 5*a - k, -26821 = -2*a - 3*k - 7826. Which is smaller: 9494 or a?
a
Let o = 0.128 + -0.228. Let g = -1616/25575 - -2/775. Are o and g equal?
False
Let m be 30/36 - (-1)/(-2). Let f = -29 + -11. Which is bigger: m or f?
m
Let g = -1.5 - -2.18. Let y = -3.32 - g. Let l = 34/15 - -16/15. Do y and l have the same value?
False
Let m = -8331 + 91716/11. Let p be 3/11*87*13/(-39). Let a = p + m. Which is greater: 0 or a?
0
Let o(c) be the second derivative of -19*c**3/6 - 62*c**2 + 63*c. Let n be o(-6). Is n >= -13?
True
Suppose 0 = 5*y + 3*j + 11, 3*y + 6*j = 2*j. Let q(i) = 5*i + 100. Let f be q(-22). Let z be (-2 + 20/8)*f. Which is smaller: z or y?
z
Let a be (-11 - -1)*(-6)/(-12) - (-1031 + -10). Is a at least 1041?
False
Suppose -3*i - u - 35 = 0, 5*i - u = 7*i + 25. Which is smaller: -8 or i?
i
Let h = -32.66 - -33. Let u = h - -1.56. Let s = -1.9 + u. Which is smaller: s or 0.15?
s
Let a = -0.05202 - -76.46202. Let f = a + -75. Which is smaller: f or -1?
-1
Suppose -16 = 2*x + 2*m, -3*x - m - 56 = -6*m. Let i = x - -39. Let j = i + -137/5. Which is smaller: -5/2 or j?
-5/2
Let c = 3981/40 + -797/8. Is c <= -1?
False
Let d = 0.498 + -0.48. Let g = -0.182 - d. Let o be ((-2)/(-10))/((-63)/35). Which is greater: g or o?
o
Let z = -17221 - -22082. Is z greater than 4861?
False
Let m = 8109.06 + -8108. Which is smaller: m or -0.9?
-0.9
Suppose w - 6 = -0*w. Let y(a) = -25 + 9*a - 3*a - 5*a - w*a. Let f be y(-6). Do f and -0.3 have the same value?
False
Let a = -77/10 - -41/5. Let f = -20.03 - -20. Let t = f - -0.03. Which is bigger: t or a?
a
Suppose 0 = -2*p - 2*a + 8, 38*p = 36*p + a - 4. Suppose -c - 3*h = p, -2*c + 0*c - 3*h = 0. Which is bigger: c or 13/22?
13/22
Let w = 476/5 + -33771/355. Let v be 1/(-3) - 4/(-3). Which is greater: w or v?
v
Let y be 6/16 + 173/24 + -6. Let t(v) = -v**3 - 12*v**2 + 16*v + 42. Let w be t(-13). Is y at least as big as w?
False
Let q = -118.47 - 81.53. Do q and 1 have the same value?
False
Let r(l) = 6*l + 5. Let m(u) = 78*u + 66. Let y(x) = 4*m(x) - 54*r(x). Let q be y(-4). Suppose -n + 7 = q. Is -35 not equal to n?
False
Let b(m) = -m**3 - 2*m**2 + 2*m + 7. Let u(f) = 2*f**3 + 3*f**2 - 5*f - 15. Let i(c) = -5*b(c) - 2*u(c). Let o be i(-3). Suppose -7*y = -o*y + 3. Is 2/69 <= y?
False
Let n = -270.9693 + -0.0307. Let w = n + 270. Do 195 and w have different values?
True
Let p(m) = m + 9. Let x be p(-9). Let h = -12.8 + 0.8. Let o = h + 8. Are o and x equal?
False
Suppose -21*j = 38 + 29 - 88. Is -81/334 < j?
True
Let a = 957 - 2873/3. Let t = 0.26 + -0.14. Let y = t - -8.88. Is a less than y?
True
Let x = -730 - -730. Does x = 4/1993?
False
Let p be -4 + (-3)/(48/58)*-1. Suppose 9 = -y - 0*g + 3*g, 0 = 4*y + 3*g - 9. Suppose y*k = k. Which is smaller: k or p?
p
Let u = 4222 + 6179. Is u not equal to 1?
True
Let k = -144 + 171. Let u be (k/(-6) + 20/5)/4. Which is greater: u or 1?
1
Let t(q) be the second derivative of -q**3/6 + 51*q**2/2 - 14*q - 4. Let b be t(-17). Which is bigger: b or 70?
70
Let z = -120/41 - 24832/369. Which is bigger: -71 or z?
z
Let o = -21585 + 22804. Which is greater: o or 10978/9?
10978/9
Let a be 21/(441/(-6)) + (-208)/7. Let n = a - -35. Is -2/9 greater than n?
False
Let v = -4855586345/2211 + 2196104. Let z = -5/33 - v. Which is smaller: z or 1?
z
Suppose 338*a - 476 = 270*a. Suppose -2*i - 9 - 3 = 0. Which is smaller: i or a?
i
Let i = 2538 + -40605/16. Which is smaller: i or 7?
i
Let u be (-176)/(-2) + 4/(-3)*-3. Let m = u - 94. Let w be m/(3/(-4 - -3))*36. Are 26 and w non-equal?
True
Suppose -q + 5*g = -23, -2*g + 4 = -3*q + 7*q. Suppose -4*m = 4*s + 19 + 29, q*m + 36 = -4*s. Which is smaller: m or -9?
m
Let s be (360/(-450))/(8102/2025 - 4). Which is smaller: s or -14?
s
Let c = 807760/171 - 42976/9. Which is bigger: c or -52?
c
Let b = 31752 - 27300. Do 4453 and b have the same value?
False
Let g = -47560 + 44468. Is g smaller than -3089?
True
Suppose -d - 3*n - 1374 = 0, -9*n + 1377 = -d - 13*n. Which is smaller: d or -1364?
d
Suppose -1523*l = -1349*l - 3 + 3. Which is smaller: l or 3/11843?
l
Let a = -33 - -40. Let m = 5 - a. Let u be (m/21)/((-7)/49). Does 1 = u?
False
Let p be 121/(-4) + 4 + 30/(-8). Let y = -35 - p. Let q be 7/(616/(-60))*(-4)/y. Is 0 at most as big as q?
False
Let z = -150 - 70. Let g = z - -264. Does g = 42?
False
Let c(s) = s**3 - 29*s**2 - 202*s + 7. Let q be c(-6). Is -167/4 bigger than q?
False
Let s(x) = -58*x - 1339. Let k be s(-21). Is -121 greater than k?
False
Let i = 183.926 + -184. Let h = -0.174 - i. Is -1 bigger than h?
False
Let m = 23436 + -25342. Is -1907 <= m?
True
Suppose 5*u = -5*l - 857 - 1878, 0 = -5*u - 2*l - 2738. Which is smaller: -551 or u?
-551
Let w be 128947/1859 - (-4)/(-11). Is w equal to 68?
False
Suppose -2*n = 5*g + 361, 0 = -4*n - 12*g + 8*g - 728. Let w = 183 + n. Let l be 2 + (-4)/(288/148). Which is bigger: l or w?
w
Let b be (-32)/4 + (-36070)/(-341). Let x = b - 1932/31. Is 36 <= x?
False
Let g = -391 + -51. Let d = -442.1 - g. Which is bigger: d or 3/113?
3/113
Let t = -276 + 176. Let n = t - -87. Is -9 at least as big as n?
True
Let s = -17 - -21. Suppose 4*k + 56 = -f - 2*f, 5*f + s*k = -80. Is -14 greater than or equal to f?
False
Let u = 112693/4 - 28174. Suppose 2 = -0*o - o. Is o not equal to u?
True
Let v be (86/(-16)*68/102)/(60/800). Let c(f) = -2*f**2 + 4*f - 1. Let t be c(6). Which is bigger: t or v?
v
Let s = 302 + -104. Let m = s - 220. Which is smaller: m or -1?
m
Let l(x) = 13*x. Let h be l(-7). Suppose -1137 = 33*s - 6945. Suppose 10*w + 1086 = s. Do h and w have different values?
False
Let y be (-39)/(-52)*8 + 8. Let t(q) = -q**3 - 11*q**2 - 12*q - 9. Let c be t(-10). Is y at most c?
False
Let h be 0/((-4)/(-6)*15 - 264/33). Is -0.03212 at least as big as h?
False
Suppose 0 = -2*o + 10*o + 40. Let h = 24 - 24. Let w be 0