4/24 + 7*r**3/3 + 46*r**2 - 2. Let b be o(14). Is -4/119 at most as big as b?
True
Let x = -141.6 + 122. Let u = x - -25.6. Which is smaller: u or 7?
u
Let p = -188561377/1040 - -181309. Let c = 11/80 - p. Is -111 != c?
True
Let z(q) = -q**3 + 4*q**2 - q + 2. Let o be z(3). Suppose 0 = -5*m + 33 - o. Suppose -h - 115 = m*p, 0 = 3*p - 5*h + 84 + 13. Which is bigger: p or -23?
-23
Let f(t) be the first derivative of -t**4/4 + 8*t**3 - 20*t**2 - 59*t + 94. Let p be f(22). Which is bigger: 30 or p?
30
Let u be ((-12)/9)/((-162)/1701). Is 32 at most as big as u?
False
Let d = 537 + -524. Let l be 2/(-2) + 2 - (d - -9). Which is smaller: -25 or l?
-25
Suppose -33*s + 347*s = -1133854. Is s != -3613?
True
Suppose -4*f - 2 = -2*w, 0*w + w - 1 = f. Suppose -x + 26 - 1 = f. Suppose -m - x = 4*s, 0 = m + 6*s - s + 27. Which is bigger: m or -18?
m
Let x be 3 + ((-8775)/10)/(5/50). Which is greater: x or -8771?
-8771
Suppose 886 = -14*u - 304. Let p = 30 + u. Is -56 > p?
False
Let n be (6/(-43048))/(7200/(-768)). Does 1 = n?
False
Let w = -545 + 113901/209. Is 1 equal to w?
False
Suppose 4*a = -3*o - 5, o = 2336*a - 2331*a + 11. Which is bigger: o or 6/5621?
o
Suppose -n = -u + 2, 10*n - 4*u = 5*n - 8. Suppose n = -a - 30*a - 341. Do -9 and a have the same value?
False
Suppose -4*l = -7*l + 15. Suppose j - 2*s = s - 36, -110 = l*j - s. Let v = 177 + -197. Is j at most v?
True
Let y = 57 - 50. Suppose 11*o + y = -4. Which is smaller: o or -4/47?
o
Suppose 0 = -4*n - 3*f, -n + 3 = -2*f - 8. Suppose 0 = -2*x + n*x - 6. Let c = 1.56 + -1.36. Is x less than c?
False
Let n = 245 + -241. Let v be (n - 0) + (-76)/18. Which is smaller: v or -1?
-1
Let b(q) = 2*q - 16. Let d(k) = k - 8. Let t(x) = 3*b(x) - 5*d(x). Let f be t(15). Suppose 12 = 5*v + f. Which is smaller: v or -10?
-10
Suppose -6*r - 136 = 2*r. Suppose 7*a = -2*a - 63. Which is bigger: r or a?
a
Let l(s) = -10*s**2 - 4*s - 4*s**2 + 2*s**2 - s**3 - 31 - 7*s**2 + 3*s. Let q be l(-19). Which is bigger: -53/4 or q?
q
Let h = -1/52445 + -433877478/367115. Is -1181 >= h?
True
Let d(h) = -h**2 - 11*h - 6. Let a be d(-8). Let x be (-6)/1*30*2/a. Let y(s) = 4*s + 1. Let v be y(-5). Is v greater than x?
True
Let n = -6441 - -186781/29. Let l = 33 + -32. Is l bigger than n?
True
Let n = -9917947/449 + 22089. Is -1 smaller than n?
True
Let f = -72 + 266. Let p(n) = n**3 - 94*n**2 - n + 96. Let h be p(94). Which is smaller: f or h?
h
Let w(m) = 3*m**3 - 25*m**2 - 5*m + 104. Let i be w(8). Is 0.7067 at least as big as i?
True
Let p be (-3)/(-33) + (-1040)/(-176). Suppose -p*n + 114 = -12. Is n <= 200/9?
True
Let u = 255 - 14789/58. Suppose 6*g + 8 - 14 = 0. Which is smaller: g or u?
u
Let t = 7.9 + -84.9. Let w = t - -78. Let k = 40 + -11. Are w and k unequal?
True
Suppose 3*q - 9 = -3*j, 3*j + 1 = 4*q + 3. Suppose 0 = 4*w - 2*d - 216, j*w + w = d + 164. Suppose -w = 14*f - 6*f. Do f and -22/3 have the same value?
False
Let l = -0.25 - -0.3. Let r = -12 - 21. Let w = 33 + r. Does w = l?
False
Let y = -4931767/41464 - -8469/71. Let w = y - -5/146. Let b be (-4)/(-10) + (-2)/5. Which is bigger: w or b?
w
Let u be (((-4)/(-20))/(3/15))/(-1). Let h be (3 - u) + (3 + -2 - -2). Let w be 3 - (-2 + -2 + h). Is -6/47 < w?
True
Let n be 1*6/(-6) - (1 - -2). Let v(r) = 2*r**2 + 15*r + 27. Let x be v(n). Which is bigger: x or 4/303?
4/303
Let i be 8/(-12) - (-14)/3. Suppose -6*p = -i*p. Suppose 5*j + k = 30 + 253, p = 2*k + 4. Is 57 at most j?
True
Let l = 612 + -899. Let z = -287 - l. Which is greater: -22/39 or z?
z
Suppose s = -3, 4*w - 9*s - 37 = -6*s. Let m be 8*w/56 + -1. Is -18 equal to m?
False
Let u = 24674/3 - 59044876/7179. Is u less than or equal to 1?
True
Suppose 8*w = 6*w - 3*g + 93, -2*g = 5*w - 216. Let a be (4/(12/(-9)) + -1)*-11. Is w not equal to a?
True
Let j = 60 + -47. Let o = j - 13. Let m = -4884 - -971918/199. Which is bigger: m or o?
m
Let x = 2.48 + -137.48. Let k = -136 - x. Is 1/15 greater than k?
True
Let m = -75769 + 6895206/91. Let c = m - 18/7. Let z = 119010.1 + -119010. Is z at least c?
True
Suppose 352*r - 1887 - 1598 - 1091 = 0. Let z = 209 + -146. Suppose -4*q + z = 23. Is r > q?
True
Suppose 4757 - 268 = -z. Let q be (-6)/4*(5 + z/(-15)). Let y = q + 455. Is y at most as big as 0?
True
Suppose -3*k - 5*i = -9, 12 = 3*k + k - 3*i. Suppose k*l = -4*b - 8, -2*b - 4 = l - 2. Suppose 5*m - b - 4 = 0. Which is smaller: -29 or m?
-29
Let n(o) = -8*o**2 + 3*o - 2. Let u be n(2). Let v be u/(-10) + 6/30. Let m be (v/(-9))/((-41)/3). Are 1/3 and m nonequal?
True
Let b(l) be the second derivative of -7*l**3/6 - 5*l**2/2 + 21*l. Let r be b(-2). Suppose r = 3*o - 0*o. Is o <= 21/8?
False
Let r = 1.83 - 80.83. Let g = r - -80.2. Is g not equal to -3?
True
Let d = -4.82 - -0.42. Let p = d + -0.6. Let g = p + 0. Which is smaller: 0 or g?
g
Let p be 2 - (0 - (-2148)/1204) - 18/63. Suppose 0 = 3*x - 5*h + 9, 5*x - 13 - 6 = -3*h. Suppose 3*r = x*r. Is r <= p?
False
Suppose 0 = -6*l + l + 5. Let t = 1092528/25 + -43701. Which is smaller: t or l?
t
Suppose 5*w = 3*b + 915, -4*w = -802*b + 800*b - 612. Are b and -1507/5 equal?
False
Suppose 6*m - 2*m + 628 = 0. Let r = 6338 - 6495. Is m greater than or equal to r?
True
Suppose 2*n = -4*v - 70, 0*n = -5*v + n - 91. Let o be (-1176)/66 + 4/(-22). Let a = o - v. Is -4/29 greater than a?
False
Let t = 15 - 26. Suppose c + 5*f + 30 = 4*c, 5*c + 5*f - 10 = 0. Suppose -4*q = 4*b - 12 - 0, -5*q + c*b - 15 = 0. Which is smaller: q or t?
t
Let d(s) = -s**2 + 116*s + 4557. Let c be d(147). Is 18/41 > c?
True
Let y be (-12)/18*9/(-6). Let k = -76 - -21. Let n = 33 + k. Which is smaller: n or y?
n
Let x = -13220 - -4217184/319. Suppose -5*g = -3*v + 8, -4*g - 3 = 3*v - 2*v. Is x <= v?
True
Let t be (7/(-21))/((-2)/(-12)). Let n be (-8)/(-1) + t + -2. Suppose 0 = n*p - 4*a - 108, 0 = 2*a + a + 3. Which is smaller: 25 or p?
25
Let h be (-20)/(-225)*(-4)/(16/(-3)). Let y be (-4)/22 + 4/(176/52). Is h at most as big as y?
True
Suppose -383 = 26*p - 45. Is p <= -77?
False
Let q(j) = -132*j**2 - 4*j - 8. Let m be q(-3). Are m and -1183 equal?
False
Suppose 2*p - 27*f + 24*f + 42 = 0, 3*p + 5*f + 82 = 0. Let b be ((-61)/(-4))/(p/16). Are -11 and b non-equal?
True
Let m be (2 + 3)/(90/2772). Are m and 146 equal?
False
Suppose 4*n = -4*i - 136 + 520, -2*i + 198 = -4*n. Let l = -53 + i. Let d = l - 87/2. Is d greater than or equal to 0.7?
False
Let q = 91.344 + -1.344. Which is greater: q or -4?
q
Let b = 50 - 46. Let s be 21/((-168)/16)*-8*b. Which is smaller: 458/7 or s?
s
Let p = 78611 - 942809/12. Are 45 and p unequal?
True
Suppose 101 = -30*q - 904 - 375. Let a(f) = -6*f - 7. Let r be a(6). Is r < q?
False
Suppose -20 = -5*f, 24*f - 28*f - 134 = 5*r. Which is smaller: 2 or r?
r
Let o = 605 + -643. Let a(i) = i**3 + 2*i**2 - 8*i - 3. Let w be a(-5). Do o and w have the same value?
True
Let l(d) be the third derivative of -d**5/60 - d**4/4 - d**3/2 - 13*d**2. Let k be l(-5). Suppose y + y - k = 0. Which is bigger: 1/25 or y?
y
Let w = -915.3 + -232.7. Does 0.02 = w?
False
Let k be 40/(-30) - (-94)/90. Let s = 233/900 + k. Which is smaller: 1 or s?
s
Let h = 94 - 92.7. Let j = -1 - h. Let t = 2.2 + j. Which is greater: 4 or t?
4
Suppose 27*a = 32*a. Suppose a = 9*s + 21*s - 30. Is -34 smaller than s?
True
Let u = 121 - 81. Let o be ((-1)/7*1)/(18/(-5166)). Which is smaller: u or o?
u
Let i be ((-8)/(-5) + 0)/(-2). Let x = -1890 - -1333. Let p = x + 556. Is p less than or equal to i?
True
Let h be (3/(-12) - -1)*4. Suppose -2*a = 2*z + 6, a - h*a = -2*z - 10. Let m = -29 - -611/21. Which is smaller: m or a?
m
Let c(j) = -67*j + 1035. Let b be c(24). Are -569 and b unequal?
True
Let z = 0.1277 + 512.8723. Which is smaller: z or -1/4?
-1/4
Let m = -3414390 - -105863572/31. Let j = m - 564. Which is smaller: 0.3 or j?
j
Let i = 9269 - 9251. Is 42 bigger than i?
True
Let o(g) be the first derivative of -g**3/3 - g**2 + 2*g - 57. Let j be o(-3). Is j greater than or equal to 1/249?
False
Let i be (-7 - (-40)/6)/(7/(-4245) + 0). Which is smaller: 201 or i?
201
Let b = 2 + -11. Suppose -10*d = 658*o - 656*o + 52, -d + 130 = -5*o. Is b less than o?
False
Let h = -186 - -203.7. Let t = h + -1.7. Which is smaller: 1 or t?
1
Let a = -363 + 363. Suppose y - q + 26 = a, 0 = 5*y - 2*y - 5*q