 = -3*j - j - 21. Are -1 and p non-equal?
False
Suppose -3*c - 3 = -0*c. Let a be (0 - -4)/2 - 3. Let z be 1/(a/2*1). Is c greater than z?
True
Let p(j) = j + 6. Let x be p(-5). Let z = 30 + -30. Which is greater: z or x?
x
Let f = 8 - 14. Which is smaller: -4 or f?
f
Let k be 44/(-7) - (-10)/35. Let b = 3 - k. Which is smaller: 1 or b?
1
Let q = -206 - -292. Are 1 and q unequal?
True
Let s = -14/93 - -41/341. Is s smaller than 0.2?
True
Let l = 32/15 + -322/165. Suppose -4*x - 2*d = -4, 14 = -2*x + 4*x - 5*d. Which is smaller: l or x?
l
Let i(w) = w**3 + 13*w**2 - 16*w - 20. Let d be i(-14). Is d less than 7?
False
Let s = -9/7 + -3/14. Is s less than 1?
True
Suppose -31 = 3*c - 19. Is 0.1 > c?
True
Let r = 0.1 + -0.1. Let y = 0.35 - 0.55. Is y at most as big as r?
True
Suppose 3*s + 7 = -2*s - 3*p, 0 = -4*s - 2*p - 6. Let l(i) = -i**2 + 25*i + 297. Let y be l(34). Which is greater: y or s?
s
Let l be -2 + -1 + 5 - -5. Let z = l + -13. Let p be ((-3)/45)/(1/z). Which is smaller: -1 or p?
-1
Let m(a) = -a**3 - 8*a**2 - 11*a - 13. Let r be m(-6). Is r at most as big as -20?
False
Let d(w) = 1 + 0 + w + 0*w - 3. Let k be d(-12). Is k greater than -13?
False
Suppose -2*i + 0*i = 2*s - 8, 4*s - 16 = 0. Let k be (-4)/(2/(-6) + -1). Suppose 0 = 3*p - 2*h - 5, -3*p - 1 = h + k*h. Is p smaller than i?
False
Let w = 75 + -74. Which is greater: 2/37 or w?
w
Let p = 8.68 - 8.88. Let a = -8 - -5. Which is bigger: a or p?
p
Let k(h) be the third derivative of h**5/30 - h**3/6 + 3*h**2. Let u be k(1). Is 0 <= u?
True
Let k be (2/(-2))/(1/(-4)). Let p(d) = d - 7. Let q be p(k). Let x = 1 + -3. Is x not equal to q?
True
Let d = -4.03 - -4. Let m = d + 0.03. Do -2/7 and m have the same value?
False
Let f be ((-1)/(-3))/(2/6). Let l(i) = i - 84. Let s be l(0). Let z be (6/8)/(s/(-32)). Is f != z?
True
Let g = 1049/24 + -130/3. Suppose -3 = 2*n + 5. Let x be (-3)/n - (-1)/4. Is g < x?
True
Suppose 2*r = 4*r - 6. Let z = -7 + r. Suppose c + 16 = -5*a - 2, 0 = 3*c + 4*a + 21. Which is smaller: z or c?
z
Let l = 0 - 0.5. Let g = 0.7 - 0.3. Let r = g + l. Which is smaller: r or -0.2?
-0.2
Let q = 0.25 - 1.25. Which is smaller: q or -4?
-4
Let k(x) = 209*x**2 + 2*x + 1. Let z be k(-1). Let v be (z/(-3290))/(4/(-10)). Let q = -6/47 - v. Which is greater: q or 1/10?
1/10
Let v = 96 + -102. Is v smaller than -1?
True
Let v = 3 - 3.2. Which is bigger: 2.1 or v?
2.1
Suppose 0 = 4*u - 95 - 169. Let p = 267/4 - u. Let c = 38.9 - 39. Which is greater: p or c?
p
Let a be (-5)/(10/6)*-1. Let x be 3/9 - (-11)/a. Which is greater: 5 or x?
5
Let z = 7.2 - -0.8. Let x = 2 - z. Is x equal to -0.1?
False
Let s be (2 - 12/(-9)) + -2 + -2. Which is bigger: 0.2 or s?
0.2
Let x = -1 - -1.2. Let n = -1.2 + x. Suppose 5*v + 0 + 5 = 0. Is n at most v?
True
Let g = 68 - 38. Which is smaller: 31 or g?
g
Suppose p - 8 = -1. Let l = 4 - p. Let m(f) = f + 4. Let j be m(-8). Is l less than j?
False
Let f = -70 - -492/7. Let y = 0.21 + -0.01. Is y < f?
True
Let j(z) = z - 16. Let n be j(-5). Is n greater than -22?
True
Let l(g) = g**3 + 7*g**2 + 6*g + 7. Let i be l(-6). Suppose -3 = -i*z + 8*z. Is z > -3/2?
False
Let s = 106 + -108. Suppose 3*b = 3*h - 8*h + 1, 6 = b - 4*h. Let z be (2 - (1 + b)) + 2. Which is smaller: z or s?
s
Suppose 2*v - 15 + 42 = -5*w, -2*v - 17 = 3*w. Is v >= -6/13?
False
Let t(d) = d. Let f be t(-1). Let p be ((-82)/(-26) - 3)*f. Which is smaller: p or 1/4?
p
Let o be 0 + 8/(-6)*-6. Let l be (-266)/8*o/6. Let t = -44 - l. Is 1 greater than t?
True
Suppose 0 = 4*t - f + 229, -3*f = -4*t - 0*f - 239. Is -54 bigger than t?
True
Let s = -2.35 + 0.05. Let f = 2 + s. Which is bigger: f or 2/3?
2/3
Let j be (3/6)/((-4)/(-6)). Suppose -2*h = 2 - 0. Is j < h?
False
Let q be (-2)/(-1) + 0 + 0. Let u be 11 - (4 + 0 - q). Suppose z + 5*x - 1 = 3*x, 4*x - u = 5*z. Which is bigger: z or -3/7?
-3/7
Let d be 2*27/6 + -1. Suppose -m = -4*g - 7, -3*m + m - d = 3*g. Which is bigger: g or -9/4?
g
Let m(c) be the third derivative of -c**4/24 - c**3/2 - 3*c**2. Let j be m(-3). Let u be (6 - j) + 1/(-1). Which is greater: 4 or u?
u
Let h = 8 - 10. Which is greater: h or 9?
9
Suppose 2*j + 2 + 6 = 0, 3*t - 4*j - 22 = 0. Let u(m) = -7*m**2 - 1. Let r be u(1). Let b = r - -11. Is b != t?
True
Let w = -3/223 + 2263/2453. Let c = 16/55 + w. Is c bigger than 0?
True
Let f = 79 - 122. Let p = -169/4 - f. Is 2 at most p?
False
Let i = -0.29 - -0.35. Let x = -7 - -7. Which is smaller: i or x?
x
Let q be 3/(-15) + 869/(-5). Let v = q + 1221/7. Is v <= 1?
True
Let z = 4 - 4.4. Let j be (1 + -3*(-4)/(-15))/1. Is z at most j?
True
Let x(t) = 5*t**3 - t**2 - t. Let i be x(-1). Let c be (-130)/35 + 2/(-7). Is i at least as big as c?
False
Let z(p) = -p**3 + 3*p**2 - 2*p. Let d be z(2). Which is bigger: -8/7 or d?
d
Let l = -21 + 7. Let m be (-54)/(-336) - (-4)/l. Are m and 1 unequal?
True
Let v = 0.82 + -0.9. Let m = 0.12 - v. Do m and 0.1 have different values?
True
Suppose 3 = -k + 8. Suppose 15 + k = 5*j. Let n be ((-8)/6)/(1/(-3)). Is n at least as big as j?
True
Suppose -t + 8 = 3*t. Let c(v) = v**3 - v**2 - v + 2. Let g be c(t). Suppose 0 = -5*u - g*r - 20, 15 = 5*u + 2*r - 5*r. Which is greater: 1 or u?
1
Let o = -3.3 + 3. Let a = 0.7 - o. Let h = -0.3 + 2.3. Which is greater: a or h?
h
Let r be -3*3/(-9)*6. Let n(l) = l. Let b be n(r). Let s be 10/(-15)*2/b. Is s greater than or equal to 1?
False
Let k be -2*-3*(-4)/(-408). Is 1 greater than k?
True
Let d = -170 + 186. Let m be (-4)/6*6/(-14). Is m != d?
True
Let p be ((-5)/50)/(4/10). Which is greater: -0.2 or p?
-0.2
Let c be (3 - 2)/(2 + -1). Let s = c - 1. Suppose 2*j + 0 = 6, s = -2*t - j + 9. Is t equal to 3?
True
Let q be 0 - (2 + -2 - -2). Let u(m) = m**2 + 2*m - 6. Let i be u(0). Does i = q?
False
Let n be (6/(-7))/(2/(-28)). Let c(f) = -f - 3*f + f**2 + 0*f**2 - 9*f + 8. Let b be c(n). Which is bigger: -8/3 or b?
-8/3
Let w = 22 + -13. Suppose -2*z - 3*i - 17 = 0, 5*i + 12 = 4*z - w. Let h be (6/(-20))/(6/5). Is h < z?
False
Let h = 146 + -100. Suppose -4*z = -n - 0*z + 20, 5*n - h = 2*z. Suppose 5*g + 15 = -v, 4*g = -v - 5 - n. Do -2 and g have the same value?
True
Suppose s - 14 = -2*j - 3, 0 = 2*s + 3*j - 18. Suppose 2*h = -3*o + 19, -2*h + o - s*o + 18 = 0. Which is greater: 9 or h?
9
Let a = 0.09 + -0.17. Let n = a - -0.05. Let l = n - -2.03. Which is smaller: l or 1/2?
1/2
Suppose 18*v - 9*v = 0. Is -1/17 bigger than v?
False
Let x = -356.98 + 361. Let r = x + -4. Let l = -0.18 - r. Are -2 and l nonequal?
True
Let m(w) = -w**2 + 11*w - 6. Let v be m(7). Suppose -21 = 3*y - 3*u, 2*u = 3*y + y + v. Suppose -5*c = -0*c + 20. Is c greater than or equal to y?
True
Suppose 0 = -5*f - 3*j - 24 - 41, j = 5*f + 45. Let x = 19 + -28. Which is smaller: f or x?
f
Suppose -o - 8 = -5*o, 5*z + 2*o + 16 = 0. Let p be 108/(-57) - -2 - (-792)/(-304). Is z greater than p?
False
Let a be 1/3*(102 - (-4 - -1)). Is a greater than 35?
False
Let r = -1 - -4. Suppose -r*a = 4*q - 3, -12 = 3*a - 2*q + 3. Is 0 >= a?
True
Let m(q) = -q**2 - 5*q + 6. Let v be m(1). Which is smaller: v or 1/80?
v
Let l = 953.83 - 942. Let r = -0.17 - l. Is r not equal to 1?
True
Suppose -2*h = 5*c - c, c = -2*h + 9. Is h greater than 6?
False
Let n be (-3 - -2)*-1*(-1)/1. Is n at least 4/45?
False
Let t = -2/57 - -67/285. Let o = t + 2/15. Which is smaller: -1/4 or o?
-1/4
Let l = -22 - -23. Let k = -2.8 + 3. Which is bigger: k or l?
l
Let i(u) = -2*u**2 + u. Let j be i(1). Suppose -2*l = l + 60. Let m = -182/9 - l. Which is greater: m or j?
m
Let i(f) = 16*f - 7. Let a be i(6). Is a > 88?
True
Let k = -4.906 + -0.094. Is -0.9 at most k?
False
Let n = 9 + -3. Let y = -19 + 13. Let s = -5 - y. Are n and s unequal?
True
Let v be (-8)/60 - (-524)/(-120) - 5. Suppose 0 = -2*n - 14 - 4. Is v greater than or equal to n?
False
Let m = -617/10 - -62. Is m less than or equal to 0?
False
Let n be -1*(-4 - -1) + -2. Suppose 0*q - q = -n. Is q less than 2/7?
False
Suppose 24 = -2*b - 2*b. Which is bigger: -7 or b?
b
Let j = 35 + -36. Let w = -42/11 - -272/77. Which is smaller: j or w?
j
Let w be 1 - (0 + 6 + -2). Let o(a) = a**3 + 2*a**2 - 3*a - 4. Let v be o(w). Let n = 1.2 + -0.2. Which is bigger: v or n?
n
Suppose -v + 4*v + 12 = 0. Let g be 3/v*(-2)/3. Which is bigger: g or 2?
2
Supp