?
False
Let m = 2260/531 + -38/9. Which is smaller: m or 0?
0
Let b(d) = -2*d + 10. Let j be b(4). Is j at least as big as -13/3?
True
Let l be 6/(-21) + (-68)/(-91). Let j be (-10)/(-6)*(-8 + 14). Suppose 0 = -5*b - 4*r - 4 + 1, -j = -4*b + 3*r. Which is smaller: l or b?
l
Suppose 2*k + 9 = -4*d - 3*k, 3*d + 7 = -4*k. Let a be d*133*1/3. Let j = a - -44. Is 1 at most as big as j?
False
Suppose 0*s + 64 = 8*s. Let t(o) = o**3 - 8*o**2 - 1. Let v be t(s). Which is bigger: v or -2/29?
-2/29
Suppose 0 = -398*z + 393*z. Which is smaller: 1/67 or z?
z
Let d(m) = m**2 - 12*m - 12. Let b be d(13). Let g(i) = 24*i. Let z be g(b). Let q be 133/294 - 1/6. Which is smaller: q or z?
q
Suppose 2*j + 4 = 4*j. Suppose 1 = -2*l - j*w - 1, 2*w = 2*l - 18. Is l greater than or equal to 8?
False
Let z = -9 + 5. Let y = 14 + z. Let r be (-30)/(-75) + (-8)/y. Is r equal to 0?
False
Let r = 208 - 217. Which is bigger: -5 or r?
-5
Let k be (-6)/9 - 41/(-3). Suppose -23 - k = -4*f - u, 0 = 5*f + 5*u - 60. Suppose 3 = 5*z + 4*m, -5*z - 2*m = 73 - 72. Which is smaller: z or f?
z
Let d = -1048.47 + -9.53. Which is smaller: d or 0.1?
d
Suppose 4*a = -2*y + 10, 4*y - 4 - 1 = -3*a. Suppose -7*q + 32 = -a*q. Let p be ((-3)/18)/(2/q). Is p < -1/2?
True
Suppose -2*a + 5 + 1 = -2*c, 3*c + 17 = 5*a. Suppose -5*k - 4*g + 17 = -2*k, 3*k + 3*g - 18 = 0. Let z be 35/(-10)*(-3)/k. Is c at most z?
True
Suppose i - 3*b - 11 = -5*b, 4*b + 3 = 3*i. Suppose -15 = -i*p - 5. Which is bigger: -8 or p?
p
Let x = -45.5 - -45.6. Which is smaller: x or -34?
-34
Let w be -3*4/36*0. Suppose w = -3*m + 8*m - 10. Is m <= 5/6?
False
Let d(z) = z**2 + 7*z + 6. Let g be d(-6). Are g and -179 unequal?
True
Suppose -182*s + 1196 = -178*s. Are 296 and s equal?
False
Suppose -214 = c + c + g, 5*c = -5*g - 530. Let v be (c/8)/3*2. Let y = -27 - -20. Is y bigger than v?
True
Let n be (4/18)/((-154)/(-3129)). Let f = 13/3 - n. Do 1 and f have different values?
True
Let w(l) = -5*l + 2 - 3 - l**3 - 6 + 8*l**2. Let m be w(7). Let g(u) = u**2 - 7*u. Let v be g(m). Which is smaller: v or -1/14?
-1/14
Let k be 2*((-2)/(-8))/(-1). Let s = -0.102 - 0.698. Is s bigger than k?
False
Let t(h) = 3*h**3 - 3*h**2 - 1. Let s(b) = -b**3 + b**2 - b + 1. Let c(v) = 2*s(v) + t(v). Let n be c(2). Does n = 1/75?
False
Suppose f = 3*f - d - 2, -3*f + d + 2 = 0. Let v be ((-32)/16)/(46/(-4)). Is v at least f?
True
Let s = 0.2 - 0. Let t = 40 + -28. Suppose -4*l = -l + t. Is s at least l?
True
Let n(s) = 2*s + 28. Let t be n(4). Let q be (-84)/(-21) + t/(-22). Is q at least 3?
False
Let b be -3*(16/(-6) + 2). Suppose 4*u + 8 = -4*y - 0*y, -2*y + 12 = -b*u. Let a(h) = -h**3 - 2*h**2 + 1. Let p be a(-1). Which is bigger: p or y?
y
Let x = 14 - 13. Suppose 3*g - x = 2*k - k, -16 = 4*k. Let p = -358/117 - -34/13. Is g less than p?
True
Let q = 287 + -282. Is q less than 6?
True
Suppose 2*s + 12 = -2*j + 2, 3*j = 2*s. Let p be s - ((-2)/6)/(1/6). Is p > -5/16?
False
Let x = -23.72 + -6.28. Do 0.12 and x have the same value?
False
Let p be 2*(-2 - 22/(-12)). Let y(u) = u**2 - 74*u + 1353. Let j be y(33). Which is smaller: p or j?
p
Let t = -278 - -280. Let u be 5 + -3 - 2/4. Which is greater: t or u?
t
Let g(j) = 5*j + 13. Let z be g(-4). Suppose 4*u = 4*c + 28, c + 3*c - 2*u + 28 = 0. Does c = z?
True
Let f = -0.47 + -1.03. Let j = f - -1.3. Which is smaller: 1.5 or j?
j
Let p be 3 - 406/(-16)*108/(-909). Which is smaller: p or 1?
p
Suppose 3*b - m + 6 = 0, -3*m = 2*m. Is -24 equal to b?
False
Let z = -0.99 + -19.01. Let l = z + 20.09. Let x = -1 + 0. Which is bigger: l or x?
l
Let s = 2.8 + -3. Let q = -292.45 + 304. Let d = q - 11.6. Do s and d have different values?
True
Let j be 1/((-3)/(-2) + -1). Suppose 3*t - j = t. Let v = 79 + -80. Which is smaller: t or v?
v
Suppose -4 = z - 2. Let g = z + 4. Let h be (1 - g - 0)/(-1). Which is smaller: 5/9 or h?
5/9
Let w = -3 + 4. Let y be w - (5/(-1) + 3). Let h be 4/(-40)*(-12)/y. Which is bigger: h or 1?
1
Let p be (-69)/(-28) - (-24)/(-32). Suppose -4*i = -23 + 7. Suppose 5*z = 14 - i. Which is greater: z or p?
z
Let v(w) = -w + 1. Let f be v(-3). Suppose f = y + 3. Let m be (4/(-1))/(y - 14). Which is greater: m or -1?
m
Suppose -3*g - g - 3*l + 747 = 0, -743 = -4*g + l. Is 186 < g?
False
Let u(p) = p**3 - 21*p**2 + 22*p - 36. Suppose 3*g + 5*h - 65 = 0, -54 - 1 = -3*g + 5*h. Let j be u(g). Let v be (-6)/(-1)*(-2)/(-3). Is v bigger than j?
False
Let p be ((-14)/18)/((-2)/3). Let v = 11/12 - p. Are v and -4/3 equal?
False
Suppose 0 = -3*z - 3*i - 795, 3*z - i = -z - 1050. Which is greater: z or -262?
-262
Let c = -73 - -41. Let h be 152/(-70) + c/80. Is -4 < h?
True
Suppose 7 = -q + 5*z - z, -8 = 2*q - 5*z. Suppose -4*n + 70 = 3*c, -4*c = -c + 2*n - 80. Let u be (-6)/10*c/48. Which is bigger: q or u?
q
Let t = -0.8 + 0.89. Let v = 0.1 - t. Let r = v - -0.79. Is r bigger than 0?
True
Let l(a) = 1 - 16 - a**3 + 0 - 12*a - 11*a**2 + 3. Let u be l(-10). Are 7 and u equal?
False
Suppose 2*j + 1 - 3 = p, p = 5*j - 5. Suppose p*r = 5*r. Let u = r - 1. Is u greater than 2/23?
False
Suppose i + 7 = 16. Suppose i*k = 5*k. Suppose k*r - 2*r - 24 = 0. Is -13 equal to r?
False
Suppose 0*l - 9 = 3*l. Let w be l/(-54)*-5 - 2/9. Let v = -3 + 2.8. Which is smaller: v or w?
w
Let g(t) = t + 5. Let u be g(-7). Let k be (9 - 3 - -4)/u. Let r(c) = -c**2 - 6*c - 6. Let o be r(k). Which is smaller: o or -1.2?
-1.2
Let d be (-44)/(-8)*(-6)/45. Let x = 2/5 + d. Let o be (-52)/44 - (26/(-22) - -1). Which is greater: x or o?
x
Let p = 284 - 848/3. Which is bigger: p or -7/8?
p
Let j be ((-11)/22*1)/((-17)/(-2)). Let i(d) = -d**2 + 8*d - 7. Suppose 6 = 2*o - 8. Let t be i(o). Which is smaller: j or t?
j
Let q be 1/(4/16) + 10. Let o be (-3)/(-7) + (-118)/q. Let r be (-74)/10 + 4/10. Which is bigger: r or o?
r
Let a = -87 + 147. Let w be 1/((-12)/4) - (-40)/12. Suppose -a = -w*c - c. Are 16 and c unequal?
True
Let x = 501 - 524. Which is smaller: x or -9?
x
Let o be -4*(-2)/(-35 + 1/(-1)). Is -38/5 bigger than o?
False
Let v be (11/2 + -5)*(119 + -119). Let s(h) = -h**3 + 8*h**2 - 6*h - 1. Let z be s(7). Let b be 30/(-28)*z/(-5). Which is bigger: v or b?
b
Suppose 6 = -10*m + 7*m. Let y be 90/(-24) + m/(-8). Which is smaller: -5 or y?
-5
Let y(w) be the first derivative of -w**3/3 + 9*w**2/2 - 6*w - 1. Let l be y(8). Suppose -3*g = -23 + 17. Is g at most as big as l?
True
Let k = 40.926 - 40.9. Are k and -2/15 non-equal?
True
Let g = 1 - 4. Let m be g/1 - 1*-7. Let b = m - 2. Which is smaller: b or 3?
b
Suppose -15 = -2*z - 17. Let t be (168/(-120))/(z/(-5)). Do -6 and t have different values?
True
Suppose 4*o - u + 3*u = -8, 4*o + 4*u = -16. Which is bigger: 1/954 or o?
1/954
Suppose 4*i + 8 - 5 = -y, 4*y + 4*i = 0. Suppose 0 = -3*o + o + 192. Let t be (-1 + 92/o)*-2. Which is smaller: t or y?
t
Suppose 5*l - 2*l = 3*v + 30, -4*l = -2*v - 16. Let m be 10/4*-10*v/3750. Is m not equal to 3/5?
True
Let k be (-3)/(-3)*-1 - 0. Let a(z) be the second derivative of z**5/20 - 3*z**4/4 + 3*z**3/2 - 6*z**2 + 42*z. Let q be a(8). Which is smaller: k or q?
q
Let c(m) = 30*m + 545. Let k be c(-29). Which is smaller: k or -324?
k
Let z = 0.158 + 0.042. Which is smaller: z or -17?
-17
Let j = 239/627 - 4/11. Let y(f) = -f**2 - 4*f. Let r be y(-4). Which is smaller: r or j?
r
Let z be (2/2 - 0)*(-126)/3. Let c be (-15)/75 + (z/5)/3. Is c at least -17/5?
True
Suppose 0 = -0*c - 3*c - 9. Let t(y) = -y**3 - 4*y - 4. Let u be t(c). Let a be 10/(-25) + 24/u. Is 10 at least a?
True
Let y = 25 - 10. Suppose 3*w - 2*v - v = -y, 5*w - 11 = -4*v. Which is smaller: -8/5 or w?
-8/5
Let l = 4.5 + -4. Let k be 4/(-6)*(7 + 110/(-20)). Is k greater than or equal to l?
False
Suppose -3*c = -4*q - 75, -4*q + q - 2*c = 52. Let i be 332/36 + 4/q. Let g be 20/(-15)*i/(-138). Which is smaller: 1 or g?
g
Let a(o) = o**3 + 3*o**2 + o + 3. Let k be a(-3). Suppose -7*u + 5*u = -4. Let s be (6/2*(-1 + u))/8. Is s at most k?
False
Let o(i) = -i**2 - 26*i - 171. Let l be o(-13). Is 9 >= l?
True
Let q = -3.5 - -3. Let m = -0.53 - q. Let c = -9151 + 9152. Is m smaller than c?
True
Let r be (-14 - 3)/(((-21)/(-12))/(-7)). Let a = r - 57. Is -0.3 at least a?
False
Suppose -10*n = -8*n + 44. Let y = 20 + n. Let k(o) = -o**2 + 7*o + 2. Let d be k(7). Is d gre