d - 16. Suppose q*c - d = -2. Is c >= 1/15?
True
Let v(b) = -b**2 + 8*b + 5. Let k be v(8). Suppose k*d - 4*n - n - 60 = 0, 5*d + n = 30. Is d greater than 8?
False
Let c be 40/6 - (-10)/(-15). Suppose n - 3 = -3*o, c*n - 4 = -5*o + 4*n. Suppose 4*j - 16 = -2*t, -3*t - 5*j + 20 = -o*t. Is -1/3 equal to t?
False
Let g = -9.9 + 1.9. Let v = -7.87 - g. Which is smaller: -1 or v?
-1
Let b be 3 - -1*2/1. Suppose 5*u - b = 5*n, 2 + 4 = 3*u. Let j = -0.05 + 0.15. Which is smaller: n or j?
j
Let c = 40 + -358/9. Is c != -0.4?
True
Let b be 2/3 - ((-28)/21 + 2). Which is bigger: 2/29 or b?
2/29
Let x = -462 - -6943/15. Let o = 4/5 + x. Do 1 and o have different values?
True
Suppose 4*y - 18 = -2*c, y = -c - 4*y + 24. Let v be (-2)/7 + 940/56. Let f = v + -167/10. Is f bigger than c?
True
Let h = -4.84 - -5. Let q = 0.06 - h. Is q less than or equal to 0?
True
Let q be (-6 + 7)/(-2 - 79/(-41)). Is q greater than -14?
True
Let j = 15 + -15. Suppose -4*i = 2*r - 9 + 3, -5*r + 5*i - 15 = j. Is -1/5 at least as big as r?
True
Let t be 2*(((-69)/6)/(-1) - -1). Is t at least 23?
True
Suppose -4*s = 11 + 53. Let v = -17 - s. Let a = 344/7 + -49. Which is smaller: v or a?
v
Suppose 0 = -2*k - 8, 2*w + 3 = -2*k - 1. Suppose -3*r + 4 = -w*t, -2*r + 5*r + t = -2. Which is bigger: r or -1/9?
r
Let w be (132/(-198))/(1/(-6)*-2). Let o be 33/2 - (-1)/(-2). Let m be 20/o - (-1 - w). Are 1 and m equal?
False
Let q = -7.96 + 8. Let c = -0.44 + q. Let f = 0.3 + c. Which is greater: f or 0.3?
0.3
Let h be (-27)/(-18)*14/3. Suppose h = 5*u + 2. Suppose -u = -v - 3. Is v smaller than -6/11?
True
Suppose -3*h + 0 + 6 = 0, 8 = 2*x + 4*h. Suppose x = 4*s - 13 - 3, 8 = -4*j + 3*s. Let z(v) = v**2 + 4*v - 1. Let y be z(-4). Is y bigger than j?
False
Let n = 583/2 - 300. Let w(u) = u**2 + 14*u - 25. Let f be w(-15). Is n != f?
True
Suppose 5*g + 12 + 8 = -4*r, 0 = -4*g + 2*r + 10. Let v = 1 + -1. Is g at most v?
True
Let i(z) = -z**3 - 3*z**2 - 3*z - 2. Let r be i(-3). Let f = r - 7. Which is smaller: -1/2 or f?
-1/2
Let i = 1 + -1. Let y = 8.33 - 8. Let b = y - 0.03. Which is smaller: i or b?
i
Let l = -16.8 + -2.2. Let y = -18.93 - l. Which is smaller: -1 or y?
-1
Let j = 1 + 3. Suppose -j*q = -2*s - 3*s + 28, 0 = -s + 2*q + 8. Let t = s + -4. Is t greater than 3/7?
False
Let d be -10*(-3)/(-8) + 4. Which is smaller: -3/28 or d?
-3/28
Let h = -0.046 - 0.954. Which is smaller: 0.2 or h?
h
Let x be (1 - (3 - 0)) + 58. Let p be x/(-147) + (-6)/21. Let c = -11 - -4. Which is smaller: c or p?
c
Let h = -218/1185 - -4/79. Let j be (-259)/(-49) + 2/(-7). Suppose 7 = b + 3, j*b - 18 = -2*q. Is q > h?
False
Let d = -579 + 6359/11. Which is smaller: -1 or d?
-1
Let t = 214 - 1063/5. Which is bigger: t or 2?
2
Let z be 18/27 - 32/3. Let k = z + 15. Is 7 not equal to k?
True
Suppose -89 = -7*t + 2. Which is smaller: 8 or t?
8
Suppose 4 = 4*q - 0. Let l = 2.6 + -4.6. Which is smaller: q or l?
l
Let j = 1.761 + 0.179. Let u = 1.06 - 1. Let p = j + u. Is -0.1 less than p?
True
Suppose 0*c = -c. Suppose -6*v + 2*v = c. Which is smaller: 0.02 or v?
v
Let r = -6 - -10. Suppose r*i = 2*a - 3*a - 2, -2*i = -3*a - 6. Let l = i + 0. Which is smaller: l or -2/7?
-2/7
Let h be (6/(-9))/(2/57). Let q = h + 15. Is q equal to -4?
True
Let s be (2 - 38)*2/(-3). Suppose 3*b = 6 + s. Which is bigger: 9 or b?
b
Suppose 2*c - 13 - 25 = 0. Are c and 0 equal?
False
Let j be (1*-8)/(0 + -2). Suppose 0 = -j*w + 4 + 4. Suppose -14 = s + 2*b, -5*s + w*b + b = 18. Do -6 and s have different values?
False
Let d = 15.1 + -15. Is d < -0.8?
False
Let c = 473 + -9935/21. Which is smaller: c or 1?
c
Let j be 4/(-2)*(-1)/2. Let z be (0 + -4)/(-3 - -1). Suppose -z*f + 1 = -j. Do f and 1 have different values?
False
Let n = 0.1 + -0.8. Let r = -0.06 + 0.06. Which is bigger: n or r?
r
Suppose 0 = 2*f - 4*k - 8, k - 6*k + 16 = 4*f. Suppose -n + 0*n + f = 0. Let i(p) = 3*p - 3. Let g be i(2). Is n less than or equal to g?
False
Suppose 0 = 3*u - 4*d - 16, -3*u + 0*u + 2*d + 14 = 0. Suppose u*z = 3*z. Suppose -5*s + 15 = 5*q, z*s + 12 = 3*s. Which is smaller: 0 or q?
q
Let z = -4/49 + 398/3675. Is z less than 1?
True
Let y(k) = 0*k + 6*k + 1 + 0 - 2*k. Let q be y(-1). Is q bigger than -3?
False
Let d = -1 + 3. Suppose 5*a - 5 = 5*i, 4*a - 2*i - d = i. Are -3 and a unequal?
True
Suppose -2*s = 4*z + 4, -s - 4 = 4*z - 2*s. Which is greater: -0.5 or z?
-0.5
Suppose -123 = -o + 3*w, 0*w - 234 = -2*o + 3*w. Let d be o/(-168) + 6/21. Is d smaller than -1?
False
Let j(x) = x**2 + 2*x. Let v be j(3). Suppose 6*w = w + v. Suppose -w*b - 12 = 0, 5*c + 5*b = -21 - 19. Which is greater: c or -3?
-3
Let m be 14 + 0 + -4 + 7. Which is smaller: m or 16?
16
Let v be (2 - 6) + 17/3 + -2. Which is smaller: v or -6.4?
-6.4
Let s = -1.3 - -0.3. Let m = 50 + -48. Which is smaller: m or s?
s
Let p = -26 - -132/5. Suppose 0 = 2*j + 5*f + 15, 2*j + 2*j + 6 = -2*f. Which is bigger: j or p?
p
Let b = -0.1 - -12.1. Let d = -9 + b. Which is greater: d or -0.1?
d
Let p = 15/11 + -14/11. Which is bigger: p or -1?
p
Let n be ((-2 + 2)/5)/(1*2). Which is bigger: n or 18?
18
Let y = -12.82 - -13. Suppose 0 = o - 2*s + 3, o - 9 = 5*o - 5*s. Which is smaller: y or o?
o
Suppose -4*p - 17 = 2*x - 7*p, 4*p + 24 = -2*x. Let a(l) = -10*l**2 - 1. Let s be a(-1). Is x less than or equal to s?
False
Let m(s) = -s**2 + 4*s + 4. Let d be m(4). Suppose r = d*x - 10, 4*x - 18 = -3*r - 0*x. Suppose 3*b = -2*k - r, k + 29 = -b + 6*k. Is b at least -2/7?
False
Suppose -2*p + 4*p + 2 = 0. Let s be 7/105*10/3. Which is smaller: s or p?
p
Let f = -4 - -11. Let m = -8 - -19. Let d = f - m. Which is greater: d or 0.1?
0.1
Let l = -8 + 6. Let s be 0 - (-1)/((-13)/l). Let c = -0.1 + 1.1. Which is bigger: c or s?
c
Let w(x) = 9*x. Let p be w(-1). Let n be (0 - p)*14/(-21). Is n <= 2?
True
Let x = 9 + -10. Let z = x + 4. Which is bigger: 2/7 or z?
z
Let w be (-2)/8 + (-27)/(-12). Let d = 1 - -2. Let i = d + 0. Which is smaller: i or w?
w
Let l(i) be the third derivative of -1/60*i**5 + 0 + 0*i + 7/24*i**4 + 1/2*i**3 - i**2. Let t be l(7). Which is greater: 2 or t?
t
Let q = 0.124 - 0.184. Which is greater: -0.05 or q?
-0.05
Let u = 3 - 15. Is -11 greater than u?
True
Let v = 2.7 + -1. Let w = v - 2. Let a = w + 0.2. Is a >= 2?
False
Let j(a) be the third derivative of 0 + a**2 - 1/2*a**3 + 0*a - 1/24*a**4. Let q be j(0). Is q less than 0?
True
Suppose 2*c = 5*c + 33. Let k = 210 - 221. Is k bigger than c?
False
Let m(t) = -4*t**2 + 5*t + 13. Let z(b) = -9*b**2 + 10*b + 27. Let s(x) = 7*m(x) - 3*z(x). Let j be s(7). Let w be 5/j - 0/(-6). Which is greater: -1 or w?
-1
Let f = 6.51 + -0.51. Which is smaller: f or 5?
5
Let f be (-6)/(-18) - (-20)/(-6). Which is greater: f or 9?
9
Let q(v) = 12*v**2 - 1. Let b be q(-1). Suppose -25 = 5*l - 2*h, -l + 0*l = -h + 5. Let j = b + l. Is 5 less than or equal to j?
True
Let r(g) = -g**3 + 4*g**2 - 2*g + 3. Let n be r(3). Suppose -n*i = -5*u - i - 20, -2*u = 2*i - 12. Is u bigger than -1/24?
True
Let q(w) = w**2 - 9*w + 1. Let o be q(8). Let x be 4/6*(13 + o). Which is bigger: 2 or x?
x
Let q = -0.5 + 0.5. Let s = 0.02 + -5.02. Let f = 1 + s. Does q = f?
False
Suppose 0 = 3*q + 9 - 0. Let f be (q/8)/(9/(-6)). Let u = -2 + 3. Which is smaller: u or f?
f
Let l(w) = w**3 + 4*w**2 + w - 1. Let p be l(-2). Let x be (1/(-3))/(p/10). Is x >= -2?
True
Suppose c + 2 = d - 0, -5*c + 4*d - 9 = 0. Let q be (-598)/(-22) - (-8)/(-44). Let y be (-1 - 0)*(-9)/q. Which is smaller: c or y?
c
Suppose 2*g - 6*g = -36. Let t(a) = a**2 - 10*a + 13. Let l be t(g). Suppose -l*v = -3*p + 19 - 6, -25 = 5*p + 5*v. Which is bigger: -5/4 or p?
p
Let p = 1.2 - 1.4. Let b = -2 - -1.6. Let s = p - b. Are 0 and s unequal?
True
Let i = 13.8 - 14. Let x(j) = -j - 3. Let t be x(-7). Suppose 0*w = -t*w. Are w and i unequal?
True
Let r be 36/(-126) + 128/(-42). Is r less than -2?
True
Suppose 2*l - 5*l = -2*g - 16, 3*g + 4*l = 10. Is 1.8 bigger than g?
True
Suppose 4*h + 12 = 0, k + 2*k = 3*h - 9. Let t be ((-2)/7)/(k/(-9)). Which is smaller: 1 or t?
t
Let u(g) = g**2 - 6*g. Let q be u(6). Let r = 1141481 - 50222587/44. Let v = r + -235/4. Which is bigger: v or q?
q
Let p = 1.4 + -0.4. Let d = 2.7 - 2.78. Which is smaller: d or p?
d
Suppose 3*z - 4 = 14. Which is bigger: 5 or z?
z
