35). Let q = m + v. Are q and -1 unequal?
True
Let y(i) = i**3 + i + 2. Let j be y(0). Let r(w) = -w**2 - w. Let b be r(j). Is -5 greater than b?
True
Suppose 4*j + 2*k = -k + 27, 2*k - 26 = -4*j. Let b(w) = w - 1. Let s be b(j). Suppose -21*q + 13*q = -32. Which is smaller: q or s?
q
Let t = -17 - -21. Is t at least 4?
True
Let j = -1 - -1. Let f = 1 + j. Let p = -0.4 + 2.4. Which is greater: f or p?
p
Let d = 2/119 + 2971/238. Suppose -3*s + 0*s = -5*j + 65, 0 = -3*j - 2*s + 39. Let t = j - d. Which is smaller: t or -1?
-1
Let t be -2*(580/(-193) + 3). Which is smaller: 1 or t?
t
Suppose 9 = 3*c + 3*j, 21 = 5*c - 0*c - j. Suppose -c*n = n. Which is smaller: -2/11 or n?
-2/11
Let k(r) = 10*r**2 + r. Let a be k(1). Which is smaller: 9 or a?
9
Let v be (-9)/(-12) + (-9919)/68. Let m = 145 + v. Let t(z) = -z**3 + 4*z**2 - z + 3. Let q be t(4). Which is greater: q or m?
m
Let a = -4 - -29/8. Which is greater: -6 or a?
a
Let d(y) = -2*y + 5. Let t be d(4). Let q be (-1)/t + (-16)/3. Suppose 24 = 4*j - 8*j. Which is bigger: j or q?
q
Let c be (-3)/5 - (-14)/(-35). Suppose 4*s = -4*a - 8, -3*a - 8 - 6 = 5*s. Let z be -1 + 18/(-22) + a. Is c <= z?
True
Let r = 9 - 10. Which is bigger: -2 or r?
r
Let k = 127/36 - 34/9. Which is bigger: k or -1?
k
Let s = 99 + -2377/24. Is 0 bigger than s?
True
Let u = -4 - 2. Let w = 6 + u. Are 2 and w unequal?
True
Let x = -7 + 10. Suppose 4*s - 2*i = 432, -3*s - x*i + 160 = -182. Let p = -772/7 + s. Are 2/3 and p unequal?
True
Suppose -5*w + 0*w = 0. Which is smaller: w or -1/5?
-1/5
Suppose -4*w + 2*t = 10, -t = w + 4*w + 2. Which is smaller: 2/33 or w?
w
Let z = 10 - 5. Which is smaller: z or -2?
-2
Let x be 9*3/9 + -4. Is -1/7 greater than x?
True
Let h = -3 - -1. Let c be (-2 + (-4)/(-2))/h. Let u be (1 - 1)*(-1)/2. Do c and u have different values?
False
Suppose -x - 3*x = -16. Suppose -11 = -2*o - 2*o - w, -x*o = 4*w - 20. Suppose -3*y - 6 = -o*y + k, -2*y = -4*k - 6. Is y at most -2?
True
Suppose 2*k - 3*k = 0. Let d(p) = p**3 + p**2 + p + 1. Let m be d(k). Is 1/2 equal to m?
False
Let x be (48/(-30))/(4/10). Is -4 greater than or equal to x?
True
Let d be 13 + -10 + -1 + (-44)/21. Let s(x) = x**3 + 2*x**2 + x + 2. Let m be s(-2). Is d < m?
True
Suppose -n + 15 = -2*x, -4*x = x + 4*n + 5. Let m be (x - -5)*(-2 - -1). Is m less than 1?
True
Suppose -f + d = 1, -f - 4*d + 36 = 3*f. Let j(z) = z**3 + 5*z**2 + 2. Let g be j(-5). Which is greater: g or f?
f
Suppose 2 - 3 = -r. Let a be 26/(-7) + 3 + r. Is a bigger than -1/3?
True
Suppose -4*h = 3*v + 10, 4*v - h + 12 = -5*h. Let z = v + 7. Suppose 4 = -z*b + 14. Which is greater: 3 or b?
3
Let a(l) = 17*l - 3. Let n(q) = -6*q + 1. Let f(j) = -4*a(j) - 11*n(j). Let m be f(1). Which is greater: m or 1?
1
Let d(b) = b**3 - 13*b**2 + 13*b - 6. Let s be d(12). Let j = 11 - s. Which is smaller: j or 6?
j
Let j be 1 + 1*(-135)/5. Is j >= -26?
True
Let k(w) = -6*w**3 - w - 1. Let h be k(-1). Let z(y) = 2*y**2 - 7*y - 7. Let l be z(5). Which is smaller: l or h?
h
Let t = 12 - 14. Let l = -0.8 - 0.2. Which is bigger: l or t?
l
Let f be ((-1)/3)/(2/(-96)). Let v = 18 - f. Is 2 bigger than v?
False
Let j = 36 + -40. Are -4 and j unequal?
False
Suppose -5*b - 2 = -6*b. Let f be 136/(-222) + b/3. Which is bigger: -1/2 or f?
f
Let c(v) = -2*v**2 + 3*v - 3. Let s be c(2). Let i be 2/s - (-2)/(-20). Let k(x) = -x - 7. Let r be k(-6). Is r at most as big as i?
True
Let y be 6*(0 + (-4)/(-8)). Is -1 < y?
True
Let q(j) = j**2 + 10*j + 10. Let n(o) = -o**3 + 4*o**2 + 2*o + 6. Let b be n(5). Let c be q(b). Let z = 281 + -3655/13. Which is smaller: c or z?
z
Let r = -42 - -41. Is r greater than -1?
False
Let u = 194/345 - 16/23. Let y(j) = -j + 7. Let i be y(8). Which is bigger: i or u?
u
Let o be (-2)/(-4) + 3 + 1. Is 4 smaller than o?
True
Suppose m + 8 = -3*m. Let f = m + 4. Let d = 8 + -5. Which is greater: f or d?
d
Let d = -2 - 5. Let l = d - -6.7. Let m = 0.5 + l. Is m not equal to 0.2?
False
Let j be (-15)/(-8)*1*-2. Suppose -2*s + 18 - 8 = -4*m, -3*m - 27 = 5*s. Which is smaller: j or s?
j
Suppose 4*v - 10 = 2*t - 4, 3*v = 3*t + 12. Suppose 103 = 3*d + 2*q, -4*d - 2*q + 37 + 97 = 0. Let j be (-4)/(-14) + d/(-35). Which is greater: v or j?
j
Suppose -2*l + 0*l - 8 = 0. Let a(q) = q**3 + 4*q**2 + q + 5. Let g be a(l). Let v = -19/15 + 167/120. Do g and v have the same value?
False
Let v(r) = -r**2 - 2*r + 7. Let o be v(-3). Is o > 12?
False
Let y = 1736/237 + 2/237. Is 6 smaller than y?
True
Suppose 4*a = 3*a + 2. Let r(s) = -s**2 - 6*s + 1. Let w be r(-6). Suppose -y - w = -a. Is 4/7 not equal to y?
True
Let t = -7 - -7.06. Let y = t - -0.34. Let z = y - 0.4. Which is smaller: -0.2 or z?
-0.2
Let s = -35.9 - -36. Which is smaller: s or 3/5?
s
Suppose -16 = -5*o + 24. Suppose -3*k + 5*i + 26 = 0, -2*k = 2*k - i - 29. Is o at least as big as k?
True
Suppose -3*c - c - 17 = -5*l, -4*c - 38 = 2*l. Let m be -3*(-3 - (3 + -5)) + -10. Is c less than or equal to m?
True
Suppose 6*z - 1 - 5 = 0. Which is bigger: 0 or z?
z
Let a = 20 + -12. Suppose 3*f - a*f = 0. Suppose f*s = -s - 1. Which is bigger: -2 or s?
s
Let b = -3.4 + 3. Which is smaller: b or 4/5?
b
Let v = -87 + 263/3. Let i = -0.8 + -0.2. Are v and i non-equal?
True
Let z = 31/10 + -3. Suppose -2*n - 19*n = -21. Which is greater: n or z?
n
Suppose -5*w - 35 = -10*w. Let j = 5 - w. Are j and -3/5 equal?
False
Let g = 2.24 + -0.24. Which is bigger: -2 or g?
g
Let t = 3 - 4. Suppose 3 = -3*y - 0*y. Let l = y - t. Is 1 <= l?
False
Let v be (6 - -3) + 2 + -3. Let l = v + -7. Do l and -4/11 have different values?
True
Suppose -20 = 3*i - 4*r, 0 = -5*i - 2*r + 14 - 4. Suppose i = -4*d + 13 + 15. Suppose 5*f = -2*v - 0*v + d, -4 = -2*v - 2*f. Is 0 <= v?
True
Let i be ((-5)/(-2))/((-39)/6). Which is smaller: i or 1?
i
Let y = -121 + 1572/13. Suppose n - 65 + 64 = 0. Which is bigger: y or n?
n
Let k = 9 - 14. Let h be (6/(-5) + 1)*k. Which is bigger: h or -2/9?
h
Let y(w) = w + 7. Let z(b) = -b - 6. Let s(m) = 5*y(m) + 6*z(m). Let c be s(0). Which is smaller: -7/5 or c?
-7/5
Let u(z) = -2*z - 2. Let w be u(4). Let h be (99/(-18))/((-1)/(-2)). Which is smaller: h or w?
h
Suppose -7*p + 0*p - 252 = 0. Does p = -34?
False
Let c = -4 - -9. Suppose -21*b - 35 = -26*b. Is c < b?
True
Let t(z) = z**3 - z**2 - 2. Let p be t(2). Let w be 1/(2/10 + 0). Suppose -w = p*o - 3. Which is smaller: 0 or o?
o
Suppose 10*y - 14*y - 24 = 0. Which is smaller: y or 2?
y
Suppose 2 = a + 1. Let n(r) = -r**3 + 3*r**2 - r + 2. Let z be n(2). Let w be 10/6 + z/(-2). Is a > w?
True
Let k = -2925120436760/244023741171 + -62/54554827. Let o = 806/71 + k. Let j = o + -2/63. Which is smaller: -1 or j?
-1
Let o be 2/(-5) + (-4)/(-10). Let w = -1.22 - -0.32. Which is greater: w or o?
o
Let p be -1 - (2 - (2 + 0)). Is p at least -2/3?
False
Let h = 50 + -47. Which is smaller: h or -3?
-3
Let h = 25/24 + -7/6. Are h and -1 nonequal?
True
Let t = -12/17 - -70/51. Let x = -0.4 - 0.8. Let w = x + -0.8. Is w at most t?
True
Let m(t) = -t**2 + t - 1. Let s(k) = k**2 - k + 1. Suppose -4*c = 3*o + 31, 32 = -4*o - 7*c + 4*c. Let y(u) = o*m(u) - 4*s(u). Let n be y(0). Is n equal to 2/5?
False
Let z = -2.98 - 0.02. Let o(f) = -f**3 - 6*f**2 - 5*f - 1. Let a be o(-4). Let b = a - -53/4. Are z and b equal?
False
Let s be 3/6 + 102/(-28). Let h = s + 3. Is 3 equal to h?
False
Suppose -2*h - 5*v + 0*v + 1 = 0, 0 = -3*h - 5*v + 4. Suppose 0 = 7*g - 7 - 0. Let d be -4 - (2 - h - g). Is -2 < d?
False
Let k = 12 - 12. Suppose -4*b + 19 = 5*h, k = -4*h - 2*b - 3 + 23. Which is bigger: 6 or h?
h
Let t = -1.2 - -0.9. Let z = 0.7 - t. Which is bigger: z or 0.2?
z
Let o = -12237/46 - -266. Which is bigger: -2 or o?
o
Suppose 0 = -2*i - 6, 80 = 5*z + 3*i - 36. Suppose -3*x - 2*x + z = 0. Suppose -d + x*b = 15, -4 = d - 3*b + 5. Is d <= 5/6?
True
Let q = 2 + 0. Let r = -196 + 2162/11. Do q and r have the same value?
False
Let g = -1 + 1.1. Let a be (-44)/12 + 3 + (2 - 2). Is g greater than a?
True
Let t be 8/(-3) - (-2 + -1). Let m = t + -2/9. Is m equal to 1?
False
Let i(c) = 17*c + 1. Let r be i(1). Let u = 53/3 - r. Is u equal to 0?
False
Let s = -23331/13 - -1797. Which is bigger: s or 1?
s
Let c(s) = s**2 + 11*s + 13. Let u be c(-10). Suppose 0*v - 12 = u*v. Which is smaller: -6 or v?
-