*m + 2. Let v be y(-2). Let a = v + x. Which is greater: 0 or a?
0
Let x = 21/137 + -2665/20961. Is x greater than 1?
False
Let f(w) = 2*w + 1. Let q(g) = -g - 1. Let d(m) = 4*f(m) + 9*q(m). Let i be d(-10). Is i > 2?
True
Let g(u) = 175*u - 46. Let h be g(7). Let y = h - 10627/9. Is 2/5 != y?
True
Let b(a) = -a**3 + 4*a**2 - 3*a + 6. Let k be b(4). Let q = 10 + k. Suppose -4*c - 11 = -q*n + 1, 10 = -5*c. Is 1 > n?
False
Let c = 107 + -105. Let d = 85567/5208 - 1/744. Let x = -15 + d. Do x and c have the same value?
False
Let y = 25 + -28. Let m = -21 + 29. Let v(k) = k**2 - 8*k - 3. Let p be v(m). Are y and p non-equal?
False
Suppose -13*o - 2323 = 10*o. Do o and -503/5 have the same value?
False
Let g = -17167140789983/59052 + 290712267. Let r = g - -2/399. Which is bigger: 0 or r?
r
Let k be 9/(10 + -9 + 8). Let h be 0 + 1 - 71/65. Which is bigger: h or k?
k
Suppose 6*g + 21*g = 18*g. Let i be (-2)/11 + (-488)/(-2442). Which is greater: i or g?
i
Suppose -4*c = -3*i - 230, 5*i - 13 = -3*c + 174. Is 57 less than c?
True
Let y = -7/208 - -11393/4784. Is y greater than or equal to 3?
False
Suppose -4*r + 931 = -5*y - 500, -579 = 2*y + 5*r. Is y greater than or equal to -285?
False
Suppose 3*x = -h - 3, x - 3*h + 4*h + 3 = 0. Suppose -4*b + 0*f = -4*f + 4, 5*f = -10. Let z be 5/(-36) + b/(-12). Which is smaller: x or z?
x
Let i = 187/117 + -13/9. Let l(z) = -z**3 - z**2 + 1. Suppose 4*n = -2*n. Let f be l(n). Is i != f?
True
Let m = 751 + -750.85. Which is smaller: m or -12/7?
-12/7
Let u be 2/(-4) + 153/170. Is u less than 69?
True
Let l(x) = 2*x**2 + x**2 + 2*x**2 + 7*x - 6 - 3*x**2. Let k be l(-6). Suppose 0 = 4*s - 4 + k. Do -3 and s have different values?
True
Let r = 568 + -6262/11. Let d be 4/(-22) - 80/44. Is r equal to d?
False
Let z be ((-3)/2)/(1/(-2)). Suppose 5*n = -z*k + 27, 19 = 4*n + 2*k + 3*k. Let v be 10/(-45)*n/(-16). Which is smaller: v or 1/3?
v
Let d be 6 - (0 - 6/(-3)). Suppose 0 = -d*l + 47 - 7. Let u be (-112)/35 - (-2)/l. Is u greater than or equal to 0?
False
Let h(z) = -z**2 + 6*z - 6. Let v be h(4). Suppose 4*j + 2*c = 22, j + v*c = -0*j + 4. Suppose -5*o = -j*o. Is 2/13 <= o?
False
Let w(k) = -k**3 + k**2 + 2*k - 127. Let y be w(0). Is y at least -127?
True
Let j = 1.2007 - -47.7093. Let k = -49 + j. Is 1 >= k?
True
Let a be (-3)/(-18)*4/10. Let f = -6330.1 + 6330. Do a and f have different values?
True
Let y = 1.141 - 0.141. Is -10.9 < y?
True
Let w be (22/10)/(1*3/9). Which is bigger: 7 or w?
7
Suppose 18 - 43 = 5*s. Let d = 415 + -420. Is d < s?
False
Let o be (88/(-36))/(2/6). Let q = o - -8. Are -25 and q non-equal?
True
Suppose -43*t - 104 = 25. Which is smaller: -10 or t?
-10
Suppose -6*r - 15 = -5*a - 4*r, -a + 5*r = -26. Let m = 1/376 - 583/7144. Let b = 243/190 + m. Do b and a have the same value?
False
Let h be (-3)/12 + 140/(-16)*1. Which is smaller: h or -1?
h
Let g = -0.061 - -0.081. Let r = 141 + -138.98. Let s = r - g. Which is bigger: 4 or s?
4
Suppose 3 = j + 4. Let w(l) = -l**2 - 3*l + 37. Let p be w(5). Which is smaller: j or p?
p
Let w = 1783 + -1784. Which is smaller: -833 or w?
-833
Suppose -5*u + 75 = 10. Suppose 0 = 2*j - 17 + u. Which is greater: -9 or j?
j
Let s be 5 - 1 - (312/(-44) + 8). Which is smaller: s or 3?
3
Let o = 0.6 - 0.8. Let t = -0.2 - o. Let s be -2 - 1/((-11)/20). Is t > s?
True
Let y be (20/(-40))/((-1)/(-6)). Let n be (-8)/(-2) - (y - -3). Which is smaller: 3/7 or n?
3/7
Let p = -125 - -124. Are -1/92 and p nonequal?
True
Let l(s) = -s**3 + s**2 + 11*s + 22. Let f be l(-5). Is f bigger than 118?
False
Let y(z) = 28*z - 3. Let m be y(1). Suppose 10 = 4*q + 2*t, 2*t + 3*t = q + m. Which is smaller: q or -15?
-15
Let v = 18.1 - 28.1. Is 0.09 >= v?
True
Let n = -214281/61 - -3513. Which is smaller: n or 1?
n
Let o = 613/14586 - 2/561. Let k = -8/601 - -14447/46878. Let t = o + k. Which is bigger: t or -1?
t
Suppose -w - 4*u + 36 = 0, w - 6*u = -3*u + 22. Suppose 2*z + w = -86. Let h be (-1)/(z/(-18) - 3). Which is smaller: -7 or h?
-7
Let h = -5170 - -5166. Suppose 8 + 2 = -5*m. Is m greater than h?
True
Let d(v) = v + 5. Let l be d(0). Suppose -2*f - 4*o = -3*o + l, 2*f + 5*o - 7 = 0. Let b = -14/47 + -334/141. Which is bigger: f or b?
b
Let h = -19 + 63. Let m = h - 43. Which is greater: m or -1?
m
Suppose 5*s + 33 = -7. Let v be (-2 + 29/14)*s. Let w = 0.245 + -0.045. Which is smaller: w or v?
v
Let h = 237 + -1649/7. Which is greater: h or 8?
8
Let w = -19 - -80. Let l = w - 60.8. Is 0.19 at most as big as l?
True
Let g(m) = -12*m + 2. Let f be g(2). Suppose 0 = 15*s - 17*s + 36. Let d = s + f. Which is smaller: d or -3?
d
Let m = 0.3 - -0.7. Let r = 1.1 - m. Is r >= -7/2?
True
Let t(f) = f**3 - 8*f**2 - 8*f - 7. Let z be t(9). Suppose -x + 9 = z*x. Suppose 3*o + 4*p + 2 = 5*p, x*p = 2*o + 13. Which is smaller: o or -1/6?
-1/6
Let v(d) = -d**3 - 5*d**2 + 6*d + 1. Let q be v(-6). Let c be 4/(-3)*24/16. Let z be q*(c - -2)/(-1). Which is greater: -2 or z?
z
Let u = 72 - 68. Suppose u*w = 4*r - w - 194, -41 = -r + 5*w. Are r and 50 non-equal?
True
Let u(a) = 23*a - 67. Let s be u(19). Which is smaller: s or 369?
369
Let s = -1891.94 - -1892. Does 8 = s?
False
Let l = 14/101 - 157/404. Is l not equal to 0.73?
True
Suppose -3*n - 3*b + 32 = 2*b, -2*b - 12 = -5*n. Let y be n/6 - 28/(-12). Suppose 3 = -u - 2*f, 0 = -3*u + u + 3*f + 15. Is y smaller than u?
False
Let v = -0.122 + 5.022. Let p = v + 3.1. Which is bigger: p or 0.2?
p
Let y(n) = -n**3 - 11*n**2 - 22*n + 17. Let j be y(-8). Is j at least as big as -1/24?
True
Let a = 241167 - 2651068/11. Let g = a - 161. Which is smaller: 0.2 or g?
g
Let a = 29 + -28.97. Is 1 smaller than a?
False
Let r(y) = -43*y**3 - 2*y**2 + 1. Let a be r(-1). Suppose -a = 3*t - 5*t. Which is greater: t or 19?
t
Let c(f) = -f**3 + 4*f**2 - f - 31. Let b be c(4). Is b <= -37?
False
Let r be (-14053)/(-1755) + (-8 - 0). Is r not equal to 0?
True
Suppose 0 = -5*h, 0 = 5*w - w + 2*h. Suppose 5*j = w, -5*j = 3*d + 2*d - 195. Which is smaller: 40 or d?
d
Let o = -22 + 36. Let y = o + -15. Which is bigger: y or 0.03?
0.03
Let u be (-391)/68 - (-2)/(-8). Let f = 10 + u. Suppose f*n = 2*n. Which is smaller: n or 1?
n
Let x = 47297/54230 - 74/85. Which is smaller: 1 or x?
x
Let c be 1/(18/6*10/(-6)). Which is greater: 15 or c?
15
Let q(i) = i**2 - 6*i + 2. Let s be q(6). Let x(p) = 2*p**3 - 8*p**2 + 2*p + 5. Let w be x(4). Let u = -17 + w. Which is smaller: s or u?
u
Let j be (-345)/730 - 3/(-6). Is j >= 0?
True
Let t = 123 - 117.7. Let u = t - 5. Let k = u - -1.7. Is 3 equal to k?
False
Let h = -2152.23 + 2155. Is h greater than 3/2?
True
Let j be -2 + 1*16*3/18. Let n = 4/3 - j. Suppose -5*s = -2*f, 5*f = 2*s + f. Which is smaller: n or s?
s
Let r(d) = d - 1. Let h(c) = c**2 - 7*c - 2. Let j(t) = -h(t) + 2*r(t). Let a be j(5). Let p be 1 + (26/a)/(-1). Is p bigger than 0?
False
Let j(o) = o - 4. Suppose 0 = 3*i - a - 9, -4*i - a + 18 = 6. Let r be j(i). Which is smaller: -1/10 or r?
r
Suppose c - 8 = d, 2*c + 8 = -7*d + 3*d. Is -98 equal to d?
False
Suppose 21*y = -356 + 3359. Is 143 greater than or equal to y?
True
Suppose -p - z - 166 = 48, -4*z = 5*p + 1066. Is -211 at least p?
False
Let x = 1847/21 - 615/7. Let k(j) = -j - 5. Let m be k(-6). Is x < m?
True
Suppose -5*j = -j + 3*u + 22, j + 2 = u. Let a(s) be the first derivative of -s**2/2 + 5*s - 2. Let p be a(10). Is p <= j?
True
Let o = -1177/12 - -328/3. Which is greater: 10 or o?
o
Suppose 68 = -2*b + 4*w, 3*b + 72 = -2*w - 2*w. Let j = -30 - b. Let v be 15/12 - 2/4. Which is greater: j or v?
v
Let o = -0.493 - -0.023. Let w = o + 0.6. Let p = -1.13 + w. Which is bigger: 5 or p?
5
Let g(o) = 3*o**2 - 2*o - 6. Let s be g(3). Suppose -1 = 2*b - s. Let q be (-6)/(b/(21/(-66))). Which is smaller: q or -1?
-1
Suppose -2*r - 36 = -4*u + 6*u, 0 = 5*u - 10. Let n be 0/r + 2 + 0. Which is greater: n or -1?
n
Suppose -5*z = -3*z + 4*k - 384, k = 1. Is z bigger than 190?
False
Suppose 0 = -5*u - 4*k - 5, 2*k + 1 = -3*u - 4. Do u and 8 have the same value?
False
Let z be 6*7/(-20356)*(-4)/3. Is 1 <= z?
False
Suppose -32*o + 42*o = 0. Which is greater: -232 or o?
o
Let g = 20.7 + -19. Let f = g - 2.1. Let z = f + -7.6. Which is bigger: z or 0.1?
0.1
Let f = -48 + 165. Which is greater: f or 116?
f
Let 