-15 - b. Let c = t + -9. Do c and 0.03 have different values?
True
Suppose 5*q - 26 - 14 = 0. Suppose -x + q + 27 = 0. Let u be x/(-42)*(-8)/15. Does u = 0?
False
Let x = -101287/5 - -20321. Which is greater: x or 64?
64
Let r = -532 + 531.6. Is r at most 31?
True
Suppose -2*c = -7*c - 385. Let t be 4/14 - (-1331)/c. Let r = t + 17. Which is smaller: r or 19?
r
Let f = -15.1 + 17.94. Let g = 0.16 + f. Let o = -2 - -1. Do o and g have different values?
True
Suppose -5*c + 29 = 3*o + 9, 3*c = -o + 8. Let h be (c/(-1))/(1/(-73)). Which is greater: 72 or h?
h
Let p be (-18 + 78)/(6/32). Suppose 0*d - 3*d = 12, 5*t = -d - 39. Let o be 3/t + p/(-70). Is -5 greater than or equal to o?
True
Let f be ((-8)/(-6))/((-12)/(-18)). Let k be (-2)/9 + f/9. Which is smaller: 12 or k?
k
Let s = -44 - -45. Do s and -13.9 have the same value?
False
Let b(v) = -v**2 - 6*v - 6. Let z be b(-6). Suppose 4*p + 3*p = 14. Suppose -2*n - 16 + p = 0. Which is greater: n or z?
z
Let s be (2 + -2 + 4)*(14 - (-3 - -13)). Let f be (50/(-14) + 1)*-7. Is f >= s?
True
Let d(n) = n**3 + 6*n**2 + n + 6. Let k be d(-6). Let w = 73 + -60. Do k and w have different values?
True
Suppose -3*q + 9 = 54. Is -22 not equal to q?
True
Let c(y) = y**3 + 5*y**2 - 1. Let n be c(-5). Suppose -3*s + 6 = 12. Let a be (1*s/32)/((-160)/(-64)). Is a != n?
True
Let o = -917 - -926. Is -0.051 < o?
True
Suppose 1 = -z - 10. Let n(i) = i**2 + 11*i - 2. Let t be n(z). Is 0.2 > t?
True
Let q be ((-20)/18 + -2)*66/(-132). Do q and 3 have the same value?
False
Suppose 0 = -d - 1 - 0. Suppose 121*v + 10 = 126*v. Which is greater: v or d?
v
Let f = -31503/153461 - 5/1993. Are f and 1 nonequal?
True
Let s be ((-44)/6 + 0)*3. Let i be ((-469)/(-14))/((-72)/48). Is s < i?
False
Let q = 2.3 + -16.3. Let r = -14.1 - q. Is 21 >= r?
True
Let b(w) = 3*w**2 + 1. Let v be b(-1). Suppose 0 = -3*x - 4*a - 28, -x + 36 = -2*x + v*a. Is x at least as big as -17?
True
Let h(w) = -w**2 + 14*w + 32. Let z be 14 + 8/(-14)*7/(-2). Let j be h(z). Let r = -11/13 - -107/65. Are r and j equal?
False
Let t = 1.14 + -1.16. Let b = t - 0.18. Which is smaller: b or -0.23?
-0.23
Let t(k) = k**3 - k**2 + k + 2. Let n be t(2). Let f = 15 - n. Is 7 not equal to f?
False
Let u be (-16)/(-7) - (-2)/(-7). Let f = 2 - u. Let w be -1 - f/(8/4). Is w <= 2/17?
True
Let g = -25 + 26. Let v = -4 + g. Is 0 not equal to v?
True
Let v be (-110)/8*-1*48/3. Which is bigger: v or 221?
221
Let u = 23 + -19. Suppose -4*q = -0*q - u. Let m = -1/37 + 40/111. Is q at least m?
True
Let t = -890/9 + 99. Let m = -5 + -11. Let o = m + 14. Which is smaller: o or t?
o
Let q = -17 + -10. Let f = 4716 - 4716. Does f = q?
False
Let a = 0.17 - -30.83. Is 0.3 > a?
False
Let h(b) = 3*b - 13. Let l be h(7). Let p be ((-2)/(-6))/((-3)/(-36)). Suppose u = 5*u - p. Which is greater: u or l?
l
Let c = -14/1474233 - -10829226419/232928814. Let l = -2/237 - c. Is l at least as big as 1?
False
Let w = -9638/21 - -459. Is w greater than 0?
True
Let c be 4*(-60)/48*-1. Suppose -30 = -l - 4*l. Which is bigger: c or l?
l
Suppose 3*t - 170 - 442 = 0. Suppose 0*a - 6*a + t = 0. Is 33 greater than or equal to a?
False
Suppose -16*m + 14*m + 16 = 0. Do m and 35/4 have the same value?
False
Let i = 112 - 52. Let s be (1/4)/(3/i). Suppose -5*b + 4*x = -14, -b - 4*b + 50 = s*x. Which is greater: 3 or b?
b
Suppose -2*u = 4 - 2, 4*u = -3*j - 16. Let b = 1 + j. Let l be (-38)/21 + -7*(-7)/343. Is b bigger than l?
False
Let c = -1/337 - 8423/674. Suppose 20*s + 158 + 102 = 0. Which is greater: s or c?
c
Let d = 3 + 2. Suppose 5*q - 90 = d*l, q + 7*l - 6 = 4*l. Suppose -5*x = 10 + q. Which is bigger: x or -13/3?
-13/3
Suppose -392 = -o - s, 8*s = 7*s - 2. Is 1/2 >= o?
False
Let i be (20/(-24))/((-19)/6954). Is i > 306?
False
Suppose 136 = -18*j + 23*j + 2*p, 0 = -4*j + 5*p + 122. Let v = 65 - 38. Which is smaller: v or j?
v
Let m = 5.34 - 0.44. Let v = -7 + 2. Let k = v + m. Is k < 4/9?
True
Suppose 3*g + 19 = 4*k, 4*g + k = 2*k - 8. Let p(y) = -116*y + y**3 - 6*y**2 + 116*y + 11. Let f be p(5). Which is smaller: g or f?
f
Suppose -4*v - 1 = g, -3*g - 18 = -4*v + v. Let i be ((-1)/g)/(1/1). Suppose 5*r + 0*z = 4*z + 5, -4*r + 4 = -5*z. Which is smaller: r or i?
i
Let r(h) = 2*h**3 + h + 1. Let z be r(-1). Let b = z - 1. Let y(n) = n**2 - 3. Let j be y(b). Is 8 smaller than j?
False
Suppose 3*q = -j + 15, -j = -0*q + 5*q - 25. Suppose j = o + 25 - 12. Does o = -1/2?
False
Let u = -0.03 - -0.09. Which is smaller: -1 or u?
-1
Let x(q) = q**3 - 7*q**2 + 14*q + 4. Let p be x(6). Is p greater than 55?
False
Let p = -1.2 - -1.16. Let f = p + 0. Let a = 23/35 - 6/7. Which is bigger: f or a?
f
Let b = -1673 + 1675. Let s = -1/39 - -119/78. Is b at most as big as s?
False
Let p(x) be the second derivative of -x**6/120 - x**5/12 - x**4/6 + x**3/3 + 2*x**2 - 2*x. Let j(q) be the first derivative of p(q). Let t be j(-4). Is 0 > t?
False
Let a(x) = -2*x - 24. Let w be a(-9). Let z be (2 + (-525)/261)*w. Which is bigger: z or 0?
z
Suppose -4*u + 10 = 18. Let t be 4 + 4/u + -9. Is t <= -6?
True
Suppose 5*x = -3*q + 20, -2*x - 5*q = -3*x + 32. Suppose -2*b - 4*z = -8 - 28, -4*z = -4*b. Which is smaller: b or x?
b
Suppose a + r - 22 = 0, 3*a + 2*r - 59 = 6*r. Suppose a = d + 5*b, 2*d + 0*b + 2*b = 10. Is 3 at most d?
False
Let w = -38 - -42. Let z be 2*(-6)/(-52)*w/30. Which is smaller: 0 or z?
0
Let a = -4.5 + -0.5. Let t = a - -4.9. Let w = 4.22 + -0.22. Is t smaller than w?
True
Let z = 9 + -4. Let a be 9/3 + -3 + -2. Let b be a/(-4 + z + -3). Is -1/29 != b?
True
Let r = 4 + -3.6. Let j = 34 - 33.6. Let i = r - j. Which is greater: i or 0.06?
0.06
Suppose -2*k + 5*k - 28 = 5*z, -z - 20 = -3*k. Let l be (-394)/854 - k/(-14). Let v = 667/122 - l. Which is bigger: 5 or v?
v
Suppose -3*l + 4 = -2*l, -4*l - 12 = y. Let f be (-22)/y + (-6)/21. Let z be ((-330)/(-45) + -9)/(5/(-6)). Which is smaller: f or z?
f
Suppose s + 8 - 14 = 0. Let h be ((-2)/s)/(16/168). Let a(f) = f**3 + 13*f**2 - 14*f - 4. Let m be a(-14). Which is greater: m or h?
h
Let k be (-141)/12*(2 - 0 - -2). Are -44 and k equal?
False
Let n be 5 - (-2 - (-48)/8). Which is smaller: n or 128?
n
Suppose -3*h = 5*m - 3*m - 6, -m = 0. Is 16 smaller than h?
False
Let v(h) = 3*h**3 - 27*h**2 - 1. Let x be v(9). Which is greater: x or -10/13?
-10/13
Let q = 27.8949 + 0.1051. Which is bigger: -3/5 or q?
q
Let m be 16/(-12) + 354/9. Does m = 38?
True
Let h be (-2)/14 - 543*(-2)/(-42). Is h bigger than -25?
False
Let l = -13 + 3. Let b = 20 + l. Let a = b + -17. Which is bigger: -0.1 or a?
-0.1
Let t = 765 + -763. Which is smaller: t or 15/22?
15/22
Let m = 109 - 108.58. Let z = 0.07 - -0.05. Let b = z - m. Is -1/2 != b?
True
Let c = 6.1 - 1.1. Which is smaller: c or -89?
-89
Let m = -35 - -15. Let f = 0.084 + -0.084. Which is smaller: m or f?
m
Let g be (-1 + -2)/(-3)*0. Suppose 0 = d + 5*b + 14, 3 = -3*b - g. Let n be 7*(4 + d/3). Is n < 9?
True
Let q = 253.73 - 27.73. Is 2/11 > q?
False
Let s = 86.185 + -0.785. Let k = 73 - s. Let z = 12 + k. Is 0.2 smaller than z?
False
Let x = 4.2 - 3.73. Let p = 0.37 - x. Is 10 > p?
True
Let o(u) = u + 18. Let i be o(-18). Suppose -4*s = -2*t + 14, i*t - 3*t + 3 = 0. Is s less than -20/11?
True
Suppose -i + 12 = i. Suppose 3*v - i*v = 3. Which is smaller: -3 or v?
-3
Let h = -169/4 - -42. Let g = -35.851 - 0.149. Let n = g + 44. Is h < n?
True
Let b(w) = -9*w + 80. Let s be b(6). Is 79/3 at least as big as s?
True
Suppose -407 = 8*i - 479. Let j(x) = x - 4. Let f be j(8). Is f greater than or equal to i?
False
Let s = 38 - 88. Let t = -1188 - -1138. Is s greater than t?
False
Let i = -680 - -3386/5. Let p(t) be the second derivative of t**3/6 - t. Let w be p(-3). Which is greater: i or w?
i
Let s = 91.757 - 92.3. Let k = s - -0.043. Is -10 <= k?
True
Let f = -33 + 40. Let t be 12/(-3)*f + -2. Is t at least -29?
False
Suppose u + 2 = -d, 5*u + 69 = 79. Let x be (-14)/(-6) + -2 + -4. Are x and d non-equal?
True
Let h be 350/63 - 1 - 6/2. Is 4 > h?
True
Let k(g) = -30*g. Let o be k(-2). Suppose 0 = -d - 2*s + 15, 3*s - o = -4*d + 5*s. Suppose -4*w - v - d = -6, 0 = -2*v - 10. Is w equal to -0.18?
False
Let w(f) = 21*f - 508. Let h be w(19). Is h less than or equal to -111?
False
Let c be (-381)/24 - 13/104. Let z be (-2