3.024 - -0.024. Which is greater: q or i?
i
Let t be (-1)/2 - 4/(-31). Let p = t - 4/31. Which is bigger: -2 or p?
p
Suppose u + 1 = l - 0, l + 14 = -4*u. Suppose -11 + 3 = 2*p. Which is greater: p or u?
u
Let f(x) = 2*x + 3. Let h be f(-4). Let m = 5 + h. Suppose 2*q - 6 = -m. Is q > 2?
True
Let w = 49 + -56. Suppose l - k + 2 = 0, -4*k - 4 = -2*l - 0. Are w and l nonequal?
True
Let r(v) be the third derivative of v**4/24 - 3*v**3/2 - 2*v**2. Let b be r(10). Is 0.3 greater than b?
False
Let d = 0.08 - -0.04. Let y = d + 0.88. Is 1 >= y?
True
Let a = 0 + 0. Let o = 4 - 1. Suppose -o*p - t - 8 = 0, -p + 7 = -3*t - 7. Which is smaller: p or a?
p
Let j(l) = -2*l - 7. Let d be j(-6). Let g = -31 + 33. Let b be (g/4)/(12/8). Do b and d have the same value?
False
Suppose -p = 3*a + 3*p - 4, -3*a = -5*p - 22. Suppose 9*o - a*o = 40. Suppose 0 = 3*v - 0*s + 5*s - o, s = 2*v - 1. Which is smaller: v or 2/5?
2/5
Let n = -2.19 - -0.19. Let g = n - -3. Is 15 greater than or equal to g?
True
Let i = -5.08 - -5. Let n = i + 0.08. Is -1 at most as big as n?
True
Let h be (1 - 3) + 2/(-2). Let z = 0.06 - -1.94. Let y = z - 3. Which is greater: h or y?
y
Suppose -2*t - 9 = t. Let h be -1 - 0*(-4 - t). Let s = h + 1. Is 1/4 bigger than s?
True
Suppose 4 + 4 = 2*v. Suppose 3*q - 2*q = 3*n - 1, -n - 13 = -3*q. Which is bigger: n or v?
v
Suppose 3*a = 8*a - 20. Suppose 3*z - 10 = 5*z. Let x = z + a. Is x >= -5/3?
True
Let s(u) = 2*u + 4. Let x be s(-3). Let i be (x + 5)/3 - -4. Are i and 5 nonequal?
False
Suppose -2*r = -0 - 16. Suppose 4*a + 8 = 0, -l = l + 4*a + r. Let v be 1/(1*10*1). Is v less than or equal to l?
False
Suppose v - 4 = -0*v. Is v not equal to 4?
False
Let t = 7 + -5. Let n(k) = -k**3 - 4*k**2 + 7*k + 6. Let s be n(-5). Let r be s*(-1)/6 + 0. Is r equal to t?
False
Let x be (49/14 - 3)/((-1)/2). Which is bigger: -6 or x?
x
Let z(f) = f**3 + 4*f**2 + f + 2. Let c be 7/(-2) + 1/2. Let h be z(c). Let s be h/(-70) - (-4)/(-14). Which is smaller: 1 or s?
s
Let v be ((-30)/18)/((-5)/3). Is -4/15 <= v?
True
Let w(a) = 5*a - 1. Let s be w(4). Let p = -7 + s. Suppose 0 = -4*z - 0*z - p. Which is smaller: z or -4?
-4
Let g be 6/8 + (-2)/(-8). Let r = 367/8 - -123/8. Let n = r + -61. Which is smaller: g or n?
n
Suppose 4*x - 16 = 4*i, i - 2*i + 3*x = 14. Suppose 2*m - 11 = -3*y + 3*m, -2*m - 8 = y. Suppose 5*f + 3*a = -10 + 5, -y*a = -3*f - 3. Is i equal to f?
False
Let q be (-3 - -3) + 0 - 0. Let g = 3.01 - 3. Is q at least as big as g?
False
Let r(m) = 7*m + 26. Let u be r(-4). Is 2 greater than u?
True
Let y = -6 - -3. Are -7/4 and y nonequal?
True
Let b = 0.07 - -0.08. Let x = b - -7.85. Let n = -6 + x. Which is smaller: 1/3 or n?
1/3
Let o = 21/47 + -837/611. Is -2 < o?
True
Suppose -2 = -3*a + 31. Let s = 10 - a. Do s and 1/17 have the same value?
False
Let p be 2/(-4)*-2 - -1. Let b(y) = 2*y + 7. Let t be b(-3). Is t less than p?
True
Let m = -620/37 + 11000/259. Let t = m + -26. Let s = -4 + 5. Which is smaller: t or s?
t
Let j(w) = 3*w + 23. Let v be j(-8). Is v at least as big as 2/185?
False
Suppose 0 = 3*k - y - 9, -3*y = 3*k - 0 + 3. Suppose 4*p = -5*w - 22, k*p = 4*p - 3*w. Suppose -2*d + 22 = -5*g, -2*d - 10 = -g + 4*g. Is p >= g?
True
Let n = 4.063 + -0.063. Which is smaller: 2/7 or n?
2/7
Let x = -2 + 4. Suppose v = x*v. Let d = 3/22 - 53/66. Which is smaller: v or d?
d
Let k be (17 - 12) + 263/(-53). Suppose 0 = 4*s + 2 + 2. Which is bigger: s or k?
k
Suppose 4*o - 2 = -h - 9, -5*o = -5. Let y = -19 - h. Is y not equal to -8?
False
Let h be (12/(-18))/((-58)/(-6)). Which is greater: 0 or h?
0
Let n be 836/(-36) + 4/18. Which is smaller: -22 or n?
n
Let q = -1 + 1. Let t be (-2)/(-4) - (-2302)/(-20). Let o = 115 + t. Is o bigger than q?
True
Let r(k) = k + 12. Let d be r(-11). Which is greater: d or 2/299?
d
Let i = 7 - 5. Which is bigger: 3 or i?
3
Let j = 171 - 1884/11. Which is bigger: j or 1?
1
Suppose -3*w = 5*f - 10, -2*w - 4*f + 5 = w. Are w and -2 unequal?
True
Let d = 147/8 - 759/40. Let s be 0 + (-4)/(-1 - -3). Let u = 2 + s. Which is smaller: d or u?
d
Let a = -20 + 29. Let f be (a/6)/((-1)/2). Is -3 greater than or equal to f?
True
Suppose 4*n = -m + 3*m, -4*m + 2*n + 12 = 0. Suppose 0*u - 3*p = -4*u + 6, 0 = -u - m*p + 11. Suppose u*y = -2*y. Is y not equal to 0?
False
Suppose -14*o + 9 = 9. Which is smaller: o or 2/37?
o
Let j be -4 + (3 - 0)/3. Which is bigger: j or 1?
1
Let m = 9 - 10. Let i = -9 + 13. Let u(v) = -v**3 + 3*v**2 + 4*v. Let x be u(i). Is x > m?
True
Let l = 12 + -15. Which is smaller: l or 0.4?
l
Let g be 4/12 - (-44)/(-6). Let o = -8 - g. Let j(c) = -c - 3. Let k be j(-4). Is o less than k?
True
Let b(c) = -c**3 + 4*c**2 - 2*c - 3. Let j be b(3). Which is bigger: j or -26?
j
Let l(b) = -b**2 + 12*b. Let w be l(10). Let m be w/2 - (0 - -1). Suppose m = 3*a - 6. Is 5 > a?
False
Suppose -6 = -3*x - 33. Let y = 7 + x. Which is smaller: y or -2/3?
y
Let a = 882 - 2645/3. Let n = -8.85 - 0.15. Is a < n?
False
Let v = 25 - 3. Are 23 and v equal?
False
Let l be (35/18)/((-4)/(-6)). Let p = l - 7/6. Which is smaller: 2 or p?
p
Suppose o - 7 = -5*w + 4*w, 0 = -2*w - 4*o + 22. Let g be (2 - (-2 - -15)) + w. Which is smaller: g or -9?
-9
Let k be 22/(-56) - 1/(-4). Let o be 2 + ((-9)/6)/((-2)/(-4)). Which is smaller: k or o?
o
Let v = 0 - 2. Let x = v - -3. Let o be 1/(-3) - 14/(-24). Which is smaller: o or x?
o
Let q = 23 - 23. Let l = -12.2 + 14. Let r = -2 + l. Is r <= q?
True
Suppose 3*g + 2 + 1 = -2*a, -2*a + 3 = -3*g. Is g <= -2/53?
True
Let s(h) = -h - 11. Let g be s(-10). Let a(l) = -l**3 + 5*l**2 + 8*l - 15. Let k be a(6). Is g > k?
True
Suppose -3*v + j = -4*j + 17, 3*v + 27 = 3*j. Let s = -13 - v. Is s > -2/5?
True
Suppose 0 = -5*b + 2*v + 35, 0*v = -2*b + 5*v + 14. Suppose -3*k - 3*t + 33 = 0, 4*t - 56 + 6 = -5*k. Is k > b?
False
Let x = 1.5 - 0.5. Let v = x + -2. Let k = v - -1.3. Is k greater than or equal to -2?
True
Let b be 69/2 - (-12)/8. Let h be 3/(b/21) - 2. Which is bigger: h or 1?
1
Let v = -0.3 + -0.7. Which is smaller: v or -0.02?
v
Let z = 9.1 + 0.9. Let h = z - 10.1. Is h != 1?
True
Suppose -2 = -10*i - 12. Is i < 1/23?
True
Let x be -1 + 1/1 - -4. Suppose -3*g + 5*a = -21, -a - 3 = x*g - 8. Suppose 3*p = p + 6. Which is smaller: p or g?
g
Let v = -5.86 + -0.34. Is 0 greater than v?
True
Suppose 0 - 11 = -2*s - q, 5*s + 3*q = 29. Suppose 6 = -s*r - 2. Are r and -3 equal?
False
Suppose -20*m + 14 = -22*m. Which is bigger: m or -34/5?
-34/5
Suppose -3*d = 2*d - 15, 5*d - 30 = -5*j. Let f = j + -4. Let o be 1/((-1 - 0)*3). Which is bigger: f or o?
o
Let a(z) = z**3 - 3*z**2 - z + 2. Let p be a(3). Let f be (2/(-20))/(p/4). Which is smaller: -1 or f?
-1
Let v = 5 + -3. Let z(j) = j**3 - 5*j**2 - 5*j + 1. Let a be z(6). Suppose -a*n + 5*n + 4 = 0. Is v not equal to n?
False
Let i = 17 + -16. Which is smaller: i or 1/3?
1/3
Let c be ((-16)/8)/(-1*1). Let z be ((-1)/c)/((-12)/8). Is z at least as big as -0.04?
True
Let f(j) = j + 13. Let d be f(-6). Let i be d/(-4)*2/(-2). Which is smaller: 2 or i?
i
Let h = -6 + 3. Are h and 2/7 nonequal?
True
Let b be (5 + -4)/(1/2). Suppose -2*j + 4*p + 3 = 1, 0 = 5*j - b*p - 21. Suppose 5*y + 13 = -2*o + 4*y, -4*y = j*o + 40. Is o greater than -4?
False
Let p be 4/(-14) + 5/(-7). Which is smaller: 1/48 or p?
p
Suppose 4*g = n + 215, 2*g = -3*n + 69 + 28. Suppose -5*v + g + 17 = 0. Is 14 != v?
False
Let n = -42 - -43. Is 1/8 at least as big as n?
False
Let x = -1.11 + 1.4. Let o = 0.01 + x. Is -1/2 at least as big as o?
False
Let w(t) = -t**2 - 1. Let z be w(-3). Let u be ((-5)/(-1))/(z/5). Is -2 > u?
True
Let s = -0.55 + -0.05. Let o = s + 0.9. Is 2 less than o?
False
Let x = 0 + -0.2. Is -4 greater than or equal to x?
False
Suppose -2*o = -11*o. Suppose 2*y - 44 = -2*y. Let b be y/51 + 2/(-6). Are b and o equal?
False
Let s = -13 + 14. Let w = -1 + s. Is w greater than 0?
False
Suppose -o + 13 = -3*v, 2*o - 2*v = 31 + 7. Suppose 5*p + o = -3. Do -6 and p have the same value?
False
Let g(k) = k - 3. Let n(c) = -c + 4. Let p(y) = 6*g(y) + 5*n(y). Let t be p(-3). Is -1 < t?
False
Let t = 17 - 17.07. Let b = t - -0.07. Which is bigger: b or 2/13?
2/13
Let j(n) = 7*n**2 + n - 2. Let h be j(-4). Which is greater: 107 or h?
107
Let g be 1*18/(-8)*4. Let z(c) = -c*