, 0 = 3*y - 5*d + 246. Let t be y/(4 - 1) + -1. Let b be ((-8)/t)/(4/10). Is b greater than 2?
False
Let j be 2/11*67/34. Let z = j + -3/17. Which is bigger: z or 0?
z
Let d be 5/1 - 2 - -5. Let z = d + -4. Let j be (-12)/8*z/63. Do j and 0 have the same value?
False
Let a be (-9)/6*4/22. Let i = a - -4/55. Let j = -29 + 29. Which is bigger: i or j?
j
Let s = -314 + 217. Is s at most as big as -96?
True
Let c = 0.8 + 0.2. Let s(t) = 4*t**2 + 1. Let m be s(-1). Let z be ((-5)/m)/(-3 + 0). Is c > z?
True
Let p = 0.06 - 18.06. Which is bigger: p or 0?
0
Suppose 0*p + 2 = -p + b, p + 4*b = -7. Let k = -30.7 + 33. Let i = k - 0.3. Which is bigger: i or p?
i
Let r = 4 + -44. Let i be (6/(-8))/((-45)/r). Which is greater: -1 or i?
i
Let o = 0.061 - 0.031. Which is smaller: o or -2?
-2
Let l(q) = 3*q + 9. Let w be l(-8). Is -9 >= w?
True
Suppose -12 = -3*y + 48. Is y >= 21?
False
Suppose -2*a + 3*p = -16, 4 = 2*a - 2*p - 8. Is 12/11 smaller than a?
True
Let u be -1 + 1 + 12/(-21). Suppose 0 = -3*b - 2*i - 2*i + 8, 6 = 5*b + 3*i. Which is bigger: u or b?
b
Suppose -30 = q + 5*a, 1 + 35 = -2*q + 2*a. Is -20 >= q?
True
Let o(w) = -w**3 + 9*w**2 - w - 3. Let v be o(9). Let m be v/15*(-10)/(-18). Is m > 1?
False
Let q = 1/30 + -1/3. Is 1 at most as big as q?
False
Suppose 2*k + 3*k = 5*b + 140, -2*k + 5*b + 56 = 0. Which is bigger: 27 or k?
k
Suppose -22 = 3*w + 17. Is -14 less than or equal to w?
True
Let d(l) = 4*l + 1. Let b = 4 - 3. Let g be d(b). Suppose -2*i = -5*z + 3*i + 5, 5*z + i - g = 0. Is 1 bigger than z?
False
Let t(v) = -2*v. Let z be t(2). Are z and 1/2 equal?
False
Suppose t - 6*t = -20. Suppose 6 = -2*b - 3*d, 7 = 5*b - 3*d - 20. Suppose -1 - b = -t*j. Which is bigger: 3/4 or j?
j
Suppose 0 = 3*a + 4*t + 8, -3*t = 4*a - 4 + 17. Let v be 2*-1 - 2/1. Let o be ((-4)/(-2))/(v/6). Is a greater than o?
False
Suppose k = -4 + 3. Let o be (k/(-2))/((-2)/4). Which is bigger: o or -2/17?
-2/17
Let b = -34 + 34. Let q be ((-6)/28)/(9/(-12)). Is q greater than or equal to b?
True
Let m = 2.87 - -0.13. Do -0.1 and m have the same value?
False
Let i = -58 - -56. Are i and -2 unequal?
False
Let n = 1.27 - 1.17. Let c = 0.96 - 1. Is c at least as big as n?
False
Let l be 1/((-4)/96*2). Which is smaller: -13 or l?
-13
Let q be 3 - (0 + (-4)/(-4)). Let g = 2 + -3. Let v be ((-9)/2)/3 - g. Is q greater than or equal to v?
True
Let m be -4*(154/(-8))/(-11). Which is smaller: -68/9 or m?
-68/9
Let a = 42276/95 + -445. Are a and 0 unequal?
True
Let m be (4/(-20))/((-1)/5). Is m at least as big as -1/11?
True
Let w = 4.7 - 5. Let p = -0.29 - 0.01. Let z = 0.2 + p. Which is bigger: w or z?
z
Let z = 17.3 + -17. Let h be 2/8 - (-39)/(-12). Let w = h + 2. Which is greater: z or w?
z
Let b = 0.2 - -0.3. Let a = 18.7 + -19. Let o = a + b. Which is greater: o or -2/5?
o
Let i = -87.6 + 87. Which is smaller: 0.04 or i?
i
Let v = -11/2 + 17/4. Let k be 0*(0 - -2)/2. Is v greater than or equal to k?
False
Let x(b) = b - 3. Let n(j) = j - 3. Let h(f) = 5*n(f) - 4*x(f). Let t be h(-7). Let i = t - -9. Which is smaller: -3 or i?
-3
Let q be 2 - 4*3/6. Which is bigger: q or 2?
2
Suppose -3*d + d + 10 = 0. Let n(l) = -3*l + 4. Let g be n(-7). Let i = 57/2 - g. Which is greater: d or i?
d
Let p(d) = -d**2 + 7*d + 5. Let l be p(7). Suppose -l*f = 6 - 1. Let t be ((8/9)/f)/2. Is -1 > t?
False
Suppose -3*a - 13 = 5*q - 4*q, 3*q + 3 = 0. Which is smaller: a or -3?
a
Let s = -0.1 - -0.2. Let j = 1.36 + -1.66. Do j and s have the same value?
False
Let y(b) = b**2 + 5*b - 10. Let f be y(-7). Suppose f*j + 24 = j. Let o be (9/(-2))/(66/j). Which is bigger: o or 0?
o
Let s = 11/7 - 1/14. Let o = s + -9/10. Which is smaller: o or 0?
0
Let d(c) = 2*c**2 - c - 5*c**3 - 14*c**3 + 20*c**3. Let n be d(-3). Which is greater: n or -7?
n
Suppose 3*u - h - 4 = 7, 4*u - 4 = -4*h. Suppose -3*x - 3*m - 14 = 13, -3*x - 3 = -u*m. Is x equal to -6?
False
Let t = 2292 - 160437/70. Let r = t - 181/140. Is -1/4 bigger than r?
True
Let a(u) = 5*u**3 - 13*u**2 - 13*u + u**3 + 3*u**3 - 18 - 8*u**3. Let g be a(14). Which is smaller: g or -3?
g
Let o = 15.6 + -16. Let k = o - 1.6. Do -2 and k have the same value?
True
Let i = -43 + 41. Is i > -2/3?
False
Suppose -5*o = -3*o + 36. Let v be (-7)/9 + 4/o. Which is bigger: -4/7 or v?
-4/7
Let g(k) = -k**3 - 7*k**2 - 6*k + 3. Let u be g(-6). Let l(c) = c + 2. Let a be l(-7). Let s be u*1*a/(-15). Is s > 0?
True
Let b = -19 - -10. Which is smaller: -1 or b?
b
Let j(h) = -2*h + 4*h + 8 - 3*h + 6*h**2 - h**3. Let q be j(6). Suppose 3*k - q*b = -3*b + 3, -3*k + 3 = -3*b. Is k at least 4/5?
True
Let n(g) = -g + 18. Let w be n(15). Suppose -5*h = -t + 2*t - 13, -h = -w. Is 2 at least t?
True
Let c be ((-14)/152)/((-1)/32) - 3. Is 0 less than or equal to c?
False
Let b = 4 + 8. Do 12 and b have the same value?
True
Let b(y) = -2*y**2 + y - 57. Let f be b(0). Which is bigger: f or -0.1?
-0.1
Let b(d) = d - 11. Let g be b(13). Let t(u) = -u**3 + 2*u**2 + 3*u + 2. Let z be t(3). Suppose -z = -5*f + 3. Which is smaller: g or f?
f
Let m be (-2)/(-5)*21/14. Is m greater than or equal to 0?
True
Suppose -4 + 2 = -2*l. Let f be 49/13 + (l - 5). Which is bigger: 0 or f?
0
Let c = 8 - 8.08. Let x = -0.32 + c. Let j = x - 0. Which is smaller: j or 1?
j
Suppose 9*p - 3 = 6*p. Let r be ((-12)/28)/((-22)/7). Which is greater: r or p?
p
Let p = 29/143 - 5/33. Is p greater than or equal to -1?
True
Let w = 0.4 + -1.8. Let s = -0.6 + w. Let i = -8 + 7. Which is bigger: i or s?
i
Let x = -7 + 20. Is 10 greater than x?
False
Suppose 0 = -54*n + 57*n. Let t be (-11)/12 - (-1)/4. Which is bigger: n or t?
n
Suppose -20 = p - 5*p, -2*p = -r + 15. Suppose -i - 2 = -12. Let m be 14/i + (-10)/r. Is 1 at most m?
True
Let g be (1 - -1)*((-171)/18 - -9). Which is greater: g or -66?
g
Let t = -1 + 1. Let u be 6/75 + 0 + 0. Let z = -31/75 + u. Is z smaller than t?
True
Let p = 17 + -69/4. Is -0.09 greater than p?
True
Let i(x) = x**3 + 10*x**2 + 8*x - 5. Let c be i(-9). Suppose -2*s + c + 2 = 2*k, -4*k = s - 15. Suppose -2*u - 3*u = -n - 16, 5 = n + 2*u. Is s != n?
False
Let i = -3 + 10. Let r = -4 + i. Which is bigger: -0.1 or r?
r
Let z(d) = -d**2 + 5. Let x be z(3). Which is greater: x or 1?
1
Let j be ((-345)/50 + 6)*(-25)/(-6). Which is greater: -3 or j?
-3
Suppose -6*j + 7*j - 5*r = -23, 22 = j + 4*r. Suppose 0 = j*t + t. Is t at most -1/9?
False
Let g = -106/63 + -8/9. Let m = -20/7 - g. Is m at least 4?
False
Let x = -0.43 + 1.43. Which is smaller: x or -2?
-2
Let g = -6 + 8. Suppose 3*x - 10 = -g*x. Suppose -c + 3 - x = 0. Which is smaller: c or 0?
0
Let i(r) = r**3 - 9*r**2 + 8*r. Let f be i(8). Are -2/9 and f non-equal?
True
Suppose 5*s + 79 - 34 = 0. Is -9 <= s?
True
Let u be (-18)/4*16/(-12). Let g be (1/3)/((-2)/u). Suppose 0 = 7*p - 4*p, 5*p = 2*k + 4. Does k = g?
False
Let w = 11 + 7. Let p = -17 + w. Which is greater: p or 5/7?
p
Let o be 1/(-18) + 8/16. Which is bigger: o or 0?
o
Let q be (-30)/9*3*-1. Suppose -4*z = z + q. Which is smaller: z or 0.1?
z
Suppose 215 = -6*r + 29. Is -30 equal to r?
False
Let o = -0.2 - -0.2. Let l = 0.2 - o. Let y = -0.1 + l. Which is smaller: -0.3 or y?
-0.3
Let n(l) = 3*l - 8. Let q be n(6). Let p be (-2)/(-8) - q/8. Which is greater: p or -1/3?
-1/3
Let j = 3/29 + 81/58. Let o = 3 - 2. Let y be -1*((-3)/(-4) - o). Are y and j equal?
False
Let n = 79 - 43. Suppose -11 = 5*i - n. Suppose -i*p = 1 + 4. Is p < -3/5?
True
Let b = 76 - 72.1. Is 1 != b?
True
Let u = -1.4 + 1.4. Which is greater: u or -4/5?
u
Let b = -135/2 + 66. Let l = 13/6 + b. Let k = -0.08 + -2.92. Which is smaller: k or l?
k
Suppose -14 = 3*c + 5*t, -3*c - t = -0*t + 34. Is c <= -13?
True
Let c be (3/3)/(-3*1). Let y = 22 + -21.98. Is c at least y?
False
Let o = 0 - 0. Let j be ((-1)/(-1))/((-10)/(-4)). Do o and j have the same value?
False
Let p(j) = -j**2 - 7*j + 10. Let z be p(-8). Let b be z/(-8) - 7/4. Do b and -1 have different values?
True
Suppose 0*y = -3*d - 5*y, d = 3*y. Which is greater: 3/16 or d?
3/16
Suppose -568085 = -5*a - 4*y - 0*y, -3*a + 4*y = -340851. Let z = -2950593/26 + a. Let q = -265/2 + z. Which is greater: q or 0?
q
Suppose 0 = 5*x + 2*g - 6 + 13, 4 = -5*x + g. Is x != -1?
False
Let s = 3 - 3. Suppose 5*d - 3*q - 17 = s, d + 2*q + 19 = -3*q. Let n be (