s(m) = -m**3 + 6*m**2 + 8*m - 6. Let h be s(7). Suppose a + h = -5*b - 3*a, -a + 1 = 0. Is b less than or equal to z?
False
Let p be 20752/42 - (-16)/48. Let t = 499 - p. Which is smaller: 6 or t?
t
Let p(j) = -3*j**3 + 3*j**2 + 10*j + 1. Let d be p(3). Are -22 and d equal?
False
Let a = -622/11 - -30445/539. Is a at least as big as -3?
True
Let k = 190 - 761/4. Do 28/9 and k have the same value?
False
Let h(l) = 13*l + 7. Let t be h(-7). Let x be (-2)/6 - 10/t. Which is smaller: 1 or x?
x
Suppose -12*v + 526 - 2542 = 0. Is -170 greater than or equal to v?
False
Let w = -3999 - -44069/11. Is w greater than 7?
True
Let q = 88 - 137. Does -50 = q?
False
Let v be ((-16)/10*(-10)/4)/2. Suppose -4*s + 5 = -t + s, t - v*s = -2. Which is smaller: 1/30 or t?
t
Let u = -5 - -6. Let d be (-15)/(-170)*((-33)/9 - -1). Which is smaller: d or u?
d
Let g = 5209/21966 + 1/1046. Which is smaller: g or -1/4?
-1/4
Let l = 10 + 1. Let q = -29 + l. Let f = q + 30. Which is bigger: f or 11?
f
Let b = -3732.77 + 3678. Let p = 55 + b. Let i = 0.23 - p. Is -0.9 at least i?
False
Suppose -3*y + 11 = p, 2*y + 2*p = -0*y + 6. Suppose y*n = -n - 25. Let k = -7 - n. Which is greater: k or -4/3?
-4/3
Let b = 52 - 53. Let y be -1 - (b + (-11)/12). Is y bigger than 2?
False
Let g = -130 - -1299/10. Let k(u) = -u**3 + 2*u**2 + 16*u - 32. Let z be k(4). Which is smaller: z or g?
g
Suppose 7 = -3*z + 4. Let j be (z + 2)/(2 - 3). Which is greater: -1/8 or j?
-1/8
Let t be 26/8 - (9 - 5). Let q be (-3 - (-6)/3)*-1. Is q smaller than t?
False
Let i = -9 - -4. Let o be ((-9)/i)/(1/(-5)). Which is smaller: o or -7?
o
Suppose 5*m + 2*n + 13 = n, 3*m = 4*n + 6. Let d be -1 - ((-13)/(-24) + m). Let j = 1/8 - d. Which is bigger: -1 or j?
j
Let v(t) = t - 11. Let y be v(10). Suppose -3*p = -4*p - 6. Let f be 0/(2/6 + 14/p). Which is greater: y or f?
f
Let n = 0.87 + 3.13. Is -8 greater than or equal to n?
False
Suppose -x = 4, -4*u = -3*u - x - 13. Suppose -u = 3*o - 3. Let m = -5.2 + 5. Is o > m?
False
Let m(w) = 3*w - 155. Let l be m(0). Which is greater: -154 or l?
-154
Let m = -87 + 168. Let i = -80.7 + m. Which is smaller: 9/5 or i?
i
Let h be 10/(-20) - 14/(-4). Suppose -h*y + 72 = -9*y. Let a be (-1 - -5)*3/y. Which is smaller: a or 2/13?
a
Let m be (-11)/(-154) - (-2553)/714. Which is smaller: m or 5?
m
Suppose -3*b - 2*b - 71 = 4*f, 0 = -f - 2*b - 20. Is f at most as big as 2/25?
True
Let x = -335.8 + 333. Let a = 3.2 - 0.5. Let m = a + x. Which is smaller: -3/10 or m?
-3/10
Suppose -r + 3 = -1. Let z(p) = -2*p - 5. Let s be z(r). Let o(j) = -3*j**2 + 5*j - 10. Let a be o(2). Is s at most a?
True
Suppose -5*l - 4*g = -2*g - 20, -2*l + 2*g = -22. Suppose 2*t - 12 - l = 4*r, -5*t = 5*r + 30. Is r at most -1?
True
Let s be -4 - (-436)/130 - 12/78. Let i be 0 + 1 - 51/33. Which is smaller: i or s?
s
Let w be (-11 + (31 - 4))*(-2)/(-3). Which is bigger: w or 10?
w
Let y = -189 - -288. Suppose -f = -4*f - y. Let g be 4/(-22) - 24/f. Do 0 and g have the same value?
False
Let d = -2 + 0. Let f = 39 - 29. Let g be (-129)/(-195) + d/f. Are g and -1 nonequal?
True
Suppose 6*m - 70 = m. Is 38/3 less than or equal to m?
True
Suppose 29*m - 910 = 16*m. Which is smaller: 74 or m?
m
Let d be (-98)/36 + (-1)/(-2). Let p = 31 - 17. Suppose 0 = 7*l + p. Is d less than or equal to l?
True
Let y = 34 - 34. Which is smaller: 10/19 or y?
y
Let o = 787 - 766. Are 157/7 and o nonequal?
True
Let i be (3/(-4))/(2/(-952)). Suppose -j = 313 + i. Let k = -6023/9 - j. Which is smaller: k or 0?
0
Let f be (1 + 66/(-38))/(-2). Let m = -1563 + 89093/57. Let l = f - m. Which is bigger: 4 or l?
4
Suppose -4*r - 6244 = 5*v, 1232 = -v - 2*r - 3*r. Is v > -1252?
False
Let j be 804/(-180) + 1/(-5) - -4. Is -17 > j?
False
Let s(h) = -h - 64. Suppose -2*m + 5*v - 27 = 8*v, 58 = -4*m - 2*v. Let r be s(m). Is r at most as big as -49?
True
Let r(t) = 3*t - 1. Let l be r(4). Is l < 11?
False
Let m(y) = y + 1. Let o(v) = -6*v - 34. Let d(h) = 5*m(h) + o(h). Let b be d(-12). Let q = b + 35/2. Which is smaller: -1 or q?
-1
Suppose -12*v = -13*v + 5. Suppose -o - 6 = -v. Let l be o/(-2) - (5 - 5). Which is bigger: l or 0.02?
l
Let q(k) = -2 - 10 + 19*k - 29 + k**2. Let x be q(-21). Do 2/23 and x have the same value?
False
Suppose 2*r - 26 = -16. Suppose r*k = 3*l - 4, 3*l = k - 1 - 3. Let w = 0.7 + 2.3. Which is smaller: l or w?
l
Suppose 3*i - 2*i + 5*f = -104, -2*f = 8. Let g be (8/14)/((-12)/i). Suppose g*p = -0*p. Is p greater than or equal to -3/7?
True
Let p = -1.8 - -2. Let y = p + -0.5. Let x be 0 + (-2 - 7/(-4)). Which is greater: y or x?
x
Let s = 1.6 - -1.4. Let a = s - 2.7. Let y = -21 + 15. Is a less than y?
False
Suppose 5*f + 0*f = 0. Suppose -6*r - 112 = -13*r. Is r > f?
True
Let l = -58/99 + 4/11. Let g = 5 + -5.01. Is l at least g?
False
Let i = 26.3 - 0.3. Let l = 26 - i. Which is smaller: l or -10?
-10
Let s(r) = -r**3 - 2*r**2 - 2*r - 4. Let c be s(0). Suppose -2*d + 5*x + 1 = 0, 0 = 4*x + 6 - 2. Is d less than c?
False
Let i(u) = 4*u**2 + 3*u + 6. Let p be i(-8). Let v be ((-120)/p)/((-14)/49). Let s = 364/187 - v. Which is smaller: -0.2 or s?
-0.2
Let n = -4929/119 + 290/7. Is n < 1?
True
Let l = 42 - 57. Let f(a) = a**2 + 13*a - 2. Let r be f(l). Is r less than or equal to 28?
True
Let x(c) = 23*c + 30. Let g be x(18). Are 445 and g non-equal?
True
Let f = 74 + 101. Is f at least 176?
False
Let k = -104.5 - -105. Suppose 4*u = -2*m - 22, u + 2*m = 2 - 6. Is u at most k?
True
Suppose 5*o = 9*o - 100. Let f be (0 + 3)*o/18. Is 5 less than or equal to f?
False
Let r = -13.91 - -13.91. Is r greater than or equal to -895?
True
Let y be ((-60)/4)/(6/42). Do y and -103 have different values?
True
Let u = -213 - -211.71. Let k = u + 1.3. Let z = k - 0. Is z less than or equal to 0?
False
Suppose -86*p = -82*p + 5*l - 15, 0 = 3*p - l - 35. Which is greater: 2 or p?
p
Let h be ((-576)/(-10))/(2/10). Let a = h + -145. Let c = 2429/17 - a. Which is smaller: c or -1?
-1
Suppose -3*h = -5 + 14, -2*a - 4*h = 118. Let x be a/(-42) - (-8)/(-6). Is -1 greater than or equal to x?
False
Let b(w) = 10*w + 10. Let x(j) = j + 1. Let a(p) = -2*b(p) + 18*x(p). Let z be a(-4). Let v be 5/((-220)/(-184)) - (-4)/(-22). Is z < v?
False
Suppose -3*t - 17 + 4 = -4*c, -4 = -c + t. Are 2 and c unequal?
True
Let x be (-15)/(-75) - 142/10. Let k = -31 - x. Is k != -16?
True
Suppose 268 = 10*o - 212. Which is smaller: o or 24?
24
Let y = -0.9 + 0.1. Let j = y - 1.2. Let z = j - 0. Which is greater: z or -0.1?
-0.1
Let q = 139 - 87. Let k = q - 55. Is -1 > k?
True
Let k(c) = c**3 + c + 2. Let b be k(0). Suppose 3*f = -b*f. Let z = 302 + -301. Which is bigger: f or z?
z
Let c = 60.446 - 60.2. Which is bigger: c or 0?
c
Let i be 6 + ((-2)/22 - 7330/1045). Which is smaller: -1 or i?
i
Let z = 9.4 - 8.284. Let g = z - 0.136. Which is greater: g or -0.1?
g
Let u be (-1572)/87 + (-38)/(-551). Is u less than -24?
False
Let x = -752 + 754. Is x <= 126?
True
Let i be (-210)/63*((-116)/10 + -1). Let x = 207/5 - i. Which is smaller: x or -0.1?
x
Suppose n + 3*n - 28 = 0. Let f = n - -2. Let h = 1 - f. Is h not equal to -6?
True
Suppose 3*q - 8*x = -4*x - 19, 0 = -4*q - 5*x + 16. Let f = 14226821 + -154218739871/10840. Let h = 1/271 - f. Which is bigger: q or h?
h
Let s = -47 - -40. Let w be 5 + s + -4 - (-1 + 1). Let j(p) = 4*p - 1. Let i be j(-1). Are w and i unequal?
True
Let l = -2839 - -2881. Is 40 at least as big as l?
False
Suppose p - 130 = 497. Let c = 10029/16 - p. Does c = 0?
False
Let c be (4/(-14))/(-1 + 0). Let o = 3.7 - 12.7. Let k = 9 + o. Is k at least c?
False
Let v(b) = -b - 3. Let x(l) = l**3 - 5*l**2 - l - 1. Let r be x(5). Let m be v(r). Suppose -m*n = -2*j + j - 14, -5*n = 5*j - 50. Is n at least 1?
True
Let b be 10 - (-15)/(-6 - -1). Let r be 4305/670*780/b. Let f = r + -716. Is 1 bigger than f?
True
Suppose -5*g - 15 = -5*h, h + 0 + 3 = -g. Let t = -5 - 0. Which is greater: g or t?
g
Suppose 2*w - 16 = -4*g, 2*g - 5*g = -3*w + 6. Let b = 6 - w. Is 1 at most as big as b?
True
Let o be -4 + (-652)/(-128) - 1. Let v = 5/32 - o. Which is greater: -1 or v?
v
Let f = 1.8 + -3.4. Let n = f + 30.2. Let y = -29 + n. Which is smaller: y or -0.5?
-0.5
Suppose 0 = -b - 6 + 8. Suppose -4*u + 2 - 3 = d, -2 = 2*d - b*u. Let h = 1438/13 + 