s = k?
False
Let t = -7677867/7 + 91492529/84. Let j = t - -22942/3. Let c = -29/4 + j. Which is bigger: -2 or c?
c
Let o = -3334 + 3118. Let g = 41 - 258. Is o less than or equal to g?
False
Let q(k) = 2*k**2 - k - 4. Let j(t) = -t - 1. Let s(z) = 4*j(z) + q(z). Let u be s(8). Suppose -4*d + u = -0*d. Are 21 and d non-equal?
True
Let p be (-6672)/78 + (-24)/6. Which is greater: -89 or p?
-89
Let q(g) = 3*g + 9. Let i = -71 + 67. Let w be q(i). Let x be w - ((-198)/24)/(1/4). Which is smaller: x or 32?
x
Let k = 156/31 - 3523/620. Is -2 at most k?
True
Let j = 51 - 31. Suppose 22*y - j = 17*y. Suppose -2*m + 32 = -y*p, 3*m + p + 0*p - 27 = 0. Is 8 less than m?
True
Let s = -87 - -1867. Is 1779 less than s?
True
Let d = -4672 + 4577. Is d > -89?
False
Let f be ((-12)/18)/((-16)/756). Let j = -1333/42 + f. Which is bigger: j or 1?
1
Let w(p) = -10*p**2 - 3. Let z be w(3). Let m(k) = -24*k - 94. Let d be m(-4). Let h be d - (z/17)/(-3). Is 0 less than or equal to h?
True
Let n = -2411.1 + 2411.1. Which is smaller: -0.9379 or n?
-0.9379
Let v be 10/((-400)/(-72))*-5. Let h be (-2 - (-69)/39)*(v + 10). Are -0.4 and h unequal?
True
Let v = -0.971 + 0.371. Let i = -3 - 7. Let y = i + 9.2. Are y and v nonequal?
True
Let y = 621.1 + -1154. Let r = -533 - y. Which is smaller: 31 or r?
r
Let r = 2.37 + -0.37. Suppose -2*h + 6*p + 299 = 5*p, 2*p - 6 = 0. Let g = h + -1054/7. Which is greater: r or g?
r
Let k = -4 + 5. Let o be 1/(-89)*(117/(-12) - -10). Let r = o - 637/26700. Which is greater: k or r?
k
Let j(p) = 2*p - 21. Let t be j(12). Suppose -4*k = o - 4, 5*k = -2*o + 5 - t. Let x be 30/(-45) - k/(-15)*2. Which is smaller: 4 or x?
x
Suppose 133*o = 120*o. Which is greater: o or 5/26?
5/26
Let m = -297.463 + 0.463. Let f = 297.6 + m. Which is greater: f or 0?
f
Suppose -705 = 3*z - 846. Suppose -5*s - 4*h + z = -55, 3*s - 72 = 3*h. Is 24 smaller than s?
False
Suppose -4*i = -v + 49, 3*v - 95 = 5*i - 6*i. Let y = 55 + -18. Which is smaller: y or v?
v
Let o be -10*(-1)/(-2) + 6. Let x = -965 + 75269/78. Is x <= o?
True
Let n be -25*17/85 - (-1 + -5). Is n smaller than -13/397?
False
Let w = -830 + 70547/85. Let z(t) = 16*t**2 - 5*t + 6. Let m be z(1). Suppose 2*o + 4*i = -12, -4*i - m = -5. Do w and o have the same value?
False
Let w = 18739 - 505873/27. Is w != 3?
True
Suppose 18876*d - 2 = 18867*d - 11. Let b = -5.39 - -221.39. Which is smaller: b or d?
d
Suppose 3*h + 183 = -o + 4*o, 5*h + 260 = -4*o. Suppose 1685 + 6361 = -149*i. Which is greater: i or h?
i
Let o = -49/12 + 1/3. Let l = -91 + 97. Let b = -9 + l. Which is smaller: b or o?
o
Let u be ((-4)/(-16))/(20074/(-4) - 1). Which is smaller: u or -1?
-1
Suppose -j + 5*j - 26 = -5*a, 3*j + 3*a = 18. Let r be ((-32)/56)/(j/(-154)). Let q be (r/6)/(8/(-24)). Which is smaller: q or -5?
q
Let w be 917727/12621 + 3/(-2)*(-8)/42. Which is smaller: 114 or w?
w
Let p = 5290 - 5053. Does 239 = p?
False
Let v = -40 - -49. Suppose 0 = 3*f + v, -5*g - f = f + 31. Let r be 4/(-12) - g/(-2). Which is smaller: -3 or r?
-3
Suppose -4*h = 4*i, -24 = -8*h + 3*h + i. Suppose 9*v + h = -5. Which is greater: v or 25?
25
Let a = 28111 + -28106. Is -0.313 bigger than a?
False
Let r(x) = x**2 - x - 4. Let h be r(4). Suppose -3*l + 0*l - 4*p = 12, -5*p + h = -2*l. Suppose 3*a + 3*n = 5*a, -a - 2*n - 7 = 0. Is l less than a?
True
Let a(f) = 2*f**3 + 16*f**2 + 2*f - 2. Let w(p) = -2*p**3 - 15*p**2 - p + 3. Let q(g) = -4*a(g) - 5*w(g). Let c be q(-5). Is 40 bigger than c?
True
Suppose 12*v - 2340 = -14*v. Suppose 8*l = -62 - v. Is l bigger than -16?
False
Suppose -h + a = 22, 3*a + 24 = 12*h - 14*h. Let y = 7 + -25. Is y <= h?
True
Let b = 164 + -164. Suppose b = -14*z - 1279 - 1311. Is -185 at least z?
True
Let m = 0.0281 + -0.8801. Let v = -0.148 + m. Is v at most as big as -33?
False
Let k be (185/2)/(337/23590). Which is smaller: 6474 or k?
6474
Let t(w) = -4*w**2 - w - 1. Let o be t(8). Let u = -7421/28 - o. Suppose -13*j = 2*j - 0*j. Which is bigger: u or j?
j
Suppose 118992 = 3717*c - 3495*c. Is c != 540?
True
Suppose -7616*h = -7604*h - 240. Suppose 103 = 5*i - 2*m + 29, -3*i - 2*m = -38. Is h >= i?
True
Let g(q) = -440*q + 882. Let n be g(2). Which is smaller: n or 102?
n
Let y(u) = u**3 - 4*u**2 - 2*u + 14. Suppose 3*f - 4*f = -5*m + 33, 2*m - f - 15 = 0. Let t be y(m). Let l(c) = -15*c - 1. Let h be l(-5). Is h < t?
False
Let f = -1118.75 + 1125. Which is smaller: f or 0.1?
0.1
Let c be ((-2)/1)/((-192)/(-1128)). Is -9 greater than or equal to c?
True
Let u = -3.1 + 3.79. Let q = u - 0.663. Is -1 greater than q?
False
Let o be 16*(21/56 + 1/8). Let a be 32/24*222/o. Which is greater: a or 36?
a
Let v(z) = -z**3 - 13*z - 51. Let g be v(-5). Suppose 5*w - 307 - 383 = 0. Is g at most as big as w?
False
Let l(t) = -t**3 - 12*t**2 - 32*t + 6. Let v be l(-8). Let a be (7420/(-15) - 3) + 4/v. Are a and -497 equal?
True
Let c(p) = -10*p**2 + 141*p + 507. Let l be c(-19). Is -5782 > l?
False
Suppose 4*x = 65 - 25. Let q be 120/(-2250)*x/(-428). Is q != 1?
True
Let t = -0.053 + 0.053. Let o = t + 25. Let x = -24.95 + o. Is -4 at least as big as x?
False
Let h = 81.6 - 31.7. Let k = -50 + h. Let z = 37 + -931/25. Is z less than k?
True
Let d be 26/42 - (-2)/(-6). Let x be -8*(-4)/192*(-273)/(-26). Which is smaller: x or d?
d
Let q = -290 - -366. Suppose -82*g = -78*g + q. Which is bigger: g or -24?
g
Let x = -19959 + 28807. Is 8850 at most as big as x?
False
Let z(q) = -5*q + 16. Let d be z(0). Let s be d/((5 + -3 - 4)/2). Let j be (4 + -7)/((-3)/s). Is -16 < j?
False
Let x = 12.92 + -13.06. Which is greater: 204 or x?
204
Let x = 533 - 492. Suppose 0 = -x*i + 43*i. Is i greater than -2/107?
True
Let d(t) = t + 8 + 11 + 1. Let h be 6/(-9) + (-168)/18. Let p be d(h). Is p at least 9?
True
Let b be (1 - 4/6) + (-2389)/9111. Let l = b + 867148/276367. Let g = l + -23/7. Which is smaller: g or 0?
g
Suppose r + 0 - 5 = c, -3*r + c = -5. Suppose r = 32*a - 39*a + 7. Is a >= -25?
True
Let r be 12/(-26) + (68731089/(-1638))/53. Which is smaller: r or -793?
-793
Suppose -9*u + 22934 + 4894 = 0. Which is bigger: u or 3091?
u
Let h(u) = 9*u**3 + 2*u**2 - u + 1114. Let d be h(0). Is 1113 bigger than d?
False
Let j = -17757 - -15717.8. Is 1 less than j?
False
Let o = 18812 - 18816. Which is bigger: 94 or o?
94
Let a = -18 - -18. Let x = 22998/187 - 123. Is x at most as big as a?
True
Let x = -42 - -45. Let y be ((-15)/3)/(x/3). Let n be 2/(-6)*(y - 4). Which is smaller: 9/5 or n?
9/5
Suppose -4*o = -14 + 242. Let u be o/(-51) + (-6)/51. Suppose 5*a = 10, x + 4*a - 1 = u. Is x less than -6?
False
Suppose -2*w + w + 5*f + 38 = 0, -3*f = 2*w - 89. Which is smaller: w or -31?
-31
Let q = 70 + -27. Suppose -46 = -3*z - 4*b + q, -5*b = -3*z + 44. Let x be (-14 + 16)*z*-1. Which is smaller: x or -45?
x
Let o be -1 + 1 - (-1 - 1). Let r be -80*8/((-144)/99). Let l be ((-4)/(-22) + r/242)/2. Is o >= l?
True
Let c = -42.94 + 69.75. Let s = 1.99 + c. Let g = -2.8 + s. Is g < 0.1?
False
Let z be 0 + 1/(-7) - 570/(-266). Suppose z*w - 11*w + 27 = 0. Suppose -5*i + 2*i + w*k = 132, 5*k = -i - 56. Which is greater: -47 or i?
i
Let h(j) = -158*j**3 + 18*j**2 - 4*j - 14. Let s be h(1). Is s <= -155?
True
Suppose 0 = -6*n + n + 10, 3*k + 4*n - 593 = 0. Let f be 1/((-10)/(-4)) - (-1872)/k. Let z = f - -54. Which is greater: z or 65?
65
Let t be -4 - (1*2 - (33 + -29) - -1193). Which is smaller: t or -3583/3?
t
Let f(j) be the first derivative of -2*j**2 - 44*j - 72. Let s be f(0). Which is bigger: -43 or s?
-43
Let d = -1558 + 1557.9. Which is greater: -934 or d?
d
Suppose -2 + 47 = 9*o. Suppose o*p = 2 + 353. Is 69 at most p?
True
Let w = 52 - 64. Let x be 66/(-15) - w/(-20). Let f be (x/(-35))/(3/(-33)). Is 1/2 greater than or equal to f?
True
Let k = 117 - 71. Suppose -7*x - k = 3. Let w(u) = -u**3 - 8*u**2 - 5*u + 14. Let i be w(x). Which is greater: i or -1/8?
i
Let a = -60 - -46. Let g = -54 - a. Does -1 = g?
False
Let u(h) = -h**2 + 2*h - 2. Let k be u(0). Let z be (2/4)/(k/(-36)). Suppose 8 = -2*t - 4*x, 3*t + 1 = 4*x + z. Which is greater: t or 2?
2
Let o = -483 + 706. Let l = o + -4232/19. Is l greater than 0?
True
Let m = 55 + -50. Suppose -m*y + 28 = -4*c - 187, 3*c = -2*y - 167. Which is smaller: -51 or c?
c
Let i(d) = -d**2 - 2*d + 4.