e -2*f + 2 = -8. Suppose -2*w - 5 = -3*p, -4*p + w + 15 = -0*p. Suppose p*o + 1 + 22 = -4*t, -5*o = f*t + 25. Do -0.1 and t have different values?
True
Let y(b) = 3*b - 22. Let f be y(12). Are f and 14 equal?
True
Let f be (-15)/10 - (-6)/4. Which is greater: f or 5/11?
5/11
Let k(z) = z + 12. Let n be k(-10). Suppose 3*p + p + 4*a = -36, -n*a = -2*p - 2. Is p at least -6?
True
Let d = 14 - 7. Which is smaller: 10 or d?
d
Let k = 1.1 - -4.9. Let r = 6.5 - k. Let v = r + -0.5. Is -1 less than v?
True
Let h = -0.01 + 0.31. Let t = -0.7 - h. Let z = -4 + 2. Which is bigger: z or t?
t
Let m = 324.01 - 326. Let l = -1 - -1.01. Let o = m - l. Which is smaller: 2/7 or o?
o
Suppose 5*d - 64 = 4*q, -q = -0*d - 2*d + 16. Are -17 and q non-equal?
True
Let m be ((-1)/1)/(13/(-39)). Is -2 < m?
True
Suppose 4*m - 3 = -15. Let p = 3 - 18. Let a be ((-5)/p + 0)*-9. Is m less than a?
False
Let w(o) = o**3 + 5*o**2 - 5*o + 4. Let n be w(-6). Let v = 21 + -29. Which is greater: n or v?
n
Let u = -3 - -5. Suppose b - 30 = -u*b. Let q be ((-12)/(-165))/(4/b). Which is smaller: q or -1?
-1
Suppose 0 = -2*l + 5*l + 3. Let o(z) be the second derivative of -z**3/2 + 7*z. Let f be o(l). Are f and 4 equal?
False
Suppose 3*g + 10 = 8*g. Let f be 0/4 - 16/g. Let a be (-5)/((-10)/f) + 1. Which is bigger: a or -4?
a
Let o(z) = z - 2. Suppose 14 = 2*n - 0. Let l be o(n). Suppose 7*f = 2*f + 20. Which is smaller: l or f?
f
Suppose -35 - 7 = 3*t. Let q(c) = -c**2 - 13*c + 8. Let f be q(t). Let k be 2/((-14)/6 - -2). Is f smaller than k?
False
Let p = 118/9 - 3694/279. Is p bigger than -1?
True
Let d be (-4)/(-18) - 1386/405. Which is smaller: d or -2?
d
Let o = 7 - 7.4. Let y be 4 + -5 - 0/(-1). Is o at least y?
True
Let c = 3.3 - 2. Let i = c - 6.3. Is i at least 0.1?
False
Let s = -3 + 3.3. Let l = -15 + 14. Which is smaller: s or l?
l
Let i = 1538/3 - 518. Which is smaller: i or -4?
i
Let b(p) = p**2 + 5*p + 6. Let j be b(-5). Suppose 5*w - 6*w = -5. Is j != w?
True
Let y(v) = -v**3 - 4*v**2 + 6*v - 2. Let s be y(-5). Is 0.2 greater than s?
True
Let v(k) = -2*k**3 + 5*k**2 - 2. Let n be v(4). Let r be (n/28 + 2)*2. Is r less than 1?
True
Suppose 2*x + 2*h = h + 8, x - 26 = 5*h. Let c(z) = -2*z**3 - 3*z**2 - 4*z - 3. Let n be c(-2). Let j be x/n*3/(-26). Is j <= 1?
True
Suppose -4*i + 64 = 2*a - 4, -3*i + 5*a = -51. Suppose 1 = -c, 0 = -0*g + 3*g - 5*c - i. Suppose 6*m = 2*m + g. Which is smaller: -1/10 or m?
-1/10
Let v = -9 + 12. Let r be (v - 1 - -2)/2. Let m = 0.2 - 0. Is m equal to r?
False
Let n = 64 - 65. Is 1/5 equal to n?
False
Let n = -48 + 146/3. Suppose -21 = z - 4*z. Which is smaller: n or z?
n
Let z be 36/48 + (-4)/2. Which is smaller: z or -2?
-2
Let o = -0.53 - 0.47. Which is smaller: -0.051 or o?
o
Suppose -2*c - u = -7*c + 9, c - 2*u = 9. Which is bigger: c or -8/17?
c
Suppose -3*j + 4 = -17. Let u(z) = z**3 - 7*z**2 + z - 8. Let v be u(j). Let w be v/(1/(1 - 2)). Which is greater: w or -1/4?
w
Let s be (-68)/(-189) + (-4)/14. Suppose -4*v + 16 = 4*b, -3*v - 3*b + 12 = -6*v. Let y(u) = -4*u - 1. Let d be y(v). Is d at least s?
False
Let t(z) = z**3 + 4*z**2 + z + 12. Let b be t(-5). Is -1/4 less than b?
False
Suppose 0 = w + 3*w - 4. Suppose -4*l + 3 = -l. Suppose w = -s - l. Which is smaller: s or -3?
-3
Let t = -29 - -19. Let r = t + 15. Is r equal to 5?
True
Suppose o + v = -2, 6*v - v = o - 28. Let x = -5 - -7. Which is smaller: o or x?
x
Let h be (1 - 0) + 0/4. Let q = -20 - -14. Let x(y) = -y**3 - 5*y**2 + 5*y - 5. Let t be x(q). Does t = h?
True
Let c be 54/3*(0 - 1). Which is smaller: -17 or c?
c
Let s = -173/21 + 53/7. Let c = 0.9 - 4.9. Are s and c equal?
False
Let s(d) = 0*d + d + 3 + 0*d. Let y be s(-3). Suppose 4*n - 3*b = -5*b, -4*b = 2*n - 6. Which is bigger: n or y?
y
Let f be (26 - 0/3)/8. Which is greater: 2 or f?
f
Let x be -3 + -1 - (-14 - 7). Let i = 17 - x. Let v be 3/2*2/(-12). Is i > v?
True
Suppose -5*d + 107 = 27. Suppose -5*h = 3*n - d, -3*n = h - 2 - 18. Let f = -9 + n. Does f = -1/2?
False
Let v be (-5 - -2) + 238/(-318). Let z = v + -1/636. Are -4 and z equal?
False
Let c be (1 - (1 - 2))/(-2). Let z be 1 - 1 - c/1. Let b be (-3 + z)/(1/(-2)). Which is smaller: 3 or b?
3
Let v(f) = -f**2 - 20*f + 47. Let b be v(-22). Which is bigger: 0 or b?
b
Let p(q) = -q**2 - 3*q - 1. Let n be p(-3). Let x be (-90)/48 - (-3 - -1). Is n at least x?
False
Let o = 8 - 6. Let s = o + -8. Let q be -1 + 1 + s/27. Which is greater: q or -1?
q
Let q = 6/25 + -37/50. Let m = -2180/9 - -242. Is q > m?
False
Suppose 9*z = -7 - 2. Which is smaller: 1/9 or z?
z
Let j(n) = n + 1. Let q = -16 + 11. Let o be j(q). Is 0 > o?
True
Suppose 12 - 3 = 3*q. Let t = q + -3. Let f be t*(-1 + 9/6). Which is smaller: 2/9 or f?
f
Let y be (20/16 + -2)/(-2 + 5). Which is smaller: y or 3.7?
y
Suppose 0 = 3*o + 5*r + 4 + 10, 2*r - 7 = 3*o. Which is bigger: o or -2?
-2
Let l be (1/2)/(1/4). Suppose -4 = -3*j + 2*p, 4*j = 2*j - l*p + 6. Which is bigger: 2/3 or j?
j
Let s(x) = x**2 + 20*x - 22. Let l be s(-21). Is 5/21 equal to l?
False
Let y = -17 + 8. Let f = -7 - y. Which is smaller: 0 or f?
0
Let l = 159 - 146. Which is smaller: l or 10?
10
Let o = 9 + -14. Let g = o + 2. Let a = -0.26 - -0.46. Which is smaller: a or g?
g
Let u(h) = -14*h**3 - h**2. Let b be u(1). Let c = b + 7. Does c = -7?
False
Let x(w) = 2*w**2 + 6*w. Let d be x(-4). Let p = d - 8. Is p at most 2?
True
Let g(z) = -z - 3. Let a be g(-2). Is 0 != a?
True
Let v = -2.18 - -0.18. Is v less than -7?
False
Let y be (-1)/(9/(-204)) + 0. Let u = y + -22. Let x = -1.2 - -1. Which is smaller: u or x?
x
Let n = -2 - -2. Suppose 0 = 3*z + 4*q + 8, -2*z + 2*q + 1 = -3. Is n at least as big as z?
True
Let c = 95/3 + -32. Which is smaller: c or -2/9?
c
Let u be ((4 - 1) + -4)*0. Is u equal to -4?
False
Let y = 0.049 + 0.011. Are y and 1 non-equal?
True
Suppose -4*g = -2*n - 20, -6*n - 30 = -2*n + 2*g. Let q be n/(-20) + (-36)/65. Which is bigger: 0 or q?
0
Let j be ((-28)/105)/(2/6). Which is bigger: j or 0?
0
Let w(i) = -i**3 + 2*i**2 - 2*i - 16. Let r be w(0). Let n be -1 + (-9)/(54/r). Which is bigger: n or 2?
2
Let l(g) = 5*g + 2 + g**2 - 1 - 2*g. Let f be l(-3). Let w = -1 - -1. Which is bigger: w or f?
f
Suppose 4*b - 8*t = -5*t + 3, -3*b - 5 = 5*t. Which is smaller: -3/7 or b?
-3/7
Let f be 8/(-42)*42/(-28). Is 0.5 > f?
True
Let m = -1038 + 582. Let d be (-138)/m - 2/8. Suppose 6 = 5*v + 1. Is v less than d?
False
Suppose 0 = 5*w + 15, 3*g - 15 = 4*w + w. Which is greater: -3/32 or g?
g
Let k = -1420/5157 - 4/191. Is 0 at most k?
False
Let r = -0.1 + 0.18. Are 0.1 and r unequal?
True
Let q = -15 + 15. Let b = -3 - q. Is -1 smaller than b?
False
Let a = 8 + -8. Suppose a*y + 5*y - 15 = 0. Does y = 4?
False
Let v be 8*3/(84/(-314)). Let h = v - -90. Which is smaller: h or -2/7?
-2/7
Let a = 280 - 2528/9. Let f = 637/5 + -127. Are a and f non-equal?
True
Let c be 19/(-150) + (-2)/(-12). Which is greater: c or -1?
c
Suppose -7*b + 2*b - 20 = 0. Let q = -13 - -11. Which is greater: b or q?
q
Let v(d) be the first derivative of -2*d**3/3 + 8*d + 2. Let u be v(0). Is u equal to 7?
False
Suppose 2*h = -5*g + 3, -h = -2*h + g + 5. Let a(p) = 2*p + 1. Let w be a(h). Suppose -5*u - 17 + 0 = 3*d, -w = 3*u + 3*d. Is -4 <= u?
True
Suppose -r - 2 + 4 = 0. Let i be ((-9)/3 + 3)/r. Which is greater: i or -2?
i
Suppose -3*p + 8*m - 3*m = 133, -4*p - 216 = 3*m. Is -52 at most as big as p?
True
Let z be -8*(2/(-4) - -1). Let l(s) = s**3 + 4*s**2 - s + 16. Let a be l(-5). Let n be (a - -14)*(-1)/z. Which is greater: 2 or n?
n
Suppose -g + 0*g = -22. Do 1 and g have the same value?
False
Suppose -32*t + 124 = -4. Let g be 1 + 0 + -1 + -2. Which is greater: g or t?
t
Suppose 2*s - 4*s = 0. Let f(v) = v**2 + v + 5. Let i be f(s). Which is greater: 4 or i?
i
Let g(q) = 16*q + 17. Let h be g(-3). Do h and -31 have the same value?
True
Let w(a) = a**3 + 5*a**2 + 4*a. Let i be (1 - 0) + 0/5. Suppose 2*j + i = -7. Let t be w(j). Which is smaller: t or 3?
t
Suppose -3*g = 9 - 3. Let i(k) = 3*k - 2. Let t be i(2). Suppose -5*c = b - 16, 22 = -2*b + t*c - 2. Which is smaller: g or b?
b
Let c = -15/11 + 161/110. Let g be (-2)/(-2 - 0)*1. Which is greater: c or g?
g
Let v = -2129/815 - -2/163. Which is bigger: v or -2?
-2
Let v = 6 + -14