 1?
False
Let c be 4/(-6)*(-8)/(-16). Are c and -1 equal?
False
Suppose -2 = -k + u, -3*k - k + 5*u = -6. Is k < 2?
False
Let j = 12 + -21. Is -19/2 at least j?
False
Let y be ((-13)/2)/((-2)/4). Let q = 10 - y. Let r = 2 + -5. Do r and q have different values?
False
Let d(v) = -12*v - 3. Suppose -z = 4*z + 50. Let q be d(z). Let w = 1289/11 - q. Which is greater: -1 or w?
w
Suppose 2*m = -23 - 19. Let p = m - -65/3. Is -1 smaller than p?
True
Let d(y) = y**3 + y**2 + y - 1. Let n be d(-2). Let c(b) = -2*b**2 + 8*b + 9*b**2 + 6 - 4 - 6*b**2. Let v be c(n). Is v at least as big as -5?
True
Let b = 0.104 + -0.104. Is b < 1/49?
True
Let w(z) be the third derivative of z**4/24 + z**2. Suppose 3*b - 6*b + 3 = 0. Let j be w(b). Which is smaller: -1/7 or j?
-1/7
Let j be (-2)/6 + 10/(-342). Let m = -26080/627 + 456/11. Let n = j - m. Which is smaller: 0 or n?
n
Let a be 6/10 - (3 + -6)/1. Is 5 at most as big as a?
False
Let l = 14 - 13. Which is smaller: l or -1/2?
-1/2
Suppose -3*w - 4 = -7. Suppose w = 3*o + m, -m - m - 4 = 0. Which is bigger: 2/13 or o?
o
Let v(t) = -4*t**2 + 34*t + 4. Let w be v(9). Let h(x) = -2*x**2 - 7*x + 2. Let i be h(-5). Which is smaller: w or i?
w
Let w(h) = h - 2. Let f be w(4). Suppose f*q + 5*x + 4 = 0, -2*q + 3*x + 12 = -4*q. Let k be 6/4*q/99. Is 1 equal to k?
False
Let y = -19 - -15. Let x be y + (-16)/(4 + -8). Which is greater: -2/53 or x?
x
Let p = -4776/31 + 154. Is p != -2/3?
True
Suppose 4*v - 3 = 2*v - 3*w, 0 = -4*v - 5*w + 9. Let d be 1*-3*(-4)/(-6). Let n be d/(-7) - 94/(-14). Which is greater: v or n?
n
Let w(m) = 4*m. Suppose 2*i - 2 + 0 = 0. Let z be w(i). Suppose -t = p - z*p + 6, 2*p = 5*t - 9. Which is bigger: t or 2?
t
Let y be ((-39)/252)/((-2)/(-122)). Let h = y - -25/21. Let i = -635/76 - h. Is i equal to 1?
False
Let t(w) = 3*w**3 - 2*w**2 + 2*w - 1. Let j be t(1). Do j and 2 have different values?
False
Let v be (8/(-3))/(2/6). Let x be -10*(v/110)/2. Is x < -1?
False
Let w = -0.04 - -2.04. Let x(d) = -10*d + 67. Let b be x(7). Is b >= w?
False
Let t be (-28)/13 + 9/3. Let q = t - 38/91. Which is smaller: q or 0?
0
Let b(n) = n**3 + 2*n**2 - 6*n - 11. Let k be b(-3). Is k at most as big as -14/13?
True
Suppose y + 0 + 3 = 0, -m = y - 9. Let c be 6/15 - m/80. Which is smaller: 1 or c?
c
Let c = -0.791 - -7.971. Let z = c - 0.18. Which is greater: 2/7 or z?
z
Suppose -3*y + 5*q + 9 = 0, 3*y + 7 = 4*y - 3*q. Let r be (-11)/(-11)*4/(-2). Does r = y?
True
Let k(n) = n + 4. Let y be k(0). Suppose 0 = -0*s - y*s + 4. Suppose -5 + 1 = -4*f. Do s and f have the same value?
True
Let o = 0.06 + 0.16. Let y = 0.3 - o. Is 0 at least y?
False
Suppose 1 = -4*u - 8*d + 3*d, -4*u - 31 = -5*d. Let x be 1*2/(-20)*u. Which is bigger: x or 0?
x
Suppose -9 = -h + 5*q - 4*q, 4*q = 0. Let r = 0 + 3. Suppose -2*a + 0*a = -5*k - h, k = -r. Is a less than or equal to -3?
True
Let h(j) = -j - 1. Let s be h(-1). Which is smaller: s or 1?
s
Let k be -3*(-2 + (-29)/(-15)). Suppose 0 = -2*i - 3 + 5. Is k at least as big as i?
False
Suppose 0 = 7*p - 8*p. Which is smaller: 7/5 or p?
p
Suppose -5*b + 4*g = -45, 4*g + 16 = b - 9. Let a be 2*(2 + b/(-2)). Which is greater: -5 or a?
a
Let d(y) = y**2 - 4*y + 4. Suppose -7 - 5 = -4*b. Let u be d(b). Let i be (-1)/(-4) + (-26)/(-24). Are i and u equal?
False
Let x(s) = s**3 + 3*s**2 - s + 3. Let k be x(-3). Suppose k + 6 = 3*y. Suppose 3*d = 4*r - r, -2*r = y*d. Does r = 0?
True
Let r(u) = -u + 2. Let j be r(4). Let d = -194 - -192. Is d bigger than j?
False
Let j(i) = -i**3 - 6*i**2 - 2*i - 4. Let c be j(-6). Let g = 9 - c. Which is bigger: g or 0?
g
Let f be (-4)/(2 - 4) + -2. Is -1 greater than f?
False
Suppose -3*c - 9 = -6*c. Suppose -c*b - 18 + 3 = 0. Are b and -7 non-equal?
True
Let d = 159/7 - 3491/154. Let z(n) = n**3 + 5*n**2 + 4*n. Let g be z(-4). Which is bigger: g or d?
d
Let s = 261 + -2354/9. Which is greater: s or -2?
s
Let p = -0.01 - -9.01. Is 1 at most p?
True
Suppose 0 = 3*d - 0*d - 6. Let p = 6 - d. Suppose -15 = -0*o - 5*o. Is p < o?
False
Let m(q) = -q**3 + 9*q**2 - q + 13. Let u be m(9). Let v be (77/44)/(1/u). Which is bigger: -2 or v?
v
Let x(t) = -7*t**2 + 3*t - 7. Let r(a) = a**2 + 1. Let l(y) = 6*r(y) + x(y). Let i be l(3). Is -3 bigger than i?
False
Let r be (-2)/(-7) + 80/(-182). Suppose -3*g - 15 = -0*q + 4*q, g - 4*q = -5. Let n(s) = 2*s**2 + 9*s - 5. Let f be n(g). Which is bigger: r or f?
f
Let g(u) = -10*u**2 - 8*u + 7 - 8 - u**3 + u**2. Let l be g(-8). Let y be (-2)/(-12)*(-1)/l. Which is greater: y or 0?
y
Let h(m) = -5*m**3 - m**2. Let b be h(1). Let i = 4 + b. Let x = -5 - i. Are x and -2 equal?
False
Let f = 0.25 + 0.05. Let d = f - 0.29. Let p = 0.99 + d. Which is greater: 0.3 or p?
p
Suppose -3*c + 10 = -c, 13 = 4*r + c. Let m be ((-4)/(-10))/(1/15). Suppose 0 = -4*j - 2*v - 12, -5*v = -0*j - r*j + m. Which is smaller: j or -1/2?
j
Let o be 1*3 - -74*5/(-120). Which is smaller: 1 or o?
o
Suppose -3*v - 23 = -4*t, 9 = -4*t + 29. Which is greater: -1/36 or v?
-1/36
Let g be -1*0/(-1 - -4). Suppose g = 2*r + 2*q + 2, -2*r - 4 = -5*q - 16. Let s be (-1)/(-3) + 1/15. Which is greater: r or s?
r
Let s = 8 + -6. Let p(g) = 3*g - 1. Let r be p(s). Let w = 11/2 - r. Is 0 smaller than w?
True
Let g be 4 - 6 - (-10)/9. Does g = 0?
False
Let k = -3 - -9. Let g = 6 - k. Let w(j) = -j**3 + j. Let c be w(0). Is c less than or equal to g?
True
Let r be ((-10)/3)/((-14)/(-21)). Is -17/3 less than or equal to r?
True
Suppose c - 3 = -c + i, 13 = 4*c + 5*i. Let k be 0/(1 + -1 + c). Suppose 4*d - 16 = k, 3*q = -3*d - 0 + 3. Is q at most -3?
True
Let y = 29 + -14. Suppose -5*q - 4*o = 20, -5*o - 10 - y = -5*q. Which is greater: q or -5/4?
q
Suppose -m = -3 + 1. Suppose c - m*c = 1. Is c equal to -1?
True
Let w = 0.18 + -0.08. Is 2/27 less than w?
True
Suppose 2*v + 21 = 3*s - 27, 0 = -2*v. Is 17 not equal to s?
True
Suppose 0 = g - 3*g - 2. Let u be ((-4)/(-10))/((-1)/5). Let y be (-2)/g*u/4. Is -2/3 < y?
False
Let l be 4 - 3 - 6/4. Let f be 5 + 1 + 4/(-2). Suppose -s - 4 = -j, 0 = s + f*s + 20. Do l and j have the same value?
False
Let o = 14 + -15. Which is bigger: o or 0.01?
0.01
Let o(f) = f - 4. Let j be o(9). Suppose -w - 3*s + 20 = -j, 2*s - 10 = 0. Suppose -3*z - w = -34. Which is smaller: z or 7?
7
Suppose 0 = -4*t + 20, -2*r + 31 = 2*t - 1. Is r less than 3?
False
Let r be 0/(3/(-2 + -1)). Suppose 0*t + 2*t = r. Which is greater: 3/10 or t?
3/10
Suppose -2*v = -4*q + 2*q + 22, -41 = -4*q + v. Suppose -24 = -4*o - x + 19, 1 = -x. Which is bigger: q or o?
o
Let a = 20 - 17. Suppose 3*r - 16 = -r. Is a at most as big as r?
True
Suppose -7*o + 2*o + 2*p = -11, 4*o - 1 = -p. Suppose -3*t + 15 = 4*w, -3*t + 2*t + o = 0. Are 3 and w non-equal?
False
Let z = 9 - 15. Let k = 5 + z. Is k != -5?
True
Let r be -1*(-8 - (0 + 1)). Let j = r - 6. Suppose 0 = -j*a - 0*a. Is a not equal to 1/3?
True
Suppose -1 = 5*i + 3*y, 4*y + 3 = -2*i - 3. Let k be (-2)/(-4)*-2*i. Which is bigger: k or -0.1?
-0.1
Let a = 6 + -2. Suppose -4*r = 3 - 19. Suppose n = 2*n - 3*h + 3, 17 = 3*n + r*h. Is a less than or equal to n?
False
Let u = -73 + 71. Do u and -3.4 have the same value?
False
Let l be 1 - 3 - (-5 - -1). Suppose 5 = 5*p - 3*n - 0, -2*p - 3*n + l = 0. Let v = 2 + -3. Is v less than p?
True
Let t(c) = 3*c**3 - 1. Suppose -4*v + 3 = -1. Let w be t(v). Let g be (1 - w)/((-3)/3). Does g = -1/10?
False
Let k(s) = s + 7. Let q be k(-5). Let t be 16/3 - q/6. Suppose -3*a + 4*h - 8*h - t = 0, -4*h - 9 = -a. Which is smaller: -1/5 or a?
-1/5
Let z(q) = -q**2 + 26. Let u be z(0). Suppose -4 = b + v, -5*v - u + 6 = -5*b. Which is smaller: 2/9 or b?
b
Let x be ((-12)/(-105))/((-2)/5). Suppose -6*v + 8*v = 4. Let j be (v/(-8))/(2/(-8)). Which is smaller: x or j?
x
Let l = -2/347 - 1031/1735. Let s = 22 + -5. Suppose -5*o + 4*g = 17, -5*o - s = -2*g - 6. Which is smaller: l or o?
o
Let o = 1043/97 - 1/388. Is o < 10?
False
Let k = -9 - -16. Suppose 5*j = k - 27. Let d be 0 + 3 + 0/j. Which is smaller: 2 or d?
2
Suppose -13 + 19 = 3*l. Suppose 3*n - 3 = -18, l*m - 5*n = 27. Is m > -1/10?
True
Suppose 5 = 5*a, 4*c - a = -0*a - 37. Let h be (-2)/(-6) + 12/c. Let d be (h + 0)*(-15)/(-10). Which is bigger: d or -1?
-1
Let h be (-2)/(-12) + 268/(-24). Is -11 greater than or equal to h?
Tr