 Let q(s) = s**3 - 8*s**2 - 8*s + 62. Let v be q(8). Which is bigger: v or x?
x
Suppose -4*m + 9 + 3 = 0. Suppose 4 = -4*w, -m*f - 2*f - w - 11 = 0. Are f and -2 non-equal?
False
Let l(v) = v + 12. Let s be l(-6). Let i(t) = -t**3 + 10*t**2 + 11*t + 7. Let h be i(11). Which is smaller: s or h?
s
Let s = -0.5 - -0.4. Let c = 25435/12 - 2118. Let i = c - 4/3. Which is smaller: i or s?
s
Suppose 0 = -5*c + 1 + 24. Suppose 15 = 3*x + 2*x. Is x != c?
True
Let s be (-21)/(-5) - -4*(-2)/40. Does 2 = s?
False
Let h(b) = -5*b + 7. Let c be h(-8). Which is bigger: c or 49?
49
Suppose -4 = r + 3*r. Is r at most -1/23?
True
Let t = 7 - 13. Let k = t - -8. Let r = 0.7 - 0.4. Is r at least as big as k?
False
Suppose -3*b + 6 = -6*b. Let s be -1 - b/(-4)*2. Let m(i) = -3*i**2 + 22*i + 17. Let j be m(8). Are s and j non-equal?
True
Let x(l) = 2*l**2 - 3*l - 1. Let z be x(3). Suppose z + 13 = -3*s. Is -7 at most as big as s?
True
Let x be (-12)/78 - (-42)/(-65). Which is smaller: x or -2?
-2
Suppose 3*y + 0*y = -33. Let w = -10 - y. Which is greater: w or 3/7?
w
Suppose -3*i - 8 - 4 = 0. Does -4 = i?
True
Let c be (-265)/(-55) - 3/(15/25). Suppose 3*b - 94 = -2*g + b, -5*g + 2*b = -242. Let p be g/(-70) - (-2)/5. Which is greater: p or c?
c
Let u = -19 - -11. Let s = 9 + u. Let c = -3 - -5. Are s and c nonequal?
True
Let o = -27.89 + 28. Let p = 0.11 - o. Is p less than 0.4?
True
Let k = 8.06 + -8. Let c = k - 0.26. Do c and 0 have the same value?
False
Suppose 0 = -7*v - 1 + 8. Which is greater: v or 2/51?
v
Let h(s) = s**2 + 18*s - 49. Let w be h(-20). Are -7 and w nonequal?
True
Let y be -2 + (-3)/(18/(-8)). Let u be (-12)/(-15) - 1 - 4/(-20). Is u bigger than y?
True
Let o = 5 + -5.3. Let w = o + 0.2. Let u = 0.2 + w. Which is greater: -2 or u?
u
Let u be (21/241110)/(9199/(-1636517924)). Let k = u + 2/3891177. Let z = 78/5 + k. Which is bigger: z or 1?
1
Let f = 2 + 2. Let w be 8/(-3) - f/12. Let q(y) = y**3 + 3*y**2 - 4*y - 4. Let u be q(-4). Is u greater than w?
False
Let u(n) = n - 6. Let x(s) = -3*s**3 - s**2 + s + 2. Let y be x(-2). Let c = -12 + y. Let q be u(c). Which is greater: q or 3?
3
Let i be (6 - 2)/(6/(-33)). Which is bigger: -23 or i?
i
Let w(p) = -p**3 + p - 4. Let q(h) = -1. Let t(g) = 6*q(g) - w(g). Let r = -4 - -6. Let o be t(r). Are 4 and o nonequal?
False
Let n(p) = -p - 2. Let j be n(-3). Is j smaller than 5/9?
False
Let q be 14/21*(2 - 5). Is 2 at least as big as q?
True
Suppose -2*q - 7 = 7. Let c(m) = -m - 10. Let v be c(q). Which is greater: -5/3 or v?
-5/3
Let x be 126/4 - 6/(-4). Let l = x + -49. Let d be 4/l - (-22)/(-8). Are d and -3/2 equal?
False
Let v = -565/644 - -27/28. Which is smaller: v or 1?
v
Let r(b) be the first derivative of -8*b + 1/2*b**2 + 1. Let a be r(9). Which is greater: -2/21 or a?
a
Let d be ((1 + 0)*-2*-1)/19. Which is greater: d or 1?
1
Let p = 7 + -2. Suppose -3*k - 2 + p = 0. Is k at most 5?
True
Let d = 4.1 - 4. Let a = -1 - -1. Let w = a - d. Which is bigger: w or -1?
w
Let t = 66 + -64. Is t less than -28?
False
Suppose 0 = -2*b + 2*k + 6, k + 3 = 5*b - 16. Which is bigger: b or 3?
b
Let s = -6/31 - 20/217. Let q be (3/9)/((-1)/(-3)). Is q at most s?
False
Suppose 4*a = -215 - 1. Let u be 3/5 - a/(-40). Suppose 4*m = 5*b + 2, -2*b - 4*m - 2 = 10. Which is smaller: b or u?
b
Suppose -6*u = 2*u + 320. Is u smaller than 0?
True
Suppose -1 = 4*r - 5. Let n be 0 - 0 - -30 - 2. Let k be 4/6 - n/51. Is r bigger than k?
True
Suppose 0*f + 3 = 3*f. Let t(w) = -26*w**2 + 8*w**2 - 1 + 22*w**2. Let l be t(f). Is l at most as big as 3?
True
Let r = -1572 + 7908/5. Which is smaller: 1 or r?
1
Let f(u) = u**2 + 5*u + 4. Let t be f(-4). Which is greater: -1/221 or t?
t
Suppose -8 = 3*g - 11. Which is bigger: -5 or g?
g
Let t be (6 - 4) + 4*1. Is 6 greater than t?
False
Suppose 3*c - 312 + 51 = 0. Suppose -o + 49 = -w, -w = -5*o + c - 18. Let q be 1/(-4) + (-3)/w. Which is greater: -1 or q?
q
Let k = -2.14 + 0.14. Let v = -2.99 - 0.01. Which is smaller: k or v?
v
Suppose 2*v + 8 = 10. Does -18 = v?
False
Suppose 4*m - 62 = 66. Which is bigger: 33 or m?
33
Suppose -31*z = -28*z - 3. Are -3/34 and z non-equal?
True
Let j = -268/171 - -15/19. Let i = -1/9 - j. Let t = -0.04 - 4.96. Which is smaller: i or t?
t
Suppose 3*j + 4*p = 190, 4*j - 3*j - 4*p - 42 = 0. Which is bigger: 59 or j?
59
Let k be 4 - 381/96 - 0. Is -1 smaller than k?
True
Let z(i) = -i**2 + 5*i + 2. Let o be z(6). Let x(a) = -a**3 - 5*a**2 - 6*a - 2. Let f be x(o). Is f <= 6?
True
Let v be -1 + (-1)/(1/1). Let y be -8*(-1 - (v + 2)). Which is bigger: 7 or y?
y
Let k = -0.16 + -0.84. Let f = 1 + k. Which is smaller: -2/7 or f?
-2/7
Let a = -2 + 1.9. Let q = -0.8 - a. Which is smaller: q or 0?
q
Let x be (-9)/2*(4 + -2 + 0). Which is greater: -60/7 or x?
-60/7
Suppose 3*y + 3*l = -y + 23, 3*y - 4*l = -14. Suppose -y*v = 4, -5*d - 20 = 5*v + 5. Which is bigger: -2 or d?
-2
Let p = -43.03 + 43. Which is bigger: p or 0.3?
0.3
Let n be 22/(-3)*((-18)/6 + 0). Are 22 and n non-equal?
False
Let r = 37 + -24. Which is smaller: r or 12?
12
Let f = 8 - -7. Let t = f + -8. Let a = 10 - t. Is 0.1 < a?
True
Let r(g) = g**2 + 9*g + 3. Let y be r(-9). Suppose 1 = -2*c + y. Is c equal to 1/6?
False
Let h = -3 + 5. Let x(w) = w**2 + 5*w + 3. Let z be x(-5). Let l be (z/(-9)*0)/h. Is -4/7 at most l?
True
Let l be (22/(-3))/((-26)/(-6)). Let h = 111/104 + l. Let z = 1/8 + h. Which is bigger: 0.6 or z?
0.6
Let i = -2 - 0. Let p be (-1)/(i + 27/15). Which is smaller: p or 6?
p
Let w be 28/48 + (-1)/4. Let c(m) = -m - 10. Let i be c(-9). Let f be (-3)/(-9)*(i - 2). Does f = w?
False
Let j be 74/14 + (-6)/21. Suppose 0 = j*i, r - 4*i = 5*r. Suppose -5*b = 0, -3*t - t - 3*b = r. Which is smaller: -2 or t?
-2
Let f = 124.945 - 125. Which is bigger: 1/3 or f?
1/3
Suppose 0 = -a + 3*a + 2. Let c(n) = -2*n + 4. Let h be c(3). Let y be (h/(-10)*1)/1. Is y at least a?
True
Let z(t) = -2*t - 40. Let x be z(-22). Let d(o) = -5*o. Let v be d(-1). Suppose -v*b - x = -b. Does 0 = b?
False
Let n(w) = -w**3 - 5*w**2 + 7. Let r be n(-5). Does r = 4?
False
Let z = -65 + 63. Let p = 4 + -4.8. Let b = 0.2 - p. Is z bigger than b?
False
Let m be (-23)/63 + (-2)/(-9). Is 1 not equal to m?
True
Let s = -150150 - -13512887/90. Let i = 1186/171 + 10/57. Let c = i + s. Which is smaller: c or 1?
c
Let l(c) = c**3 + 7*c**2 - 3*c - 18. Let d be l(-7). Is d less than 6?
True
Let w(n) = -n**2 - 6*n - 6. Let g be w(-4). Suppose 2*u - g + 6 = 0. Which is bigger: -3 or u?
u
Let t be 12*1*9/27. Suppose 2*b + b - t*v + 10 = 0, -5*b + 4*v - 6 = 0. Let x = 3 - 1. Is b less than or equal to x?
True
Let s = 7 + -4. Suppose y = s*y + 4. Let r be 0 + y*2/4. Is r greater than 2/3?
False
Let q = 99 + -2873/29. Is q at least 1?
False
Let w(m) = m**2 - 5*m + 5. Let d = 0 + 4. Let r be w(d). Let x = 18 - 128/7. Is r < x?
False
Let h be -1*(0/(-2))/(-1). Suppose -3*u - 9 = -h. Is -8 greater than or equal to u?
False
Let f = -24 + 58. Suppose 2*z - 5*c = 28, -3*z + c + f - 5 = 0. Is 9 less than or equal to z?
True
Let o = -3.8 - -4. Let a be 1/(-10) + (-3)/(-6). Which is smaller: a or o?
o
Let b = -0.5 + 0.3. Let g = b - -0.6. Is g equal to 0?
False
Let f be (-1 + 4/6)*-3. Let k be (3 + -1)*f/5. Let d = -5.9 - 0.1. Is k >= d?
True
Let n(b) = -b**3 - 8*b**2 - b - 14. Let y be n(-8). Which is smaller: y or -9/2?
y
Let p = 5 - 3. Let l be 2/4 + 0/(-1). Which is greater: l or p?
p
Let y = 10 - 6.8. Let c = y - 2.3. Is c equal to -1/3?
False
Let r = -152 - -147. Is -32/5 less than or equal to r?
True
Let z(o) = 38*o + 2. Let l be z(2). Let m = l + -236/3. Let v = -6 + 6. Is v <= m?
False
Let b(y) = -y**3 + 3*y**2 + 3*y - 1. Let z be b(4). Suppose c + 3 + 1 = 0. Are c and z nonequal?
True
Let i be -1 + 2 + (-378)/377. Let u = i + -733/7917. Which is greater: 0 or u?
0
Let d be 28/8 + 2/(-4) + 40. Is 42 less than d?
True
Let y be (-6)/(((-14)/(-4))/(-7) - -20). Which is bigger: y or -2?
y
Let b be (0 + (-4)/12)*-9. Suppose -4*c + 3 = -3*a, -4*a = b*c + 3 + 1. Which is greater: 5 or a?
5
Let k = -65/2499 + 2/357. Is -1 at least as big as k?
False
Suppose 0 = 64*l - 59*l. Is -11 smaller than l?
True
Let r = 18 - 13. Let l = -1.31 - -1.21. Are r and l equal?
False
Suppose 3*w - 5*w - 12 = 0. Suppose 0 = 3*c + 17 + 1. Is c le