i = -0*a. Is l less than or equal to a?
False
Let l = 158 - 185. Which is bigger: 1 or l?
1
Suppose 5*z - 1 = -11. Is -3 bigger than z?
False
Let j be 4 + (92/(-22) - (-6)/33). Which is smaller: j or 2/95?
j
Let n = -24 - 57. Let d = 245/3 + n. Is d greater than or equal to -8?
True
Suppose -2*s - 2*y - 4 = 0, 2*s + 5*y - 2 = 6. Is s less than or equal to -2?
True
Suppose 4*p = 3*o + 3, 2*o = p + 3*p - 6. Suppose -f = s - 0*s + 50, 3*f = 3*s - 150. Let m be (20/f)/((-4)/15). Which is greater: p or m?
p
Let x be (-2)/3*(-9)/(-87). Which is smaller: x or 0?
x
Let h be ((-18)/(-8))/(4/(-16)). Let k = h + 2. Let v be (-5)/k + (-2)/(-7). Which is smaller: v or 2/5?
2/5
Let g = -9227/25 - -369. Let w = -8/25 + g. Are 6 and w nonequal?
True
Let i = 0.8 - -1.2. Which is greater: i or 2/9?
i
Let y = -7.16 - -0.16. Let a = y - -7.3. Let c = a + 0.7. Which is bigger: c or 1/6?
c
Suppose 4*p - 5*b - 65 = -p, -b = p - 3. Which is greater: 9 or p?
9
Let u = -3 - -6. Suppose -i + 8*i = 28. Which is greater: i or u?
i
Let b = -703 + 12659/18. Which is greater: 0 or b?
b
Let z be 8/(-48)*(-57 + -1). Is z greater than 11?
False
Let g = -4.2 + 2.2. Let k = g - -1. Is k >= -0.2?
False
Let b = -12.08 + 12. Let k = b - 1.92. Is k > -3?
True
Suppose 2*p + 7 = w, 0 = -4*w + p + 2*p + 13. Which is bigger: w or -2?
w
Let r be (15/(-132))/((-2)/8). Which is smaller: r or -1?
-1
Suppose -f - 3*o = o + 7, 0 = 4*f + 5*o + 6. Let a = 0.2 - 0.1. Is f <= a?
False
Suppose 4 = -u + 5*g, -g = 2*u - 3*g - 24. Let v be 4/u + (-3)/(-4). Which is greater: 3/5 or v?
v
Let q(p) = 2*p + 5. Let t be q(-4). Is -2 smaller than t?
False
Let v = 78 - 140. Let d = v - -184/3. Let l be 10/(-8) + (-2)/(-8). Is l less than or equal to d?
True
Suppose 0 = 3*m - 1 - 2, -8 = 4*y - 4*m. Suppose -b - 2*b - 18 = 2*j, -4*j - 4 = -2*b. Which is smaller: y or j?
j
Let u(d) = 4*d**2 + 2*d. Let o be u(-1). Suppose 12 = -0*w + 3*w. Let y be (-2)/1*(-6)/w. Which is bigger: y or o?
y
Suppose -d = 3*t - 2*d - 14, -4*t = 3*d - 10. Suppose -2*z + 0*z = -12. Suppose -g + z*g - 5 = 0, t*k - g - 7 = 0. Which is smaller: 3 or k?
k
Let y(u) = -2*u + 2. Let t be y(-3). Let m = t + -9. Is -2/5 greater than m?
True
Let l = 7 + -29. Let h = l + 67/3. Let p = 7 - 6. Which is smaller: p or h?
h
Let i(g) = -g**3 + 8*g**2 - 3*g - 3. Let d be i(8). Let m = d - 5. Let h be 2 - (-4)/(m/13). Which is greater: h or 0?
h
Suppose 3*t - 38 = -5*s, 4*s - 2*t - 52 = t. Is s < 10?
False
Suppose 3*c - 4*p + 9*p = -9, 2*p = 4*c - 14. Suppose -l + c*l = -4*f, 3*l - 13 = f. Let z = 82 - 1232/15. Which is greater: f or z?
z
Let x(r) = r**2 + 6*r + 6. Let f be x(-5). Suppose 6 = 3*o + 3*c - 3, 5*o = 5*c + 5. Let t be o/(-3) + (-4)/(-3). Which is greater: f or t?
f
Let b(t) = -7*t - 68. Let j be b(-10). Are j and 3 nonequal?
True
Suppose -4*t + 221 = -3*g, 0 = -t + g - 2*g + 57. Suppose -3*m = -2*m + t. Let i be (48/m)/(2/(-14)). Is i less than or equal to 0.1?
False
Let b be (2 - 9/3)/1. Let d be 10/(-4) + b/(-2). Is d at least as big as -4?
True
Let b = 44 - 26. Let k be b/(-30) + (-2)/5. Let d be (-6)/2 - -2 - k. Which is greater: d or 2/7?
2/7
Let o(l) = l + 4. Let h(z) = 2*z + 9. Let i(b) = 4*h(b) - 9*o(b). Let q be i(3). Let w = 4 - 7. Is q <= w?
True
Let u(h) = -9*h**2 + 19*h + 22. Let x(d) = -4*d**2 + 9*d + 11. Let b(s) = 3*u(s) - 7*x(s). Let p be b(8). Let g = 6 - p. Which is bigger: -1/3 or g?
g
Suppose -2*p - 3 = -5*p. Which is smaller: p or 1/5?
1/5
Let h = -9.49 - -8.5. Let i = h - 0.01. Which is bigger: -3 or i?
i
Let m = -26 + 30. Which is bigger: 8 or m?
8
Suppose -5 = 3*k + 1. Are k and 1/6 equal?
False
Let p be (-4)/1 + -11 + 12. Is p not equal to 0?
True
Suppose -5*d + 20 + 5 = 0. Let b be (-4)/35 + (-2)/(-5). Which is bigger: d or b?
d
Suppose 20 = -3*z - 2*z. Let v(d) = -d**2 - 5*d - 4. Let q be v(z). Let g = -29/4 - -7. Which is smaller: q or g?
g
Suppose -l = 4*y + 19, 5*y = 5*l - l - 29. Which is smaller: l or 2/5?
2/5
Let f be 12/(-16) + (-123)/(-132). Suppose -5*a = 1 - 6. Is a >= f?
True
Suppose -2*q + 49 = -5*f + 18, 0 = 5*q - 4*f - 35. Suppose -5*g + 3 = -27. Is g < q?
False
Suppose -2*w - 6 = -2*z, 4*z - w - 2 - 4 = 0. Is -78 <= z?
True
Let z = 14 - 27/2. Suppose 2*u - 7 = -5. Is u less than z?
False
Let q = 8 + -3. Let s = q + -3. Let m = 3/13 + 33/26. Is s at most as big as m?
False
Let c be (-4 - (-8)/2)/2. Let k = -13 - -33. Let t be 2/(-4) - (-35)/k. Are c and t non-equal?
True
Let o(r) = -16*r**2 + r + 1. Let x be o(-1). Let b be (6/8)/(76/x). Let h = -1/114 + b. Are h and 0 nonequal?
True
Let g be ((-20)/(-12) + -2)*-12. Suppose 3*x + x = g. Is 10/7 > x?
True
Let k = 1/19 - 21/38. Suppose -3*w + 4*w = -3*d - 17, -4*d - 41 = 5*w. Let h = -7 - w. Which is smaller: k or h?
h
Suppose -30*v + 29*v - 9 = 0. Is -8 at least v?
True
Suppose 0 = -2*a - 8 + 16. Suppose g - 1 = 0, g - 4*g + 15 = a*s. Suppose 1 = y - s. Is 5 less than y?
False
Let i = -35.7 + -0.3. Let j = i - -38.1. Let c = 2 - j. Is c at least -0.1?
True
Suppose -55 + 1 = 3*c. Let p = c - -22. Which is smaller: p or 0?
0
Suppose -5*m + 68 = -27. Let r = m - 97/5. Suppose -1 = k - 0. Is r > k?
True
Let b = -3 - -3.2. Let f = 0.3 - b. Suppose -l = -4*l - 3. Which is smaller: l or f?
l
Let d = -5 + 3. Let v be (-1 - d - 7)/1. Which is smaller: -5 or v?
v
Let w = -6 + 14. Is 8 >= w?
True
Let w(u) = -2*u - 3. Let m(r) = -7*r**2 + 1. Let n be m(1). Let p be w(n). Which is smaller: p or -2?
-2
Let y be (3/(-30))/(6/(-10)). Suppose 0 = -3*r + i - 1, 4*r + r + 15 = 5*i. Does r = y?
False
Let z = -3 - -6. Suppose -2*u - z*u = -20. Which is bigger: 5 or u?
5
Let m(u) = u**3 - u**2 - 4*u + 3. Suppose 0 = 3*i - 3*q - 5 - 7, i = 2*q + 6. Let f be m(i). Is f less than -8/7?
False
Let f = 18 + -13. Suppose f = 4*g - 9*g. Let b = -4 - -1. Is b <= g?
True
Suppose 4*j + 5 + 3 = 0, 5*f + 2 = -j. Does f = 7/9?
False
Let h be 3/(-2) + 3/6. Is h > -2/7?
False
Suppose q + 18 = -q. Let l = -9 - q. Let m = -1 + l. Is -1 at most as big as m?
True
Suppose 2*n + 2*m = 4, 4*m + m - 28 = 4*n. Let k(v) = v**3 + v**2 - 3*v - 1. Let l be k(n). Let h be (-8)/(-10) - (-2 - -3). Which is greater: h or l?
l
Suppose -7*p = -4*p + 15. Which is greater: p or -4?
-4
Let g be 4*(3 - 4)*3. Let m = 2 - 13. Which is greater: g or m?
m
Let c(a) = 1 - a + 0*a + 0. Let q be c(4). Which is greater: -2 or q?
-2
Let a = -8 + 14. Let w be (2/12)/((-9)/a). Which is greater: w or 1?
1
Suppose 4*n = l + 15 + 3, -n + 6 = -l. Let z be (4/6)/((-10)/15). Let y = z + -3. Do l and y have different values?
True
Let r(o) = o**3 - o**2 - 2*o. Let l be r(3). Let i be (-3)/l + 18/8. Suppose 2*t = -0 - i. Is t bigger than -1/3?
False
Let y = 0.06 + -3.06. Suppose 0 = 3*k - 4*o - 138, -5*k = -0*o + o - 207. Let h be (1 - -2) + k/(-15). Which is greater: h or y?
h
Let d be 2 + (-2)/(4/10). Suppose t + 12 = 5*w + 4*t, 20 = 3*w + 5*t. Let v(l) = -l**2 - 1. Let s be v(w). Is s greater than d?
True
Let w(v) = -4*v**3 - 2*v**2 + 3*v - 1. Let a be w(2). Which is greater: -34 or a?
-34
Suppose 5*y + 21 = -3*q + 2*y, -4*y = -2*q + 4. Let c be (-5)/12 - (-1)/q. Is c greater than -2?
True
Suppose 0 = d - 2*i - 9, -d - i = -0*d + 3. Let y(x) = x**3 - 5*x**2 + 4. Let m be y(5). Suppose -3 = 3*b - m*b. Which is bigger: d or b?
b
Let p(y) = y**2 + y + 3. Let k be p(0). Suppose 0 = 2*q + 3*q - 5*v - 30, -3*q - 2*v = -3. Do q and k have the same value?
True
Let z(v) = 5*v + 9. Let x(p) be the first derivative of -2*p**2 - 9*p + 2. Let g(k) = -4*x(k) - 3*z(k). Let q be g(-7). Is -1 greater than or equal to q?
False
Let u = -9 - -3. Is -4 less than u?
False
Let g be (-11)/(-28) - 8/16. Which is smaller: -0.1 or g?
g
Let l = 2 - 8. Let m be 11/22 + l/8. Which is bigger: -10 or m?
m
Let g = 633/4 + -15809/100. Let l = g + -41/100. Suppose 0*w + o + 4 = -4*w, 2*w - 3*o + 16 = 0. Which is smaller: l or w?
w
Let s(i) = i**3 + 3*i**2 - 2*i - 2. Let d be s(-3). Let f be ((-4)/8)/(d/(-8)). Is -1/19 equal to f?
False
Let x = 0.84 + 0.16. Is x greater than or equal to -10/27?
True
Let b = -31 + 15. Let c = 27 + b. Is 11 smaller than c?
False
Let r be 21/(-10) + (-2 - -4). Let i = 62 + -61. Which is bigger: r or i?
i
Let y be 1 + 3*-1 + 2. Suppose -5*r + 25 = 4*a, y*a - 21 = -r - 4*a. Let l = -0.1 - 0. Which is greater: l or r?
r
Let r(v) = 