. Are z and -10 equal?
False
Suppose -7 = -s + 2*u, 4*u + 21 = 4*s + 3*u. Which is smaller: s or 7?
s
Let f be ((-6)/(-10))/((-1)/(-5)). Suppose 5*j - 5 = 0, -f*y - 5 = j + 3. Is y != 1?
True
Let g(q) be the third derivative of -q**5/60 + 3*q**4/8 - 3*q**3/2 - 5*q**2. Let i be g(8). Is -0.11 at most i?
False
Let b = 1861/12 - 155. Which is greater: b or 1?
1
Let y(b) = -b**3 + 5*b**2 - 3*b - 3. Let c be y(4). Let q = -9 - -19. Let f be (-2 + 16/q)/2. Are c and f non-equal?
True
Let u be -1 - (4 + -8) - (-40)/6. Which is greater: u or 10?
10
Let n(i) = i. Let p(f) = 3*f - 1. Let a(v) = 5*n(v) - 2*p(v). Let q be a(2). Which is greater: -1/8 or q?
q
Let k = 0.02 + 0.06. Let b = -5.08 + k. Which is smaller: 0 or b?
b
Suppose 5*j = -d + 1, -5*j + 2 = -d + 3. Which is greater: 2/3 or d?
d
Suppose 2*a - 4*t = 5*a - 12, -5*a - 3 = -t. Let g be (-35)/63*3/15. Which is smaller: g or a?
g
Suppose 0 = -2*q - 0*q + 16. Let j = q - 8. Suppose 2*b - 6*b + 8 = j. Is b >= 0?
True
Suppose 0 = 2*o - 5*t + 16, 3*t = o + t + 6. Suppose 5*v + 8 - 35 = 4*h, 5*v + h - 12 = 0. Suppose v = -o*j - 3. Which is smaller: -4 or j?
-4
Let b = -1.12 + 1.07. Is b less than or equal to -4?
False
Let c = 20 + -20. Suppose -j + 0*j + 1 = c. Do 6/19 and j have the same value?
False
Suppose -2*c = -2*v + 8, -v - 2*c + 16 = 3*c. Suppose -x = x - 2. Let a be 4*(x + v/(-8)). Which is smaller: a or 0?
0
Suppose -2 = 4*c + 2. Let y be c/(-2 - -2 - 1). Let z = -16 + 15.5. Do z and y have the same value?
False
Let m be 2 - (5 + 90/(-29)). Which is smaller: m or 1?
m
Suppose 3*d = p + 1, -7 = -4*d - 3. Which is greater: 22/7 or p?
22/7
Suppose h + 3 = 4. Which is smaller: h or 4?
h
Let x be -3 + (-1)/(-1) - 0. Which is bigger: x or -6/7?
-6/7
Let b = -0.96 + 1.2. Let r = -0.14 + b. Which is greater: r or 2/7?
2/7
Let d be 4326/27 + 2/(-9). Let k be (-2)/(-5) + d/(-650). Are k and 1 equal?
False
Suppose 2*x = -q - 14, 3*x - 2*x = -4*q - 56. Let b = q + 26. Is b less than or equal to 12?
True
Suppose 5*w + 4*b = 30, -5*b - 15 + 42 = w. Suppose -4*t + 3*s = -208, 0 = -4*t + s - w*s + 224. Let n be t/(-150) - (-2)/4. Is 1 > n?
True
Let x(g) be the third derivative of -g**4/24 - g**3/3 + g**2. Let s be x(0). Which is smaller: -3 or s?
-3
Let v = -13 - -18. Let b = -3 + v. Let o = -427/5 + 86. Are b and o equal?
False
Suppose 0*m + 5 = 5*h - 2*m, 2*m + 15 = -5*h. Let r be 32/(-7) - (-18 - -14). Which is smaller: h or r?
h
Let b(z) = z + 1. Let x = 10 - 9. Let n be b(x). Is 4/7 less than n?
True
Let u = 7 + -23. Let i = u + 14. Which is greater: i or -1/2?
-1/2
Let k be ((-4)/10)/(4/(-20)*1). Is 6 > k?
True
Let y = -0.07 - -0.08. Let c = -0.11 + y. Is 0.6 bigger than c?
True
Let m = 113 + -105. Suppose 28 + 4 = 4*l. Do m and l have the same value?
True
Let f(h) = h**3 - 9*h**2 - 9*h - 9. Let o be f(10). Let w be (-1 - o) + (-4 - -8). Let s be (4/2)/(10/3). Which is bigger: s or w?
w
Let l = 5 - 4. Let d = 3 - l. Which is smaller: d or -0.2?
-0.2
Let b be (-2)/(-3) - 172/(-462). Let a be (-6)/88 - (-5)/4. Let o = a - b. Which is bigger: o or -1?
o
Let w be ((-6)/(-27))/((-8)/11). Let x = w + 337/396. Which is greater: 2 or x?
2
Let l = -16 - -15.99. Let s = -0.33 + 0.74. Let i = l + s. Which is smaller: i or 0?
0
Let u = 12 - 20. Let v(a) = a + 6. Let c be v(u). Which is greater: c or -1?
-1
Suppose -t - 66 = 2*t. Let s be (-4)/t - (-31)/11. Let z = s + -6. Is -3 >= z?
True
Let q = -7 - -39/5. Let s be (-4)/6*(-3)/2. Is s greater than or equal to q?
True
Let o = 0.61 - 0.31. Is o smaller than -0.03?
False
Let f be (-2)/(-1 - 1)*-12. Let u = 46 - 46. Is f greater than or equal to u?
False
Suppose 4*i - 7 = 5. Suppose i*w + 0*w = -3. Which is bigger: -2/9 or w?
-2/9
Let h be 8 - ((-6)/21 + 23/7). Let v(x) = x**2 + 2*x - 1. Let m be v(-4). Are m and h unequal?
True
Let d = -7 + 25. Let l = -17.9 + d. Is -0.2 not equal to l?
True
Let s be (-10)/8 - (-1)/4. Is 2/13 at most as big as s?
False
Let m = 157/4045 + 60499809/32360. Let i = m + -1874. Let z = i + 137/24. Is 2 at least as big as z?
True
Let u = 30508/39 + -781. Let w = u - 51/13. Is w equal to -4?
False
Let b(w) = -w + 1. Let m be b(4). Let z(a) = a**3 + 4*a**2 + 3*a - 4. Let v be z(m). Is v at least as big as -3?
False
Let l = 7/10 + 2/15. Are l and 0 equal?
False
Let p = -46.77 + 47. Which is smaller: -1 or p?
-1
Let r(y) = -y**3 - 10*y**2 + 12*y + 13. Let h be r(-11). Which is bigger: h or -2?
h
Let y be -2 - -1 - (0 - 0). Let q = -2 + y. Let d be (5/q - -2) + 0. Which is bigger: -0.1 or d?
d
Let s = -19 + 11. Is s at most -8?
True
Let h = 3.9 - 2.7. Is h less than -3/2?
False
Suppose -3*u = 43 + 11. Do -17 and u have different values?
True
Let r be 9/36 + 73/(-4). Is r less than -18?
False
Let f = 3.4 - 3.4. Which is smaller: f or 2?
f
Let a = -5.95 + -1.35. Let y = 7 + a. Let w = -13 - -11. Which is smaller: w or y?
w
Let t = -99 + 88. Is -2 at most t?
False
Suppose -w - n = 2*n - 17, 4*w - 47 = -5*n. Suppose -3*d + w*d = 0. Let h = -5 - -11/2. Is d less than h?
True
Suppose s + 0*y - 19 = 4*y, y + 4 = 0. Suppose -s*f + 8 = -f. Let i be f*((-9)/12)/1. Is i smaller than -3?
False
Let c(g) = g + 5. Suppose -12 - 6 = 3*i. Let h be c(i). Let d be h/((3 + -1)/(-2)). Which is greater: d or 4/3?
4/3
Let g be 212/(-18) - 8/36. Which is smaller: g or -11?
g
Let y = 19.1 - 19.3. Is y less than or equal to -4.3?
False
Suppose 7*t + 0*t = 7. Which is smaller: t or -1/16?
-1/16
Suppose 4*n + 2 = 6. Let q = n - 0. Which is smaller: 0.1 or q?
0.1
Let k be -2 + 3/3 + 3. Let l(f) = -f**3 + 7*f**2 - 4*f. Let n be l(6). Let v be (-1)/(-3) - (-5)/n. Are v and k unequal?
True
Let q = -3 - 1. Let x = 44 - 47. Is q greater than x?
False
Let p = -59/21 - -22/7. Let t = -38050/7 - -5249. Let i = t + 187. Do i and p have different values?
True
Suppose -2 = -p + 1, -2*b + 1 = 5*p. Let s be (-220)/(-35) - (-2)/b. Let u be s/15 - 16/(-10). Which is smaller: 2/3 or u?
2/3
Let u(d) = 2*d + 6. Let p be u(-4). Let j be (-2)/(-5) - 186/15. Let w = j - -9. Which is bigger: w or p?
p
Let p = 17 - 12. Is p at most as big as 5?
True
Let i = 2 + -1. Is -2/23 < i?
True
Let z = 4 - 3. Let g be (6/4 - z)*6. Suppose 0*x + 3 = g*x. Is 2/11 greater than or equal to x?
False
Let v = -1.4 + 5.4. Let c = -18 + v. Which is bigger: 0 or c?
0
Let c(a) = a**3 + 5*a**2 + 3*a + 4. Let m(s) = -4*s. Let x be m(1). Let i be c(x). Let h = -4 + i. Which is smaller: 3 or h?
3
Suppose 5*k - 12 = 2*k. Let m be -4*(2 + (-10)/k). Are 4 and m unequal?
True
Let k = 72 + -86. Which is greater: k or -16?
k
Let g = -28.07 - -27. Let l = g - -0.07. Let z = 3 - 2.8. Do l and z have different values?
True
Let b = -3681 + 18467/5. Let h = 429/35 - b. Is 0 <= h?
False
Suppose 5*r = -4*s + 29, 3 = -3*s - 3*r + 21. Is 8/9 > s?
False
Suppose -62 = u - 20. Let i be (12/(-14))/(9/u). Which is bigger: 14/5 or i?
i
Let h be (-4)/(-1 + 9/(-3)). Is 1 less than h?
False
Let g(o) = -o**2 - o - 1. Let q be g(0). Which is greater: -1/19 or q?
-1/19
Let h be (2/(-28))/((-11)/33). Which is smaller: h or -1?
-1
Let t = 130.98 + -131. Is t smaller than -0.02?
False
Suppose 0 = 5*a + 3*w + 30, 2*a - w - 6 = 3*a. Let u = a - -4. Do -2 and u have the same value?
True
Suppose -4*l - 12 = -4*y, 3*y - 4*l - 5 + 0 = 0. Is y less than or equal to 9?
True
Let d = -43 + 44. Is d smaller than -2/5?
False
Let r be (1*-1*1)/(-1). Let b(h) = -3*h**2 - 34*h - 10. Let x be b(-11). Is r >= x?
True
Suppose -5*j - 15 = -0. Let k = j - -3. Suppose k*d - 2 = d. Is d <= -4?
False
Suppose 4*o = -8 + 16. Which is smaller: 11/4 or o?
o
Suppose 4*z - c = -124, 5*z + 4*c + 0*c + 134 = 0. Let h be ((-8)/z)/(36/(-10)). Which is smaller: h or -1?
-1
Let a = 4.9 - 5. Is -0.1 equal to a?
True
Let o be 42/(-9) + 3/(-9). Let t be 95/15 + 4/6. Let g = o + t. Is g at least 2/3?
True
Let n be (-7)/(35/20) + 18. Is 13 smaller than n?
True
Suppose -4*c = 4*u + u - 97, -5*u + 95 = 5*c. Is 21 smaller than u?
False
Suppose -3*s = -2*s - 3. Let y(b) = -3*b + 1. Let v be y(-1). Is s < v?
True
Let v = 8 - 20. Let x be 4/6 + 20/v. Is x at most as big as -1?
True
Let a(f) = -2*f**2 - 10*f + 1. Let w be a(-5). Which is bigger: -2/27 or w?
w
Let t = -2.8 - 0.2. Let v = 3.2 + t. Let l = v + 0. Which is bigger: 2 or l?
2
Suppose 20 = 5*k - 2*m, -5*m + 2*m = 5*k - 20. Which