-18*o. Is c greater than o?
False
Suppose 154*y - 3442 = 562. Which is smaller: -2/115 or y?
-2/115
Let h = -16106 + 27009763/1677. Which is smaller: 1 or h?
h
Let b be (-3)/(-6 - -3)*0. Let j = 714 - 22129/31. Let t = j - 61/186. Is b at least t?
True
Let b = 205 + -347. Let z = 3453 - 3596. Does z = b?
False
Let b = 4341 + -620761/143. Which is smaller: 1 or b?
b
Suppose 3*x - 18 = -12, 4*x = -k - 2. Is k greater than -83?
True
Suppose 4*n - 31 = -8*i + 3*i, 4*i - 32 = -5*n. Let h(y) = 2*y**2 - 5*y - 12. Let m be h(n). Which is smaller: 3/295 or m?
m
Suppose 5*t + 3*r - 364 = 0, -37*r = 2*t - 34*r - 151. Which is smaller: t or 62?
62
Let t = 134.43 + -133.43. Which is greater: 1346 or t?
1346
Let x = -739.266 - -740. Let b = 1.466 + x. Which is bigger: -1/2 or b?
b
Let t(u) = -381*u**3 - 6*u**2 - 14*u + 4. Let b be t(-3). Let x be ((-41192)/b - 4/(-1))/2. Which is smaller: -1 or x?
-1
Let b(h) be the first derivative of h**2 + 27*h + 173. Let r be -10 + (0 - -2 - 1). Let f be b(r). Which is smaller: f or 7?
7
Let p = -150 + 141. Let v be -5 - ((-330)/p)/(-1). Are 33 and v equal?
False
Let a be 5 - (-8806)/(-2037) - (-4)/18*-3. Let z = 0.3 + -0.5. Is z < a?
True
Let l = 155 + -155.77. Let q = l + 0.87. Do -22 and q have the same value?
False
Let l be ((-10)/1925)/(41/(-451)). Does l = 0.294?
False
Let f be 362 - (2 - 2)/(-6 + 5). Let t = 298 - f. Which is smaller: t or -66?
-66
Suppose -x + 179 = -2*m, m - 49 = 5*x - 134. Let i be -2 - 11/(132/m)*-14. Is i at least -106?
False
Let o = 0.313 - 0.373. Is o bigger than 1124?
False
Suppose 2*k - 30 = -4*f, 2*k - 4*f - 15 = 7. Suppose 0 = k*s - 17*s + 564. Is s equal to 141?
True
Let k(g) = -4*g + 13 - 1 + 12 + 0. Let q(s) = -s**3 + 7*s**2 - 4*s - 6. Let i be q(6). Let y be k(i). Which is bigger: 10 or y?
10
Let c be (1/4)/(-9 - 525/(-60)). Suppose 4*y = -y - 20, -5*r + 2545 = 5*y. Let s = r - 6664/13. Is s < c?
False
Suppose -2 = 2*u - 0. Suppose 9758 + 2227 = 51*h. Suppose 10*c + 225 = h. Does c = u?
False
Let z be -66 + 3*1/9*9. Let f be ((-5)/(90/12))/((-1)/z). Let v = -53 - f. Which is bigger: -13 or v?
v
Let t = 1519 + 142. Suppose -72*c + 61*c - t = 0. Is c bigger than -153?
True
Let u(l) = 3*l**3 - l**2 + 5*l - 7. Let y be u(3). Suppose -6*x + 7*x - y = 0. Suppose x = -17*c + 7*c. Is -10 less than or equal to c?
True
Let k = 514271/55 + -9350. Do 1 and k have the same value?
False
Let u = -45515 - -45578. Let i be 16/(1 - 9/12). Are u and i non-equal?
True
Let w = -196 + 166. Let r be 5/w*-35 - 1/(-3). Which is smaller: 5 or r?
5
Suppose 22587 = -58*f - 26307. Let o = f - -803. Do -0.2 and o have the same value?
False
Let o(j) = j**2 + 59*j + 713. Let r be o(-17). Is r >= 0?
False
Let u(a) = -a**2 - 12*a - 20. Let c = 19 + -29. Let q be u(c). Suppose q*n - 18 = -9*n. Is 2 greater than or equal to n?
True
Let s be (-531432)/1858248 + ((-4)/(-10))/(28/20). Which is bigger: 0 or s?
0
Let y be 4 - (-4)/(-8)*-10. Suppose -j - 13 = 4*z, 6*j - 3*j + y = -2*z. Let x be j*2/((-4)/214). Are 106 and x equal?
False
Let b be ((-2280)/15)/(-19) + 11982/(-1501). Is b at least as big as -1?
True
Let j be (5 - 2495/500)/(70/25025). Are j and 3 non-equal?
True
Let y(j) = 12*j**2 + 509*j - 125. Let o be y(-40). Is -1286 bigger than o?
False
Suppose -5*m = 3*b + 6355, 1 = 2*m - 1. Let g = b - -27532/13. Is -0.1 < g?
False
Let q(i) = 18*i**3 + 7*i + 12. Let h be q(-2). Let a = 191 + h. Is a != 45?
False
Let q be 20/(-6)*(-4320)/(-2400). Let z = 0 - -1. Let s be 1*(z + 0) + -6. Which is bigger: s or q?
s
Let t be (-2 + 2 - -2)*1. Let c = 228250 - 228250.55. Is c less than t?
True
Let v(a) = -2*a + 28. Let s be v(13). Let l(c) = -5*c + 13*c**s + 4 + 9*c**2 - 8. Let n be l(-1). Which is smaller: 24 or n?
n
Let w = 2.9 + -3.9. Let a = -39 + w. Let s = a + 42. Which is bigger: -1/3 or s?
s
Let j = -161 - 153. Let h = -313.99 - j. Which is greater: h or 1/8?
1/8
Let x be -10*(-13 + 7 - (-2541)/(-35)). Are 781 and x nonequal?
True
Let d(j) be the second derivative of 7*j**3/6 + 42*j**2 + 3*j + 2. Let z be d(-12). Which is smaller: z or -4/127?
-4/127
Suppose 4*p - 2 = 18. Let n be 4715/105 - 12/(-126). Let b be 18/n + 208/p. Is 41 greater than b?
False
Let s be 0*3/207*23. Is 99/152 at most s?
False
Let d be 2/12*(-4233)/510. Let u = -55/12 - d. Let c be 0 - (-2)/(2/(-3)). Which is greater: u or c?
c
Let w(o) = 5 + 4045*o**2 - 4093*o**2 - o**3 + 160*o - 5 + 49*o + 35. Let u be w(-52). Suppose 4*c + 8 + 68 = 0. Is c at most as big as u?
True
Let k be (-1)/(2/(-8)) - (-7 - 6287130/(-571554)). Which is smaller: k or -1?
-1
Let v(a) be the second derivative of -a**4/12 - 4*a**3/3 + 9*a**2 - 9*a. Let p be v(-8). Suppose 5*d + p - 3 = 0. Which is smaller: -26/9 or d?
d
Let r(i) = 0 - i - i**2 + 2 - 5*i - 19. Let y(q) = q. Let t(s) = r(s) - 5*y(s). Let g be t(-9). Is g smaller than 3/2?
True
Let h = -147/20 + 31/4. Let z be (-344619)/279 + (-1 - -1). Let t = z + 1235. Which is greater: h or t?
h
Let c = -132333 - -5293053/40. Are -6 and c equal?
False
Let t(h) = -10*h - 119. Let q(w) = -w**2 + 8*w - 19. Let r be q(8). Let j be t(r). Is j bigger than 70?
True
Let d = 0.23 + -0.03. Suppose -62*y - 1997 = 854 + 311. Which is smaller: y or d?
y
Suppose 4*j - 2*z = 3*j + 3, j - 5*z = 3. Suppose n = x + 4, n - j*x - 1 = x. Let l(a) = -500*a + 1499. Let w be l(3). Do w and n have the same value?
False
Let r = 3773 - 3023. Is 4 <= r?
True
Let r(a) = a**2 + 29*a - 339. Let u be r(-37). Which is bigger: u or -15?
-15
Let l = -0.331 + -23.669. Let p = 2 - l. Is p > -1?
True
Let x(p) = p**3 + 15*p**2 - 74*p - 278. Let z be x(-17). Which is greater: 409 or z?
409
Let l = -12872/32105 + 6/6421. Let y = 732/7 - 18356/175. Which is smaller: y or l?
l
Let g(k) = 23*k + 5119. Let d be g(-72). Which is bigger: d or 3464?
3464
Let f be (-4)/((-70)/66 - (-240)/(-880)). Let s = 27 + -39. Let h be (-1)/(10/s) + 2. Which is smaller: f or h?
f
Let p = -681570947 + 1093921323104/1605. Let m = 7/321 - p. Is m less than or equal to 28?
False
Let q = 13 - 8. Let x(p) = -2 - 4 - 2*p**2 + 0 + 4*p + 8*p**2 - 7*p**2. Let b be x(q). Is b smaller than -6?
True
Let q = -129868 + 906128/7. Is -421 >= q?
True
Let c = 53.6 + -202.6. Which is smaller: c or -6?
c
Let j = 0.06203 - 0.06203. Which is smaller: 365/6 or j?
j
Let l be (11 + 19668/(-36))/(20/6 + -3). Is l bigger than -1605?
False
Let v(n) = -n**2 + 121*n + 917. Let r be v(-8). Which is bigger: -104 or r?
-104
Let m = -68 - -98. Let h = m + -54. Suppose 2*i + 3*s = -14 - 30, 0 = -4*i - s - 98. Are i and h nonequal?
True
Let g = -3191692/505 + -426/101. Let v = g + 6268. Is -57 > v?
False
Let j(t) = -18*t**2 + 3*t - 29. Let i be j(-8). Let b = i + 8474/7. Which is smaller: b or 5?
5
Let u = 44 - 42. Suppose -4 = -4*d, -u*c - 3*d - d + 36 = 0. Suppose 0*y - 2*y + 28 = -2*w, 0 = -5*w + 15. Which is greater: c or y?
y
Suppose -7*s = -41 + 13. Suppose 3*a + 12 = 6*z - s*z, -5*a - 20 = -5*z. Is 0.01 equal to z?
False
Let k = 257 - 179. Let a = k - 76. Is 7/6 less than or equal to a?
True
Suppose -3*r - 5*w - 65 = -8*r, -5*w = -r + 29. Suppose -9*l + 7395 = 7341. Is r less than l?
False
Let u be (18/144)/((-741)/(-1902)). Let o = 5/19 - u. Let q(c) = 2*c**3 - 2*c**2 + c. Let d be q(1). Which is smaller: d or o?
o
Let h be (12 - 7) + (-163)/4. Let m = 96 - 131. Is h not equal to m?
True
Let o be (0 - 1 - -2) + -25. Let h be 8/o + (-21)/(-9). Let s be 1*-3 + (-63)/(-21). Which is smaller: h or s?
s
Let t(k) = 82*k + 257. Let d be t(6). Let i = d + -748. Is 8/83 at most i?
True
Let a be (-21)/36*(58 + 10). Let i = a - -39. Suppose 3 = -j - 2*j. Is i bigger than j?
True
Let q(h) = h**3 - 12*h**2 + 8*h + 7. Let d be q(4). Let i = -6249 - -6249.4. Is i at most d?
False
Suppose -5*j - 330 = -5*k, -32 = -81*j + 77*j. Is k bigger than -37?
True
Let r = 8.5 - 1.8. Let v = r - 8.5. Let f = 2/15 + -19/30. Which is smaller: v or f?
v
Let t(y) = y**3 + 4*y**2 - 41*y - 88. Let q be t(-2). Let k = -178588/415 - -841/83. Let p = k - -422. Is p != q?
True
Let s = 468.4 + -172.4. Is s less than or equal to -6?
False
Let n = 418 + -420. Let a be 6 + (n - (-8 - -11)). Let o = -11.6 + 10. Which is bigger: o or a?
a
Let d be 238/3*(114/12 - 8). Which is greater: 126 or d?
126
Let n be (-1*(-4 + 5))/((-1)/2). Suppose 0 = -8*t - n