 v = 0.18 + 0.02. Let z = 3.8 + v. Which is bigger: z or -2?
z
Let u = 0.106 + -2.146. Let v = 0.04 + u. Which is smaller: -1/2 or v?
v
Suppose 0 = -3*k - 0*k + 3*x - 6, -4*x + 24 = 4*k. Let u be (-9)/(-2) - 1/k. Suppose -u*h = -3*d + 29, -2*d + 4 = d + h. Is 3 less than or equal to d?
True
Suppose -5*m + 25 = 5*x, 5*m - 4*x = x - 15. Suppose q + 4*l + 6 = 0, -3 = 4*q - 4*l + m. Is -10/7 not equal to q?
True
Suppose 0 = -2*u - 2, 0*a + u = 2*a - 23. Suppose 4*w = 3*o - a, 4*o - 6 = -0*w + w. Which is greater: w or -3?
w
Let a = -0.08 - -0.48. Is -6 bigger than a?
False
Let h(l) = l**3 + 7*l**2 + 7*l + 3. Let f be h(-6). Let k(v) = -v**3 + 4*v**2 + 7*v - 12. Let t be k(5). Is f <= t?
True
Suppose 4*f - 18 = 2*m - 0*f, -4*f + 17 = -3*m. Which is smaller: -3/46 or m?
-3/46
Let t(o) = o**2 - 5*o + 9. Let q be t(6). Suppose -6 = -0*z - 2*z. Suppose -z*x + q = -3*l - 0*l, -5*x - 2*l = 3. Is 2 less than or equal to x?
False
Let n be ((-48)/(-64))/(2/(-8)). Which is smaller: n or -5?
-5
Let u be 4 + (76/(-10))/2. Which is bigger: -5 or u?
u
Suppose -6*f - 48 = -2*f. Let s = 13 - 22. Let q be (-16)/f*s/(-8). Are q and 1 nonequal?
True
Let z = -0.6 + -2.4. Let g = 4 + z. Let y = 0.9 - g. Is y < -4?
False
Let l = 148.15 - 143. Let j = l - 0.15. Which is smaller: j or 0.2?
0.2
Let b = 6.14 - 0.14. Let x = -6 + b. Which is greater: x or 7?
7
Let l(v) = 35*v + 1. Let q be l(1). Let t be ((-2)/(-3))/((-2)/q). Is t at most -13?
False
Let k = -8 + 6. Let n = 4 + k. Suppose -3*i + 7 = 1. Is i at most as big as n?
True
Let l(d) = d**3 + 6*d**2 + 3. Let p be l(-6). Suppose -5 = s - p. Let j = s + 2. Is j greater than 2/7?
False
Suppose -5*v + 22 = -8. Let i = 4 - v. Is 2 greater than i?
True
Let q = -5.86 + -0.14. Let u = -5 - q. Let x = u + 1. Is 2 equal to x?
True
Let h = 3.92 - 4. Let r = h + 0. Let w = r - 0.72. Is w >= -1?
True
Let m = 12 + -30. Is m less than or equal to -18?
True
Let o = 7991/15 + -533. Is o at most as big as 0?
True
Suppose 31 = -5*v + 4*q, -3*q + 2 - 26 = 3*v. Which is bigger: -35/6 or v?
-35/6
Let r = -297 - -593/2. Let o(m) = -m**2 - 7*m - 2. Let w be o(-6). Suppose -8*y + 3*y = 4*i - 22, w*y - 5*i + 7 = 0. Is r less than or equal to y?
True
Suppose 2*s - 4*h + 4 = 0, 3*s - s + 5*h = -49. Let b be (-6)/9 + 1/s. Suppose -2*x = y + 3 + 3, x = -2. Is y at most b?
True
Let h = 48 - 57. Which is smaller: h or -7?
h
Let h be ((-3)/22)/(3/(-4)). Let b = 1 - -9. Suppose 0 = -m + 5*k - 26, 3*m + b + 13 = 4*k. Is m less than or equal to h?
True
Let d(b) = b**3 - 6*b**2 + 6*b - 2. Let l be d(5). Suppose l - 6 = -g. Suppose -2*f + 2 = -4*m, g = m + 5*f + 9. Does m = 0?
False
Suppose 6*g + 4*j + 5 = g, 2 = -2*g + 5*j. Is -2/9 >= g?
True
Let q be ((-3)/(-2))/(42/(-8)). Is 19 greater than q?
True
Let x = 2 - 3. Do x and 6 have different values?
True
Let g = 4 + -4.5. Let s = g + 0.3. Are s and 0.1 unequal?
True
Suppose -3 = 2*l + 2*a + 1, -3*a = 6. Which is smaller: -9/10 or l?
-9/10
Let i(c) be the second derivative of -c**6/720 + c**5/120 - c**4/12 + 2*c. Let y(n) be the third derivative of i(n). Let o be y(-1). Which is bigger: 3 or o?
3
Let m = 8 + -4. Let f be -4*m/8 - 13. Are f and -16 non-equal?
True
Let p(o) = 4*o - 3. Let y be p(3). Suppose -y + 3 = -2*k. Suppose 16 = 4*d - 4*j, -j = -2*d - k*d. Are d and -1 unequal?
False
Suppose 0 = 7*y - 2*y. Let u = -0.8 - -1. Which is greater: u or y?
u
Let r = -22 + 22. Suppose -1 = 5*t + 4. Let z = t - r. Is z >= -2?
True
Let q = 100 + -100.05. Is q bigger than 0?
False
Let m = 2/41 + 72/205. Suppose 0 = -2*r, 2*w - 3*r + 0*r = -2. Which is smaller: m or w?
w
Suppose -2*m = -2*i - 12, -24 = i + 5*m - 0*m. Let z = 9 + i. Which is smaller: 2 or z?
z
Let z = 71 + -70. Which is bigger: 4/107 or z?
z
Let x be (-9 + 2)*(-1 + 2). Suppose 2*v - 10 - 30 = 0. Suppose 4*y + v = -4. Is x > y?
False
Suppose -4*n = -2*n - 3*p + 14, 2 = -n - p. Let o be (5 + n)*2/(-10). Which is smaller: o or -1?
-1
Suppose 3*s - 3 = -6. Are s and 1 equal?
False
Let d(o) = o + 3. Let m be d(-3). Suppose -3*c + m*c - p = -6, p - 10 = -5*c. Is c > 2?
False
Let v be 4/8 - 3/(-2). Suppose -2*u - x + 6 = 0, -v*u - 5*x = -4*u + 6. Let b be 1/3 - 10/(-6). Are u and b equal?
False
Let d be ((-2)/4)/(2/4). Let k = -19 + 24. Suppose -1 = -3*g + 4*f, 0*f = -k*g - 2*f - 7. Are g and d equal?
True
Suppose -5*d + 17 - 36 = -2*q, 5*d = q - 17. Let p = 1 + -6. Which is bigger: d or p?
d
Suppose 0*r - 4*r = 0. Let t = 133/60 + -9/4. Is t smaller than r?
True
Suppose -g - 3 = 2*g. Let r = 119/2 - 66. Let j = r + 69/10. Which is bigger: j or g?
j
Let k be ((-69)/(-45))/1 + -1. Let q = k + -1/5. Which is bigger: 1 or q?
1
Suppose 1701 = 3*a + a + s, 4*a - 5*s = 1671. Let p be (-4)/26 + a/(-624). Which is bigger: p or 0?
0
Let u = -0.9 + 1. Which is smaller: u or -0.2?
-0.2
Let a = -160/231 + 4/33. Suppose 2*w - 8 = 3*z + 2*z, -4*w = 5*z + 14. Does z = a?
False
Let h be ((-195)/52)/(2 - (-19)/(-8)). Which is greater: h or 32/3?
32/3
Let m = -58 + 57.1. Which is greater: m or 7?
7
Let y(o) = o**3 + 6*o**2 + 2*o + 12. Let p be y(-6). Let s = 6 - 3. Let h = s - 3. Do p and h have the same value?
True
Let d be -2*(-27)/(-12) + 4. Which is bigger: d or -2?
d
Suppose 0*o + 4*i + 20 = 3*o, -3*o + 10 = -2*i. Is -2/5 greater than o?
False
Let j = -0.04 + -0.06. Which is bigger: -39 or j?
j
Suppose 75 = x - 6*x. Let k be 40/x - (-1)/(-3). Let y(l) = l - 2. Let j be y(0). Which is smaller: k or j?
k
Let i be 6/(-2)*(-3)/3. Let j(a) = -5*a - 2. Let t be j(i). Which is smaller: t or 0?
t
Let s be 4/((-8)/6) - -6. Suppose 0 = p + s*p - 8. Is 2 bigger than p?
False
Let j = -19 + 20. Let h be ((-15)/(-45))/(-1*j). Is h at most as big as -1?
False
Let p be 3/(9/(-75)) + -1. Is -27 >= p?
False
Let y = 32.98 + -33. Are y and -0.2 unequal?
True
Let y(v) = -v**3 - 6*v**2 - 2*v - 8. Let k be y(-6). Is 4 at least k?
True
Suppose -89 = -5*t - 3*i, 0*t + 5*i = 4*t - 49. Suppose 3*r + r - t = -5*a, 0 = 5*r - 5*a + 25. Are r and 2/7 unequal?
True
Let v(l) = 3*l**2 + l - 1. Let c be v(1). Suppose c*y - 7 = 8, y = -4*i + 21. Is 3 smaller than i?
True
Let j = 11.1 + -9.1. Do j and -2/7 have the same value?
False
Let v = 57/11 + -1383/286. Let m = -15/13 - v. Which is greater: -2 or m?
m
Let b = 106 + -36. Let l be (b/8)/(-7) - -2. Is l <= 2?
True
Let b = 0.08 + -0.18. Which is greater: 0.5 or b?
0.5
Let l be 0/((1 - 2)*1). Suppose 8 = -u + 3*u. Suppose 4 + 0 = u*q. Is l < q?
True
Suppose -3*k - 2 + 8 = 0. Let t = k - 5. Let x be t/4 + 2 + -1. Is -0.2 less than or equal to x?
True
Suppose 0 = 4*h - 9*h + 20. Suppose 0 = -f, -2*f + 5 = 5*o - h*f. Which is smaller: 4/5 or o?
4/5
Suppose -t + 13 = -5. Suppose 4*o + 159 = 4*s + 43, -2*o + s = 56. Let b be 6/o + (-14)/t. Which is bigger: b or 1/4?
1/4
Suppose 11 = 5*a - 19. Let y = -6 + a. Which is greater: y or 2/23?
2/23
Let o = 13 - 13.12. Let v = o + 0.42. Which is bigger: 0.2 or v?
v
Suppose 3*f + 9 = -b + f, 4*b = -3*f - 11. Let a = -59/341 + 11/31. Which is smaller: b or a?
a
Let i = 0.07 + 0.05. Let f = i + -0.06. Are f and -2/7 equal?
False
Suppose -63 + 3 = -3*j. Suppose w = -n + 4*n + 9, -3*w = -2*n - j. Let z be (-12)/9 + 4/w. Do -2 and z have the same value?
False
Let v(n) be the third derivative of -n**4/24 + 4*n**3/3 + n**2. Let i be v(8). Which is bigger: i or 1?
1
Suppose -2*z + 8 = -0*q + q, -q = -4*z + 4. Let s = q + -1. Let t = 1 - s. Which is greater: t or -1?
-1
Let u = 12 + -14. Let x = 5 + -4.3. Let q = 0.6 - x. Which is greater: q or u?
q
Let r be -3 + -5 + 5 + 5. Which is smaller: 4 or r?
r
Let a = -0.139 - -0.039. Which is smaller: -54/7 or a?
-54/7
Let b = -0.904 + -0.016. Let x = -0.08 + b. Do -1 and x have the same value?
True
Let m(n) = n + 1. Let q be m(-2). Let t be q/1*(4 + 0). Suppose 0 = 5*y - 4*g + 11, -2*g + 4*g - 7 = 3*y. Which is smaller: t or y?
t
Suppose -r - 2 = -5*y, 2*y + 2*r = 6*r + 8. Suppose c - 9 - 5 = -2*u, 5*c - 22 = 2*u. Suppose y*h + c = 2*h. Which is smaller: 5 or h?
h
Let i = -2.33 - -1.33. Is i smaller than -0.034?
True
Let q be (-6)/(-8) - (-105)/(-90). Which is smaller: q or 1?
q
Let n(p) = -p + 3*p - 4*p**3 - p. Let o be n(-1). Suppose 1 = f + 4*k, 4*f + k - o - 1 = 0. Does 0 = f?
False
Let n be 4 + 2 - (2 - 0). Let o(f) = 6*f - 1. Let g be o(1). Which is greater: n or g?
g
S