w(b). Let k = 28 - a. Which is smaller: k or 2?
k
Let j = -98/3 + 431/12. Let o = -2 + 6. Is o bigger than j?
True
Suppose -21 + 25 = -q. Let w be (24/(-96))/(-7*(-1)/q). Which is smaller: -1 or w?
-1
Let a(z) = 2*z - 11. Let w be a(5). Let p = 2 + w. Which is smaller: -5 or p?
-5
Suppose 24*f + 1058 + 118 = 0. Is -97/2 bigger than f?
True
Suppose -5*c = 120 - 160. Suppose -a + 0 = -6. Is c not equal to a?
True
Let c be 35/(-364) - 1/(-4). Is 0 bigger than c?
False
Let h = 0.76 - -0.24. Suppose -5*i - 2*p = -p, -2*p = -4*i. Let m be i + (105/18)/(-7). Which is smaller: m or h?
m
Let j(m) = -m**2 + 5*m - 159. Let w be j(15). Which is smaller: -311 or w?
-311
Let v = -649 - -643. Which is bigger: v or 4.4?
4.4
Let q = -585671/4 + 144872. Let s = q + 1560. Let u = s + -273/20. Which is smaller: u or 0.1?
0.1
Let d = -30 + 18. Let w be 31/(-62) + ((-166)/12 - -2). Are w and d nonequal?
True
Let h(j) be the third derivative of j**4/24 - 8*j**3/3 + 7*j**2. Let i be h(16). Suppose -2*q + 7 - 13 = i. Is -4 at most as big as q?
True
Let p be (-18)/4 - (-21)/14. Suppose 3*s = -s - 2*i - 24, -4 = i. Which is greater: p or s?
p
Let w = -15 - -9. Let d(t) = t**3 + 6*t**2 + 2*t + 8. Let y be d(w). Let g be 0/(-3 - (y + 0)). Which is bigger: -1 or g?
g
Let j = -490 - -371. Is -2 at least as big as j?
True
Suppose 0 = -z - 2 - 24. Let w be (-6)/21 + z/(-1491)*18. Which is greater: 1 or w?
1
Suppose -5*x - 3118 = -3143. Which is smaller: x or 53?
x
Let x = -47 - -46. Are -48/41 and x non-equal?
True
Suppose 22*f = 40*f - 18. Let k be (-2)/(-6)*(-24)/22. Is f smaller than k?
False
Let q be (1 - 1)*2/(-8). Is q > -1/8?
True
Let q = -293 - -291. Which is bigger: q or -75?
q
Let u be -2*(-3)/(-6)*-2. Let z be ((-1)/u)/((-1)/(-2)). Let q be (0 + z + 1)/2. Is q > 1?
False
Let v = -24 - -13. Let j = 10.7 + v. Let l = j - -0.6. Which is smaller: -1 or l?
-1
Let l be -1 + (-69)/(-24) + 8/64. Let d be 1*63/(-48)*-2. Is d bigger than l?
True
Let y = 118 - 117. Does -1/38 = y?
False
Let t = -57 - 2. Let b = t + -26. Which is bigger: b or 1?
1
Suppose 3*p - 8*p = 3*m + 8, 2 = m - 3*p. Let c = -1698 - -1690.63. Let j = c + 0.37. Is j less than m?
True
Let g = -596 + 557. Which is smaller: -38 or g?
g
Let b(a) = a. Let v be b(4). Let s be (v/(-10))/((-1)/5). Let x be (-4 - 1 - -6)/((-9)/3). Is s equal to x?
False
Let g = -27 - -16. Let q = 11 + g. Let p be (q - -1)*(-14)/(-2). Which is smaller: p or 6?
6
Let o = 76 - 120. Let u = o + 48. Is u equal to 4?
True
Let o = -68 + 113. Let t = o + -39. Is t at least as big as 2?
True
Let n = -139078/3 + 46837. Let j = n + -471. Which is smaller: 6 or j?
6
Let g be 208/12*(-5)/((-15)/(-9)). Do -158/3 and g have the same value?
False
Let g be ((-1)/(-12))/((-3)/(-7900)). Let y(z) = -220*z - 1. Let u be y(-1). Let c = g - u. Do c and 1/4 have different values?
True
Suppose 0*y + 36 = 12*y. Suppose c + 2*c - 8 = 4*f, -y*f - 17 = -5*c. Which is bigger: f or -2/41?
f
Let w be 4 + 273/(-28) + -4. Which is greater: -11 or w?
w
Let a = -259/8 - -32. Let g = -58 + 173/3. Which is greater: a or g?
g
Let v be 12*(-9)/(-27) - (2 + 54). Which is bigger: v or -51?
-51
Let x be (-6)/9 - 16/98. Let n = x + -1/294. Let q = -758 + 758. Is n < q?
True
Let l = -379 + 380. Which is bigger: l or -42?
l
Let c = 4081544121/1800976 + -311/58096. Let h = c + -2266. Which is smaller: h or 0?
0
Let c = 24 + 11. Let a = c + -36. Is 34 >= a?
True
Let x = -13943/8 + 1744. Is 0 < x?
True
Let w = -147 - -146. Is w >= -2/41?
False
Let u be (1 + 2)/((-5)/(-45)). Let z be (75/u + -3)*3. Let q = -2.9 - -7.9. Are z and q equal?
False
Let f = -80.9 - 26.1. Let z = f - -105. Let s = 0 - 0.02. Which is smaller: s or z?
z
Let k = -0.11 - 0.89. Let t = 1.2 + k. Is t < 3/7?
True
Let m(g) = g**3 - 17*g**2 - 18*g + 27. Let p = 22 - 20. Let k = 16 + p. Let j be m(k). Is j smaller than 26?
False
Let c = 2.9 - 3. Let n = 38.565 + -31.6. Let u = n - -0.035. Which is smaller: c or u?
c
Let y = -117952/2715 + 652/15. Which is smaller: -1 or y?
-1
Let y be (-2334)/(-30) - (-2)/10. Suppose -68*x = -52*x - 1264. Is y greater than x?
False
Let n(o) = 2*o**2 + 16*o + 15. Let s be n(-8). Let g(q) = -4*q + 29. Let u be g(s). Is u equal to -61/2?
False
Let l = -300 - -194. Is l at most -106?
True
Let f(q) = 12*q - 33. Let z be f(15). Which is smaller: 150 or z?
z
Let f = 764 + -976. Which is smaller: f or -211?
f
Let c = 1789 + -1227. Is 563 at most c?
False
Let m(u) = -2*u**3 - 2*u**2 - u + 2. Let p be m(-2). Suppose 3*s = -s + p. Which is smaller: 4 or s?
s
Let n = 2.41 + -2.7. Let c = 0.29 + n. Which is greater: c or 6?
6
Suppose 5*n - 82 = -3*h, n - 3*h - 44 = -3*n. Suppose 5*g - 32 = -3*r + 186, -3*r + 3 = 0. Suppose 3*a - g = p, -5*a + 61 = 2*p - p. Are n and a non-equal?
True
Suppose -4*q + 21 + 7 = 4*w, -3*q + 22 = 4*w. Suppose -18 = 3*i - q. Let k be 1 - (-12)/(-3) - i. Which is smaller: k or -2/5?
-2/5
Suppose 0 = -2*f - 2, f = -3*g - 0*f + 11. Let k = -0.13 - 12.87. Let j = k - -15. Is j smaller than g?
True
Let i = 0.0631 - 4.0331. Let f = i - 0.03. Let t = -4 - f. Which is smaller: -3/7 or t?
-3/7
Let f = -179 - -178. Let a be (-2)/(-4) + 2/4. Let m be ((-1)/a - 1) + 1. Are f and m non-equal?
False
Suppose 11*y + 2*y + 286 = 0. Which is greater: y or -41/2?
-41/2
Let i = 427967/11 + -39048. Let z = -142 - i. Is 0.1 > z?
True
Let q = 40 + -12. Suppose -15*n - q = -19*n. Is n >= 6?
True
Let k = 2143 + -2143.2. Is -26/5 less than k?
True
Let f = 199 - 133. Let o = 23 - f. Which is smaller: 1 or o?
o
Let b = -29/2 - -14. Suppose -8*w + 2*w + 30 = 0. Let q(k) = -k**3 + 6*k**2 - 3*k - 8. Let g be q(w). Which is greater: g or b?
g
Let x be 140/(-1755) + (-4)/(-26). Let m = -0.38 + -20.62. Let a = 21.1 + m. Is x equal to a?
False
Let s = 2.1 + 0.9. Let u = -2.9 + s. Let c = -12 - -13. Which is smaller: u or c?
u
Let n = -427 + 806. Suppose -n = 5*z + x + 528, 4*z - 2*x + 734 = 0. Let g be 1*-1 + z/(-140). Is -1 less than or equal to g?
True
Suppose -3*f = 4*i - 127 - 833, 1311 = 4*f - 5*i. Let a be 18/(-3 - 0)*(-8)/f. Does a = 0?
False
Let a = 5 - 7. Let q = a - -4. Suppose -8*l = 17*l + 25. Which is smaller: q or l?
l
Let k be (-34)/(-66) + (0 - (-10)/(-30)). Is k at most as big as 36?
True
Let v = -37 + 39.02. Let g = v + -0.02. Is g smaller than -1?
False
Let w be ((-297)/(-693))/((-1)/7). Let g = -2 - -114. Let l = -229/2 + g. Which is greater: l or w?
l
Let d(t) = -t**3 - 7*t**2 + 10*t + 26. Let z = -97 - -89. Let f be d(z). Let u be 58*(0 + (-2)/(-12)). Which is bigger: f or u?
f
Suppose 13*h - 122 = 47. Are 32 and h unequal?
True
Suppose 5*f = 5*q - 30, -2*q + 22 = -f + 6. Suppose -26 = -2*i + 4*h, -4*h + q = 3*i - i. Suppose -3*z + 6 = -i. Which is greater: 1/4 or z?
z
Let h = 6907/994 + -13/142. Which is smaller: 6 or h?
6
Let k = 1/2559 + 22177/2559. Which is smaller: -2 or k?
-2
Let i be 3975/30*(-32)/(-10). Is i less than or equal to 425?
True
Let w(s) = s**2 - 41*s - 39. Let x be w(41). Which is greater: -37 or x?
-37
Let n = 114 - 113. Is n less than or equal to 20/11?
True
Let a be (-12)/(-16) - 7/(-28). Is a smaller than 2/1001?
False
Suppose 0*s + s - 2 = 0. Suppose -4*l - 5 = -s*f - 3*l, -3*f + 3*l = 0. Suppose -f*c - 5 = -b + 9, 4*b - 20 = 2*c. Is b at least 2?
True
Let d(w) = w**3 - 17*w**2 - 100*w - 20. Let t be d(22). Which is bigger: t or 199?
t
Let s(x) = -8*x**2 + 4. Let o(k) = -9*k**2 + 5. Let w(q) = -4*o(q) + 5*s(q). Let n be w(-1). Suppose 26 + 0 = -25*z - 24. Is n > z?
False
Let y(d) = d**3 - 4*d**2 - d - 3. Let u be y(5). Let p = u + -16. Suppose -2 = -g - p. Which is smaller: -3/22 or g?
-3/22
Suppose 0 = -i - 4*a + 20, 2*i + 2 + 2 = 3*a. Suppose -2*x - f = -3*f + 10, -4*x - i*f = -12. Is x less than 3?
True
Suppose -b = b + 38. Let v = b + 20. Is 2/89 > v?
False
Let g = 219 - 233. Is g less than or equal to -1/5?
True
Let q(s) = -2*s**2 - 48*s - 15. Let u be q(-24). Which is smaller: u or -18?
-18
Suppose 3*a + 3*f - 3 = 0, 0 = -5*a - 4*f + f + 3. Let u = 185/7 + 11075/63. Let q = 202 - u. Which is smaller: a or q?
q
Let k(v) = -v**3 - 27*v**2 + 58*v + 40. Let z be k(-29). Does 38 = z?
False
Let z(x) = -3 - 2 + 20*x - 2*x**2 - 32*x + 3*x**2. Let d be z(13). Is 8 != d?
False
Let w(d) = -2*d**3 + 3*d**2 + 18*d - 20. Let c be w(1). Let k = 1266 + -120272