?
False
Let v = 40 + -39.9. Is -2/3 equal to v?
False
Let v = 16 - 26. Let p = v + 2. Let x = 5 + p. Is x bigger than -1?
False
Suppose 2*w - 6 = l, 3*l - 22 = -2*l - 3*w. Let k(a) = 2*a + 1. Let v be k(l). Let q be v/(-25) - 18/(-40). Which is smaller: q or 1?
q
Let h be ((-2)/(-3))/(4*(-2)/84). Let q(s) = s**2 + 5*s - 7. Let r be q(-5). Is h at least r?
True
Let n(x) = -x**2 + 10*x - 15. Let i(t) = t + 17. Let g be i(-9). Let s be n(g). Which is greater: 4/9 or s?
s
Let o = -11 - -32. Suppose -3*m - 2*m + o = -r, 0 = r + 5*m - 19. Which is smaller: 0 or r?
r
Let s = -170 + 169. Is -0.043 equal to s?
False
Suppose -5*a = -5*h - 2*a - 14, -3*h = 3*a - 6. Let p = -147 + 145. Does h = p?
False
Let j = -130 + 141. Is 126/11 < j?
False
Let w be -6*(-4 - (-62)/15). Let m be (-15)/(-2)*(-6)/(-9). Suppose u = m*u. Is w greater than or equal to u?
False
Let u be 4 - ((-51)/(-9) - 0). Is u at most as big as -3?
False
Let w = 0.06 - 3.06. Let o = 2 + w. Let h = o - -1. Which is bigger: h or 2/5?
2/5
Suppose 5*b - 2*q + 184 = 0, -b - 182 = 4*b - q. Let p be 3 + -1 - (-60)/b. Which is greater: 11 or p?
11
Let r be 28/42*14/(-24). Which is smaller: r or -1?
-1
Suppose 3*m - 4 - 2 = 0. Which is greater: m or 10/3?
10/3
Let r(c) = -2*c - 20. Let x be r(-10). Let t be 1/(-2)*(-1)/9. Is t <= x?
False
Let q(z) = 4*z**2 - z + 1 + 2*z + 0*z + z**3 + 3*z. Let n be q(-3). Let f = 1 - 1. Which is smaller: n or f?
n
Let o be (-2)/(-8) + 21/12. Suppose 0*y + 3*q - 6 = 3*y, -o*q + 12 = 2*y. Which is greater: y or 8/7?
y
Let m = 837/7 + -120. Let l be (36/(-8))/3*-2. Suppose p = 3*g - 3, -p + l = 4*g - 1. Is g smaller than m?
False
Suppose 0 = 2*i - 0*i. Let f = i + -1. Is 1 < f?
False
Suppose -2*c = -c. Suppose -5*o + c*o + 10 = 0. Suppose o*v = -3*t - 1, 0 = -5*v - t + 3 + 1. Which is bigger: 0.1 or v?
v
Let d(q) = 5*q - 9*q - 4 + 2*q. Let w be d(-2). Which is smaller: -1/6 or w?
-1/6
Let y be 10*1/(-4)*(-24)/(-105). Suppose 6 = -2*q + 2. Which is smaller: y or q?
q
Let c = -121/2 + 61. Which is bigger: c or -9?
c
Let n = -8 + 47/6. Suppose 2*j = r + 2, 3*j - 2*r + 4 = 9. Is j equal to n?
False
Let a = -2/419 - 24717/838. Let j = -29 - a. Which is greater: -10 or j?
j
Let p = 1357/9 - 151. Suppose m - 13 = -2*y, 3*y + 2*m = 6*y - 9. Suppose 5*c = 5*s + 5, -c - 1 = y*s - 2. Is p greater than or equal to c?
False
Let o = 48 + -32. Let t = o - 11. Suppose -3*i = -4*c + t, -c = -3*i + 4*c - 7. Are i and -2/15 unequal?
True
Let s = 3 - 3. Suppose 4*w = -1 - 3. Which is greater: w or s?
s
Let m(i) = i**3 + 3*i**2 - 2*i - 7. Let s be m(-3). Is -2/57 greater than or equal to s?
True
Let n = 0 - -4. Let k = -11.1 + 15. Let z = n - k. Which is smaller: -2/3 or z?
-2/3
Let y be ((-4)/(-18))/((-6)/(-9)). Let i = -0.5 + -0.5. Is y equal to i?
False
Let c be 18/81 + (-4)/45. Let f = 2 + -2. Is f less than c?
True
Let m = -4.2 - -5. Let t = -0.7 + m. Let k = -2 + 1. Is k > t?
False
Suppose c = -0*c - 2. Which is greater: -1 or c?
-1
Let j = 1 + 1. Which is smaller: 0 or j?
0
Let y = -121/21 - -19/3. Suppose -j + 50 = -3*j. Let l be (-20)/j*(-5)/(-2). Is y at least l?
False
Let o = 2 + -2.1. Let x = 0 - o. Let i = 6 + -8. Which is greater: x or i?
x
Suppose 0*d + 5*d = 0. Let a = -1 + 0. Let l be (1/a + 1)*1. Is d at most as big as l?
True
Suppose -5*t - 61 = -3*n, 5 = -t - 0*n + 3*n. Let p = t + 13. Which is smaller: 2/19 or p?
p
Suppose -2*r - 3*r = 630. Let w = r - -632/5. Is -1 greater than w?
False
Suppose 2 - 53 = -3*b. Which is greater: -2 or b?
b
Let y be (-1)/(1/(-3)*-1). Let r(w) = -w**3 - 3*w**2 + w + 4. Let b be r(y). Let u be (-6)/(-8) - (-20)/(-40). Which is smaller: b or u?
u
Let l(f) = 4*f**2 - 1. Let o be l(-1). Let x = -3 - -6. Do x and o have different values?
False
Let l = 0.02 + -0.12. Let n = 0.5 - 0.3. Which is smaller: n or l?
l
Let t = 16 + -17. Which is smaller: -8 or t?
-8
Let r = 2756/17 - 162. Let i(q) = q**2 - 5*q - 7. Suppose -30 = w - 6*w. Let x be i(w). Is r > x?
True
Let d = 0 - 0. Suppose 5*g - 4*i - 12 = 24, -5*i - 40 = -5*g. Suppose -g*a = -2*k - 8, -4*k = -5*a + 4*a + 2. Are k and d unequal?
False
Suppose -4*q - 3*i - 22 = 2*i, 5*q - 2*i = -11. Let h be (q/2)/((-5)/(-10)). Let z(g) = g**2 - 7*g - 2. Let b be z(7). Is b less than or equal to h?
False
Let n = 0 - 0.1. Let c = -27 + 27.18. Let s = c + -0.12. Is s less than n?
False
Let w = -8 - -7. Let t be w - (2/7)/(-2). Is -2 greater than t?
False
Let k be 7/14*(-12 - 0). Is -6 less than k?
False
Suppose -31 = -5*n + y, n - 5*y = -n + 17. Which is bigger: n or 36/7?
n
Let c be (-6)/21*(-1)/6. Let i = 184/105 + c. Are 1 and i nonequal?
True
Let y be (-6)/15 - 34/(-10). Suppose -l = -y*l + 4. Let n be -1*3/2*l. Which is smaller: n or -4?
-4
Let x be (-8)/28 - (-205)/7. Let w be 2/4 + (-2328)/(-80). Let t = w - x. Are t and 1/2 nonequal?
True
Suppose 4*u - 10 - 2 = 0. Which is bigger: u or -1?
u
Suppose 2*c = -2*c. Suppose 0 = -2*u - 5*b + 16, 16 = 4*u + b + b. Suppose 0*g + 3 = u*g. Are c and g non-equal?
True
Let t(w) be the first derivative of -w**2/2 - 1. Let j be t(-4). Suppose -5*c - 6 = -1, 3*q - 14 = -c. Which is smaller: j or q?
j
Let i = -6 - -6.06. Let m = i + 0.02. Let v = m - -0.22. Are v and -0.1 equal?
False
Let t be (-12)/16 - (0 - 1). Let r be (-606)/(-2484) - 2/9. Let o = -95/138 + r. Which is smaller: o or t?
o
Let g = -4/1617 + 3793/879648. Let f = g + -41347/1632. Let x = f - -24. Are 0 and x nonequal?
True
Suppose -6*c + 2*c = -t - 14, 4*t - 16 = -2*c. Suppose 6*q - 19 = t*q + m, -3*m - 9 = 0. Let r be (q/2)/((-3)/6). Which is smaller: r or -0.1?
r
Let v be (-7 - (-161)/21)*(1 - -2). Let p = 11 + -18. Which is smaller: v or p?
p
Let y = 2.1 - -2.9. Let h = y + -5. Which is smaller: h or 4?
h
Suppose -2*r - 3*m + m + 2 = 0, 2*r - 3*m = 7. Let f(o) = 5*o**2 - 2*o - 1. Let a be f(-1). Suppose 4*n = a*n - 2. Which is bigger: r or n?
r
Let p(k) = -k**2 + 4*k + 2. Let q be p(5). Is q less than or equal to -3?
True
Let h = 254 + -253. Let o be 2/(-24)*(-8)/9. Which is smaller: o or h?
o
Let l = 14.3 + -8.3. Which is greater: -2/11 or l?
l
Let h(y) = y**2 - 3*y - 5. Let q be h(6). Suppose 4*v = -4*t - 8, 2*v - t = -2*v - q. Let g be (-4)/(-22) - 24/11. Is g smaller than v?
False
Let t = 38 + -67. Do t and -29 have different values?
False
Let h = 30 - 31. Is h != 4/11?
True
Let z(m) = m**2 - 1. Let s = 3 + -4. Let o be z(s). Let f be 46/(-69)*1/(-4). Is f equal to o?
False
Let v be (1 - 3/2)*0. Suppose v*g = -2*g. Which is smaller: g or -2?
-2
Let g(c) = -c**3 - c**2 - 2. Let u be g(-2). Let o(h) = h**2 - 6*h + 6. Let m = -6 + 11. Let r be o(m). Which is greater: r or u?
u
Suppose 3*a = 2*a - 3. Suppose 4*j - 4 - 20 = 0. Suppose 0 = 3*p + 6 + j. Does a = p?
False
Let w be 1/3 + -9*6/(-81). Is 1/43 <= w?
True
Suppose 0 = -7*f + 2*f. Let w(t) = -t + 0*t + 6 + 2*t. Let p be w(-5). Is p greater than or equal to f?
True
Suppose 0 = -5*d + 2*d + 12. Suppose -d*t - k - 6 = -2*t, 0 = -2*k. Let h be (t/45)/((-2)/6). Which is smaller: -1 or h?
-1
Suppose -4*n + 2*u = -76, -5*n + 68 = -2*n + 4*u. Let t = n + -14. Suppose x - 2 = -t*r + r, 4*r + 4*x - 8 = 0. Is 1 bigger than r?
True
Suppose 0 = 5*y - 5*b - 5, -5*b = 4*y + 4 + 1. Which is bigger: y or -4?
y
Let p = 0.3 + 0.7. Let n = p - 1.1. Let u = -0.1 - n. Is u at least -3?
True
Let d = -123 + 509/4. Is -1 equal to d?
False
Let m be 2 + 24/(-10) + (-378)/(-495). Is 1 greater than m?
True
Let u be 14/21 + (-132)/225. Which is smaller: u or 0?
0
Let g = 1 + 1. Let l = 1.9 - g. Let u = 139 + -697/5. Which is greater: l or u?
l
Let a be (-24 + 25)/((-2)/(-44)). Which is smaller: a or 21?
21
Let q(y) = -y**3 + 3*y**2 + 6*y - 5. Let s be q(4). Let h be 6/(-8)*(-8)/s. Is h less than 2?
False
Let y = 4 + -2. Is -15 > y?
False
Let k(t) = t**3 - 9*t**2 + 7*t + 7. Let j be k(8). Which is greater: 1/110 or j?
1/110
Let u be 2/(-4) + (-15)/(-6). Suppose -n = -u*n - 1. Let b be 0 - n*1/1. Is b less than or equal to -4?
False
Suppose 3*v = -2*v. Suppose 20 = 4*c - v*c. Which is smaller: 4 or c?
4
Let p = 24 + -24. Which is greater: 9 or p?
9
Suppose 0 = 3*u - 5*u - 5*i + 18, 5*u - 3*i - 14 = 0. Let r(b) = -19*b + 6*b + 4 + 6*b + 6*b. Let s be r(u). Is s >= 2/7?
False
Let v = -860 - -21488/25. Which is smaller: 1 or v?
v
Let q(w) = -w**3 - 6*w**2 - 5*w + 4