t b be 22/z - 26/13. Is 0.2 equal to b?
False
Suppose 4*l = -15 - 17. Is l less than or equal to -7?
True
Let b(p) = -2 - p**2 + p**2 + 7 + p**3. Let l be b(0). Suppose -3*h = -5*s + 3*s - 19, -l*s - 35 = -5*h. Which is smaller: -1 or s?
s
Let a = 5 - 11/2. Suppose 0 = -2*n - 0*q - 2*q + 12, 2*n = -q + 7. Let r = n - 1. Is a smaller than r?
True
Let z = -32/3 + 12. Is z bigger than 2/5?
True
Let y = -9487/44 - -598225/2772. Let t = y - -2/77. Suppose -2*w = -7*w. Which is smaller: t or w?
w
Let z = 539/6 + -90. Let s be 4/10 - (-2)/(-5). Suppose 5*n - d + 1 = s, n + 9 = 3*d - 5*d. Which is bigger: z or n?
z
Suppose 2*q = -0*q + 10. Let u be -717 + -1 - (q - 2). Let k = -20907/29 - u. Are k and 0 nonequal?
True
Let c = -6 + 8. Let k be (c/4)/((-6)/4). Is 0 at least as big as k?
True
Let c be 2 + (3 - (-5)/(5/(-2))). Is c not equal to 7?
True
Let d = -294/379 - 71241/15160. Let m = 28/5 + d. Do m and 0.1 have the same value?
False
Let r = 6.9 - 7. Does 11 = r?
False
Let w be (-57)/(-7) - (5 - (-34)/(-7)). Is 3 at least as big as w?
False
Let n be -4 - (516/(-65))/2. Are n and 0 non-equal?
True
Let v = 1 + 5. Is v at most 6?
True
Let y = 8 + -4. Suppose -2*o = -0*o + y. Let i be (o/(-4))/((-10)/(-8)). Which is smaller: i or -1?
-1
Let h(n) = -n**2 - n + 2. Let b be h(2). Let p be b/(-12) - 1/2. Which is bigger: p or 1/3?
1/3
Let d = -1 + 3. Suppose 5*a - 9 = q + 4*a, 0 = 3*q + 4*a - 8. Let l = q - -7. Is l at most d?
False
Suppose 5*p = -3*l - 20, 3*l + 0*l - 2*p = -13. Let d(w) = -2*w - 11. Let a be d(l). Which is greater: a or -3?
a
Let d = 0.1 - 0.3. Let o = -0.1 - d. Is 0.3 > o?
True
Suppose q = -13 - 28. Are 0 and q unequal?
True
Let x be ((-4)/5)/((-20)/(-50)). Let h(y) = y**2 - 7*y + 10. Let i(z) = -z**2 + 7*z - 11. Let f(n) = -5*h(n) - 4*i(n). Let p be f(6). Which is greater: x or p?
p
Let s = 57/2 - 28. Suppose 0 = 2*o + 3*o + 50. Which is smaller: o or s?
o
Let y(t) = -t**3 - 4*t**2 - 2*t - 1. Let j be y(-3). Let b be (-134)/(-26) - j/(-26). Suppose 5*i + 0*i - 5*m = -b, -2*i = -5*m - 1. Are i and -1 equal?
False
Suppose -5*u - 20 = -p, -p - 1 = 4*u - 2*u. Suppose 3*s + s = 24. Suppose -k - s = k. Are k and u equal?
True
Let x be 17/4 + 2/(-8). Suppose 0 = x*r - 2*r. Is r less than 1/6?
True
Let q(z) = -z**3 - 5*z**2 + z + 4. Let u be q(-5). Let d = u - -3. Suppose 0 = b + b - d. Is -1/10 bigger than b?
False
Let f be 32/(-156) + 8/12. Which is bigger: f or -1?
f
Let c be (-27)/6*4/(-6). Let l(a) = a**3 + 5*a**2 - 8*a - 8. Let j be l(-6). Suppose 0 = -c*i + 6, -4*z = -z - j*i + 14. Are z and -5/3 non-equal?
True
Let s be (-4)/(-4)*1/1. Which is greater: s or 4/9?
s
Let o = 4 + -6. Let i be 1 + (0 + -3)/(-1). Let b be 9/(-4) + 1/i. Is o greater than or equal to b?
True
Let g be (-4)/(-6) + 22/12. Let j = g - 2. Is 0 at least as big as j?
False
Let d = -8 + 27. Suppose 4*z = 7 - d. Is z >= -3?
True
Let l = 0.8 - 0.8. Let c = -3 + l. Which is smaller: c or -1/2?
c
Let j = 0.1 - -0.1. Let q = 0.05 + 3.15. Let o = -3 + q. Do j and o have the same value?
True
Suppose 3*x - 4 = 2. Suppose 11 - 1 = 2*n - 3*o, -4*o = x*n + 18. Let t = -41 - -121/3. Which is bigger: t or n?
t
Let j = -9 + 11. Suppose -j*l - 3 = 11. Which is bigger: -8 or l?
l
Let r(y) = y**2 - 6*y - 2. Let s be r(6). Let o = s + 3. Which is smaller: 1/4 or o?
1/4
Suppose 0*o + 8 = 2*o. Which is smaller: 5 or o?
o
Let i be 2/4 - (-3)/(-18). Let b be 6/4*(2 + -4). Let q be 1/b*21/4. Which is bigger: q or i?
i
Suppose w - 104 = 2*b + 73, -3*b = w - 167. Is w less than 174?
True
Let n be 309/2*(-120)/38. Let j = n - -488. Which is bigger: j or -1?
j
Let k = 214 - 214. Does k = -44?
False
Let h be -1 + 3/3 + 0. Let q = -114 + 1028/9. Is h > q?
False
Let h = -25 - -52. Suppose 4*q - 5 = -5*f, 2*f - 4*q - h = 3. Let b be 1/f + (-84)/20. Is b >= -5?
True
Suppose 4*u = 9 + 7. Let f be ((-695)/150)/(-1) - (-4)/(-30). Which is greater: u or f?
f
Let b be 1/(1*1/(-7)). Let a(i) = i**2 + 7*i - 3. Let z be a(b). Which is bigger: -2 or z?
-2
Let w = 22 - 11. Suppose p = -2*h - 7, -p - w = -4*h + 7*h. Let r be p*(-1 - -3)/1. Is 2 != r?
False
Suppose -102*s = -98*s - 44. Which is bigger: s or 2?
s
Let l be 5/(-30)*(2 + 0). Does l = -0.2?
False
Suppose 2*g + g - 11 = 2*x, 2*x - g = -1. Let v = x + 2. Let h = 3 - v. Is 0 bigger than h?
True
Suppose -d + 2*a = 36 + 13, 149 = -3*d + 5*a. Which is smaller: d or 0.1?
d
Suppose 0 = 4*b - h - 47, -2*b + h + 28 = 5*h. Let l = -8 + b. Suppose l*s + 0 = -8. Is -2 smaller than s?
False
Let i = 24/5 - 283/60. Which is smaller: i or 1?
i
Suppose 3*q = -2*g + 18 + 7, -5*g - 4*q = -80. Let p = 18 - g. Which is greater: p or 2?
2
Let m = -10 + 14. Let u be m/26 + (-451)/143. Which is greater: -0.2 or u?
-0.2
Let f = -0.003 - -0.09. Are f and 1 equal?
False
Let f = 22 + -26. Which is bigger: 0.09 or f?
0.09
Let b = 2 + -3. Let o be 2/b*(-2)/6. Does o = 1?
False
Let h = -30 + 12. Which is bigger: -19 or h?
h
Let x be (1 - 7)*(-30)/20. Let f = 6 - 5. Which is bigger: f or x?
x
Let v be ((-248)/68 - -4) + -2. Is v < -2?
False
Let s = -20 + 19. Which is smaller: -4/13 or s?
s
Let d = 0.8 - 2.8. Which is smaller: d or -1/3?
d
Let l(u) = u - 10. Let g be l(5). Let o(z) = -3 + 0*z**2 + z**2 - 2*z**2 - 5*z. Let a be o(g). Which is bigger: a or -5/2?
-5/2
Let w = -55 - -65. Which is greater: w or 12?
12
Suppose -8 = 6*y + 10. Is y < -5?
False
Let t = 8 - 8.03. Let l = 2.97 - t. Let d = 3.2 - l. Is d less than or equal to 2/7?
True
Let o be 3*-57*4/(-18). Is o > 37?
True
Suppose 5*w - 7 - 8 = 0, 0 = 2*v + 4*w - 2. Which is greater: v or 1/4?
1/4
Let a be 2*((-7)/(-2))/((-12)/(-12)). Is a greater than 12?
False
Suppose -5*n = -b - 8, -4*n = 5*b - 2*n + 13. Which is bigger: -5 or b?
b
Let j = 0 + -0.4. Let f = j - -0.4. Let m = -20.9 + 21. Which is smaller: f or m?
f
Let r be (-20)/104*4/(-5). Which is smaller: r or 1?
r
Let z = -6 - -5. Let i be z + 2 - -3 - 0. Let y = i + -9. Is -5 at most as big as y?
True
Let m = -110 - -132. Is 22 != m?
False
Suppose -4*b - b = 0. Which is smaller: b or -2/5?
-2/5
Let m(i) = i**2 + i - 1. Let f be m(0). Let z = 0.7 + -0.1. Let d = 1.4 - z. Is f bigger than d?
False
Let v be 308/9 + 8/(-36). Let i be v/(-10) - (-6)/15. Is -3 less than or equal to i?
True
Let b = 0.086 + -0.026. Is b less than or equal to -0.2?
False
Suppose 33 = 4*n - 5*p + 97, -2*n + p - 32 = 0. Let h be (-8)/n*4/(-10). Are h and -0.1 nonequal?
True
Let s be 2 - 186/(-9)*(-6)/44. Do s and -1 have different values?
True
Let g = -22 + 26. Let j(r) = -2*r**2 + 10*r - 5. Let x be j(g). Is x smaller than 0?
False
Let w = 62 + -22. Are 41 and w equal?
False
Let w = -9 + 7. Let a be (-1)/(-2) - 60/56. Is a at least w?
True
Suppose 33 = 3*j - 15. Let p = j - 18. Is p greater than or equal to -2?
True
Let q be (-31)/2 - (-3)/(-6). Let o be q/12 + (-4)/6. Which is bigger: -6/5 or o?
-6/5
Suppose m + 5*s + 54 = 0, -m = m + 3*s + 94. Is -44 greater than m?
False
Let h be (-4)/(-12) + 20/(-6). Suppose -2*z - 16 = 2*z. Which is greater: h or z?
h
Let y = 20 + -14. Let f = -19.6 + 18.6. Do f and y have the same value?
False
Let h = 3 + -6. Suppose -20*m - 50 = -10. Which is bigger: h or m?
m
Suppose 0 = 3*b + t - 13, -5*b - t + 7 = -4*b. Suppose -2*f = 3*c + b*f - 13, 3*f + 3 = 0. Let r be (0 + 0)/(18/c). Is r greater than or equal to 0?
True
Let h(x) = -2*x**3 + 17*x**2 + 8*x + 11. Let d be h(9). Which is smaller: 1 or d?
1
Suppose 7*l = 4*l + 6. Let b be l/(-1) + (-3)/3. Is b at least -4?
True
Let z be 6 - 3/((-9)/(-15)). Is -28 > z?
False
Let c = 24 + -11. Is c greater than 13?
False
Suppose -j + 8 = 4*l, l - 2*l = 2*j + 5. Let x(n) = n**2 + 3. Let b be x(2). Suppose -4*u = 16, -l*p - 9 = 4*u + b. Is p != 1?
True
Suppose f - 6*f = -25. Suppose 4*g + 9 = -5*a, f = a - 2*a - 4*g. Let j be 18/(-81) + a/9. Does j = 1?
False
Let y = 26.3 - -3.7. Do 2/3 and y have the same value?
False
Let m(w) = -w + 1. Let c be m(-5). Suppose -p + 10 = -c*p, 5*n + 5*p = -15. Which is bigger: n or 0?
0
Suppose -32 = -2*d - 2. Let s be 0/(-2)*(-5)/d. Which is smaller: s or 1/3?
s
Let d = -60.2 + 43. Let v = 19 + d. Let m = 2 - v. Is -1 at least as big as m?
False
Let g(b) = -3*b - 7. Let m be g(-4). Suppose 0 = o - m*a - 16, -o + 3*a = -4*o - 6. Is -4 bigger than o?
False
Let j = -0.75 - -1.75. Which