 bigger than 2/17?
False
Let n(c) = -c**3 - 6*c**2 - 5*c + 3. Let f be n(-5). Let j = -4 + f. Which is smaller: -2 or j?
-2
Suppose -21 = -2*q - 5. Which is bigger: 9 or q?
9
Let w = 1.9 - 0.9. Are w and -1/3 unequal?
True
Let z(d) = -d**2 + 5*d + 8. Let p be z(6). Suppose 3*h + 3*k - 5 - 13 = 0, 5*k - 16 = 2*h. Let x be h + 6/3 - 2. Are x and p equal?
True
Let g = -1 + 0. Which is smaller: 2 or g?
g
Let w = -0.3 + -0.1. Let n = 10 + -10. Which is greater: w or n?
n
Let x = -39 + 31. Is x smaller than -4?
True
Let n = 24 - 18. Suppose -n*x = -4*x. Which is smaller: 2 or x?
x
Let u be (-11)/(-1) - (2 + -1). Let g = u - 11. Is 2/29 smaller than g?
False
Let m = 11 + -9. Suppose -j + 8 = 3*j - 2*g, 2*j + m*g = -2. Which is bigger: j or 3?
3
Let c(g) = -g**2 - 10*g - 15. Let q be c(-7). Which is smaller: q or 19/3?
q
Let a be (-2 + 1)*-2 + -2. Let b be ((-9)/42)/(18/129). Let x = 9/7 + b. Which is smaller: x or a?
x
Suppose -7*d = -3 - 4. Is d greater than or equal to 1?
True
Let r be 18/8 - (-3)/(-12). Let j = -11 + 2. Let h be 4/j*(-3)/2. Which is greater: h or r?
r
Suppose -3*p - 3*a = 0, 14 + 1 = -p - 4*a. Suppose -24 = 3*h + p*u, -4*h + 4*u - 3 = h. Suppose -1 + 13 = -3*q. Which is greater: q or h?
h
Let f = 46 + -10. Which is bigger: f or 1/2?
f
Let m = -8 + -4. Let f be 1*m/(0 + -3). Let w = 5 - 2. Is f at most w?
False
Let c be (14 + -2)/(-4) + (-52)/(-19). Which is smaller: c or 1?
c
Suppose 0 = -3*b - 53 + 2. Which is smaller: b or -18?
-18
Let b = -41/6 - -37/6. Is b not equal to -0.1?
True
Let p = 31 - 28. Which is greater: p or -1/4?
p
Let i(u) = u - 7. Let f be i(8). Is f at least 3/113?
True
Let i be (-21)/(-27) + 2/9. Let r = 3 + i. Do r and 5 have the same value?
False
Let i be (-12)/26*(-3)/9. Let q be (-4)/(-8)*(-3 - -3). Is q < i?
True
Let l be 11/3 + -3 + 2. Is l < 2?
False
Let y(n) = n + 5. Let b be y(-6). Let p = b - 0. Let a = -1/3 - -2/3. Which is bigger: a or p?
a
Let v be (4/(-78))/(2/(-6)). Is v less than or equal to 1?
True
Suppose 5*i - 2*b + 83 + 22 = 0, -2*i = 4*b + 66. Which is smaller: -20 or i?
i
Suppose -2*m + 3*m = -2. Which is bigger: m or 0?
0
Let f be (-6)/(-4)*(-12)/(-666). Is f bigger than 1?
False
Let c = 108/5 - 289/15. Is 2 >= c?
False
Let k be 1735/30 + (-1 - 1). Let b(i) = -4*i + 8. Let s be b(-12). Let h = s - k. Do 0 and h have the same value?
False
Let h = 10.83 + -10.5. Which is greater: 0.2 or h?
h
Suppose -5*z + i - 8 = -i, -5*z - 2*i = -8. Suppose 3 = 3*j - z*j. Is j <= 1/8?
False
Let s be (-4)/6*6/16. Let j(a) = -a**3 - 3*a**2 + a + 3. Let d be j(-1). Are s and d unequal?
True
Let t = -25/36 - -4/9. Is t bigger than 2/11?
False
Let c = -47/3 - -16. Let i = -13.5 + 2.5. Let s = 12 + i. Is s bigger than c?
True
Let u = 2 + -1. Let v = 8 + -33/4. Is v greater than u?
False
Let w = 0.106 - 5.016. Let n = -0.09 + w. Let j = 5 + n. Are -0.2 and j non-equal?
True
Let z be (-19958)/180 - 8/36. Let q = -111 - z. Which is greater: -1 or q?
q
Let u = -1.79 - -1.99. Let x be (-16)/(-14) - (1 - 0). Which is bigger: u or x?
u
Let n = -2.9 + 3. Let s = n + -0.2. Let v = s + 0.1. Which is smaller: v or -0.4?
-0.4
Let i(a) = -2*a**2 + 2*a. Let c be i(8). Let s be c/(-52) + (-4 - -2). Which is bigger: 1 or s?
1
Let q = 7 - 6.97. Let d = q + -0.02. Is d smaller than 1?
True
Let n = -0.4 - -0.5. Suppose 0*o = 5*o + 25. Is n at least as big as o?
True
Let t = 38 + -37.5. Do t and -5 have the same value?
False
Let k(v) = v**3 - 7*v**2 + 4*v - 8. Let j be k(7). Let l be 6/15 + (-8)/j. Suppose l*u + u - 1 = 0. Is u >= 2/13?
True
Let p be 5 + (-2)/2 + 2. Suppose -u + p = 2*u. Suppose 3*y = 5*l - 0*y + 16, 0 = -4*l + u*y - 12. Is l greater than -2?
False
Let u(m) = m - 6. Let j be u(7). Let q = -29 - -27. Which is bigger: q or j?
j
Let k be (24 - 2)/(-3 - -1). Which is bigger: -9 or k?
-9
Suppose -p - 6 = -4*p. Suppose 20 = -p*y - 2*y. Is -4 equal to y?
False
Suppose -10*m - 216 = -m. Are -22 and m nonequal?
True
Let x(o) be the third derivative of o**6/120 + o**5/20 - o**4/8 + 5*o**3/6 - 3*o**2. Let j be x(-4). Which is greater: j or 1/4?
j
Let k = -57 + 54.88. Let p = 0.12 + k. Is 0.01 > p?
True
Let v be -2 + (0 - (-2)/2). Let o(q) = 4*q. Let j be o(5). Let t be 16/(-40) - (-13)/j. Is v > t?
False
Suppose -z = 4*z - 5. Let a = -98/5 + 1289/65. Are a and z unequal?
True
Let d = 5 + -12. Let l = -6 - d. Which is bigger: l or 2/9?
l
Let c be 1 + 1 - (-6 - -4). Suppose 3*n + 56 = -4*g + 13, 34 = -3*g - c*n. Let h be g/(-8) + (-1)/2. Which is greater: h or 1/2?
h
Let c be (-7)/(-6) + -1 + 0. Let i = 0.06 - 0.16. Let v = 0.2 + i. Which is greater: v or c?
c
Suppose 0 = v + 2*v - 21. Let q = 8 - v. Which is smaller: 1/7 or q?
1/7
Let g(d) = -4*d**2 - d. Suppose -3*u - 2*s + s = 0, -2 = 5*u + s. Let n be g(u). Let p = n - -3. Which is bigger: p or 2?
2
Let j(q) = q**3 + 7*q**2 - 1. Suppose -2*x = 3*x + 40. Let w = x - -1. Let i be j(w). Is i < -1/6?
True
Let r = -1.42 - -1.12. Which is smaller: 18/5 or r?
r
Let h = 415 + -9547/23. Which is bigger: h or 0?
0
Let t = 259 - 260. Suppose 30 = -q - 15. Let l = -226/5 - q. Which is smaller: l or t?
t
Suppose -2*u = -4*o + 6, u + 2*u = -5*o + 13. Let f be 9/2*(-118)/(-6). Let j = f + -86. Are o and j unequal?
True
Let i = 81 + -84. Let w = 1/131 - -255/917. Do i and w have different values?
True
Let r = -2 - -1.7. Let g = r + 0.2. Which is bigger: 2 or g?
2
Let c be 39/15 - 2/(-5). Suppose 5*h = 2*s + 7, -9 - 1 = -2*h - s. Is c less than or equal to h?
True
Let v be -5*(-2)/(-4)*-2. Let t(m) = v + m - 3 + 2. Let f be t(-8). Is f equal to -4?
True
Let b = 0.2 + 0.8. Let u = 0.6 + -0.2. Let m = 0.3 - u. Is m <= b?
True
Let g = -0.13 - -0.53. Let l = 0.6 + g. Which is bigger: l or -9?
l
Let b = -13 - -25. Let q be 2 + 3*b/(-27). Which is smaller: 0 or q?
0
Let n(t) = t**3 - 6*t**2 + 3*t + 3. Let d be n(4). Are d and -18 unequal?
True
Let u = 2325 - 2323.853. Let w = u - 0.177. Let q = 0.03 + w. Is 1 >= q?
True
Let b = -11 + 17. Suppose -2*v = b + 4. Do v and -4 have different values?
True
Let p be ((-5724)/20)/3 - 0. Let q = 95 + p. Let w = -4 + 2. Which is smaller: w or q?
w
Let z(t) = t + 1. Let g be z(1). Let f(c) = c + 4. Let m be 0/(-1) + (-4 - -1). Let l be f(m). Which is smaller: g or l?
l
Suppose 0 = -4*l + 3*l + 182. Let o = 1277/7 - l. Does o = 1?
False
Let v be (-4)/6*(-63)/14. Suppose -s = v - 4. Are 3/7 and s nonequal?
True
Let i be -2*(748/(-8))/(-11). Which is smaller: i or -16?
i
Suppose 0*t + 12 = -4*t. Let x = 19 + -43. Let s be 1 - (-4)/(x/22). Which is greater: t or s?
s
Suppose z + 2*n = -3 - 4, -4*z - 42 = n. Which is smaller: z or -7?
z
Let i = 3 - 5. Suppose -7*l - 63 = -10*l. Let o = l - 20. Is o greater than i?
True
Suppose -n + 16 = c, -4*c - 3*n + 0*n = -64. Is c < 16?
False
Let i(b) = b**2 - 5*b + 5. Let v be i(5). Let w(k) = -k**3 + 4*k**2 + 7*k - 3. Let o be w(v). Which is greater: 6 or o?
o
Suppose -3*i + 16 = i. Suppose -10 = -3*m - i*q, 2*m = 5*q + 3 - 27. Is -1 less than or equal to m?
False
Let h = -36008/9 - -4006. Is h smaller than 5?
False
Suppose 39 - 4 = 5*b. Let a be 12/b + 6/21. Is -1 < a?
True
Let p = 4 - 7. Let m(n) = -2*n**2 - 6*n - 2. Let o be m(p). Which is greater: o or -3?
o
Let t be (-3)/(-6)*3*4. Suppose 3*g + t + 0 = 0. Which is smaller: -4 or g?
-4
Let v be 2*(-4)/(-12)*(-6)/(-4). Is v > -2/97?
True
Let a = -72 + 71. Is a != -2/95?
True
Let h = -0.09 + -15.91. Let c = 13 + h. Let u = 1 + -2. Which is smaller: c or u?
c
Let k(m) = -m + 4. Let s be k(-3). Does -0.1 = s?
False
Let o be 1/12*88/(-33). Let a = 0 + -2. Which is bigger: a or o?
o
Let n = -5 - -7. Let z(y) = y - 10. Let h be z(9). Let a be (6*h/2)/(-1). Are a and n equal?
False
Let p be 3 + -1 + (1 - 0). Suppose -p*d + 3*z + 2*z = 0, -5*d = 3*z. Which is smaller: d or 1/3?
d
Let i be 16/6*(-3)/(-12). Suppose -2*l + 5*l + 3 = 0. Let d = l + 1. Which is smaller: d or i?
d
Let o(n) = -11*n - n**2 + 3 + 14*n - 4. Let a = 7 + -5. Let w be o(a). Are 2/17 and w unequal?
True
Let m = 7/24 + -1/8. Which is smaller: m or -1?
-1
Let t(a) = 15*a**2 - a + 2. Let z be t(-3). Let g = z - 697/5. Is 0 smaller than g?
True
Let b be 0/3 + (0 - -2). Suppose 1 = 3*m - b. Which is smaller: 0 or m?
0
Let w = 511/9 + -57. Let k(v) = -2*v + 4. Let m be k(3). Let g = m + 1. Which is bigger: w 