 != 25?
True
Suppose -2*s + 2*m + 154 = 2*s, 5*s - 225 = -4*m. Which is bigger: 42 or s?
42
Let u = 419/22 - 148657/550. Let t = u - -251. Which is bigger: 0 or t?
0
Let b = 741 + -742. Which is smaller: b or 6/173?
b
Let n be (-89)/9*30/75. Let q = -32/9 - n. Let f(l) = l - 1. Let c be f(2). Is c greater than or equal to q?
True
Let y = -187 + 241. Is y < 49?
False
Let d be 5/2 + 186/124. Is d smaller than 0.07?
False
Let b = 3869/327 + -18/109. Are b and 11 nonequal?
True
Let v = -23/26 + 18/13. Let g = -1/9 - 7/18. Is v at most g?
False
Suppose -7*m + 5*m - 2 = 0. Let g be 8/12 - (-1000)/(-6). Let k = -1160/7 - g. Is k greater than m?
True
Let j be 13182/(-14) - 3/5. Let b = j + 942. Is 1 >= b?
True
Suppose -3*k + 40 = -5*j, -2*k = 5*j + 2*k + 5. Suppose 11 = 3*h - 2*v, 18 = 2*h + 6*v - 2*v. Let b = -2 - h. Are b and j unequal?
True
Let f = 131 + -125.7. Let t = 4.9 - f. Is -0.07 bigger than t?
True
Let b = 58 - 46. Suppose 15 + 13 = 2*w. Is b less than or equal to w?
True
Let m be 0 - (11 + -8 + -4). Is -6/49 less than m?
True
Let b(g) = g - 3. Let m be b(3). Let f = 481 + 774. Let r = -71537/57 + f. Which is bigger: r or m?
m
Let u = -65 - -69. Let g be (u/32)/((-3)/(-2 + 8)). Is 3/23 not equal to g?
True
Suppose d + 3*r = -27, 4*d - 35*r + 37*r + 88 = 0. Which is greater: d or -22?
d
Let j be 1856/(-528) - 7/(77/(-2)). Which is smaller: -3 or j?
j
Let a = 39 + -39. Suppose 4*j - 28 + 8 = 0. Suppose -j*i - 8 = 2. Which is smaller: a or i?
i
Let a = -35/377 - -10768/38831. Which is bigger: a or 1?
1
Let p be (12/10)/((-32)/(-10) + -3). Let y be 76/p - 12/18. Is 11 less than or equal to y?
True
Suppose 0 = 2*a + 4, 15*z + 916 = 19*z + 4*a. Is z <= 231?
True
Let c(t) = -4*t - 2. Let g(y) = 6*y + 3. Let p(l) = 8*c(l) + 5*g(l). Let s be p(-1). Let r = -1432/7 + 21494/105. Is s != r?
True
Let r be (-399)/(-76) - 1/4. Suppose r*t = -b - 8 - 4, -b = -t + 42. Is -37 > b?
False
Suppose 3*j + 3*g + 8 = 56, -3*g - 15 = 0. Let s = j + -21. Is s > 2/87?
False
Suppose -3*k - 4 = -5*k. Suppose k*t - 13 = -5. Is t less than 7?
True
Let c = 7720 + -563570/73. Which is smaller: -1 or c?
-1
Let t = 105 + -105. Is t less than or equal to 28?
True
Suppose 0 = 2*f + 2*u + 202, -4*u - 400 = 4*f + u. Is -107 at most f?
True
Let v = -84 + 24. Let x = -60 - v. Which is greater: x or -4/9?
x
Let x be 63 + (-1 - 2/(-2)). Suppose -6*h + x = h. Is h > 9?
False
Suppose -21 = 5*o + 14. Let f = o + 13. Let w = 6 - f. Are -1 and w non-equal?
True
Let l be ((-6)/8)/((-3)/2). Let q = 170.19 - 170.3. Which is smaller: l or q?
q
Let d be (-1)/((21/6)/(-7)). Let f = -421810021/412 + 1023812. Let h = f + -2/103. Which is smaller: h or d?
h
Let t = 348 + -399. Is t < -56?
False
Let i be 1 + (-68)/28 + 3/7. Is 1/31 bigger than i?
True
Let g = 1.82 - 0.82. Is -350 not equal to g?
True
Let k(c) = -c**3 - c. Let n(b) = -4*b**3 - 3*b**2 - b - 4. Let y(m) = -3*k(m) + n(m). Let j be y(-4). Let s be j/33*(-3)/(-2). Which is smaller: 0.3 or s?
s
Suppose -4*q + 7 + 9 = 0. Let n be (-1 - -25)*2/q. Is n <= 11?
False
Let u = 479 - 473. Is u < 1/10?
False
Let i be 2 + (-2514)/629 - -2. Is i greater than or equal to 0?
True
Let b be -2 + (-6 - -4) - -14. Let h(n) = -n**3 + 7*n**2 + 10*n - 4. Let j be h(8). Let p = j - 1. Is p equal to b?
False
Let n be 0 + -2 - 9640/3975. Let j = n - -4/159. Does j = -4?
False
Suppose -o - 2*o = 606. Are o and -203 non-equal?
True
Let y be (-2)/10 + -1 + (-306)/(-30). Let k(g) = -2*g + 14. Let w be k(y). Which is smaller: 10/9 or w?
w
Let y(w) = 29*w - 38. Let d be y(24). Is 658 != d?
False
Let g be (9 - (-3 - -4))/(-5). Suppose 4*i - 6 = 2*i. Suppose u - i + 2 = 0, -4*u = f - 1. Which is smaller: g or f?
f
Let q be 0/2 - 2 - -6. Let a be 329/28 + (-2 - 7). Which is greater: a or q?
q
Let y = -515 + 1546/3. Let x = -4 - -1. Is y smaller than x?
False
Suppose -2*u - 2*c = 60, -85 = 3*u + 11*c - 9*c. Suppose -2 + 74 = -3*i. Are i and u unequal?
True
Let c = -252 - -239. Is c >= 1?
False
Let w = 1.64 + -1.64. Which is bigger: 129 or w?
129
Suppose -32*x + 37 = 5. Is 3/22 <= x?
True
Let y = -1/99 + -293/396. Let s(q) = q**2 - 18*q. Let c be s(18). Is y greater than or equal to c?
False
Let w(s) = 37*s - 3. Let u be w(1). Let o = u - 644/19. Let f = o + -33/133. Are f and -6 unequal?
True
Suppose 36 = -4*c - h, -3*c = -0*c + 5*h + 27. Does -2 = c?
False
Let n = -51 - -53. Let c = -11 - -11. Let t = c + n. Which is smaller: 1 or t?
1
Suppose 0 = 6*v - v + 10. Let w = -67 + 69. Let x be w*(v - 13/2). Are 0 and x equal?
False
Suppose 3*u = -2*u + 10. Let w(s) = s**2 + s - 6. Let l be w(u). Which is smaller: 3/4 or l?
l
Suppose -4*s + 10 + 70 = 0. Let u(x) = -5*x**2 + 5*x - 3. Let g be u(2). Let l be (-14)/(-35) + g/s. Is 0 less than or equal to l?
False
Suppose -8*g + 12*g = 0. Let v be 76/10 - (g - (-10)/(-25)). Which is bigger: v or -2?
v
Suppose -4*c + c = 5*i - 9, -2*c - 3*i = -6. Let j be (1/c)/((-5)/(-18)). Is 2 <= j?
False
Let i be -1 - ((-2468)/(-20) + 1). Let f = i + 125. Which is greater: -1/4 or f?
-1/4
Suppose 4*z + 2 = 14. Let v be (-12)/(-3) - -24 - (4 - z). Which is greater: 103/4 or v?
v
Suppose -2*n = -12*n - 490. Let q = 53 + n. Is q smaller than 4?
False
Let t be (-102)/34 - (2 - 1 - -61). Is -64 < t?
False
Let m = 38 + -70. Let q(a) = -5*a - 83. Let c be q(-22). Let i = c + m. Is -6 equal to i?
False
Let l be 114/(-209) + (-328)/(-198). Let c = 1 - 3/2. Is l not equal to c?
True
Suppose c - 2*c - 288 = 0. Is -289 at least as big as c?
False
Let p = -0.2413 + 5.4033. Let w = p - 5.2. Which is smaller: 0.1 or w?
w
Let a = 41.04 - -2.06. Let l = a + -43. Which is bigger: l or -0.2?
l
Let g be 22/312 + 38/(-247). Suppose -2*r = 2*r. Suppose -2*q + q + 1 = r. Is q at most as big as g?
False
Let r be (3/34)/(6/12). Let v = r - -79/34. Which is smaller: v or 3?
v
Let k be -1 + 12/15 - (-138)/15. Which is greater: k or 5?
k
Let y be 4/(-3) - (-1)/3. Let u be 644/(-5408) + (-29)/(-232). Which is greater: u or y?
u
Let h = -3.04 + 2.94. Do 1.1 and h have the same value?
False
Let f(v) be the first derivative of -v**3/3 + 3*v**2/2 + 3*v + 6. Let j be f(3). Let w = 121/60 + 7/12. Which is smaller: w or j?
w
Let v = 146144/7 - 20914. Which is smaller: -36 or v?
v
Let d = -12 + 14. Suppose 4*x + 64 = d*x. Let c be -5*x/60*-1. Which is bigger: -2 or c?
-2
Let p = 3.29 - 2.49. Is 2/21 greater than or equal to p?
False
Let f be (-22)/(-8) - (-2)/8. Suppose -4*d = -4, -f*v + d - 13 = v. Which is greater: -2 or v?
-2
Let k(q) = q + 11. Let j be k(-13). Let u be (-3 + j)*(-12)/(-10). Which is smaller: u or -3?
u
Let m = -1366 - -1368. Is 109 smaller than m?
False
Let h = 955.998 + -955. Let l = h - -0.002. Let k = 1.98 - -0.02. Which is smaller: k or l?
l
Let l be (-7)/(-84) + (-2)/(-8). Let c = -0.08 + -0.42. Let j = 1.5 + c. Which is smaller: j or l?
l
Let o = -8.565 - -8.6. Let a = o - 0.235. Which is bigger: a or -2/23?
-2/23
Suppose 0 = w + 2 - 3. Which is smaller: w or -1/59?
-1/59
Let b be 658/(-326) - (36/6 + -8). Which is greater: -1 or b?
b
Suppose 4*w - 2*l - 10 = 0, 5*w - 23 = -4*l + 9. Which is bigger: -11 or w?
w
Let f = 4 + 0. Suppose -2 = l, 0 = f*a - 4*l - 4. Let x be (-235)/(-80) + a*3. Which is bigger: x or 1?
1
Let i = 11 - 11.2. Which is bigger: i or -23/3?
i
Suppose 0 = 6*o - 2*o - 56. Let a be (-8)/o*(-7)/6. Is -1/4 bigger than a?
False
Let q(z) = -5*z**3 + z**2 + 2*z + 1. Let f be q(-1). Suppose -f*p = -4*p - 6. Suppose -p*l + 5 = -l. Is -0.2 bigger than l?
False
Let c = -2446 - -2467.47. Let r = -12.74 + c. Let f = -0.27 - r. Is f > 2?
False
Let d(z) = -2*z**2 - 2*z - 2. Let v be d(-3). Suppose 0 = 4*w + 4*c + 60, -2*c = -w - 7 - 2. Which is bigger: v or w?
w
Let n be 25 + -25 - 2/(-3). Let o = -1/126 - -43/126. Are n and o equal?
False
Let g(f) = -f - 4. Let u be (-1 - (0 + 5)) + 2. Let n be g(u). Let k = -2 + 3. Are n and k nonequal?
True
Let v = 1135 + -1131. Is 40/13 at least as big as v?
False
Let g = -167.904 - 0.096. Let q = 167.9 + g. Which is greater: -1 or q?
q
Suppose -l + 1 = -4. Suppose 3*v = 5*v - 3*d - 20, -63 = -l*v + d. Suppose -5*m - 53 = 4*a, 2*a + v + 7 = -2*m. Is m greater than or equal to -13?
True
Suppose 3*w - 11 = -a, 3*w - 1 - 16 = -4*a. Is w not equal to 79/5?
True
Let c = -1969.87 + 1980. Let f = 0.13 - c. Let i