 unequal?
False
Let k(p) = 23*p - 21. Let q be k(2). Is 51/2 bigger than q?
True
Let p(j) = j**3 + 6*j**2 - j - 16. Let d be (-6)/27 + (-793)/117. Let l be p(d). Is l smaller than -59?
False
Let k be (1 + 2 + -4)*-4. Suppose -k*g + 9 = -11. Suppose 8 + 2 = 2*b, -4*b = g*u + 5. Is -5 at least as big as u?
True
Let f be ((-3)/404)/(3/(-2436)) + -6. Which is smaller: 1/2 or f?
f
Suppose -21 = -0*w + w + p, -3*w - 67 = p. Which is smaller: w or -73?
-73
Let b(u) = -7*u**3 - 2*u - 1. Let w = -29 + 14. Let h = w - -14. Let o be b(h). Which is smaller: o or 7?
7
Let s(k) = -2*k - 6. Let n be s(-3). Suppose 4*x + 5*d + 0*d + 11 = n, 3*d = x - 10. Which is bigger: 4/3 or x?
4/3
Let c = -25 - -27. Suppose s = -2*h - 5, -s - 3 = -2*h - c. Let d be 4/(-8)*0/h. Which is bigger: d or -2/49?
d
Let k = 0.1 + 0.11. Is k > -2?
True
Let u = 0.041 - 0.051. Suppose -1 = -h - 4, -5*s = -5*h - 15. Is u at most as big as s?
True
Let p be 4/(-3) + (-3)/(45/(-5)). Which is greater: 1/23 or p?
1/23
Let d = 2.5 - 2.52. Let w = -53/2 - -26. Which is smaller: w or d?
w
Let q = -17329/30 - -3875/6. Is 0 greater than or equal to q?
False
Let m be 6/21 + (-6)/21. Suppose m*y + y - 5 = 0. Suppose y*k - 24 = 11. Is 1/3 bigger than k?
False
Let i be ((-94)/(-8))/(510/24 - -5). Let a = -1385/21 - -66. Let t = i - a. Which is greater: t or 1?
1
Let g = -2187081/511 - -4280. Is -1 < g?
True
Let f = 1043 - 1042. Are 500 and f equal?
False
Let i(d) = d**3 + d**2 + 2*d + 12. Let f be i(0). Let w be ((-1)/2)/(f/96). Is -9/2 greater than w?
False
Suppose g = -g + 2, 3*l - g - 14 = 0. Suppose l*y - 8*y = -18. Is y > 7?
False
Suppose -16*l - 170 = 3*m - 11*l, 0 = m - l + 70. Is -11 greater than m?
True
Suppose 79*j = -23*j + 204. Are j and 74/41 equal?
False
Suppose -2*q + 2 = 0, 7*q - 4*q = -4*x + 115. Suppose -s = -5*s - x. Which is greater: -8 or s?
s
Suppose -4 = -5*u + 4*u. Suppose c - u*c - 12 = 0. Let z = c + 5. Is z greater than or equal to 1/3?
True
Suppose -12 = -3*q - b, 2*b = -q - 0*q + 9. Let r = 51.95 - 52. Let y = r - -1.05. Which is smaller: q or y?
y
Suppose 0*v - 3*v - 5*g = 17, 0 = 2*v + g + 9. Let a be -4 - -3 - -4 - -9. Let p be v/6*a/8. Is p smaller than 2/25?
True
Let y = 66.5 + -64. Let b = y + -2.51. Which is smaller: b or -10?
-10
Let h = 375 + -1499/4. Let z = -6.3 - -6. Which is smaller: z or h?
z
Suppose 0 = -3*w - 3*s, w + 4*s - 1 = 2. Let m be 616/32 - (-3)/4. Let d = m - 20. Is w equal to d?
False
Let u be (-840)/1215 + -2 + (-16)/(-6). Which is bigger: 4 or u?
4
Let d = 15401/2395165 - -1/7853. Is d > 1?
False
Suppose 4*z - 166 + 6 = 0. Suppose -15*b + 342 = -6*b. Which is bigger: b or z?
z
Suppose 5*m - 5*x = 300, 0 = 5*m - x - 221 - 59. Which is smaller: 56 or m?
m
Let l = -10/3841 - -726059/42251. Let z = 17 - l. Which is smaller: -1 or z?
-1
Let g(c) be the third derivative of c**5/60 + 5*c**4/12 + 13*c**3/6 - 13*c**2. Let j be g(-9). Which is greater: 1 or j?
j
Let n = -45488/63 - -722. Suppose -3*i + 113 = 4*d, -2*d = d - 3*i - 90. Let z = d - 30. Which is smaller: n or z?
z
Suppose -6 = -0*v - v. Suppose 4*i - 3*l = -v, 5*i + 2*l + 19 = -0*i. Let h be 12 - 12/((-9)/i). Which is smaller: 9 or h?
h
Suppose 0 = -3*l + 4*l - 5. Suppose -h - l*h = 0. Let i(v) = -v + 8. Let w be i(6). Which is greater: h or w?
w
Let g = 11 - 16. Let w be 2/(-16) + 5/(200/445). Suppose 3*p - 5*a = -w, 6 = -4*p + 4*a - 6. Is g >= p?
False
Let v be ((-1)/3)/((-55)/(-15)). Let p = 63 + -62. Which is greater: p or v?
p
Let u be 4/10 + (-936)/65. Are -1/5 and u nonequal?
True
Let t be (24 - -8)/8 + (-38)/8. Is t > 85?
False
Let h = -0.063 + 12.063. Which is smaller: -5 or h?
-5
Let j(h) = 5*h - 5*h + 2*h - 22 + 0*h. Let y be j(11). Is y greater than 8/11?
False
Suppose 12 = -o - 3*o, a - o + 4 = 0. Suppose -8 = -5*r + 3*r, 5*r = -3*c + 2. Which is smaller: a or c?
a
Let r = -19 + 17. Let q = 1.9 + r. Let x = 0 - 0. Which is greater: q or x?
x
Suppose 0*p - 5*i = -4*p - 33, -2*p = -2*i + 14. Let a be (p + 1)*1*4. Let n be (-30)/a*(-3)/(-30). Which is smaller: n or 1?
n
Suppose -3*n + 93 = 5*y - 4*n, 63 = 3*y - 3*n. Let c = 110 + -126. Let p = c + y. Is 11/4 at most as big as p?
False
Let h(w) = w**2 - 2*w + 72. Let l be h(0). Let y be 20/(-6)*l/60. Is -1 not equal to y?
True
Let r = -151 - -391. Does 241 = r?
False
Let y = 159 - 160. Which is smaller: y or -5?
-5
Suppose -2*q = -5*m - 0*m + 59, 25 = 5*m. Is q > 7?
False
Let o = -359 - -403. Which is smaller: o or 223/5?
o
Let n = 0.14 + -9.14. Let d = n + 10. Let m = 1.94 - 2. Is m at least d?
False
Let c be (-399)/(-171) - (-4)/(-3). Is -2/63 <= c?
True
Suppose -174*d - 78 = -177*d. Is d not equal to 33?
True
Let l be 25 - 18 - (21 - 0). Suppose -11 - 32 = 4*i + h, -2*i = -5*h + 49. Is i > l?
True
Let t be 12 - (-9 - 213/(-8)). Is -7 less than t?
True
Let v be ((-4)/(-8))/((-1)/2). Let w be -10 + 9 - (v - 1). Which is bigger: -2/25 or w?
w
Let w = 7 + -3. Let d = -8 + -2. Let q = d + 15. Is q at least w?
True
Let j = -0.388 + 0.058. Let v = -0.23 - j. Is 5 > v?
True
Let v(k) = -k + 9. Let j be v(6). Suppose t = j*s - 20, 2 = 5*t + 2*s + 17. Is t < -7?
False
Suppose -2*s = 2*s + 20. Let w = 9 + s. Suppose 0 = -b + 3*j - 2 - 1, 30 = 3*b + w*j. Do 7 and b have the same value?
False
Let r = -9/8 - -79/56. Is -117 >= r?
False
Let g = 69/56 + -11/8. Let m = -37 + 38.16. Let y = -0.16 + m. Which is bigger: y or g?
y
Let d be 12/(-20) - (-9)/(90/(-4)). Is d < -0.123?
True
Let i be (4/5)/((-2)/35). Let o = i + 40. Let q be ((-2 + -4)/((-12)/27))/((-79)/(-158)). Is q less than o?
False
Suppose -34 = -5*i + 66. Let f be ((-3)/(-2))/((-10)/i). Do f and -5/2 have the same value?
False
Suppose 4*f + 0 + 3 = y, -3*f = 5*y + 31. Let l be (-2 + 20/(-30))/((-2)/(-12)). Let v = l + y. Is v < -20?
True
Let h = -3101/45880 + 11/155. Let r = h - -585/2072. Which is smaller: r or 5?
r
Let j(b) = -47*b + 329. Let d be j(7). Which is bigger: d or 2/701?
2/701
Let i be (-4 - 1)*(-25)/25. Suppose 0 = -4*j + 20, -3*q - 2*q = -i*j - 5. Let w = -0.1 - -0.1. Is w >= q?
False
Let l = 18 + -28. Suppose 0 = -k + 3*z - 19, -18 = 5*k - 2*k + 4*z. Are k and l non-equal?
False
Let q = 1123 + -9013/8. Suppose -2251*m - 1 = 4*t - 2254*m, -4*t - 5*m - 41 = 0. Is q smaller than t?
False
Let v(o) = 2*o**2 - 20*o + 34. Let l be v(8). Suppose -516 = l*d - 512. Suppose 0 = -2*z + 10, -5*t = -3*z + 4*z + 10. Do t and d have different values?
True
Let h(b) = -b**2 - 20*b - 21. Let a be h(-20). Let x = a + 21. Let t = -0.95 + 1. Is t < x?
False
Suppose 1026 = -11*s + 102. Which is greater: s or -89?
s
Suppose 3*s = -d - 71, -4*s + 9*s - 2*d = -133. Let k = 24 + s. Is k equal to -8/9?
False
Let x = 1115/5058 + 1/562. Which is greater: x or -2.53?
x
Suppose 0 = -39*r + 32*r - 889. Which is bigger: -128 or r?
r
Let z(f) = f - 6. Let c be z(9). Let k(j) = j**2 + 10*j + 5. Let q be k(-10). Suppose q*b - 5 = -5*w, -4*w + 0*w = -5*b + 32. Are c and b equal?
False
Let o(j) = -2*j - 32. Let p be o(-29). Which is smaller: p or 49/2?
49/2
Let l = -301 + 309. Do 22 and l have the same value?
False
Suppose -4*n + 27 + 37 = 0. Suppose n = 3*x - x. Suppose -3*q + x*q = -5. Is q less than or equal to -1?
True
Let m(i) = -20 + i + 20. Let g be m(1). Are 1/20 and g nonequal?
True
Let f = -2.99 + 3.19. Which is smaller: 61 or f?
f
Let i be (-138)/115*10/(-6). Suppose -a = -1 + i. Which is greater: 2/119 or a?
2/119
Let m = 1939/132 - 44/3. Which is greater: m or 0?
m
Let p be 70 - -2 - (-3 + 7). Suppose c = 4*q - 40, 6*c - 3*c + q = -p. Is c <= -24?
True
Let y = -259/68 - -86/17. Are y and -50 equal?
False
Let x be ((-1090)/135 - -8) + (-2230)/(-945). Which is smaller: x or -20/11?
-20/11
Let r be (-172)/(-12) + 2/3. Let t = r + -13. Suppose -t*o = -6*o. Which is greater: o or 5/9?
5/9
Let v(k) = k**3 + 11*k**2. Let x be v(-11). Which is bigger: -4 or x?
x
Let o be (8/(-86))/(2/(-2)). Which is smaller: 1 or o?
o
Let g be ((-8)/(-6))/((-6)/18). Let d = -674 + 27636/41. Let l = -580/123 + d. Which is bigger: l or g?
g
Let i = 6.7 - 14.7. Let l = -35.8 - -28. Let z = l - i. Are z and -2/7 nonequal?
True
Let w(z) = -2*z**2 + 0*z + 11*z**2 + z**3 + z + 8. Let t be w(-9). Let x be (-15)/25 - 0/5. Which is smaller: x or t?
t
Let x(v) = -3*v + 4. Let p be x(8). Suppose -2*w - 4*s = -7 + 33, -2*w -