?
True
Suppose 35*u - 104*u + 6624 = 0. Which is greater: 89 or u?
u
Let q(j) = 5*j**2 - 12*j + 17. Let v be q(3). Let b(w) = w - 71. Let t be b(v). Which is greater: t or -47?
t
Let b = 436520404/7650357 - 2/450021. Do b and 57 have different values?
True
Suppose -37*p = -30*p + 924. Let d = p + 133. Which is greater: -13/33 or d?
d
Suppose 1703 + 474 - 119 = -49*b. Suppose -103 + 19 = -2*g. Let q = b + g. Is q smaller than 2/167?
True
Let o = -4 - -9. Suppose -2*i + 34 = -5*p, 3*p = 2*i - 44 + 22. Which is bigger: p or o?
o
Let z = -0.04344 + 338.04344. Is -0.3 != z?
True
Suppose 0 = -2*a - 3*k + 22, -5*a = 2*k - 3*k - 38. Let s be 8 + -20 + 147/14. Which is bigger: a or s?
a
Let s = -3 - -6. Suppose 4*i + 5*m - 53 = 0, 4*m + 63 = 5*i - 75. Which is smaller: i or s?
s
Let t = 2546 + -2599. Which is bigger: t or 2/29?
2/29
Let h = 29 + 115. Suppose -193*t - 201 = -8. Is h at least as big as t?
True
Suppose 0 = 659*k - 6508558 + 2073580 - 2584031. Do 0.2 and k have different values?
True
Suppose -3856*d - 81627 = -3851*d - 2692. Is -15787 > d?
False
Let d = 64.23 + -64. Let k = d - 0.43. Which is smaller: k or -0.084?
k
Let k be (-1)/(5/(-20)) - 1. Let g be (-3 - -6)*2/k. Suppose 8 = g*x + 5*p - p, 2*x + 19 = 5*p. Is x less than -12/11?
True
Let j(y) = -4*y**3 - 6*y**2 - 7*y - 3. Let a be j(-3). Let o = a - 63. Let l be ((-6)/o*-1)/(4/(-108)). Is l smaller than -91/5?
False
Let c = -1117144202/8025 - -139208. Is c greater than -1?
True
Let q = -6.987 - -7.485. Do -7 and q have the same value?
False
Let d be 2 + -114 - (-2)/1. Let m = 17842/5 + -17844/5. Which is smaller: d or m?
d
Let g be 1/(-8) + 3150/(-2448). Let s(v) = 11*v**3 - v**2 + 2*v + 2. Let r be s(-1). Let j = r - -12. Which is greater: j or g?
j
Let g = 2.187 - 0.187. Is g > -797?
True
Let q(l) = -l**2 + 5*l - 6. Suppose 2*n - n - 5 = 0. Let a be q(n). Let m = 3/8 + 1/40. Is m less than or equal to a?
False
Let s(c) = -48*c**3 + 7*c**2 + 9*c - 4. Let d be s(-3). Suppose d = -14*w - 1332. Which is smaller: w or -189?
w
Let p(w) = 257*w - 15916. Let b be p(62). Are b and 388/23 equal?
False
Let h = -45 + 13. Suppose 113*s = 117*s - 384. Let i be -6*(-11)/((-198)/s). Does i = h?
True
Suppose 0 = b - 4*z + 14746, 7*b = -4*z - 28428 - 74602. Which is smaller: -14723 or b?
-14723
Let k be -1 + 10/(-40)*-2697. Which is smaller: k or 674?
k
Let q be (36/12 + 1)*(-11)/55. Let k = 0 - -2. Let o be (-18)/8 - k/(-8). Which is bigger: q or o?
q
Let v = 351458/29 + -12121. Let c = -1696/783 - v. Is 0 != c?
True
Suppose 5*b - 3163 + 728 = u, -4*b + u = -1948. Which is greater: 485 or b?
b
Let v(x) = -116*x + 4334. Let g be v(14). Which is greater: -0.1 or g?
g
Suppose 50 = 14*k + 8. Suppose 3*y = -3, 2*y + k = 2*v - y. Which is smaller: v or 5/32?
v
Let r = 396 + -4353/11. Let l be (-2)/7 - (-8)/28. Suppose 0 = -l*z + 5*z + 2*f, -f = -3*z. Which is smaller: r or z?
z
Let z = -2813/49555 + -6/2915. Let f = 7 + -23/3. Which is smaller: f or z?
f
Let t = 2601.9 - 3097. Let a = 495 + t. Do 0 and a have different values?
True
Suppose 1688 = -32*y + 984. Let a = 2 + -1. Are y and a non-equal?
True
Let d be (-4992)/(-56) + 15*(-12)/(-20) - -1. Is 98 smaller than d?
True
Let r(d) = 43*d - 1285. Let o be r(21). Is o at least as big as -380?
False
Let x = -530 - -501. Which is bigger: -152 or x?
x
Let p = -133 + 135. Suppose 0 = 24*a - p*a - 22. Is -1/281 equal to a?
False
Let v(z) = z**2 + 4*z - 1. Let o be v(-5). Suppose 0*t - o*t = -116. Suppose -105 = -34*u + t*u. Is 20 equal to u?
False
Let j = 22 - 19. Suppose -j*u - 18 = -2*h, -4*u = h - 0 - 20. Let k(i) = i**3 + 22*i**2 + 6*i + 144. Let m be k(-22). Is m greater than or equal to h?
True
Suppose 4*n - 20 = 0, -4*n - 17 + 37 = -3*a. Is 14189 greater than or equal to a?
True
Let b = 31 - 31. Suppose 4*v - 3*u - 6 = b, -2*u - u = -6. Suppose v*c + 2*a + 11 = a, -3*a = -2*c. Is -1 at least as big as c?
True
Let v be 1 - (-1)/((-25)/40). Suppose 5*c = -3*m + 17 + 31, 3*c - 3*m - 24 = 0. Suppose c*s = 7 - 16. Which is bigger: v or s?
v
Let k(g) = -44*g**2 + 8*g + 7. Let p be k(-1). Let a be 2/6 - 65/p. Suppose 0 = s - 2*s + 1. Which is smaller: a or s?
s
Let c be 45/(-75) + 23/5. Suppose 35 + 33 = c*m. Let j = 534 + -515. Does j = m?
False
Let f(x) = 4*x - 103. Let g be f(26). Is -40/113 <= g?
True
Suppose -j - 231 = -2*u, -25 = -u + 3*j + 98. Let s = u - 113. Is -1/295 greater than s?
False
Let q(a) = a**3 - 8*a**2 + a - 5. Let o be q(8). Suppose -5*g - 29 = 3*z - g, -3*g = o*z + 24. Let k be (z + 3)*(-1)/2. Which is smaller: -1/45 or k?
-1/45
Let k = 15250 + -15125. Is k greater than 871/7?
True
Suppose 4*i - 120 = 2*a, 88 = -i + 4*i - 2*a. Let z = -32 + i. Are -4/35 and z unequal?
True
Let r(p) = -20*p**2 + 32*p + 401. Let a be r(-11). Which is greater: a or -2377?
a
Let q = 76 - 29. Suppose 20 - 16 = -2*w. Let m be 44 - ((w - -1) + 9/(-3)). Which is smaller: q or m?
q
Suppose 360 = -27*o + 12*o. Let c be 5 + o/(-40) + -6. Is -2/3 >= c?
False
Suppose -246 = -2*b - b. Let o be 14/119 + 25597/187. Suppose c - 417 = -5*i, 0 = -5*i - 2*c + o + 282. Is i at most as big as b?
False
Let m = 117 - 166. Let l = -2 - m. Let v = -180.6 + 181.6. Is l at least as big as v?
True
Let y(k) = -6*k**2 - 28*k - 129. Let b be y(18). Which is smaller: -2576 or b?
b
Suppose o = -4*d - 1, 300*o + 80 = 297*o - d. Let r = 2 + -3. Let j = r - -0.9. Is j less than o?
False
Suppose 37*z - 33*z = -68. Let b(m) = 3*m + 50. Let x be b(z). Which is smaller: x or 40?
x
Let v be -2*(178/3115 - (-292)/(-210)). Let x be (6/5)/((-2)/(-5)). Is v < x?
True
Let i(p) = -2*p**3 - 59*p**2 - 34*p - 144. Let g be i(-29). Let f = 2/2267 + -5073/3180601. Which is smaller: f or g?
f
Let r = -20894/5 + 42321/10. Which is bigger: r or 52?
r
Suppose -4*x - 34 = -4*k + 154, 5*x - 2*k = -223. Let h = -42 - x. Let q(u) = u**2 + 8*u - 8. Let g be q(-9). Do h and g have the same value?
True
Suppose -2*b = 1416*c - 1413*c + 94, 118 = -3*c + 4*b. Which is greater: -366/11 or c?
-366/11
Suppose -x = -24 + 21. Suppose -6 = -2*h - n + 14, 2*n = x*h - 30. Let i be 12/10*(-4)/(-8)*h. Is 6 > i?
False
Suppose -5*o - 2*p - 7083 = 4819, -4*o = -5*p + 9548. Which is greater: o or -2381?
-2381
Let f be (-56)/3 - (-2)/3. Let l be (-6)/(-9) + (-11)/3 - 12. Let u be 1*-1*(9 - (5 + l)). Which is smaller: f or u?
u
Suppose -10*v = 650 - 30. Let m be 34/(-5) + 6 - v/115. Which is smaller: 1 or m?
m
Let g = 1713 + 7153. Is 1 at most as big as g?
True
Let f = 111/133 + -5/19. Let i = -949.907 - 0.093. Let k = i + 958. Which is bigger: k or f?
k
Let m(l) = -4*l - 1094 + 1116 - 3*l. Let u be m(-25). Is 196 at least as big as u?
False
Let j be 4836/1581 + (-1)/17. Let s(p) = 9*p**3 + 2*p**2 + 2*p + 2. Let h be s(-1). Which is smaller: j or h?
h
Suppose -78*l = -3 - 34 - 119. Are l and 0.393 unequal?
True
Let y = -185 - -395. Let o = y - 188. Is 22 < o?
False
Let i = -71.135 - -0.135. Let l = -100.9 + 101. Is l less than i?
False
Suppose -5*s - 75 + 21 = -l, 4*s = -5*l - 49. Let u = -286 - -401. Suppose -u - 431 = 39*p. Which is smaller: p or s?
p
Let i = 5/249 + -2047/2739. Let h be (32/20)/(8/20). Suppose 12 = 4*n - 0*u - 3*u, 0 = 2*n + u + h. Is n <= i?
False
Suppose -85*h + 147*h = 2108. Let u be (2 - 4) + (-5)/(-1). Suppose -6*o + 2*o = 4*r - 152, -u*o = -2*r - 89. Is h greater than or equal to o?
True
Let q be (-7 - (-696)/2)/(-1). Let s = 344 + q. Are s and -16 non-equal?
True
Let p = 1298 + -1373. Is p at least as big as -70?
False
Let k = 219.01 - -38.99. Is k at most as big as -1/3?
False
Let l(x) = x**2 + 4*x + 6. Let u be l(-3). Suppose 7 = 3*t - f, t - 3*f + 23 = u*t. Let h be (-1 + t + -3)/(-1 + -1). Which is smaller: h or 10?
h
Suppose 22*v = 37*v + 4995. Let q = -330 - v. Is q not equal to 35/11?
True
Let l = 30988 + -31024. Which is smaller: l or -27?
l
Let w = -385/2 - -185. Let q be -1500 - 4 - (-44)/11. Let c be 200/q*(-6)/4. Are w and c non-equal?
True
Suppose 7*r = 52 + 18. Let h be (-1487)/1865 + (-15)/r*-2. Let d = h + -1/373. Is 3 bigger than d?
True
Let l = -345 - -1727/5. Which is smaller: l or -225/7?
-225/7
Let m = 2.132 + -2.102. Which is smaller: 984 or m?
m
Let z = 5304 + -5303. Which is smaller: z or 111/62?
z
Let q = -4852772/213 + 22783. Which is smaller: -1/3 or q?
-1/3
Let c(x) = -20*x + 2