t l = v - k. Do l and -3 have the same value?
True
Suppose 32*g - 86 = 30*g. Is g at least 44?
False
Let j be 15/5 + (-3 - 1 - -12). Is 11 less than or equal to j?
True
Let q be 1 + -4 - (2 + 1). Is q bigger than -4?
False
Suppose -16 = 3*k - 7*k. Suppose 2*l - y = 0, -4*y - k - 5 = l. Which is greater: l or -5?
l
Let i be 1/(1/(-5))*1. Let q = -3 - i. Let f be q/(-6) - 1/3. Which is bigger: f or 0?
0
Let p = -5 - -9. Let v(i) = 3*i - p + 0*i - 4*i. Let f be v(-5). Does 0 = f?
False
Let o = 26 + -24. Which is greater: o or 11?
11
Let f = -16 + 18. Let k = 6 - 3. Which is smaller: k or f?
f
Let n = 16 - 29. Let b = n + 12. Which is smaller: 0 or b?
b
Let t = 21 - 23. Which is greater: t or -5/2?
t
Suppose 2*s = -2*s + 8. Suppose -s*h - 2 = -0. Is h <= -2?
False
Let h(d) = -d**3 - 12*d**2 - 10*d + 12. Let b be h(-11). Is 2/33 not equal to b?
True
Let d be 2*(3 + -2) + 2. Suppose 3*m = -0*m + 18. Let u be (6/(-9))/(d/m). Is u > -2?
True
Suppose 3*a + 0*a + 5 = w, 0 = -3*w + 5*a + 7. Which is smaller: w or -1/32?
w
Let w = 7 + 3. Let s = 11 - w. Which is smaller: -6 or s?
-6
Let s(r) = -5*r**2 - 1. Let y be s(1). Let f(n) = -n**3 + 0*n**2 - 3 - 6 - 2*n - 6*n**2 + 1. Let w be f(y). Which is smaller: w or 3?
3
Let s = 63/220 - 2/55. Which is greater: s or 3/5?
3/5
Let b = 0.023 - 33.023. Let u = b + 33.1. Let j = 1.2 + 3.8. Do u and j have the same value?
False
Suppose -10*b = 18 - 28. Let g be 4/14 + 12/(-91). Which is bigger: g or b?
b
Suppose -5*m + 8 = 3. Let k be (m/3)/(0 - -1). Let o be 12/(-20) + 40/25. Is o greater than or equal to k?
True
Let w be 2058/27 - (-4)/(-18). Let l be w/(-16)*2*2. Which is greater: -20 or l?
l
Let k = -0.1 + 0.1. Let b = -2.58 - -2.38. Are b and k nonequal?
True
Let i = 10 + -8. Is i != 1?
True
Let l = -0.11 - -0.2. Let d = l + 0.11. Is d equal to 0.7?
False
Let d = 3/13 + 7/26. Let m(a) be the first derivative of -a**4/4 + a**3/3 + a**2 + a - 3. Let x be m(-1). Is x at most as big as d?
False
Let g = -1 - -41. Let w(r) = r - 2. Let o be w(7). Let d be 4/g*o/(-2). Is d at most as big as 1?
True
Let w = 5.1 + -0.1. Let l = 4.7 - w. Which is smaller: 1/3 or l?
l
Suppose -4*n + 36 = 4*m, m + 16 = 5*m - n. Let y(g) = 0*g + 0*g + m - 1 - g. Let b be y(5). Is -2 less than b?
True
Let c(z) = -3*z**2 + z - 3. Let f be c(-3). Let y be 1 - (f/(-9) - 2). Which is bigger: 2/7 or y?
2/7
Let l be ((-2)/(-6))/((-21)/14). Which is greater: -6 or l?
l
Let o = -49 + 33. Is -0.2 > o?
True
Let r(d) = d - 6. Suppose -3*z + 4*z - p - 5 = 0, -4*z = 3*p - 48. Let l be r(z). Suppose 2*k + l*c + 6 = -c, -4*c = 3*k + 5. Is 0 not equal to k?
True
Let l = -17 + 13. Which is smaller: l or 0?
l
Let r = -81/140 - -5/28. Let k = -5 + -1. Let u = -7 - k. Does r = u?
False
Let s be ((-52)/195)/(2/(-9)). Are s and -1 equal?
False
Let x = 2 + 1. Let j(l) = l**3 - l**2 - l + 2. Let n be j(0). Suppose -3*k + 11 = -i, 3*k = -n*i + 6 + 17. Which is greater: i or x?
i
Let n = -2.9 - -3. Is n smaller than -0.26?
False
Let h(b) = -2*b**3 + 34*b**2 - 32*b - 1. Let k be h(16). Is -3 greater than or equal to k?
False
Let s(k) = k**2 - 7*k - 4. Let n be s(7). Let v be (-3)/90*n*-10. Suppose -2*t + 8 = -6*t. Is v less than or equal to t?
False
Let w be 1 - 1 - (-1 - -3). Let y be 6/21 + (-80)/35. Let i be (y/w)/((-1)/2). Which is bigger: -3 or i?
i
Let i = -742/5 - -151. Which is smaller: 3 or i?
i
Suppose -2*k + 2 - 4 = 0. Let q be 16/(-56) + 117/(-7). Let p = 17 + q. Which is bigger: k or p?
p
Suppose 4*c = -0*c. Suppose -2*n = -c*n. Is n <= -8/7?
False
Let y(p) = -p**2 + p + 1. Let w be y(-3). Is -2 greater than w?
True
Let k(g) = -g + 3*g - 3*g + 9. Let j be k(5). Suppose j*m + 16 = -0*m. Which is smaller: -3 or m?
m
Let t be 171/27 - 2/6. Let l be (-2)/8 + 3/t. Which is smaller: l or 0.9?
l
Let d = 0.28 + -0.18. Which is smaller: -3 or d?
-3
Let h = 65.8 - 66. Which is greater: h or 2/13?
2/13
Let r(j) = -j - 16. Let p be r(-16). Let a = 30 - 87. Let c = a - -223/4. Which is smaller: c or p?
c
Let k(r) = 2*r. Let g be k(-6). Let v be (4 - 2) + g/9. Is v at most as big as -1/3?
False
Let s(y) = y**2 - 7*y + 3. Let r be s(7). Suppose 2 = -4*o - 3*t, 0*o - 4*t = r*o + 5. Let v = -1 + o. Is -1/2 bigger than v?
False
Let p(k) = k**3 - 9*k**2 + 2*k - 4. Let c be p(9). Let r = c + -15. Which is smaller: -2/15 or r?
r
Let f be (1389/(-9))/(5/(-3)). Let k = f + -93. Let y be (0/1)/(2 - 0/(-4)). Is y at most k?
False
Let y be (119/(-20))/7 + (-1)/(-4). Do y and 0.16 have different values?
True
Let q(s) = -5*s**2 - 3*s + 2. Let n be q(1). Let g(i) = i**3 + 7*i**2 + 4*i - 4. Let x be g(n). Is 9 greater than x?
True
Let n be 467/6 + (-2)/(-12). Let k be n/(-18)*6/(-4). Which is smaller: k or 7?
k
Let a(l) = l**3 - 23*l**2 + 26*l - 27. Let j be a(22). Is j at most 62?
True
Suppose -2*u + 2 = -u + 2*k, 3*u + 4*k - 14 = 0. Suppose w - u = 3*w. Is w at least -5?
True
Let r be (1/(-3))/((-4)/6). Let u(o) = o**3 + 8*o**2 + 2. Let g be u(-8). Which is bigger: g or r?
g
Let k be 1/6 - ((-1265)/870)/(-11). Is 0 at most as big as k?
True
Let g = 76 - 77. Which is bigger: g or -1/23?
-1/23
Suppose 4*u = 3*c - u - 20, -5*c - 2*u + 23 = 0. Suppose 5*i = 3*v + 13, -2*i + c = v + 2. Which is smaller: 4 or i?
i
Suppose 12 = -4*f + 4. Suppose -5 = -4*w + 3. Is f bigger than w?
False
Let x(b) = -42*b + 25. Let a be x(3). Is -102 smaller than a?
True
Let m = -3 - -2.6. Suppose 5 - 9 = 2*l. Is l at most m?
True
Let j be (920/(-150))/(4/(-102)). Let d = j + -157. Let x be (-2)/(-4)*-1 + 1. Are x and d non-equal?
True
Suppose 2*i = -0*i. Suppose 3*k + 0*k = i. Let u be (-2 + -1 + 1)/1. Is k != u?
True
Let y be 11/(-11)*2/(-2). Is y less than 3?
True
Suppose -5*m + m - 17 = -5*r, 0 = 3*m - 5*r + 19. Which is greater: m or 0?
m
Let b = -82 + 82. Which is smaller: 1/5 or b?
b
Let p(t) = -t**2 - 2*t - 25. Let x be p(0). Which is greater: -26 or x?
x
Let x = -1 + 1.2. Let j = 9 + -8.6. Let s = x - j. Which is bigger: -2 or s?
s
Let l(q) = 7*q + 1. Let v be l(2). Is 15 bigger than v?
False
Suppose -26 = 2*g + 6. Let t = g + 21. Are t and 0 unequal?
True
Let f be (8/(-6))/((-4)/(-18)). Let a be f/4*24/(-18). Is a smaller than 2?
False
Let s = -1 - -4. Let b = 1 + s. Is 3 greater than b?
False
Let t be 2 - (80/(-25) + 5). Let y(x) = x + 6. Let c be y(-6). Is t smaller than c?
False
Suppose 8*i - 25 = 3*i. Let p(s) = s**3 + 5*s**2 + 5*s + 3. Let f be p(-3). Which is smaller: f or i?
i
Let f = -11 - -4. Let m = -11 - f. Let t = -6 - m. Is t smaller than -5/6?
True
Suppose m = -0*m. Suppose m = 3*b - 7*b. Suppose b*s = -s - 5. Is s less than -5?
False
Suppose -39 = 3*n + 45. Which is bigger: -29 or n?
n
Suppose -2*m - 4 = -6*m, 5*w + 5*m + 15 = 0. Let f = w + 4. Suppose n - 1 + f = 0. Are n and 1/4 nonequal?
True
Suppose -l + 143 = 4*l + 3*t, 3*l + 3*t = 81. Are 31 and l nonequal?
False
Suppose 4*g - 6 = 3*g. Let m be g/(-12) + (-14)/4. Let h be 4/6 + 15/(-36). Which is bigger: h or m?
h
Let r = 0 - -1. Let p = -0.1 - 0. Do p and r have different values?
True
Let q(i) be the first derivative of i**3/3 + i + 1. Let z(c) = -6*c**2 - 4*c - 6. Let f(t) = -5*q(t) - z(t). Let s be f(-4). Which is smaller: s or -1/3?
-1/3
Let l be ((-3)/(-2))/((-12)/(-16)). Suppose -5 - 3 = -l*p. Which is greater: 0 or p?
p
Let y = -116 - -113. Which is bigger: -2 or y?
-2
Suppose 0*b = b. Suppose -49 = 5*z + 11. Let p(m) = -m**2 - 12*m - 1. Let t be p(z). Which is greater: b or t?
b
Let y be (-8)/(-16) + (-69)/146. Which is bigger: 0 or y?
y
Suppose -s - 8 = 4*h, -5*s + 7 = 3*h - 4. Suppose 4*b = 4 + s. Let j(y) = -y**2 + 4*y - 2. Let v be j(b). Which is greater: v or 3?
3
Let n(s) = s**2 + 9*s + 3. Let u be n(-8). Let t = 2 + u. Let l(i) = -i**2 - 3*i + 7. Let d be l(-5). Is t greater than or equal to d?
True
Suppose -6*n - 2*p = -4*n + 22, n - 2*p = -11. Which is smaller: -13 or n?
-13
Let z = -31 - -23. Does z = -28/3?
False
Suppose 0 = 2*r + 4*u + u, 0 = -3*r + 4*u. Is r less than 2/67?
True
Let s(q) be the first derivative of -2 + q - q**2 + 1/3*q**3. Let l be s(2). Which is bigger: 3/7 or l?
l
Let j(m) = -m - 5. Let a be j(-7). Let g = -3 + a. Which is smaller: 2/11 or g?
g
Let w = 16/29 + -54/203. Let u be (-3 - (-45)/12)/(-3). Which is greater: u or w?
w
Let v = 135/19 + -149/19. Let c = v - -22/133. Suppose r +