 q*g = 12. Let j be (x + 1)*(3 - 2). Is 0.3 at least j?
False
Suppose 0 = -0*d - 5*d + 50. Suppose -b = 2*b. Suppose -5*y + d*y + 10 = b. Is -0.2 bigger than y?
True
Suppose 0 = -3*s + s + 4*n - 2, 5*s + n + 5 = 0. Is s bigger than -5/17?
False
Let n be (-16)/(-12)*(-15)/(-2). Suppose 1 = 2*h - 3, n = 2*b + 5*h. Let o = b - -1. Does o = 3/2?
False
Let s(p) = -p**2 + 1. Let y be s(1). Is y smaller than -4/15?
False
Let s be (-3)/(-43)*(-2)/(-2). Let t = s - -163/129. Is t less than 1?
False
Let g(d) = -d**3 + d**2 + 3*d - 3. Let n be g(2). Let s be 4 + (140/(-15) - -4). Is n < s?
False
Let u be (1 + 0/(-2))/1. Let q be 3/8 + 616/(-3520). Is u bigger than q?
True
Suppose 0 = j + 4*j - 85. Let g = j - 11. Is g != 6?
False
Let y be -3 - (-3)/(3/8). Suppose c - y = -2. Are 5 and c nonequal?
True
Let p(i) be the second derivative of i**4/12 + 2*i**3/3 + 7*i**2/2 - i. Let x be p(-6). Let c be 7/7 - x/21. Is c < 0?
False
Let h(s) = -s + 2. Let b be h(0). Let j = 0 + 5. Suppose 3*w + j*i - 6 = 8*i, 0 = 3*i. Are w and b non-equal?
False
Suppose 0 = -8*u + 20 + 36. Which is smaller: 1 or u?
1
Let z be (-4 + 3)/((-5)/(-10)). Which is smaller: -3 or z?
-3
Let z = -619/4 - -154. Which is smaller: -1 or z?
-1
Let b be 2/8 - (-2)/(-40). Let m(g) be the third derivative of g**6/120 - g**5/60 - g**4/8 + g**3/3 - 5*g**2. Let s be m(2). Which is smaller: b or s?
s
Let l(p) = -p**2 - 5*p - 6. Let j be l(-4). Let n = 0.7 + -1.2. Let m = n - -0.6. Which is smaller: m or j?
j
Let p = -0.3 + 0.25. Which is smaller: p or -1?
-1
Let n = 33 + -33.1. Is n at most as big as 0.26?
True
Suppose -3*q - 244 = -4*a, a - 2*q = -0*q + 56. Suppose 0 = 5*w - 224 + a. Suppose w = 4*s - 4*f, 14 = -2*s - 6*f + 2*f. Which is smaller: 7/3 or s?
7/3
Let d(k) = -k - 1. Let v be d(-1). Suppose 0*y - 6 = 3*y, -j + 4*y + 12 = 0. Are j and v non-equal?
True
Let b = 65/6 - 443/42. Suppose 9*t = 5*t - 4. Is b at least t?
True
Let k = -17.86 + 18. Let g = -0.04 + k. Which is smaller: g or -0.2?
-0.2
Let v = 58 + -36. Let w = v - 24. Let r = -109 + 542/5. Which is smaller: w or r?
w
Let d be -36*5/(-10)*2/3. Is 12 >= d?
True
Let s = -0.2 + 0.2. Let l = 22.6 - 0.6. Let x = l - 22. Is s <= x?
True
Let b = -12 + 17. Let i = 4 + b. Is i less than or equal to 9?
True
Suppose 5*r = 3*w - 99, -3*w - 16 = 3*r + 29. Let v be r/(-8) - (-1)/(-4). Suppose -5 = -4*t - t. Is v >= t?
True
Let x = 675 + -43199/64. Is -1 < x?
True
Suppose 22 = -0*r + 2*r - 2*z, -3 = -z. Let f = -23 + r. Which is smaller: f or -8?
f
Let a be 92/(-9) + 14/(-63)*-1. Which is greater: -14 or a?
a
Let i = 10 + -9.7. Do i and -7/3 have the same value?
False
Let n = -6.5 - -6. Let x = 0.4 + n. Is 4 at most as big as x?
False
Let m = -117/14 - 1/7. Is m bigger than -8?
False
Let b(o) be the second derivative of o**4/12 + 2*o**3/3 - 3*o**2/2 + 3*o. Let z be b(-5). Suppose 2*c - 4*f + 24 = c, z*c = 4*f - 32. Is -7 <= c?
False
Let r be (-2)/6*(-18)/12. Which is smaller: r or 1?
r
Suppose -4*f + 3 = -3*x - 9*f, 0 = f + 3. Let d = 6 - -2. Suppose 32 = -p - x*p + 3*k, -2*p - 4*k + d = 0. Is -2 less than or equal to p?
False
Suppose 111 = -15*o + 36. Which is bigger: 18 or o?
18
Let y be 4/84*51 + -2 + -1. Let h(f) = -f**3 - 4*f**2 + 4*f - 6. Let o be h(-5). Which is greater: o or y?
y
Let v = -241 + 241. Let h be -2 + 29/(-11)*-25. Let b = -64 + h. Which is smaller: v or b?
b
Let z be -2*2/(-8)*24. Let h be 1/(-1 + z/9). Are 3 and h nonequal?
False
Let g be (-6)/(6/(-2)) - -3. Suppose -27 = 4*q - 4*j + 9, g*q + 25 = j. Let w be -1 + 1 - q/(-10). Is 0 less than or equal to w?
False
Let s be ((-9)/6*2 - -3) + 2. Suppose 0 = -0*n + n - 5. Let j(l) = l - 2. Let g be j(n). Which is bigger: g or s?
g
Let b = 8 - 8.2. Which is bigger: 0.09 or b?
0.09
Let w(j) = 10*j. Let v(l) = l. Let p(k) = 35*v(k) - 4*w(k). Let c be 18/(-14) + (-6)/(-21). Let d be p(c). Is 6 less than or equal to d?
False
Let x = 6 - 8. Let i = x - -1. Which is bigger: 1/4 or i?
1/4
Let b(x) = -x - 1. Let t be b(-3). Suppose -t*z + z = 3. Let p = z - -4. Is p equal to 7/6?
False
Let p be (0*(0 - 1))/(-1). Let h = -166 + 1160/7. Which is bigger: h or p?
p
Let d = -13 - -25. Let b be (-15)/d*7/5. Suppose 5*t = 2*q - 4*q, -4*t - 3 = q. Which is greater: t or b?
b
Let h = 1556 - 270745/174. Is 1 not equal to h?
True
Let g be (6/(-5))/(4/(-5)). Let d be (-4)/(-2) + 2 + 1. Suppose -3*i + 5 = 3*o + i, -d*o + 20 = -5*i. Which is bigger: o or g?
o
Suppose -4*x = y - 1792, 1302 = 2*x + y + 404. Let s be x/(-135) - (-4)/36. Is s > -4?
True
Suppose -4*g = -5*g + 41. Suppose 5*m = -5*y + g + 9, 0 = 4*y + 2*m - 30. Suppose -6*c = -c + y. Which is greater: c or 1/4?
1/4
Let i be 1/(1/4) + -2. Suppose -v + 21 = 4*y, 4*y - i = 3*v + 3*y. Is -11 >= v?
False
Let s = 54 - -34. Which is smaller: s or 87?
87
Let f = -6 - -19. Is 13 < f?
False
Let f = -0.26 + 0.56. Which is bigger: f or 17?
17
Let v be (4 - -4) + 2 + -2. Is v at least as big as 6?
True
Let w be 1*-1 - (-10)/7. Let d = 24 - 25. Does d = w?
False
Let x = -101 + 60. Which is smaller: -40 or x?
x
Let p = 1.2 - 0.2. Let y = p + -0.93. Are y and -0.1 unequal?
True
Let t = 99 - 87. Which is greater: t or 0.3?
t
Let v = 7 - -8. Suppose -5*k = -2*k + v. Is -4 at most k?
False
Suppose 0 = -0*b + 4*b - 8. Suppose 0 = 2*f - 0 + 4, 5*j = -5*f - 20. Which is greater: b or j?
b
Let w = 18 + -27. Which is smaller: w or -37/4?
-37/4
Let b = -8/9 + 2/3. Let n(h) = h**3 + 5*h**2 + 4*h + 1. Let p be n(-4). Which is bigger: b or p?
p
Let q = 78 + -92. Which is greater: q or -12?
-12
Let d = 0.6 - -0.5. Let k = 1 - d. Let h = 52/45 - 5/9. Is h != k?
True
Let f = 11 + -89/9. Is 0 less than f?
True
Let m = 177/2 + -87. Is 1 less than or equal to m?
True
Suppose 5*n + 15 = 5*w, -4*n + 2*w - 7*w + 24 = 0. Let l = -4 + 7. Let q = n - l. Is 0.4 != q?
True
Suppose 4 = 4*g - 5*c, 0*c - 2*c = 0. Suppose -2*y + x = 5*x, 3*x = -5*y. Which is greater: y or g?
g
Suppose -1 = -g - 2. Which is smaller: g or 2/13?
g
Let z = -48 + 48. Which is smaller: z or -0.15?
-0.15
Suppose 0 = h - 11 + 3. Suppose 0 + h = -2*b. Is -4 > b?
False
Let q = -41 - -62. Let s be -1 - (q/4)/(-3). Which is greater: s or 0?
s
Suppose -12 = -3*q + q. Suppose 4*n - i + 4 = q*n, 0 = n + 4*i - 16. Which is smaller: -3/8 or n?
-3/8
Let x = 2900.03 + -2912. Let r = -12 - x. Which is smaller: r or -2?
-2
Let k(c) = c**3 + 3*c**2 - 4*c - 1. Let m be k(-4). Let u be (-1)/4*(m + 3). Suppose -5*x = 2*d - 20, 12*d + 4*x = 15*d + 16. Which is greater: d or u?
d
Suppose 5*d + 2*z = 2, 5*d - 4*z - 11 - 15 = 0. Let x be 28/12 - d/6. Let t be (-4)/x - 15/(-10). Which is smaller: t or 0?
t
Let f = -43 + 43. Let n = 0.6 + -0.9. Let i = 0 + n. Do i and f have different values?
True
Let k(i) = i**3 + 2*i**2 + 6*i**2 + 0*i - 1 + 8*i + 0*i**2. Let t be k(-7). Let a be t/(-44) + (-39)/33. Which is smaller: -3 or a?
-3
Let j be 14/(-40) + (-8)/20. Let x = -0.2 + 0.1. Which is bigger: j or x?
x
Suppose -l + 4 = -2. Suppose -5*z = -1 + l. Let u be z - -1*(-1)/(-5). Which is greater: u or -1?
u
Let r = 0.4 - 0.4. Let d = -2.94 + -0.06. Let x = d + 0. Which is smaller: x or r?
x
Let m = -9 + 13. Let x = 8 - m. Let y be (x/(-1))/(-2 + 0). Which is bigger: y or 3?
3
Let d = -1/3 + 1/4. Which is bigger: -1 or d?
d
Suppose -o + 3*i = 39, 4*i = -4*o - 130 + 54. Is o smaller than -26?
False
Let w(l) = -3*l - 22. Let g be w(-4). Is g bigger than -10?
False
Suppose 2*o - k = k + 10, 5 = k. Suppose -l = 4*l - o. Suppose 2*w = 2 + l. Is 2 < w?
False
Let a be 25/((0 + 1)*-1). Let j = 74/3 + a. Which is smaller: 0 or j?
j
Let p = -32 - -127/4. Is -19 at least p?
False
Let s = -43 - -28. Is s != -0.1?
True
Let q(g) = g**2 - 5*g - 1. Let i be q(5). Suppose -n = 3*t + 9, 3*t + 22 = -2*n + 4. Let y be 0 - 2/n*i. Which is smaller: y or -1?
-1
Suppose -4*v - 3*t + 13 = 0, -v - t + 8 = 4*v. Which is smaller: 3 or v?
v
Let d = 281/3 + -95. Suppose 2*h = 3*f + 12, -8*h = -5*h - 9. Is f >= d?
False
Let s(j) = j**3 - 7*j**2 - 3. Let a be s(7). Suppose 3*o = -3*c + 3, -o + 0*c + 4 = 2*c. Which is smaller: a or o?
a
Let p(x) = 4*x - 4. Let a be p(-6). Let k = -25 + 31. Let c be 2/(-7) + k/a. Is c greater than 0.09?
False
Let c(z) = 3*z + 10. Let i be c(-3). Which is smaller: i or -1/9?
-1/9
Let n(c) = -c**2 - c + 2. Let w be n(-2). Which is bigge