- 10, s = -0*s - c*r - 6. Is -2/7 != s?
True
Let a(z) = -z**3 + 9*z**2 - 9*z - 3. Let s be a(7). Let x be s/60 + (-1)/5. Do x and 0 have different values?
True
Let o(d) be the first derivative of -d**2/2 - 2. Let f be o(-2). Let i = -2 - -2. Is i at least as big as f?
False
Let t = 6 - 5.94. Let r = -1.06 + t. Let j = r - 0. Which is bigger: -2 or j?
j
Let v(q) = q**2 + 18*q - 57. Let r be v(-21). Is r less than or equal to 55/9?
True
Let n = 1.35 - -35.65. Is n greater than 2?
True
Let g be ((-5)/4 + 3)*4. Let o be 1/((-4 + g)/3). Which is smaller: 5/6 or o?
5/6
Let k = 1537/5 + -306. Which is smaller: 0 or k?
0
Suppose -3*w = 26 - 53. Is 6 <= w?
True
Let y(f) = -f**3 + 10*f**2 + 10*f + 12. Let o be y(11). Let c be (2 - 2)/(2 - 1). Do c and o have different values?
True
Let b = -0.63 + 0.83. Which is greater: b or 4/7?
4/7
Let x be (4/6)/((-4)/(-6)). Which is bigger: 1/2 or x?
x
Let h = 23 - 22. Does 3/25 = h?
False
Suppose 2*x + 6 = 2. Let d(a) = a**2 - 3*a + 1. Let p be d(2). Do x and p have different values?
True
Let a = -20 - -18. Is -4 > a?
False
Let y = -153/8 + 19. Suppose 11 = -3*q - 4*s, -4*q - 12 = -5*s + 9*s. Let n be -1 + -1 + (-2)/q. Which is smaller: n or y?
y
Suppose -4 - 8 = -3*q. Suppose -3*v = -5*v - q. Which is greater: v or 0?
0
Let x = -24.18 - -24. Is -0.1 at least as big as x?
True
Suppose -4*b + 3 = -9. Let g be (-2)/(-4)*b/(-3). Suppose 0 = 3*d - 2*d. Which is smaller: g or d?
g
Let y = 79.8 + -79. Is y >= 0.3?
True
Suppose 0 = -4*z + 5*i, -2*i + 3 = -3*z + i. Let m = 14 - 20. Which is smaller: z or m?
m
Suppose 12 = 2*a + 2*t - 4*t, -5*t - 16 = 2*a. Let f = 0 + a. Let s = 3 - f. Which is smaller: 2 or s?
s
Suppose 3*u + 0*j + 2*j = 3, 3*j = -2*u + 7. Is u at most as big as 0.3?
True
Let h = 2.031 - 0.031. Which is bigger: 13 or h?
13
Let y = 1 - -9. Is 12 not equal to y?
True
Suppose -9*v = -3*v + 6. Which is smaller: 0 or v?
v
Let d(w) = w**2 + 12*w + 16. Let l be d(-11). Let j = -1 + 3. Which is smaller: j or l?
j
Let d = 7.9 - 5.94. Let o = d - -0.04. Which is bigger: o or 1/13?
o
Let r(h) = h. Let s be r(1). Which is greater: s or 1/20?
s
Let z(f) = f**2 - 8*f + 3. Let d be z(8). Is d at least as big as 12/7?
True
Suppose 5*i + 12 + 3 = 0. Is i smaller than -4?
False
Suppose 0 = l + 4*l - 15. Suppose -2*o - 6 - 4 = 2*q, -4*q - 20 = -l*o. Which is smaller: q or -1?
q
Let n = -36 + 38. Do -3.2 and n have the same value?
False
Let p = 17 + -12. Suppose -p*s + 121 = 31. Let u = 39/2 - s. Is u greater than or equal to 3?
False
Let m = -7 - -5.4. Let f = -2.4 + m. Which is smaller: 1 or f?
f
Let m = 85 + -423/5. Do m and -0.08 have the same value?
False
Suppose -2*x - 4 = -4*i - 0, 3*x + 12 = 0. Is 6/19 <= i?
False
Let n = -37.08 - -37. Which is smaller: n or -1/3?
-1/3
Let d = -0.05 + 0.35. Let u = 563 - 562. Is u <= d?
False
Let w = -2.03 - -0.03. Let v = w - -3. Which is greater: -1 or v?
v
Suppose -10*t = -20 - 70. Is t bigger than 12?
False
Let b = 22 + -22. Is 0.05 at least b?
True
Suppose -7*a - 20 = -9*a. Suppose -i - 2 = 3*u, 2*i - a = i + u. Does 7 = i?
True
Let f = -1 - -3. Let v be -1*(-7)/(0 - -1). Suppose 4*c = -b + 7, -2*b + v - 1 = 4*c. Are f and c nonequal?
False
Let t = -47/62 + 1/124. Which is smaller: -2 or t?
-2
Let x(c) = -c**3 - 6*c**2 + c + 8. Let n be x(-6). Suppose 0 = n*k - 4*b - 2 - 6, -k + 3*b = 0. Let f = -6 + k. Is f >= 5?
True
Suppose -3*j + 2*j = 0. Is j smaller than -5/9?
False
Let h = 0 + 7. Let b(q) = -q**3 - 5*q**2 - 4*q - 11. Let p be b(-5). Is h bigger than p?
False
Let i(c) be the first derivative of c**3/3 - c**2/2 - 2*c - 2. Let f be i(2). Is -2/25 at least f?
False
Let d be 0/(-3) + 16 - 1. Let i be ((-2)/4)/(d/102). Let t = i - -143/45. Is -1 less than t?
True
Let x(h) = 5*h**2 - 6*h + 11. Let p be x(8). Let n = -3111/11 + p. Suppose 0 = -0*t - t. Which is greater: t or n?
n
Let f(l) = l**2 + 12*l + 23. Let c be f(-10). Let q = 1 - 0.9. Is c greater than or equal to q?
True
Suppose -g = -3*v + 2, 3*g = -0*g - 6. Let u be 12/8 + (-57)/10. Let f = u - -157/35. Is v < f?
True
Let y(q) = 3*q + 40. Let k be y(-14). Which is bigger: -9/13 or k?
-9/13
Let v be 15/4*72*-1. Let d = v + 2163/8. Is d smaller than 1?
True
Let k be 20/(-28) - (-2)/(-7). Let g(o) = -2 - 2*o**2 + 3*o**2 - 5*o + 3 - 3. Let x be g(5). Is x less than k?
True
Suppose -5*q - 74 = -3*g, 9 - 3 = 2*g. Which is smaller: -14 or q?
-14
Let f be 4*(-2 + 29/14). Let y = -6.2 + 0.2. Is f < y?
False
Let p = -9787/3 - -3297. Let a = -35 + p. Which is greater: a or -1?
a
Suppose -z + 1 + 1 = 0. Suppose 6 = -0*m + z*m. Suppose -3*g - m = -0. Which is smaller: g or 1?
g
Let u be 2*(2 - 11/(-2)). Let o be (-14)/12 - (-10)/u. Is -1 at most as big as o?
True
Let k be 53/3 + 13/39. Which is smaller: k or 17?
17
Let n = -0.1 + 0.1. Suppose z + 148 = 150. Which is smaller: n or z?
n
Let o(t) = -t - 6. Let z be o(-8). Let a be (507 - z)*6/75. Let c = 41 - a. Which is smaller: 1 or c?
c
Suppose -3*f - 6 - 8 = z, 30 = 5*z - 5*f. Suppose -s + 2 + z = 0. Is s smaller than 4?
True
Let t(o) = -2*o**2 + 4*o + 1. Let d(a) = -a**2 + 1. Let c(r) = d(r) - t(r). Let g be c(3). Is -2 < g?
False
Let u be (16/6)/(-4)*-15. Let o = 11 - u. Which is bigger: o or 2?
2
Let k = 2 + -2. Let o = 1 + 4. Let g = o - 3. Which is smaller: g or k?
k
Let u = 2/141 - 880/2397. Which is smaller: u or -2/5?
-2/5
Let b be (-3)/(-6)*-6*-3. Let q(c) = -c**2 + 7*c + 13. Let n be q(b). Let o = 4 + n. Is 1 <= o?
False
Let n = 3065 + -39880/13. Which is smaller: -2 or n?
n
Let k = -47295/1144 - 112/143. Let x = -42 - k. Suppose -4*r = r. Which is smaller: r or x?
r
Let s = -4 + 3.9. Suppose 3*x + x + 40 = 0. Let m be (-22)/x + (-1)/5. Is m greater than s?
True
Suppose 3*r + 5*k = -2*r - 5, 4*r + 3*k = -3. Is r < 7?
True
Let m(t) = t**3 - 8*t**2 + 4*t + 2. Let y be m(8). Which is smaller: 35 or y?
y
Suppose -2*o - 10 = -4*q + 5*q, -o - 5 = 4*q. Let d = 3 - 1. Are d and q nonequal?
True
Let c = 7 - 2. Suppose -2*m + 1 - c = 0. Which is smaller: -5/3 or m?
m
Suppose -6*b + 2*b + 24 = 0. Let i(o) = 2*o - 2. Let d be i(2). Suppose 0 = -w + d*w - 6. Is w != b?
False
Suppose 5*a = 7 - 2. Let r = 4 + -4. Let d = r - a. Is d less than or equal to -1/5?
True
Let y = 2472/7 + -352. Are 2 and y non-equal?
True
Let h be (1 - 2)*(1 + 18). Let a = h - -33. Let z be 2/((-12)/a) + 2. Which is bigger: -1 or z?
z
Let u be (-2)/8 - (-18)/104. Is 0 at least as big as u?
True
Let w = 17 - 84/5. Which is smaller: -1 or w?
-1
Let u(w) = w**2 - 13*w. Let r be u(18). Let i be (-51)/(-85) + (-74)/r. Let k = 3 - 2. Does i = k?
False
Let l be ((-15)/(-10))/(6*3). Which is bigger: l or 1?
1
Let q be ((-3)/4)/((-2)/8). Let g(c) = -c**2 + c + 6. Let r be g(0). Let o(i) = i**3 - 6*i**2 + i - 3. Let p be o(r). Is p greater than q?
False
Let t = -12 - -39. Is 28 bigger than t?
True
Let q = -8.77 + -0.23. Let w = q - -8.8. Is w at least as big as 0?
False
Let d = 98 + -51. Is 47 at least as big as d?
True
Suppose -x = -2*x + 1. Suppose -5*i - 42 = 188. Let j be (-4)/10 - i/40. Is j smaller than x?
True
Let g = 1.3 - 0.3. Let b be -14 + 17 - (-32)/(-10). Is g equal to b?
False
Suppose 2*f = 10, -2*f + 19 = -2*g + 3*f. Let x(d) = -5*d**2 + 38*d**3 + 7 + d - 1 - 39*d**3 - d**2. Let b be x(-6). Which is smaller: b or g?
b
Let g = 13 - 22. Let i = 7.69 + 1.11. Let v = g + i. Is -2 smaller than v?
True
Suppose -4*c = s - 3, 0 = -2*s + 5*c - 4*c - 3. Is 2/35 <= s?
False
Let r be (-8)/((-216)/45) + -1 + 3. Which is bigger: r or 2/3?
r
Let b = -9 + 17. Let a = b + -10. Let s = a - -2. Is s at least as big as 1?
False
Suppose -5*p + 4 = -6. Suppose p*d = d. Which is greater: -2/11 or d?
d
Let f be 6 - (-3 - (2 + -6)). Let u(h) = h**2 - 6*h + 3. Let j be u(f). Let y = -1 - 1. Do y and j have different values?
False
Let v = 3262/153 - 194/9. Is v >= -1?
True
Let r = 1.29 - 0.09. Let c = r - 1.01. Let t = c - -0.01. Is t less than 3?
True
Let b(f) = -f**3 - 5*f**2 + 3*f + 6. Let q be b(-6). Let k be 0/1 + q/(-18). Is 0 >= k?
True
Let g be (-12)/20 - 83/(-30). Is g at most as big as 3?
True
Let v be (-20)/6*6/2. Let a = -3 - v. Is a greater than 6?
True
Let l = -13 - -12.85. Let a = -4.85 + l. Is a >= -1/3?
False
Let b(l) = -l**2 + 8*l - 13. Let w be b(7). Is w equal to -9/2?
False
Let b be (-1 - -1) + (-2)/2. Let 