maller than f?
True
Let b be (24/10)/((-6)/(-80)). Let x be 1/4 - (-8)/b. Which is smaller: -1 or x?
-1
Let h(x) = 3*x**3 - 10*x**2 + 2*x + 3. Let w be h(3). Do -1/27 and w have the same value?
False
Let g(r) = 3*r**2 + 2*r - 1. Let u be g(-2). Let s = u - 4. Suppose s*v = v - 12. Which is greater: -7 or v?
v
Let q(b) = -b + 1. Let u be q(-2). Let y = -3 - u. Let w be ((-6)/(-4))/(3/y). Which is smaller: w or -0.1?
w
Let y(r) be the second derivative of -r**4/12 - 4*r**3/3 - 7*r**2/2 - 4*r. Let b be y(-7). Which is smaller: -1 or b?
-1
Let b be ((-2 - 1) + 4)/1. Suppose -42 = 3*q + 3*l - 0*l, -q + 5*l = 14. Let u be b - ((-80)/q)/4. Which is smaller: u or 1?
u
Let u = 1/6 + -1/4. Is 1 less than u?
False
Let m be 0 - -1*(1 - -2). Let z be 1*3/m + -4. Let l = z + 10/3. Are l and -2/5 non-equal?
True
Let r be (1/3)/((-1)/(-6)). Suppose -3 = r*f - 1. Let m(v) = -v**3 + 3*v**2 + v - 4. Let t be m(3). Is f less than t?
False
Let c(v) = -9*v + 5. Let q(m) = m - 1. Let t(p) = c(p) + 6*q(p). Let h be t(1). Which is smaller: h or -5?
-5
Suppose 0*f + 3*f - 15 = 0, 5*g - f = 5. Suppose -4*c + 5*c + g = 0. Which is smaller: c or -1?
c
Let a = 27 - -4. Which is greater: 30 or a?
a
Let q = 11 + -8. Let a be (q/18)/((-3)/4). Which is smaller: a or -1?
-1
Let o be 2/5 - ((-12)/4)/15. Is o <= -0.4?
False
Let q(i) = -3*i - 1. Let f be q(-2). Suppose f*u + 11 = -m, -2*m + u + 3*u = -20. Suppose m*d + 5 = 1. Which is smaller: 0 or d?
d
Suppose -4 = 13*o - 17*o. Let p(f) = f**3 - 4*f**2 - 1. Let l be p(4). Are o and l nonequal?
True
Let d be 6*5/(315/6). Is d bigger than 0?
True
Let y be (-2 - 1) + 3*1. Suppose y = -3*g + 8*g + 10. Which is smaller: g or -1/2?
g
Let g = 30.15 + -30. Which is greater: g or 0.1?
g
Let m = -59/2 + 30. Which is smaller: m or 67?
m
Suppose -3*t = -w + 5, 0*w + 2*w - 1 = -3*t. Do t and -4/7 have the same value?
False
Let x be ((-48)/42)/((-6)/(-3)). Which is smaller: 3/5 or x?
x
Let i = 10 - 7. Does i = 4?
False
Let v = -19 + 21. Are -6 and v unequal?
True
Let c = 25 + -25. Which is bigger: c or -0.12?
c
Suppose 0 = 2*t - 0*t + t. Is t smaller than -1/22?
False
Let k be (-72)/96 - 114/(-88). Which is greater: k or 0?
k
Let g = -0.2 - -0.2. Let f = -5 + 4.9. Let x = 0 + f. Which is smaller: x or g?
x
Suppose 5*o + 12 = -o. Let m(d) = -d**2 - 5*d - 3. Let x be m(-2). Suppose 7 + 2 = -x*r. Which is smaller: r or o?
r
Suppose -40 + 5 = 5*c. Do -9 and c have the same value?
False
Suppose 0 = -0*k - 2*k + 12. Is k smaller than 4?
False
Suppose -2*d = -5*t - 20, -d + 1 = -2*t - 8. Let w = 5 + t. Let c be ((-2)/(-12))/(w/15). Do c and 0 have different values?
True
Let a = -44 - -44. Is a equal to 2/11?
False
Suppose 3*s = 5*q + 12, -3*s + 5 = -7. Is q >= 2/41?
False
Let z = 24 + -33. Which is smaller: -3 or z?
z
Let d = 0.1 - 0. Do d and -111 have different values?
True
Let b = -24.1 + 24. Which is smaller: b or 0.3?
b
Suppose 0 = 5*n + 4*g + 31, -27 = 5*n - g + 4*g. Which is greater: n or -5?
n
Let r(b) = 2*b**3 + b**2 + 2*b + 1. Let x be r(-1). Let k = -8 - x. Let f(d) = d + 7. Let o be f(k). Do -1/3 and o have the same value?
False
Suppose -2*f = 2*n + 12, -f - 39 = 3*n + n. Are -12 and n non-equal?
True
Suppose 0 = 3*t + 14 + 7. Let x = 6 + t. Is -3/10 bigger than x?
True
Let z(k) = 2*k**3 + k**2 + 1 - 2 + k**3. Let l be z(1). Suppose 3*h + l*s - 3 = 0, -2*s + 1 = h - 3*s. Which is greater: -1 or h?
h
Suppose 4*u + 3 = -1, -c - 8 = 4*u. Let s = 2 - 5. Which is smaller: s or c?
c
Let b be -3*(-1 - -2)*1. Let d(i) = -i**2 + 6*i - 6. Let n be d(3). Suppose -h = 5 - n. Which is greater: b or h?
h
Suppose -5*t = -3*t - 10. Suppose -t*p - 4 = 1. Let n = 98/5 + -20. Is n != p?
True
Let c be (-105)/(-9) + (-2)/3. Let x be (-2)/c - 8/(-44). Let l = 239/12 + -62/3. Is l <= x?
True
Suppose 2*v = -l + 164 - 25, -2*l + 62 = v. Suppose k - 5*k = -v. Are 18 and k non-equal?
False
Suppose -4*q - 812 = -3*r, -279 = 5*q + 5*r + 701. Let m be (-1)/(-6) - q/(-48). Let j = -4 - m. Which is smaller: j or 2/11?
j
Let a = 119 - 120. Which is greater: a or 35?
35
Let m = 15005 + -360043/24. Let c = -27/8 + m. Is 0 greater than or equal to c?
True
Let f = -0.01 + 2.01. Let m = 25 - 25.2. Is m bigger than f?
False
Suppose 3 = 5*g - 12. Suppose -g*i + 8 = -i. Suppose 2 = -3*s - i. Is -1/2 at least as big as s?
True
Let m(w) = -w**2 + 4*w - 2. Let c be m(2). Let b be c + -1 - (-15)/(-24). Which is bigger: -0.1 or b?
b
Let i be 0 - -2 - -10*1. Suppose -i = -n + 3*u, -u - 17 = -3*n + 3. Suppose 5*c - 2*c = n. Is c bigger than 2?
False
Let j = 17/8 - 53/40. Suppose l - 2 + 0 = 4*q, 0 = 4*q - 4*l + 8. Is q not equal to j?
True
Let w = -23 + 16. Let v = -84.6 + 86.6. Which is bigger: v or w?
v
Suppose 4*k - 3*c + 90 = 0, -5*k - 2*c - 37 = 64. Let f be k/(-9) + (-4)/(-6). Suppose -2 = -f*m - 11. Are m and -3 non-equal?
False
Let m = -191/6 - -32. Suppose 4*f + 2*p = 6, 5*p = -0*f + 5*f. Which is smaller: f or m?
m
Let o = 162 + -163. Let y = -7/6 - -79/78. Which is smaller: y or o?
o
Suppose 15 = 4*g + 3*p, -4 = -3*p - 1. Suppose g*n = n + 4. Suppose n + 4 = 2*l. Which is greater: l or 1?
l
Suppose 0 = -10*t + 2 + 38. Suppose -m + 4*m = -4*x + 38, -8 = -4*x. Let f be m/4 - 2/(-4). Which is smaller: f or t?
f
Let c(r) = -r + 2. Let w(d) = 1. Let j(n) = -c(n) + 3*w(n). Let z be j(-1). Suppose z = -3*i + 3, -g - 3*i - i + 6 = 0. Which is bigger: g or 1?
g
Let i(w) = -w + 8. Let f = -2 - -2. Suppose 2*n - 21 = -l, f*l + 17 = -n + 5*l. Let k be i(n). Which is greater: -1 or k?
k
Let m = -49/5 - -149/15. Let z be (-2)/1*4/(-8). Which is bigger: z or m?
z
Let o(h) = 2 - h + 3 + 1. Let q be o(6). Let r be -2 + 3 - (-30)/(-34). Is r at least as big as q?
True
Suppose 6*r - 3*r = 9, 4*k = 5*r - 7. Let d be 6/4*k/3. Which is smaller: -3/7 or d?
-3/7
Let h(g) = -g**3 - 2*g**2 - 2*g - 3. Let w be h(-2). Is -5 >= w?
False
Let o = 49 + -43.2. Let d = o + -0.8. Let r = d + -4. Is 0 >= r?
False
Suppose -2*w - 3 = -w. Let v(i) = -i**2 - 4*i. Let o be v(w). Suppose g + 9 = o. Which is bigger: -5 or g?
-5
Let t = 33323/143070 - -2/4769. Let u = -2/5 + t. Which is smaller: u or 0?
u
Let p be (11/(-4))/(3/12). Is -11 greater than or equal to p?
True
Let m be (10/3*-3)/2. Which is greater: m or -7?
m
Let z be 15/(-10)*44/6. Which is greater: -10 or z?
-10
Let k(d) = d**3 - 5*d**2 - 8*d + 8. Let s be k(6). Let w = -0.23 - -0.41. Let g = -0.08 + w. Is g at most s?
False
Suppose 0*h + 5*h + 30 = 0. Let a be -5 - 0/(5/5). Which is greater: h or a?
a
Suppose 0 = -3*q + 15, 4*u = -3*q + 2 + 25. Let t be u/(-6) + 1/(-8). Which is bigger: t or 0?
0
Let t = 71 - 150. Is t smaller than 1?
True
Suppose -4*y + 3*i - 4*i - 28 = 0, 2*i - 16 = 4*y. Let z = y - -4. Let w be (-8)/z - (-3 - -1). Is 6 bigger than w?
False
Let t(v) = 3*v**2. Let r be t(1). Suppose -3*j + r = -0. Let s(p) = -2*p**2. Let n be s(-1). Which is smaller: n or j?
n
Let b be (2/4)/((-2)/(-8)). Suppose 5*j + 4*o + 16 + 7 = 0, 0 = 5*j + 2*o + 19. Let r(p) = p**3 + 4*p**2 + 4*p + 4. Let i be r(j). Is i != b?
True
Let h = 84 - 78. Is 5 < h?
True
Let g = 11 + -11.1. Is g at most 0.06?
True
Let k = -26.25 - -26. Let v = k + 11.25. Which is greater: -1 or v?
v
Suppose -4*q + 2*h = -0 - 8, 2*q = 2*h + 2. Let y be (-4)/10*(-2)/4. Is y not equal to q?
True
Suppose -c + 4 = c. Let j = 3 - c. Which is smaller: j or -1/5?
-1/5
Let y be 15 + -2 - (1 - -3). Which is greater: y or 8?
y
Suppose 3*j = -17 + 32. Which is bigger: 3 or j?
j
Let q(a) = -a**2 + a - 1. Let w(k) = -k**2 + k - 1. Let x(s) = 2*q(s) - 3*w(s). Let p be (-2)/4*1*-2. Let g be x(p). Is g at least as big as -4?
True
Suppose x + r = 6, -17 = -3*x + r - 3. Suppose -37 = 4*g + 5*b, -4*g - 2*b = -0*b + 22. Let v = g + x. Are v and 2 equal?
True
Suppose 0*a = -2*a - 32. Let c = a + 16. Let q be 2/(-7) + 10/(-14). Is c greater than q?
True
Let j be 3/(-4) + (-93)/(-12). Let w be (j - 10) + 36/10. Is w smaller than 0?
False
Let g = -56 + 63. Is 7 bigger than g?
False
Let o be 3 + (2 + (1 - 4))*-17. Is o bigger than 20?
False
Let j(m) = m**2 + 6*m + 4. Let d be j(-4). Suppose l - 5*l = -5*r + 18, 4*r - 2 = -3*l. Which is smaller: d or l?
d
Let p = 11.8 - 16.8. Let d = 0.9 + -1.8. Let x = 1 + d. Which is bigger: p or x?
x
Let o = 5 + 1. Let t = 0.11 + -5.61. Let a = o + t. Which is greater: a o