Let k(v) = 6*v - 48. Let l be k(-14). Which is bigger: -131 or l?
-131
Let w = 641/54 - -44/27. Let m = -14 + w. Let u = -106 - -107. Is m at most u?
True
Let z(i) = i + 8. Let r = 16 + -10. Let l be (4/(-4))/(1/r). Let s be z(l). Is 2/5 at most as big as s?
True
Let x = -2/41 - 158/123. Are -1 and x equal?
False
Let r = 42 - 128/3. Which is smaller: -2.8 or r?
-2.8
Let s be (-4)/(-10) - 1045/(-75). Let q = s - 14. Which is greater: -0.07 or q?
q
Let o = -42 - -43. Which is bigger: o or 0?
o
Suppose -4*s = -4*o, -7*s = 4*o - 2*s + 9. Let m = -12 + 20. Let c be 1/(34/m*-2). Is c greater than or equal to o?
True
Let r = -4.92 - 0.08. Let g = 5.009 - -0.091. Let v = -5 + g. Are r and v nonequal?
True
Let h = 0.6 + -1.2. Let n = -0.4 - h. Let s = 0.8 + n. Which is bigger: -1 or s?
s
Suppose -1215 = 6*n - 21*n. Is 81 less than n?
False
Let b be 8 + (16/12)/(1/(-3)). Is 4 at least b?
True
Suppose 5 = -5*u + 2*y, 0 = 4*u + 3*y + 4 - 0. Let f = -140/9 - -3482/225. Is f greater than u?
True
Let w = -23 - -159/7. Let s = -0.3 - 0.7. Let j = s - -0.8. Which is greater: w or j?
j
Suppose -3*v - 1 - 5 = 0. Let n be (v/3)/((-6)/9). Let y be n*(10/(-3))/(-5). Is 1 <= y?
False
Suppose -m = 3*g, 3*g - 2*m + m = 0. Suppose g*q = q - 2. Is q at least 3?
False
Suppose -7 = 3*p + 2. Let r(u) be the third derivative of u**5/60 + u**4/24 - 5*u**3/6 - u**2. Let q be r(0). Which is smaller: q or p?
q
Let m be (1 + -1)/(1*-1). Let j = 1/226 + -131/4068. Is j smaller than m?
True
Let w(p) = -p**3 + 4. Let u be w(0). Suppose -2 = -2*t - u. Is -1 equal to t?
True
Let i = 2 - 0. Let m(l) = l**2 - 2*l. Let f be m(i). Let p = 37/6 - 6. Which is smaller: p or f?
f
Let l(j) = -2*j**3 - 3*j**2 + j + 2. Let s be l(-2). Suppose -m - 3 = -0. Let p be m/((-6)/s) - 2. Which is greater: 1/11 or p?
1/11
Let a(k) = k**2 - k - 18. Let n be a(4). Is -17/3 <= n?
False
Let o = -3 - -2.8. Let w = -0.3 - o. Let v = w - 0. Is -2 != v?
True
Let g = -0.112 - 0.088. Which is smaller: -3/7 or g?
-3/7
Let h = -26 - -25. Suppose 3*w - w + 4 = 0. Does h = w?
False
Let k = -144 + 54. Let v = -83.1 - k. Let s = 7 - v. Which is greater: 1/6 or s?
1/6
Suppose -4*h - 12 = -0*h. Which is bigger: h or -1?
-1
Let f = 4.4 + 0.6. Suppose -2*n = 5*b - 2, -n + 3*n = -2*b + 2. Is f at most n?
False
Suppose -5 - 19 = 2*w. Which is smaller: -23/2 or w?
w
Let v be 18/(-4)*12/(-9). Let o(a) = a**2 - 6*a + 4. Let n be o(v). Is 3 less than n?
True
Let h = 1.5 - -0.5. Which is smaller: 3 or h?
h
Let j(h) = -2*h**3 + 3*h**2 - 3. Let o(s) = 2*s**3 - 4*s**2 + 4. Let q(k) = 4*j(k) + 3*o(k). Let i be q(-1). Is 3 less than i?
False
Let q be 3/(-6)*0/(-2). Let o(w) = -2*w + 6. Let x be o(4). Let i = 0 - x. Which is greater: q or i?
i
Suppose -2*i - 3*i - 10 = 0. Let n be -2*3/6 + i. Suppose 5*g + 16 = -z, -3*g + 2 - 10 = z. Which is greater: g or n?
n
Suppose -2*o - 64 = -o. Suppose q = 2*q + r - 7, -15 = -3*r. Let y be (q/8)/(10/o). Do y and -2 have the same value?
False
Let i(a) = a**2 - 12*a - 12. Let c be i(-1). Let r be ((-3)/(-9))/(7/9). Is c at least as big as r?
True
Let v = 34 + -24. Suppose -5*g = -r - v, -2*r = 2*r + 20. Let z be (0 + g/(-3))*-1. Is 1/3 smaller than z?
False
Let p = -3 - -2. Let m be p/((0 - 1)/1). Suppose 0 - 5 = 5*f. Which is smaller: m or f?
f
Suppose 6*c - 3*c + 13 = 5*q, 3*c + 3*q - 27 = 0. Suppose -4*m = 12, -g - m = c*g + 8. Suppose 4*d + 5 = 1. Is d at most g?
True
Let v = 0 + 0. Let d be 3/(-4) + (0 - v). Let q(n) = -n**2 - 18*n - 34. Let o be q(-16). Which is smaller: o or d?
o
Suppose 0*w = w - 1. Let a = w - 0. Which is smaller: a or -1?
-1
Let n be 0 - 3/(-3)*-1. Suppose -2*h = 2*i + 3*h + 27, 3*i + 4*h + 23 = 0. Is n not equal to i?
False
Suppose -d + 11*d - 80 = 0. Are d and 8 nonequal?
False
Let u(m) = -m**2 + 3*m + 5. Let o be u(4). Let x = 2 - 1.2. Let h = 1.2 - x. Is o at most h?
False
Suppose -3*r - 2*r - 2 = 2*k, 3*r = -2*k - 2. Let z(u) = -u + 1. Let c be z(k). Let f = -2 + 4. Is f > c?
False
Let f = -104/17 + 3019/85. Let y = f + -29. Let i = -2/9 + 5/9. Which is greater: i or y?
y
Let l = -0.2 - -0.21. Let m = -8.99 - -9. Let q = m + 0.09. Which is smaller: l or q?
l
Let m be ((-6)/9)/(25/(-15)). Suppose 0 = -o - 2*o. Are o and m unequal?
True
Suppose 2*k - 3*u + 233 = 0, 2*u - u + 5 = 0. Let n be (-1)/5 + k/(-220). Let x(s) = -s**3 - 6*s**2 + s + 7. Let t be x(-6). Is t >= n?
True
Suppose 0*b - 3*b = -21. Suppose 3*o = b*o + 12. Let p = 3 + -2.9. Which is smaller: o or p?
o
Let r = -7/3 - -2. Are 1/2 and r unequal?
True
Suppose 0 = -5*d + 2*z + 6, 3*z - 2 = d + 2. Is 15/7 != d?
True
Let r(b) = 32*b + 2. Let g be r(1). Which is smaller: 35 or g?
g
Let i(a) = 4*a + 5. Let t(g) = 7*g + 11. Let r(b) = 5*i(b) - 3*t(b). Let l be r(-7). Which is smaller: 1/7 or l?
l
Let o(q) = -2*q + 1. Let x be ((-8)/(-10))/((-6)/15). Let c be o(x). Is c bigger than 3?
True
Let v be (-2)/(2 - 32/14). Suppose 4*n = p - 2 - v, -8 = 4*n. Which is smaller: 3 or p?
p
Suppose 89 = 4*l + l + i, 4*l - i = 64. Which is greater: 16 or l?
l
Let g(m) = -8*m - 14. Let p be g(-2). Is 19 at most p?
False
Let h = -6.6 - -33.6. Let i = h - 26. Let z be (-4)/(-6)*6/22. Is i <= z?
False
Let a = 2 + 1. Let m = -2.9 + a. Let c = 0.1 - m. Is c < -2/9?
False
Let z = 22 - 63. Which is bigger: 0 or z?
0
Suppose 2*t + 12 = 4, -t - 12 = -4*s. Suppose 0*z - 10 = 5*z. Let i = 5 + z. Is s >= i?
False
Let t be (6/(-9))/((-4)/(-6)). Let u be 6/(-15)*(t - 4). Are 0 and u equal?
False
Suppose 0*m + 3*m - 2*n = -80, -5*n - 125 = 5*m. Are -26 and m non-equal?
False
Let x(g) = g**3 + 5*g**2 + 3*g. Let q be x(-4). Suppose 5*n - q*u - 7 = 0, 0 = -2*n - 0*n + 4*u + 10. Are n and 2/7 unequal?
True
Let w be 2/11 - (-97)/11. Let d = 8 - w. Which is bigger: -3/2 or d?
d
Let p(s) = -s**3 - 8*s**2 - 9*s - 9. Let g be p(-7). Suppose -8*n + g*n = 0. Does -3/4 = n?
False
Let c = -1 - -3. Let l = -20 - -19. Is c bigger than l?
True
Let n be 8/(-1) + -1 - 0. Let d(h) = -14 - h - 14 + 36 - 18. Let u be d(n). Is u equal to 0.4?
False
Let x be (-4)/(-6) - 19/42. Is -0.1 less than x?
True
Let o be 5 - -146*4/(-120). Is o > -1?
True
Suppose 0 = k + 11 - 4. Is -10 less than or equal to k?
True
Let s = -10.1 - -3.1. Is -3/5 less than or equal to s?
False
Let u = 42 - -3. Do 47 and u have the same value?
False
Suppose 0 = -z - 3*z - 8. Let o = -1602/5 + 318. Which is smaller: o or z?
o
Suppose -4*q - 1 = 3. Which is smaller: q or -2?
-2
Let y be 0 - ((-6)/(-14) + (-21)/49). Which is smaller: 2/289 or y?
y
Let t(q) = q**3 - 6*q**2 - q + 7. Suppose y + o - 6 = 0, -5*o + 3*o = 0. Let g be t(y). Let z = -8.8 - -9. Which is smaller: z or g?
z
Let g(c) = 9*c + 10*c - 18*c + 14. Let u be g(-13). Which is smaller: u or 3/14?
3/14
Suppose 5*w - 95 = -90. Let b = -2/99 - 281/792. Is w > b?
True
Let u(t) = t**2 - 5*t - 2. Let j be u(7). Let w be 6/4 + (-6)/j. Suppose w + 7 = 4*y. Which is smaller: y or 1?
1
Let h(p) = -p**3 + 9*p**2 - 8*p - 4. Let z be h(8). Let a be (-1)/z - 15/12. Is -1 bigger than a?
False
Let i = 1 - 1. Let h = 0 + 6. Suppose 4*c + 17 = 5*q, i = -3*q + 3*c - 2*c + h. Do q and -0.3 have the same value?
False
Let a(y) = -y. Let c be a(-5). Suppose -2*w + 8 = 5*t - 25, 2*t = -2*w + 18. Are c and t equal?
True
Let j be (-18)/12 - (-2)/4. Which is greater: j or -3/17?
-3/17
Let c be -6 + 5/(20/(-8)). Let d = 11 + c. Is 5 greater than d?
True
Let o = 23 - 15. Which is bigger: o or -0.06?
o
Let p be (-63)/28 - 2/(-8). Let s be ((-3)/p)/(9/(-36)). Does s = -8?
False
Let a = 3874761 + -4591592146/1185. Let u = -3/79 - a. Which is smaller: 1 or u?
u
Suppose 4*g + 1 = 21. Suppose -3*q = 3*i - 21, q + 19 = g*q + i. Is q < 0.1?
False
Let y(h) = h**3 + h**2 - 5*h - 2. Let r be 29/(-9) + 2/9. Let j be y(r). Which is bigger: -4 or j?
-4
Let h be (-1 - (-9)/21)/2. Let w = -1.012 + 0.012. Are h and w nonequal?
True
Let l be ((-4)/(-6))/(35/(-21)). Is 1 at least as big as l?
True
Let d(z) = -4*z - 4 + 4*z + 2*z - z. Let x be d(7). Let b be 2*1 - 0/(-3). Are x and b nonequal?
True
Suppose -4*p + 5*o - 2 = 3, -3*o = 5*p - 40. Suppose -c = p, 0*a - 3*a - 26 = 4*c. Which is smaller: a or -4/3?
a
Let x = 0.2 + 0.8. Let o = 5 - 1. Let p be (o*-1)/(-2) - 2. Is p <= x?
True
Let r = -28 - -28. Suppose 3*h = -11 - 1. Is r >= h?
True
Let p be 6 + -6 + (-20)/6. Is p > -