*u + 0 = 6. Let p be 3057/(-45) + u/(-3). Let c = p + 69. Is 0.1 < c?
True
Suppose -3*w - w = -12. Let a be (0 - 0)/(-2 + w). Which is bigger: a or 3/4?
3/4
Let i = 2 + -2. Suppose 2*o + u - 14 = i, 0 = u - 4*u + 6. Let n be 3/9 + (-1)/o. Which is bigger: 0 or n?
n
Suppose 3*d - j = -59, -13 = -4*j + 7. Which is smaller: -19 or d?
-19
Let l be (-2)/4 - ((-295)/50 - -5). Which is smaller: 0 or l?
0
Let z(l) = 14*l + 55. Let f be z(-4). Let s = -3 - -1. Is s at least as big as f?
False
Let t = 82 + -82. Which is bigger: 2/35 or t?
2/35
Suppose 4*l = 17 + 23. Let i = -13 + l. Which is bigger: i or -4?
i
Let h(p) be the second derivative of p**5/20 - p**4/2 + p**3 - 7*p**2/2 - 2*p. Let n be h(5). Is n less than or equal to -1?
True
Let d = 1 + -1. Which is greater: 3/7 or d?
3/7
Let a be (2 + -2)/((-2)/(-1)). Let l = -2 - a. Suppose -5*k - 3*b - 17 = -0*b, 5*b = k + 9. Is k greater than or equal to l?
False
Let p = 105 + -223. Which is smaller: -117 or p?
p
Suppose -s = -2*s. Let f be ((-11)/(-2))/((-10)/(-95)). Let p = 52 - f. Do p and s have the same value?
False
Let a = -10.93 + 11. Let o = a - 0.17. Which is smaller: o or 1?
o
Let o(i) = -i + 12. Let u be o(9). Let p = -4 + u. Let b be 2/8 - (-5)/140. Is p less than or equal to b?
True
Let c be 4/(-18)*9/12. Which is smaller: 1 or c?
c
Let i = 19 - 16. Let k(f) = -f**3 - 4*f**2 - 2*f + 4. Let t be k(-3). Are t and i non-equal?
True
Let a be ((-6)/1212)/((-3)/12). Is 1 greater than or equal to a?
True
Let k be 0/4 + 176/(-3). Let a = -58 - k. Which is bigger: -2 or a?
a
Let o be (2/2 + -1)/2. Let v be o - 0 - (-2 - 2). Suppose 4*p - 16 = v*t, -4*p - 4*t = -6*t - 16. Which is greater: p or 3?
p
Let c = 1 + -2. Let d be c + 1 + (-1 - 1). Let o be (-2)/((-2)/(d - -1)). Is o greater than 0?
False
Suppose 5*p = -0*p - 3*v - 22, -4*p + 5*v = 25. Let o = 9 + p. Suppose -s = -o*s. Is 1 <= s?
False
Let c = 1485/8 - 186. Which is smaller: c or 0?
c
Let d be (3 - 4)*1 + 2/26. Which is smaller: 0 or d?
d
Let p = 20 - 10. Which is smaller: p or 12?
p
Let u = -0.04 + 0.12. Let o = u - 0.04. Is -1 at most as big as o?
True
Let w = 5 - 8. Is -2 > w?
True
Let g be (84/(-10))/(-6) + 0. Which is greater: g or 0?
g
Let r = -9.3 + 9.2. Are r and -13 unequal?
True
Let h be (21/(-12))/(-1 + (-68)/(-48)). Is h at most -2/7?
True
Let z be -5 + (3 - -3) - -7. Is 3 not equal to z?
True
Let x be 3*(4/16)/((-15)/(-8)). Let z be -2*2/(-8)*-2. Do z and x have the same value?
False
Let y = 1 - 1. Let r = 179 + -538/3. Is r greater than or equal to y?
False
Let w = -21 - -29. Let b = -14 + w. Let h = b + 6.4. Which is smaller: -1 or h?
-1
Let x = 6 + -1. Let m be 2/(4/(-3) - -2). Suppose -x*w = -m*w + 6. Which is greater: -4 or w?
w
Let a = 0.108 - -7.892. Is -4 equal to a?
False
Suppose -5*r - 4*y = -3*r + 20, 2*r + 2*y = -10. Suppose r = 2*t + t + 54. Let h be (-5)/3 + (-12)/t. Is h != -1/3?
True
Let j = -8.7 - -10. Let i = 1.5 - j. Which is greater: i or 0?
i
Suppose w - 5*x = -6, 3*x = -3*w - x - 56. Let v = w - -15. Is 2/49 at most v?
False
Let r = -26 + 44. Suppose 2*u - r = 3*u + 5*x, 3*u - 4*x = 3. Is u at most as big as 2?
True
Let s = 3 - 2. Let a = 3 - s. Let r = 1 - a. Is r < -1/4?
True
Let s = 1.7 + -5.7. Let c = s + 4. Which is smaller: -4 or c?
-4
Let x(w) = -w**2 + 10*w + 29. Let n be x(13). Are -56/5 and n equal?
False
Let c(z) = -1 + 0 + 1 - z**3 - 3 - 2*z**2 + 2*z. Let n be c(-3). Let y = -0.1 + 0.2. Does y = n?
False
Let i be 6*7/20 - 2. Is i at least as big as 0.2?
False
Let g = -9 - -9. Which is bigger: 3/10 or g?
3/10
Suppose -4 - 9 = -4*a - l, 0 = a - 4*l - 16. Suppose a*v = -0*v. Which is bigger: -2/7 or v?
v
Let u = -2.7 - -2.4. Is 10 at most as big as u?
False
Let m = 3 + 1. Let l be 4/(-63) - m/18. Do l and 0 have the same value?
False
Suppose 0 = -f - 3*q - 8, -3*f - 3 + 0 = 2*q. Does f = -1/3?
False
Let f = 8 - 8.6. Let v = f + 0.7. Is 4/7 at most as big as v?
False
Let t = -1 - -5. Suppose -4*q + 9 = w, w + t*w - 4*q - 21 = 0. Suppose -3*p = 3*l - 3, -4*l + w*p - 10 = 13. Which is smaller: -3 or l?
-3
Suppose 0*q + 4*q - 5*z = 21, 5*q - 5*z = 20. Let f = 1/5 + 2/15. Is f at most q?
False
Suppose 0 = 5*c + 2*c + 154. Let v = -23 - c. Which is greater: v or -3/16?
-3/16
Let b be 8/(-6)*11/66. Which is smaller: -1 or b?
-1
Let h = 13 + -19. Is -8 > h?
False
Suppose -17 = 5*a + 8. Suppose 5 = -2*s - 17. Let w = 6 + s. Is w < a?
False
Let u = 523 + -8888/17. Are u and -1 nonequal?
True
Let d = -1 - -3. Suppose -1 = d*t + 1. Suppose 5*r + 2 = -3. Do r and t have the same value?
True
Let p = -66 - -727/11. Which is greater: p or -0.02?
p
Let q be 0 + -3 + 742 - 2. Let r = 5150/7 - q. Which is bigger: r or 0?
0
Suppose 0 = -v - 2*v + 4*c + 2, -c = -5*v - 8. Suppose 4*n - 3*j = 3*n + 15, 4*j + 20 = 3*n. Suppose n = h - 3*h. Is v at least as big as h?
False
Let u(n) = n**2 + n - 5. Let j be u(0). Let w be 2/j*15/(-9). Does 2 = w?
False
Let k(y) = -y + 4. Let c be k(3). Let f = c - -1. Suppose -6*i + f*i = 3*s + 4, -i + 5*s = 1. Is i at most 0?
True
Let a be (1 - -1) + -1 + -1. Let s be (-1 - 9)*2/4. Let z be 2/8 - s/(-10). Which is greater: a or z?
a
Let m = 9 - 10. Let t = -16 + 16.4. Which is greater: m or t?
t
Let z(c) = 2*c + 3. Let m be (-8 - -1) + 1 + 2. Let q be z(m). Suppose -2*p + 15 = -5*p. Do p and q have different values?
False
Let d be (-3)/((-6)/8) + -25. Is d at most -20?
True
Let v be (2 - 3) + 15/9. Which is greater: -0.08 or v?
v
Let i = 340/7 + -49. Let t = 36/35 + i. Which is smaller: 2/5 or t?
2/5
Let o(n) = -n**3 + 5*n**2 - 3*n - 1. Let p be o(4). Suppose 3*y + 32 = -p*d - 2*y, 5*d = 4*y - 4. Let z be 5/10 - (-2)/d. Which is smaller: z or 3?
z
Suppose x + 2*l + 0*l = -6, -3*x - 2 = 2*l. Is 0 equal to x?
False
Let d(l) = -l - 11. Let x be d(-6). Let u be 2/(-4)*-4 - 10. Let f = -13 - u. Is x < f?
False
Let d(r) = -r**3 - 5*r**2 - 3*r + 3. Let h be d(-4). Let c = 0.21 - 0.61. Is h > c?
False
Suppose -2 = 2*o - 5*y - 0, -y = -o - 1. Let m be ((-84)/(-3) - 1) + -3. Let h be -2 + 21/m + 1. Is h at least o?
True
Suppose 5 = u + 3. Suppose -u = -m - m. Is 2 equal to m?
False
Let h be 68/10 + 4/(-5). Which is smaller: 3 or h?
3
Let o = -6 + 3. Let u = o - -5. Let g be 14/(-6) + 1 + u. Which is greater: 0 or g?
g
Let p = 22 - 22. Which is bigger: -4 or p?
p
Let s = -48 - -146/3. Let u = 252.07 - 249. Let d = u - 0.07. Which is smaller: d or s?
s
Let v = 1578/205 - 38/5. Is v at most as big as 0?
False
Let g = -0.3 - -1.3. Let u = -2 - -3. Let b = u - g. Is b at most as big as 3?
True
Let j = -27 + 21. Which is smaller: -7 or j?
-7
Let t = 2736 + -818066/299. Is t less than or equal to 0?
True
Let t(d) = -d**2 + 1. Let u(s) = s**2 + 4*s - 6. Let b(x) = 4*t(x) + u(x). Let c be b(2). Let p be (2/c)/((-2)/6). Is p < -1/5?
False
Let a be (-104)/(-90) + 2/5. Suppose 0 = 2*l - 5*p + 21, -l - 2*p = -0*l - 12. Do l and a have the same value?
False
Suppose -3*y + 4*y + 1 = 0. Let c be (-2)/10*10/(-2). Which is bigger: c or y?
c
Suppose -2*s - c - 13 = -4*s, 10 = -2*c. Which is smaller: -1 or s?
-1
Suppose 2*f = 17 - 5. Let j be f - 0/(-2 - -5). Suppose 4*h + 5 = p, -3*p = -h + j*h + 2. Which is smaller: 1/3 or h?
h
Let w be 3/(-4) - (-42)/88. Which is bigger: w or 0?
0
Let r = 41 + -61. Is r greater than -19?
False
Let m(b) = -b**3 + 3*b**2 + 2*b + 5. Let r be m(4). Let o be ((-1)/r)/((-2)/6). Is o at least as big as -2?
True
Suppose -4*h = 4*v - 4, 0 = -2*h - 3*h + v + 35. Let l = -188 + 385/2. Are l and h unequal?
True
Let g(l) = -l**2 + 15*l - 26. Let m be g(7). Is m not equal to 31?
True
Let n = -30 - -32. Is n <= -0.4?
False
Let x(g) = 3*g - 30. Let a be x(8). Are a and -4 unequal?
True
Let a = -15124455/52952 + 5/6619. Let j = a + 286. Is 1 greater than j?
True
Let s = -0.33 - -0.03. Let j = -15 + 17. Let z = 1.9 - j. Are s and z equal?
False
Let q(a) = -2*a + 37. Let d be q(17). Which is smaller: d or 21/11?
21/11
Let q = 35/3 - 181/15. Suppose 11 = -0*p - 4*p + 3*d, 3*p + 4*d - 23 = 0. Which is greater: q or p?
p
Let f = -2 + 5. Suppose 3*v - 5*y - 2 + 4 = 0, -42 = -5*v - f*y. Suppose -2*n = n - v. Is 2 != n?
False
Let l = -7 - -7. Let j(k) = -k**2 + 11*k - 18. Let n be j(9). Is l at most as big as n?
True
Suppose 27*u + 9 = 24*u. Which is smaller: -8/3 or u?
u
Suppose 0 = -5*a + 2*j + 30, 