et h be j(0). Let k = -23 - -19. Is k at least as big as h?
False
Suppose -2*v - 3*z = -2*z + 7, 4*v - z - 1 = 0. Is v greater than -2/5?
False
Suppose -k + 4 = -5*k. Suppose -40*n = -35*n + r - 5, -25 = -3*n - 5*r. Does n = k?
False
Let b = 20 + -23. Let y be 48/32*8/b. Which is smaller: -3 or y?
y
Let g = -0.02 - 0.98. Let z = g - -0.97. Which is greater: -0.1 or z?
z
Let y = 3.7 + -3.62. Which is smaller: -0.2 or y?
-0.2
Let u be 16/(-12)*(2 + 1). Let b = -7 + u. Is -10 at most as big as b?
False
Let f(o) = 3*o**2 - o - 3. Let i(q) = 7*q**2 - 3*q - 7. Let k(m) = -5*f(m) + 2*i(m). Let p be k(5). Let a = p - -143/5. Is a less than or equal to -1?
False
Let y be 6/(-18) - 22/(-3). Suppose y*r - 5 = 2*r. Which is bigger: -2/3 or r?
r
Let w(i) = 4*i + 9. Let j be w(-3). Is j smaller than -3?
False
Suppose 6*i = 5*i. Which is smaller: -1/5 or i?
-1/5
Let p = -4.92 - -5. Let x = p - 1.08. Is x greater than 1?
False
Let i = 3 + -2. Let w be 0 + i*(-1)/4. Suppose z = -0*z. Is w less than z?
True
Let w be -6*1/(-2) + -43. Let j be 1*3 - 32/w. Let d = j - 67/15. Is -2 <= d?
True
Let t = -23 + 129/5. Are t and 2/3 equal?
False
Let z = -4 + 4. Let t be ((-3)/9)/1*-6. Suppose -3 = -t*n - n. Is z at least as big as n?
False
Suppose d = 8 - 6. Let s be (8/12)/(d/3). Is -2/17 at most s?
True
Let z(d) = d - 6. Let h be z(11). Let s = h + -6. Is 1 equal to s?
False
Let o(z) be the first derivative of z**4/4 + 4*z**3/3 - 3*z**2 - 3*z + 1. Let x be o(-5). Is 4 greater than x?
True
Suppose z - 2*z = 0. Suppose -5*g - 4*v - 5 = 0, 5*g - v + 15 + 15 = z. Is g bigger than -5?
False
Let j = 41/15 - 17/30. Is j less than or equal to 3?
True
Let r be 2/9 + (-86)/(-18). Suppose 0 = w + 4*w - r. Let p = w + 0. Which is bigger: p or 0?
p
Suppose 2*y = -y + 4*c + 5, -2*y + c + 5 = 0. Is y >= -2?
True
Suppose -5*o = 15, -2*o = -4*y + 8*y + 18. Let c(w) = -w - 1. Let k be c(y). Suppose 0 = -3*d - 2*d - 5, -k*z + 4 = -2*d. Which is greater: 4/9 or z?
z
Let c = -14 + 12.8. Let r = -7 - -6. Let o = c - r. Is -1 bigger than o?
False
Let l = -1/44 - -95/308. Is -9 > l?
False
Let r be 5/(-17)*(-96)/80. Let c = 118/51 + r. Is 3 greater than c?
True
Let v(c) = c**3 - 4*c**2 - 4*c + 6. Let y be v(4). Which is smaller: -12 or y?
-12
Suppose -3 + 7 = -4*t. Let b = t - -5. Suppose b*c + 9 + 0 = 5*u, -c + 2*u = 6. Which is smaller: c or 5?
c
Let x = 10 + -3. Let d be (-2 - 16/(-10))*-20. Do d and x have the same value?
False
Suppose 5*x + 4*k - 104 - 4 = 0, x + 2*k - 24 = 0. Suppose -17*p = -x*p - 15. Is p <= -6?
False
Let x be ((-5)/(-65))/(((-3)/2)/(-3)). Let g be 3/((-1)/((-12)/9)). Suppose 4*o + g*f = 0, 4*o + 7*f = 2*f - 1. Which is smaller: x or o?
x
Let j(w) = w**2 + 3*w - 3. Let d be j(2). Let k(r) = -r**3 + 11*r**2 - 10*r + 7. Let t = -21 - -31. Let l be k(t). Is l bigger than d?
False
Let k(o) = -o**3 + 6*o**2 - 4*o - 3. Let p be k(5). Suppose 2*f = -5*m + 4, 2*m + 0*f - 1 = -f. Is p < m?
False
Let t = 8 - 4. Let i = -5 + t. Which is greater: i or 0.1?
0.1
Let t = -2 + 2. Suppose 15 = 3*z, -3*p + 7 = 4*z - 16. Is p greater than t?
True
Suppose 1 = k - 0*d + d, 0 = 4*k + 3*d - 8. Suppose -k*o = 1 - 21. Suppose 3*f + 20 = 7*f. Are f and o equal?
False
Let l(d) = d**3 + 8*d**2 + 5*d - 2. Let b be l(-7). Let w = -13 + b. Is w at most as big as -1?
True
Let g(l) = l**3 - 13*l**2 + 13*l + 5. Let p be g(12). Let b = p - 35/2. Let w be (-8)/(-6)*9/(-6). Is w less than b?
True
Let g = -1743 + 13923/8. Which is bigger: g or -2?
-2
Let i be ((-18)/34)/((-18)/12). Let h = 164/561 - i. Is h at least as big as 0.1?
False
Let v be (-3 - (-5)/2)*4. Let x = v - -5. Let n = 4 + 0. Which is smaller: x or n?
x
Let m = 5/9 - 67/153. Is m < 1?
True
Suppose 8 = 4*c - 4. Suppose 18 = 3*n - 0. Let g be 60/27 + n/(-27). Which is smaller: c or g?
g
Let p be (3/6)/((-3)/66). Suppose 0 = 4*r + 16, s - 6*s - 66 = 4*r. Is p < s?
True
Let w = 4 - 7. Let y = w - -3.2. Let o = -0.2 + -1.8. Which is smaller: o or y?
o
Let q(f) = -f - 7. Let p be q(-9). Let s be (p/(-3))/((-246)/(-18)). Is s <= 1?
True
Let t = 81 - 80. Which is greater: t or -0.2?
t
Let b = -1/27658 + -42455021/248922. Let j = b - -171. Which is smaller: -1 or j?
-1
Let v = -2.6 + -31.4. Let h = 27 + v. Is -1 less than h?
False
Let t be (-1 - 0)/(5 + -4). Suppose 0*b + b = 3. Suppose 5*i = -3*n - 34, -6*i + 3*i = -b*n + 6. Is t < n?
False
Suppose 0 = 5*i - 2*i. Suppose 0*t - 5*t = i. Is t at least as big as -1/2?
True
Let w be 6 - 6 - (-1 + -23). Which is greater: w or 23?
w
Suppose -3*s = 0, 2*d + d + 3*s - 6 = 0. Let x(v) = v + 10. Let l be x(-8). Do l and d have different values?
False
Let f = 341/6 + -5773/102. Is f at least as big as -1?
True
Let f = 36/11 - 1271/385. Are -1 and f equal?
False
Let i(h) = -h**3 + 14*h**2 - 12*h - 15. Let q be i(13). Which is greater: q or -4/3?
-4/3
Let c = -4 + 2. Let o = c - -6. Suppose -3*s + o - 1 = 0. Is s greater than -1?
True
Let g = 0.009 - -0.051. Is 0.7 greater than g?
True
Let i be 5/46*10 - 1. Suppose 0 = 5*s + 2*m + 63, -51 = 5*s - 0*m - m. Let a(k) = k + 11. Let u be a(s). Which is smaller: i or u?
u
Let h be 4/12 + 14/3. Suppose -c - 4*c + 15 = -5*j, h*j - 21 = -4*c. Suppose -d + 4*s = 13, -2 = -0*d - c*d - 2*s. Is -1 > d?
False
Suppose -2*a + a = 1. Which is greater: 2 or a?
2
Let j = -13 - -33. Suppose d = -4*d + j. Which is smaller: 3 or d?
3
Let f = 38 + -153/4. Which is greater: f or 1?
1
Let x = 0.08 - -1.92. Suppose -2*c - 5*y + 8 = -5*c, 4*c = -4*y. Which is greater: x or c?
x
Let w be 1/(-2) - (-3)/2. Let z = -20/3 - -77/12. Which is bigger: w or z?
w
Let a = 27 + -19. Suppose 1 = -4*g - 3*s + a*s, 0 = 2*s - 10. Let p(z) = -z**2 + 5*z + 6. Let w be p(g). Is w equal to 2/7?
False
Suppose 16*d - 14*d = -20. Is d <= -2?
True
Suppose 5*j - j = 0. Let z = 11 - 12. Let v be 275/(-77) + (-4)/z. Which is bigger: v or j?
v
Let p = 62 - 61. Let x(z) = z + 1. Let f be x(-5). Let d be f/25*(-10)/(-4). Is d less than p?
True
Let s = -16.97 + -0.03. Let z = s - -17. Are -4 and z non-equal?
True
Let w(v) = -v**3 - v**2 - v + v + 0*v. Let i be w(0). Suppose i*o + 1 = o. Which is greater: -3/10 or o?
o
Let t(w) = 10*w**3 - w - 1. Let g be t(-1). Is -12 bigger than g?
False
Let c = 513/130 - 9/26. Are 4 and c nonequal?
True
Suppose 4*s + h - 2*h + 13 = 0, 15 = 3*h. Let b = 11107633/190 - 58462. Let a = b + -1/38. Is s <= a?
True
Let z be (-1 + 2)*3/(-6). Which is smaller: -5 or z?
-5
Let j = 33 - 100/3. Let x be (-10)/(-45) - (0 - (-20)/36). Do x and j have different values?
False
Let k be (-2)/(-1) + 0 + 8. Suppose -t = 4*t + k. Let d be (6 + -9)/(3/t). Is d equal to 0.3?
False
Let v(z) = -2*z**2 + 1. Let h(g) = g**3 - 6*g**2 + 5*g + 1. Suppose 2*c = -4 - 4, -x = -2*c - 13. Let b be h(x). Let n be v(b). Do -1 and n have the same value?
True
Let m(j) = -j**2 - 12 + 0*j - j**3 - 8*j**2 - 10*j. Let k be m(-8). Is k > 6?
False
Let m = 16 - 9. Do m and 8 have the same value?
False
Let a = 1 - -1. Suppose -1 = -5*x - y, 2 = -2*x - a*y + y. Suppose 0*d - d - x = 0. Which is bigger: d or -2/7?
-2/7
Let v = 9 + -15. Let k = -1 - v. Suppose -k*z = -0*z - 10. Which is smaller: 3 or z?
z
Let a = -34.7 - -35. Which is greater: a or 8?
8
Let q = 12 + -10. Which is smaller: q or -0.2?
-0.2
Suppose -4*g - 2*a = 4 - 2, 0 = -5*a + 5. Let j(p) = p**2 + 9*p + 10. Let s be j(-8). Suppose -2*h + 4*h + 2 = 0, s*m - h + 1 = 0. Are g and m non-equal?
False
Let h be -4*4/8 - -2. Suppose h = 3*g - 13 + 1. Which is bigger: g or 1?
g
Let m be 50 - ((-6)/(-3))/1. Let t = -1406/3 - -421. Let q = t + m. Is q <= 0?
False
Let k be 7 - (-2 + 6) - 3. Are k and -2/13 unequal?
True
Let a = -2 + -2. Let g(i) = -2*i - 6. Let t be g(a). Suppose -t = l, 4*x + 2*l = l - 14. Are -3 and x equal?
True
Let o = 19.158 - -0.242. Let z = 19 - o. Do z and 0.1 have the same value?
False
Let p = 15.28 + -18.3. Let r = 0.8 + -3.8. Let g = r - p. Is 1/3 smaller than g?
False
Let y = 84 - 84.2. Which is smaller: y or -4?
-4
Let y be 2/9 - 80/(-45). Let w be 2/(-1) + 13/5. Do y and w have the same value?
False
Let r(l) = 2*l**2 - 1. Let x be r(-1). Which is smaller: -1 or x?
-1
Let y = 0.53 + -2.53. Which is smaller: y or 2/29?
y
Let x = -6 - -11. Suppose 5*j + 10 = x*f - 10*f, -5*f + 22 = -3*j. Which is smaller: f or 1/2?
1/2
Let x = -0.17 - -0.2. Let