o**2 + 49*o - 344. Let x be f(40). Is r >= x?
False
Let a = -116 - -124. Let p be a/52 + 4140/(-1053). Which is greater: -3 or p?
-3
Suppose 0 = 2*s - 4*z - 2, 13*s + 80 = -2*z - 19. Is s >= -173/22?
True
Let k = 10151 + -10153. Is -29 < k?
True
Let f(z) = -5*z**2 - 119*z + 23. Let y be f(-24). Which is bigger: 5/101 or y?
5/101
Let l(w) = -w**3 - 18*w**2 - 56*w + 8. Let q be l(-14). Suppose -q*u = -11*u + 117. Does u = 41?
False
Let c(g) = 871*g + 3532. Let j be c(-4). Suppose 4*y - 108 = 88. Suppose y*b - 1 = j*b. Is 2/185 at most b?
True
Let g(b) = -2*b**3 + 3*b**2 - 6*b - 5. Let i be g(-3). Let s be (i/(-1128))/(2/(-4)). Is -0.106 greater than s?
False
Let f = 3.49 + 179.51. Let g = f + -185. Which is smaller: g or 6?
g
Let o = 25 - 26.48. Let g = o - -1.68. Which is smaller: -1 or g?
-1
Let u = -1.45 - 163.55. Let z = 44 + u. Let m = z - -88. Which is greater: -2/5 or m?
-2/5
Suppose 187 = -13*y - 281. Let r be ((-74)/6)/(48/y). Which is smaller: r or -0.1?
-0.1
Let h = -202 - 843. Let n be h/88 - 1/8. Let o be (0 + -2*(-39)/(-12))*2. Which is bigger: o or n?
n
Let n = 0.36 - -0.04. Let t = -4248.2 + 4230.2. Which is smaller: t or n?
t
Suppose -30 = 3*b - 42. Let d be 3/(-4 - 58/(-16)). Let r be ((-39)/(-130))/((-6)/d). Is b less than r?
False
Let m be 7/(-42)*95626 + 7 + 8/(-24). Is -15931 > m?
False
Let y be 1/(4*1/16). Suppose -6 = -y*a + 14, 32 = t + 4*a. Suppose -3*k = 2*s - 7*k - 20, k + t = 4*s. Which is smaller: s or 8/11?
8/11
Let n(x) = 9*x**2 - 20*x - 32. Suppose 0 = 39*p + 47 + 31. Let v be n(p). Which is bigger: v or 6?
v
Let n be 25/(-7) + -4 + 5. Let y(w) = w**3 - 5*w**2 + 2*w + 3. Let u be y(4). Let c be 15/u + (2 - 3). Which is smaller: n or c?
c
Let i(k) = -k**3 + 12*k**2 - k + 14. Let h be i(12). Let z = 2582 - 2586.5. Which is bigger: z or h?
h
Let v = 142.19 + 0.81. Let p = 24.3 + 123.7. Let i = p - v. Is 0.2 <= i?
True
Let i = 8.787 + -11.787. Is i <= -658?
False
Suppose 1 = 5*q + 2*a, q = -a - 47 + 49. Do q and -2/4615 have the same value?
False
Let d(w) = w**2 - 32*w - 62. Let x be d(33). Let f be (-2)/((-260)/(-66) - 4). Let h = 2 - f. Is h != x?
True
Let h(u) = -u**3 - 7*u**2 - 7*u - 4. Let t be h(-6). Suppose -5*c + 2906 = 42*c + 2718. Is c bigger than t?
True
Suppose -64 = 14*i + 342. Let l(o) = -42*o. Let u be l(1). Let n = u - i. Does n = -14?
False
Let s = 1/216837 + -4625947/19732167. Let u = 36697/39 + -941. Let r = s + u. Is r greater than or equal to -0.04?
False
Let u = 0.13 + -0.1. Let l = -9 + 9.97. Let m = l + u. Which is smaller: -6 or m?
-6
Let y = -416 - -416. Are y and 584 equal?
False
Let t be 166719/(-42) + -44 + 1/(-1) + -7. Which is greater: -4021 or t?
-4021
Let n = -781.1 + 769. Let w = -11.1 - n. Which is bigger: w or -3/5?
w
Suppose d + i - 25 = -6, -5*d = 2*i - 92. Suppose g - 23 = 5*y, g - 3*g - 4*y = -d. Let x = -16 - -28. Which is bigger: g or x?
g
Suppose -5*v + 3*g + 1 = 0, 2*g + 4 + 2 = -2*v. Let d be ((-55)/20)/(3/(-12)). Let y = v + d. Is 6 < y?
True
Let i be (-1)/(-40)*18/3. Let l = 2.0179 - 0.0179. Is l greater than or equal to i?
True
Suppose g - 3*z + 2*z + 1 = 0, -6 = 2*g + 2*z. Let q(f) = -5*f**3 - 2*f**2 + 9*f + 15. Let w be q(g). Is w <= 27?
False
Let k be (0 - 0)*-1 + 271. Suppose -2*f + j + 418 + 128 = 0, 5*f - 1343 = -3*j. Is f less than k?
False
Suppose 0 = p - 3 - 1, 132 = -4*m - 3*p. Let l be -1 + (4 - 2) + ((-16)/(-4) - 4). Is l bigger than m?
True
Suppose 0 = -19637*r + 19662*r + 117200. Which is greater: -4690 or r?
r
Suppose 3*n - 5*n - 58 = 0. Let m be (48/14)/(7/(735/(-10))) + 4. Are n and m equal?
False
Suppose -g - 1 + 2 = -5*t, -5*t - 7*g = -47. Which is smaller: t or 3/233?
3/233
Let m be (275/(-165))/((-1)/3). Suppose -4*k = -5*s + 9*s + 104, 0 = 5*k - m*s + 180. Is -33 less than or equal to k?
True
Let d(k) = 80*k + 797. Let o be d(0). Which is smaller: o or 800?
o
Let h = -0.33186 - -12.33186. Let o = 1 - 11. Is o less than h?
True
Let q be 9/(315/40)*57/(-228). Let i = -353.0002 - -0.0002. Are q and i non-equal?
True
Let z(p) = -3*p**3 + 13*p**2 + 3*p + 34. Let n be z(5). Is 4235 smaller than n?
False
Suppose 18*v = v + 476. Let n = v - 14. Is 6 bigger than n?
False
Let h be (-1610)/(-98) - 80/4. Which is bigger: 1/4 or h?
1/4
Suppose -19136*n = -19283*n + 3675. Let l = -35.9 + 39. Let p = l + -3. Is p < n?
True
Suppose -6 = 5*m - 5*u - 46, u + 2 = -m. Let x be 279/6*(-6)/m. Is -92 >= x?
True
Let j = 1 - -1. Suppose -j*k - k = 24. Suppose 47*n + 815 = 721. Which is bigger: n or k?
n
Let a be (-53)/105*-82 - (-10)/(-75)*-1. Are a and 41 non-equal?
True
Suppose 0 = 4*h + v - 28, 2*h - v - 14 = -3*v. Suppose -h*j = 13*j - 380. Is -2 < j?
True
Let u = 3696 + -3695. Which is smaller: u or 1/3676?
1/3676
Let u be (2/4)/((-2)/(-16)). Let h be ((-6)/(-18) - (-1 - -1))*36. Let y be (10/4)/((-1668)/144 + h). Is u > y?
False
Let t = -175/47 + 822069/220759. Which is smaller: t or 0?
0
Let z(t) = 471*t**2 - 18*t + 36. Let m be z(4). Suppose m = -27*i - 1329. Are i and -326 unequal?
True
Let o be 2/(-8) + 190866/(-248). Let f = -770 - o. Suppose 0 = -128*v + 200*v - 72. Which is smaller: v or f?
f
Let o = -477901/7 + 68273. Let z be (-3)/(-12) - 2/(-4). Which is smaller: z or o?
z
Let g = 434 - 424. Let l = -8 - -19. Is l at most g?
False
Let q(y) = y**2 + 6*y + 10. Let z be q(-4). Suppose z*h = 4*u + 12 - 4, -3*h = u - 12. Let r be (-18)/(-6) + u - (0 + 4). Which is bigger: 1/124 or r?
1/124
Suppose -p - 4 = 0, 3*x = 4*p - 1303 - 622. Let v = x + 696. Is v smaller than 49?
False
Let o = 459 - 394. Let u be 62/(-10) - ((-13)/o + 0). Suppose 5*c = 5*v - 50, v - 25 = 2*c + 2*c. Are c and u unequal?
True
Let j = 2041/9 - 2056/9. Which is bigger: j or 110/7?
110/7
Suppose -m + y + 184 = 0, 0 = 2*m - 25*y + 24*y - 373. Let z = 1761363/9394 - -6/4697. Is m at most as big as z?
False
Let m = -1433/9 - -159. Let f = -10.36 + 10.49. Does f = m?
False
Let p(f) = -f**2 + 15*f - 11. Suppose -s + 16 = -0. Let z be p(s). Let v be 1/1*(-4 - 75/(-20)). Which is greater: z or v?
v
Let d = -65 - -56.96. Let t = d + 8. Let r = -0.3 + t. Is r greater than 1?
False
Suppose 3*b + 4*l = 91, 13*l + 175 = 5*b + 8*l. Suppose p - 7 = -3. Suppose k - 5*d - 41 = -d, 0 = -p*k + 3*d + 138. Is b >= k?
True
Let x = 14742/17 - 294582/323. Which is greater: -45 or x?
x
Suppose 4*f + 36 = 3*c - 5*c, 2*c - 4*f = -68. Suppose 5*h + 138 = -2*l, 1 = l - 0. Which is smaller: h or c?
h
Let y be (12/(-15))/((-1)/555). Let a(b) = -792*b - 126277. Let t be a(-160). Are t and y equal?
False
Let r be 1/4 + (-685)/(-44). Let l = 206356 + -206339. Is l at most as big as r?
False
Suppose -70*t + 66*t = 0. Suppose t = 35*d - 37*d - 52. Is -28 at most as big as d?
True
Suppose 62 = -3*z + 5*m, 5*z - 3*m + 58 = -6*m. Which is smaller: -28 or z?
-28
Let g = -286 + 286.06. Let o = -0.06 + g. Which is smaller: o or -33?
-33
Let w(l) = 1830 - 1830 + 24*l - 69*l. Let q be w(2). Do -359/4 and q have different values?
True
Let r(a) = a**2 - 6*a. Let v be r(0). Which is bigger: v or 14/647?
14/647
Suppose 0 = 3*x + 3*z - z - 17, -x + 3*z + 2 = 0. Suppose 0 = -2*v - 16*v. Suppose -8*h + 4*h = -3*f + 21, v = -f - 2*h + 7. Is x less than or equal to f?
True
Suppose -4*k - 159*n - 13 = -158*n, -2*k - 7 = n. Which is greater: k or -14/5?
-14/5
Let a = 10769 + -8624. Which is smaller: 2146 or a?
a
Let a(q) = -58*q + 24. Let y be a(5). Let s be ((-152)/y)/((-2)/(-7) + 0). Suppose -2*f = s - 4. Is f equal to -3/76?
False
Let c be (-8)/(-12)*6 + -1*13. Let r be 32/24 - (-3)/c. Which is smaller: -6/155 or r?
-6/155
Let f(o) be the second derivative of -9*o**4/4 + o**3/2 - o**2 - 120*o. Let w be 1 + 0 + 1 + -1. Let d be f(w). Is d at most -25?
True
Let w(m) = m**3 + 3*m**2 + 2*m - 4. Let r be 6*((-2)/4 - 0). Let z be w(r). Suppose -3*h + 33*x - 34*x - 38 = 0, -2*h = 4*x + 32. Which is bigger: h or z?
z
Let v = 11328 + -11109. Are 0.5 and v equal?
False
Suppose 11*c - m + 8 = 15*c, 2*c - m + 8 = 0. Which is greater: 8/1203 or c?
8/1203
Let h = 2377 + -2388. Do h and -78 have different values?
True
Suppose 3*s = 4*h - 7, -s - 2 = 4*s + 3*h. Let d = 131 + -130.916. Let a = d + 1.216. Which is smaller: a or s?
s
Suppose 1164 = -12*s + 3780. Suppose 3*a = r + r - s, 4*a + 291 = 3*r. Is -72 bigger than a?
False
Let a = -213 - -221. Let 