s than -34?
False
Let x = -1.9 - -2. Let i = 0.217 - -16.783. Is x bigger than i?
False
Let z = -6 + 11. Let k = 6.3 - 1.1. Let i = z - k. Which is greater: -1 or i?
i
Let w = 7 - 1. Let y = 13 + -15. Let v be 4/w - (2 + y). Is v < 2?
True
Let p = 13/160 + -1/20. Is -1 >= p?
False
Let k be (-80)/12 - (-2)/3. Let z be 0 - k/(-39)*-1. Is -1 >= z?
False
Let g(z) = z - 1. Let y be g(5). Suppose -y*a = -7 - 1. Let w be 0/(1/((-1)/(-1))). Do a and w have different values?
True
Let v be (-1 - 2) + -3 + 2. Let z = 8 + v. Let b = 9 - 4. Do b and z have the same value?
False
Suppose 3*w - 26 + 11 = 0. Let i be -1 + (-16)/(2/(-2)). Suppose i = -0*h + w*h. Is h bigger than 4?
False
Let b be -8*((-568)/14)/(-4). Let w = -81 - b. Suppose -2*u - 10 = 5*c, u + 5*c - 3*c + 4 = 0. Which is bigger: w or u?
w
Let j = -360 - -4682/13. Is j less than or equal to 1?
True
Let d(r) = -7*r + 22. Let o be d(6). Are o and -20 non-equal?
False
Let w(q) = -2*q**2 + 5*q + 6. Let z(h) = -h**2 + 3*h + 3. Let u(o) = -2*w(o) + 5*z(o). Let g be u(6). Which is smaller: g or -2?
g
Suppose 5*r = 18 + 7. Suppose -r*j + 7 = -8. Suppose 0 = 3*k + 12, -x - 17 = 4*x + j*k. Are x and 0 nonequal?
True
Let y = -11 - -9. Let t be (y/10)/(12/(-140)). Is t equal to 3?
False
Suppose 0 = -k + 3*d - 6*d - 2, -d = -3*k - 46. Let w = 24 + k. Suppose -v + f + w = 3*f, -3*f = 3*v - 15. Which is smaller: v or 4/7?
v
Let u(r) = -r**3 - 3*r**2 + 3*r - 4. Let a be u(-4). Suppose -5*l - 3*w - 27 = -a*l, -6 = -2*l + 3*w. Let p = l + 6. Is p at least as big as 4?
False
Let f be (-3 - 0)/3*-1. Let d(c) = -7*c**3 - 1. Let r be d(-1). Let k be (-2)/r + (-3)/(-27). Which is smaller: f or k?
k
Let u be 2/(-5) - (-84)/10. Let t(z) = -z**3 + 7*z**2 + 10*z - 12. Let s be t(u). Suppose o + 2 = -s*g, 4*g - 4 = -4*o - 0*o. Which is bigger: 1/10 or g?
1/10
Let o = 10 + -17. Let c be (o + (-2)/(-2))/2. Are 0 and c unequal?
True
Let d = -21 - -22. Suppose 0 = -5*i - 4 - d. Is i bigger than -0.11?
False
Let d be 2/14 - (-1432904)/(-2184). Let f = -656 - d. Which is greater: f or -1?
f
Let q = 0.16 + -0.26. Is -4 greater than q?
False
Suppose 113 = 5*o + 3. Let z = o + -15. Let m = z - 6. Is 2 greater than m?
True
Let y = 180 + -715/4. Suppose 5*l = 5*r + 30, 2*r + 11 + 0 = l. Which is bigger: l or y?
y
Let q(a) = a + 7. Let j be q(-10). Suppose -i + 4*i = -3. Let b = i - j. Is b less than or equal to 1?
False
Let n = -3 + 6. Suppose 2*z - 4*z - 3 = n*c, 0 = 3*z - 2*c - 15. Let f be (-35)/(-20) + 0/1. Which is smaller: f or z?
f
Let m = 1.33 - 0.23. Let r = m - 0.1. Is r > 0.3?
True
Let x be ((-1)/1)/(-1) - 2. Suppose q = -2*q. Let r(b) = b**3 + b**2 - 2. Let p be r(q). Which is greater: p or x?
x
Suppose 4*u = x + x - 20, 3*x - 30 = -2*u. Which is greater: -4 or x?
x
Let x = 10 + -7. Suppose q + 2*t + 0*t = 8, 4*q - 20 = -4*t. Suppose c + l = -0*c - 6, l = x*c + q. Do -2 and c have different values?
False
Let q be 18/27*9*1. Suppose -j + 20 = -q*j. Is j at least as big as -1?
False
Suppose 5*q - 2 + 7 = 0. Let s be q/4 - 488/(-32). Is s smaller than 14?
False
Suppose 0*a = -5*a + 40. Let p = a - 9. Which is smaller: p or 3/7?
p
Let k be (-80)/(-84) - (-8)/(-12). Which is smaller: k or -0.08?
-0.08
Let k be (6/(-3) - -8) + -2. Let z = 3 - k. Let m = -2/37 + 41/74. Which is smaller: m or z?
z
Let i(h) be the first derivative of h**5/60 + 5*h**4/24 - h**3 + h**2 - 1. Let z(b) be the second derivative of i(b). Let v be z(-6). Which is smaller: 1 or v?
v
Suppose 4*t + 16 = -0*t. Let z = t + 3. Is 2/7 at most z?
False
Let b = 197/58 + 3/29. Let o = 15/4 - b. Suppose 3*g = w + 18, -2*w + 4 = -0*g + 2*g. Is o at most g?
True
Let s be ((-60)/21)/(45/35). Which is bigger: -0.2 or s?
-0.2
Let y = -32619/230 + 380/23. Let g = -125 - y. Which is greater: 1 or g?
1
Suppose 0*w = -w + 2. Let a be (-2 + w)*(-1)/(-2). Which is bigger: -3/10 or a?
a
Let k be (3*1/6)/(-1). Which is greater: k or -2?
k
Let s = 81/154 + -2/77. Is s less than or equal to 2?
True
Let m = -0.1 - 15.9. Let a = 18 + m. Let j = -1 - -1.2. Which is smaller: j or a?
j
Let h = -22 - -10. Which is bigger: h or -13?
h
Suppose 3*z = 4*z - 2*q + 5, -3*z - 3*q = -3. Is 2 at most as big as z?
False
Let z = -0.75 - -0.85. Which is bigger: z or 49?
49
Let h be ((-6)/3)/(1/(-2)). Is 4 less than or equal to h?
True
Let f(t) be the first derivative of -t**4/4 - 14*t**3/3 - 7*t**2 - 8*t + 6. Let v be f(-13). Which is greater: v or 1?
v
Let c(q) = -q**3 + 7*q**2 + 8*q + 3. Let m = -6 + 14. Let s be c(m). Which is smaller: s or 3/2?
3/2
Let a = -7.1 + 0.1. Let x = a + 6. Suppose 4*h - 4 = 4. Which is smaller: x or h?
x
Let t be (11 - 1) + 12 + -16. Which is smaller: 9 or t?
t
Let m = -6.03 - -0.03. Let q = m + 9. Are -0.1 and q equal?
False
Let p = -0.006 - -1.006. Which is smaller: p or 0?
0
Let k = 0.26 - -0.04. Is k at least as big as -0.2?
True
Let s = 0.09 + 0.21. Suppose 3*t + 1 = -2. Let i = 1 - t. Which is smaller: i or s?
s
Let m = -244/65 + 54/13. Which is smaller: m or 20?
m
Let s = 43 - 24. Let y = 20 - s. Are y and -1/2 equal?
False
Suppose -2*j - 2*j + 36 = -3*d, 3*j = 4*d + 27. Let h = 6 - j. Is -2/5 less than or equal to h?
False
Let z = -1/18 - -7/18. Suppose i = 0, -2*a + 5*a + i + 12 = 0. Let g = a + 3. Which is smaller: z or g?
g
Suppose 0 = -5*z - 10, 3*z - 7 + 23 = 5*w. Suppose 2 = w*v - 0. Let n = v + -2. Which is bigger: 0.1 or n?
0.1
Let n be ((-3 + 3)/(-1))/(-2). Suppose n = 4*p - 4*h - 12, 0*h = -3*p - h + 5. Is 2 not equal to p?
False
Suppose 0 = -3*i - 5*k + 3, 0*i + 2*k = 2*i - 2. Let x be (4/(-6) + 0)/(146/219). Which is smaller: i or x?
x
Suppose 0*t + 2*t + 26 = 0. Is -13 at least t?
True
Let n = 13/14 - 3/7. Let h be 5/2*(-4)/35. Is n > h?
True
Let g = -303/26 - -3843/52. Let q = 62 - g. Is q greater than or equal to -0.7?
True
Let v = -0.1 + 0. Let h = 0.4 + -0.2. Let q = 0 + h. Which is smaller: v or q?
v
Let c(f) = f**2 - 4*f - 3. Let i be c(-6). Let l be (-681)/(-9)*(-9)/(-12). Let x = l - i. Do 1 and x have the same value?
False
Let h(g) = g**2 + g. Suppose o - 7 = 5*k, -5*o - 18 = 3*k - o. Let j be h(k). Let m = -2 + j. Is m greater than or equal to 1?
False
Let b be 4*(-3 + (-15)/(-6)). Which is bigger: -3/4 or b?
-3/4
Let a be (-3)/36*(-16)/62. Is a less than 0?
False
Let w be 4/(-10) - (-120)/425. Which is greater: w or 0?
0
Let u = 3 + -3.1. Let y = u + 1.1. Let g = -5.1 - -4.6. Which is smaller: y or g?
g
Let k(l) = 3*l. Let b be k(1). Suppose 3*m - 6 = -b. Are m and 1/30 unequal?
True
Let b = -18 + 11. Let x(p) = 7*p - 26 + 8*p**2 - 20 + p**3 + 44. Let j be x(b). Is -4/5 > j?
True
Suppose q + 14 = 2*q. Are -2/3 and q non-equal?
True
Let c = -27 + 25. Is c <= -1/2?
True
Suppose 2*a - 2 + 30 = 0. Let k = 11 + a. Suppose 0 = -4*x + 1 - 13. Is x >= k?
True
Let x(d) = -5*d + 7. Let b(f) = 2*f + 1. Let j(n) = 5*n + 2. Let s(a) = -7*b(a) + 3*j(a). Let w(u) = 6*s(u) + x(u). Let g be w(-1). Which is smaller: g or 1?
g
Let f(y) = -6*y**2 + y + 1. Let t be f(-1). Let i be (2/t)/(3/(-36)). Suppose -1 = -b + 2*q - 0*q, -i*b + 4 = 5*q. Which is smaller: b or 4?
b
Let u = -2 + 2.3. Let m = u - 0.1. Let d = 1.6 - 1.4. Is m equal to d?
True
Let b be (0 + 4)*(-2 + 1). Suppose 2*a = -2*a - 20. Is b <= a?
False
Let a = -26 - -25.9. Which is bigger: 0.15 or a?
0.15
Let x = -1 - -1. Is 6 less than x?
False
Suppose -3*w + g = 4*g - 27, 3*w + g - 21 = 0. Suppose -p + 2*r = w - 2, p = 5*r - 10. Let d = 953/5 - 190. Which is smaller: p or d?
p
Let r be -47 - 0/(8/(-2)). Let v = 33 + r. Which is greater: v or -13?
-13
Let g be 2 - (26/22 + 1). Suppose -w + 18 = 2*w. Suppose l - b = -3*l + w, -5*l + 9 = -2*b. Which is greater: g or l?
l
Suppose -4*y - 11 = 3*a, 3*y + 2 = -0*y + 4*a. Let d = 7 + y. Suppose d*p - 5*i = 20, -i = -5*i + 4. Is 1 less than or equal to p?
True
Let p be 5/9*-2 + 1. Let d(n) be the third derivative of -n**4/24 - 3*n**3/2 - n**2. Let m be d(-9). Is m greater than or equal to p?
True
Let x be ((-80)/85 + 1)/1. Does x = -1?
False
Suppose d - 2*v - 13 = 0, -3*d - 8*v + 30 = -11*v. Which is smaller: 2 or d?
2
Let r(p) = -p - 13. Let m be r(-10). Let y be ((-5)/(-35))/(1/m). Which is greater: 1 or y?
1
Let o = -55 + 58. Is o equal to -0.1?
False
Let n = -594 + 595. Suppose -4*v = -0*v - 24. Is v greater than n?
True
Let w = -14 + 19. Suppo