er: g or -1?
-1
Let a be (-426)/138 + (4 - 1). Is a > 0?
False
Suppose 2*r - 110 = -j, -j - 3*r - 90 = -2*j. Let p be (2 - (-3)/j) + -2. Let n = 31/102 + p. Is 1 bigger than n?
True
Let b = 163/20 - 31/4. Let y = -0.4 + 0.3. Let p = -0.2 - y. Which is smaller: p or b?
p
Let t = -22054/5 - -4393. Let g = 18 + t. Which is smaller: g or 8?
g
Let o = 5 - 11. Which is smaller: o or 0?
o
Let c be 6 + -2 - (-12)/9. Is 5 less than c?
True
Let m be 0/(-3) + 2/(-4). Suppose -3*j + 9 = -0*j. Suppose 0 = 3*u + 2*h - j*h, 0 = u - 4*h. Are m and u nonequal?
True
Let w be 0 + 9 + 3/(-1). Let g be 5/(35/(-6))*-7. Is w bigger than g?
False
Let c(p) = p + 2. Suppose 4 = 2*r + 18. Let a be c(r). Is a at most -5?
True
Suppose 0 = -37*w + 42*w + 200. Is -41 >= w?
False
Let u = -0.02 + 6.02. Let h = u - 7. Let q = 0.2 + -0.3. Is q at least as big as h?
True
Let o = -26 + 25. Do o and -22 have the same value?
False
Let c be ((-34)/(-4))/(3/12). Let a be (-1 - -17)/((-24)/(-52)). Let s = a - c. Which is greater: s or -0.2?
s
Suppose 4*h - d + 0 = 2, -3*d = -5*h - 1. Suppose 0 = -4*a + 5*a + h. Is 2/13 greater than a?
True
Let z(b) be the first derivative of -b**2/2 + b + 3. Let u be z(0). Let x be (-6)/15 - 8/(-20). Is u bigger than x?
True
Let n = -13 + 9. Let z = n - -3. Is z not equal to -1?
False
Let q = -3/56 - 1/56. Are -1 and q nonequal?
True
Let d = -35 - -72. Which is bigger: d or 36?
d
Let f(z) be the first derivative of -z**4/4 - 2*z**3 - 3*z**2/2 + 6*z + 1. Let r be f(-5). Let c be (-6)/r*(-8)/(-12). Which is smaller: 2 or c?
c
Let d be 5/(2 + -1 + 0). Suppose 2*j + d*k = 7*j + 5, 3*k = 0. Let v = -3 - j. Is v > -2?
False
Suppose 4*k - 4 = 8*k. Which is bigger: k or -2/19?
-2/19
Let o = 2 + 0. Suppose 1 = -o*n + 5. Let h = 9 + -6. Is n at least as big as h?
False
Let b = -3 + 6. Suppose -4*a - 12 = -b*i, 2*i = -5*a + i - 34. Is a <= -6?
True
Let f = -2.05 + 2.2. Let w = f + -0.25. Which is smaller: -13 or w?
-13
Suppose 3 = 4*p - 5. Suppose -p*q = 2*q. Let n = q - -3. Is 4 less than or equal to n?
False
Let i be (-2)/5 + (-12)/20. Let s = -7 - -4. Which is smaller: s or i?
s
Let g = -0.27 - 0.03. Let o = 1.7 - g. Which is smaller: -4 or o?
-4
Let z be (434 - 5)*2/(-3). Let u be 2/8 + z/(-8). Suppose 11 - u = -5*f. Which is smaller: 3 or f?
3
Let z = -199/6 - -34. Suppose -3*r - 3*g + 4 - 10 = 0, -5*r = -2*g - 18. Is z at most as big as r?
True
Let m(j) = j + 9. Let d be m(-6). Suppose -d*n - 15 = -6*n. Suppose -3*w - 4 = n. Is -3 != w?
False
Let j = -25/138 - -1/69. Which is greater: j or 1/4?
1/4
Let r(g) = -g + 2. Let w be r(3). Let s = -3 - 3. Let d be 2/2*s/27. Which is bigger: w or d?
d
Let v be (-1 + 7)*2/4. Suppose -4 = -0*f + 2*f. Let q = f - -4. Is q < v?
True
Suppose 0*j = 5*w - 2*j + 58, -w - 30 = -5*j. Is w at most -10?
True
Let p(u) = u**2 + 8*u - 7. Let d be p(-9). Let i be d/4*(-613)/2. Let s = i + 155. Is 3 > s?
True
Let r(u) be the first derivative of -u**4/4 + 2*u**3 - 7*u**2/2 + 8*u + 8. Let i be r(5). Is -2/7 != i?
True
Let l(h) = -h**3 + 9*h**2 + 10*h. Let t be l(10). Does -4/3 = t?
False
Suppose -b + 5*n - 27 = -2*b, 0 = b - 4*n. Let u = 21 - b. Let c = 7 - u. Is -1 greater than or equal to c?
True
Suppose -4*h = -42 + 10. Let y = h + -1. Let m = 1 - -7. Which is smaller: m or y?
y
Let p = -64 + 58.1. Let k = -0.1 + p. Let a = 5 + k. Is 1/3 <= a?
False
Let m = 4 - 2. Let x = -0.2 + 2.1. Let z = m - x. Is 0 less than z?
True
Let j(q) = -6*q + 3. Let p be j(3). Let t be (6/p)/((-1)/5). Let o = 124/5 + -838/35. Is t >= o?
True
Let s = -2 + 3. Suppose -2*v = -5 + 1. Which is smaller: s or v?
s
Let d = -4.54 + -0.36. Let q = 5 + d. Is -6 greater than q?
False
Let q(z) = -z + 10. Let k be q(8). Suppose u + f = -2*f + 5, k*u - 10 = 3*f. Let v = -9 - -15. Which is greater: v or u?
v
Let p = -16 - -17. Which is smaller: -1/45 or p?
-1/45
Suppose -4*k = -2*k - 4. Let y be -4 - -2*(-1)/k. Let u be (-3)/y - (0 + 1). Which is bigger: 0.2 or u?
0.2
Let s = 242/5 + -48. Is s at most as big as -23?
False
Suppose -4*x - 4 = -2*l - 36, x = 4*l + 22. Let o = 16 + -16.05. Let k = -0.05 + o. Is k greater than x?
False
Let y = 0.1 + -0.8. Let a = y - -0.6. Which is smaller: 7 or a?
a
Let d = -3 + 9. Let z = d - 5.9. Is 0 > z?
False
Let z = -802.99 + 810. Let d = z + -7. Let o = -0.09 + d. Are o and -0.1 non-equal?
True
Let z = -5 + 7. Let g = 0 + z. Let r = g + -2. Is 0 greater than or equal to r?
True
Let o(h) = -h**3 + h**2 + 2*h - 1. Let u be o(1). Is u > 9/8?
False
Let z = -20 + 84. Let i be 4*6*(-2)/z. Let h be (-2)/(-6)*-3*1. Which is smaller: h or i?
h
Let l = 0.16 - 0.26. Let a(h) = -4*h + 4. Let y(i) = 5*i - 3. Let d(o) = 4*a(o) + 3*y(o). Let u be d(5). Is u < l?
False
Let i = -17 - -19. Let r = -3 - -3. Let y = r + i. Is -3 less than y?
True
Suppose -8 = -3*v + 1. Suppose v*p = 1 + 5. Let y be (0 - -1)/(p/(-4)). Does -3 = y?
False
Let n = -0.45 + 3.45. Which is smaller: n or 2/5?
2/5
Suppose -2*a = 1 - 29. Let t = -23 + a. Let s be 21/t - 1/(-3). Which is greater: s or -3?
s
Suppose -r - 13 = -4*m + 2*m, 2*m - 19 = -r. Suppose 3*x = 4*x. Suppose x = 3*i - m*i. Which is smaller: 1/2 or i?
i
Let k = -0.3 - -0.4. Suppose 0*b = -5*b + 10. Which is smaller: k or b?
k
Let z be (-10)/(-8)*3/(-15). Let i be 5/20 - 1/1. Let h = -1 - i. Is z <= h?
True
Suppose 11 = 2*o - o. Let w(j) = -j**2 + 10*j + 10. Let y be w(o). Which is bigger: y or -2?
y
Let l be (-82)/(-238) + (-42)/147. Does l = 1?
False
Let i = 0.07 + 0.23. Let y = 0.2 + -0.1. Let x = y - i. Which is smaller: x or -1?
-1
Suppose -y + 3*p = 7*p + 8, -2*p + 10 = -3*y. Let c be (-1 + 2/6)*-3. Suppose 8 = -c*w - 0*w. Is w less than or equal to y?
True
Let r = 225 - 2923/13. Suppose 2*n + 7 = 7. Which is smaller: n or r?
n
Let x be 2*(-9)/4*-2. Suppose -h = 4*w + 13, 0 = h - 2*h + 2*w + 5. Let k be 15/x - (-2)/h. Is 0 < k?
False
Let y = -23 + 25. Are y and 8 unequal?
True
Let l(w) = w**3 - 13*w**2 - w + 14. Let g be l(13). Let x be (-8)/18*(-9)/6. Which is smaller: x or g?
x
Suppose 734 = 17*d - 677. Is d > 83?
False
Let z = -3.826 - 0.174. Is z greater than 13?
False
Suppose 3*d - 25 = 5*o, 4*d - 29 + 9 = 4*o. Are d and -1 equal?
False
Let a = 93.1 - 93. Is -69 > a?
False
Let l = 6 + 1. Let h = -6.8 + l. Is -1 > h?
False
Suppose -l = -5*l + 8. Suppose 4*o + 2 = 2*i, -l*o + 2 = -i - 3*i. Let y be 16/10 + (-2)/1. Is o > y?
False
Let p(q) = q**2 + 11*q + 13. Let g be p(-11). Suppose 11*k - 4 = g*k. Is -4 less than k?
True
Suppose -2*n = -0*n + 6, 2*n + 18 = 4*w. Suppose -2*y - w*y + 10 = -5*k, -2*k - 2*y = 0. Which is greater: k or 2/11?
2/11
Let n = -40 + 40.04. Let h = -1 + 0.94. Let p = n - h. Does -1 = p?
False
Let j = 120 + -190. Let l = 1748/25 + j. Is l not equal to -1?
True
Let r(i) = i**3 - 3*i**2 - 3*i - 4. Let g be r(4). Suppose g = 3*h + 2*h. Which is greater: 2/9 or h?
2/9
Suppose 0 = -2*c + 3*z - 2, c - 6*z + 2 = -4*z. Which is bigger: c or 2/11?
c
Let h be (2 + -1)*-1*7. Let k(b) = b**2 + 5*b - 2. Let q be k(h). Let f be -3 + 26/q - -1. Is 1 bigger than f?
True
Suppose -2*b + 20 = -3*n, -4*b = -4*n + 13 - 41. Which is greater: n or -3?
-3
Let r = -3.8 - 0.2. Let y = -5 - r. Let m = -0.04 - 1.96. Which is smaller: y or m?
m
Suppose 5*r = 5*a + 20, 5*a - a - 11 = -5*r. Which is greater: a or -1/58?
-1/58
Suppose 3*q + q - 72 = -4*c, -4*c + 4*q = -72. Let y be (-10)/c*(-12)/(-8). Is y < -2?
False
Let d = 49 + -51. Which is smaller: 0 or d?
d
Let s(w) = w**2 + 10*w + 7. Let c = -12 + 3. Let n be s(c). Is n at least -2/7?
False
Suppose 14 = -2*m + 2*f, -27 = 5*m - 3*f + 2*f. Let j be m/((6/(-2))/(-9)). Let r be 2/(-8) - j/12. Is 0 smaller than r?
True
Suppose 0 = 21*a - 18*a + 129. Is a less than or equal to -44?
False
Let o be 34/(-10) + (-6)/(-15). Let l(j) = -2*j + 4. Let x be l(4). Which is bigger: x or o?
o
Suppose -2*y + 0*y + 6 = w, 2*w + 8 = 0. Is y less than 4?
False
Let p be ((-1)/2)/((-15)/6). Let l(x) = x - 2. Let h be l(3). Which is smaller: p or h?
p
Suppose f = -f + 44. Suppose 5*i + f = 82. Suppose -2*o = 5*v + 21, v + i = -0*v - 3*o. Does -0.1 = v?
False
Let l = -1861 - -165631/89. Are 1 and l nonequal?
True
Let v be (-2)/(4/18*-3). Suppose -4 = -v*x + 14. Suppose -2*d + x = -4*d. Are -4 and d unequal?
True
Let m = 22 - 20.95. Let p = m + -1. Let a = 0.05 - p. Does 0.5 