ger: 5 or s?
5
Let w(g) = g**3 + g**2 - 4*g + 4. Let q be (-5)/2*2/(-5). Let j be w(q). Is 0.09 > j?
False
Let h be (-777)/(-49)*(-28)/(-16). Does 28 = h?
False
Suppose 5*c + 16 = 3*c. Let x be (-2)/1 + (7 - 10). Let h be 2/x - (-99)/(-15). Which is bigger: c or h?
h
Let s = 113 + -173. Let m = s - -61. Is m less than or equal to 3/19?
False
Let v(k) = 4*k**3 + k**2 + 2*k + 5. Let i be v(-2). Let n be i/(-24)*26 - 6/24. Is n less than 29?
False
Let k be 8 + (-1)/(4/72). Which is smaller: 6/11 or k?
k
Let u(q) = q + 2 - 9*q**2 + 0 - q**3 + 4. Let p be u(-9). Let r(t) = -t**2 + 5*t + 3. Let k be r(6). Is k bigger than p?
False
Let i be ((-27)/9)/((-3)/(-88)). Is i less than -88?
False
Let f = 10.0621 + 0.0979. Is 1/4 less than f?
True
Let s = -1473 + 1472. Is s > -3/35?
False
Let c = 0.8 - -40.2. Let n = -40.83 + c. Which is bigger: n or 0?
n
Let m(d) = d**2 + 9*d + 13. Let a(s) = s**3 + 7*s**2 + 2*s + 7. Let l be a(-7). Let r be m(l). Which is smaller: r or 4?
r
Let p(w) = -2*w**2 - 8*w + 6. Let r(m) = -m**2 + 11*m - 6. Let k be r(11). Let o be p(k). Let z be (3/o)/((-4)/(-16)). Which is smaller: 2/31 or z?
z
Let w = 320 - 364. Is -44 at most w?
True
Suppose -c = -3*o + 14, 4*o + 6 = 3*o + 3*c. Let u be (-38)/o*(-98)/3. Let v = u + -206. Which is smaller: v or 1?
v
Let v = 19 - 22. Let s = -14 - v. Which is smaller: s or -12?
-12
Let q = 1 - 1.3. Let h = -0.1 - q. Let r = -0.1 + h. Which is smaller: 2/3 or r?
r
Let j(y) = 11*y + 30. Let g(p) = 7*p + 20. Let o(a) = 8*g(a) - 5*j(a). Let v be o(-11). Is v bigger than 2/49?
False
Let i be (-10)/45 + 29/9. Suppose -5*g - 2*m - 26 = -i, 2*g = 2*m - 12. Let h(b) = b**3 + 5*b**2 - 4*b - 15. Let s be h(g). Which is smaller: s or 3?
3
Let a be 18/8 + 6/(-3). Suppose -4*m = -3*l - 54, -l - 4*m - 22 = -4. Let n = 19 + l. Which is greater: a or n?
n
Suppose 0 = 237*l - 242*l + 10. Which is smaller: 101 or l?
l
Suppose 5*s + 112 = 2*j, -3*s = -5*s - 4*j - 64. Let k(f) = 145*f**3 + f**2 - 2. Let i be k(1). Suppose 3*n - i = 9*n. Is s at least as big as n?
True
Let h(t) = t**2 + 3*t - 33. Let p be h(5). Suppose -p*y + 43 = -6. Which is smaller: -3 or y?
-3
Let i(d) = -d**2 - 1. Let b be i(-1). Let c = 2282 - 2284. Is c != b?
False
Let g be (-2)/(-104)*(831/(-57) + 15). Is 1 at least as big as g?
True
Let v = 0.5 - 9.5. Let x = -12.2 + 2.2. Let j = v - x. Are -2 and j nonequal?
True
Suppose 0 = p - 2*c + 11, -3*c - 8 = 7. Which is smaller: p or -23?
-23
Let k(r) = r**2 - 6*r + 13. Let l be k(4). Suppose -5*h - l*o - 15 = 0, -5*h = 5*o - 2*o + 19. Is 3/8 at least as big as h?
True
Let b = 1022 - 1022. Suppose -s = s + 36. Is b at least as big as s?
True
Let d be -1 + -2 + 8 + -1. Suppose -5*s + 1 = w, 4*w + 26 = -d*s - 18. Let n = -13 - w. Which is smaller: 0.1 or n?
0.1
Suppose 2*b - 8 = 2*q, -3*q - 5*b = -7 - 5. Are 2/67 and q equal?
False
Suppose 0 = 7*y - 0*y - 0*y. Let v(g) = g**3 - g + 1. Let p be v(y). Let n be 2/(-15)*9/(-3). Is n at least p?
False
Let h = 5211/4 - 1339. Which is greater: -36 or h?
-36
Let u(r) = -21*r**2 + r. Let l be u(-1). Suppose 2*s = -3*n + 37, 0*s + 2*s = -2*n + 34. Suppose h - 92 = 4*o, -o + 0 = 2*h + s. Is l smaller than o?
False
Let h be ((-70)/30)/(4/3). Let o = 412/5 - 82. Are h and o non-equal?
True
Let s be 15/(-9) - 20/(-3) - -174. Is 179 at most as big as s?
True
Let l be (-2)/(-9) - 742/18. Let x = -28 - l. Is x greater than 3?
True
Let q(x) = 6*x + 2. Let p be q(-3). Suppose 2 = -2*b + 4, 35 = -2*o - b. Which is smaller: o or p?
o
Suppose 2*x - 58 = -3*m - 2, 2*x - 56 = -4*m. Is x > 29?
False
Let r be ((-20)/558)/(15/(21375/(-110))). Let w = -5/31 + r. Is 1 equal to w?
False
Let f = -121 + 126. Which is bigger: 3 or f?
f
Let j(b) = 2*b**2 + 16*b - 1. Let z be j(-8). Which is bigger: z or 4/135?
4/135
Let y = 2.7 + -2.8. Which is smaller: 113 or y?
y
Let a = -71.0154 + 0.0154. Are 0.2 and a non-equal?
True
Let t = -38.77 - -40.8. Let m = t + -0.03. Is m greater than -14?
True
Suppose -d - 4*h - 1 = 0, 3*d + d = h - 38. Let n be -5 - (2/6)/(1/12). Is n > d?
False
Let g = 7/724 + -4771/44164. Is g bigger than 1?
False
Let i = -11 + -1. Let v be 8 + (-3 + 9)/(-3). Let o be (16/i)/((-2)/v). Which is smaller: o or 3?
3
Let z(v) be the first derivative of -v**3/3 - 13*v**2/2 - 17*v + 1. Let h be z(-11). Suppose h*m + 12 = 17. Is m at most as big as 9?
True
Suppose 0*x = -2*x + 4*d - 4, -2*d + 2 = 2*x. Let p = 1817097737/4430745 - -2/492305. Let g = 411 - p. Is x less than g?
True
Let z(w) = -28*w**2 - 160*w - 3. Let q be z(-7). Which is smaller: -253 or q?
q
Let f be (5/15)/((-2)/24). Let g be (4 - (-42)/(-8))*f/(-10). Is 0 bigger than g?
True
Suppose 64 = -0*r + 8*r. Does r = 27/4?
False
Let o(x) = 11 - 9 + 6*x - 13*x. Let f be o(-1). Is f not equal to 10?
True
Let f = -1128 - -1120. Suppose 0 = -4*q - 0*q + 40. Suppose o = 6*o + q. Are f and o equal?
False
Suppose 0*b + 3*b + 3 = -3*o, 0 = 2*b + 10. Suppose 0 = -o*m + 4 + 8. Which is bigger: m or 4?
4
Let i be (-2)/(3/(9/(-2))). Suppose -g - i*g = 20. Suppose 0 = 5*z - 4*f, -2*z + f - 3 = -0. Is z > g?
True
Let w = -915252 + 28384526/31. Let h = w + -378. Is h < 0?
True
Suppose -4*u - 3 = 4*k - 39, -2*u + 14 = k. Let h = -14 + 8. Is h at most k?
True
Let m(q) be the second derivative of -q**5/20 - q**4/12 + q**3/6 + 5*q**2/2 - q. Let d be m(0). Let a be -4 - (3 + 0) - -10. Is a at least as big as d?
False
Suppose -4*v - 5*i = -v - 32, i + 100 = 5*v. Suppose -61 = -10*w + v. Does 9 = w?
False
Suppose 4*p + 130 = -202. Let v = -116 - p. Which is greater: -34 or v?
v
Let f = 4.5 + -4.33. Is -1 at most as big as f?
True
Let p be (-1)/(30/(-4)) + (-272)/5640. Suppose 2*g - 5 = 7*g. Which is smaller: p or g?
g
Suppose -3*k + 5 = -7. Let t(q) = q**2 + 81*q - 613. Let o be t(-88). Which is smaller: k or o?
o
Suppose -3*b = -12, 68 = -2*w - 0*w - 5*b. Let g = -42 - w. Which is bigger: g or -0.03?
g
Suppose -3*d - 4*o = -89, -2*o + 130 = 5*d + o. Suppose 5102*i = 5111*i - 207. Is d < i?
False
Let s(w) be the first derivative of -w**2/2 - 13*w - 15. Let z be s(-7). Which is greater: -24/5 or z?
-24/5
Suppose -4*a - d + 11 = 0, -10 = -2*a + 4*d + 18. Let t(m) = m**2 + 2*m - 11. Let v be t(-5). Suppose v*p + 0*p = -3*w + 4, 1 = p - 5*w. Is p not equal to a?
True
Let x = -121 + 126. Let w be (16200/1626)/x - 2. Which is smaller: w or -1?
-1
Let x = 16.31 - 8.31. Which is greater: x or 18?
18
Let m = -1340 + 1357. Is m less than 18?
True
Let k = -399 + 302. Which is greater: k or -94?
-94
Let q = -0.016 - 0.084. Is 117 less than or equal to q?
False
Let m(u) = 17*u + 201. Let b be m(-21). Is b != -156?
False
Let m = 2.98 - 2.78. Which is bigger: 0.039 or m?
m
Let z = 349.1 + -349. Which is smaller: z or -0.01?
-0.01
Let v(l) = l**3 + 5*l**2 + 3*l - 10. Let y be v(-5). Let x be 3 + 0 + (-5)/y. Is 2 less than or equal to x?
True
Suppose -3*n + 2 = -v, 4*v - 6 = -2*n - 0. Let u be v*(-1 - (-6)/3). Let g = 246 - 244. Which is bigger: g or u?
g
Let q be 2826/(-4) - ((-22)/4)/11. Let v = -65656/93 - q. Is -1 at least as big as v?
False
Let t be 1 + -10 - (-2 + (15 - 13)). Which is greater: t or -89/9?
t
Let t = 3 + -1. Suppose t*a = -2, -2*w = 3*w + 4*a - 141. Let g = w - 20. Which is smaller: g or 8?
8
Let p = 0 + -0.1. Let t = 0.0405 - 21.0405. Do t and p have different values?
True
Let v be (-4)/(-6) + 78/18. Let j = -3 + v. Which is greater: 3/2 or j?
j
Let w = 6.08 + -7.08. Let h = 0.1 + -0.17. Which is smaller: w or h?
w
Let j = 808 + -817. Which is smaller: -13/3 or j?
j
Suppose -3*n = -14 + 2. Suppose 3*b + 4 = w - b, n*w - 3*b = 3. Suppose 5*i - 56 = -2*u - 60, -6 = -i + 3*u. Is i at least w?
True
Let m = 2 - 1. Let x = -9.9 - -8.68. Let w = x + 0.92. Is w at most as big as m?
True
Let u = 52 + -57.2. Let g = u - -4. Which is smaller: g or -1/4?
g
Let j = -69367/57 + 1217. Let h = j - 124/285. Let l(p) = p**3 + 5*p**2 + 12*p + 33. Let m be l(-4). Which is smaller: h or m?
h
Suppose 4*z - 3 = -3*p, 0*z = 3*z - 3*p - 18. Suppose 2*y - z = -y. Let m = 1845/19 - 97. Which is greater: y or m?
y
Suppose 16 = v + 15. Let n be (10/(-15))/(23/3). Which is smaller: n or v?
n
Let i = 353/5 + -2623/30. Let z = i + 17. Is 0 at least as big as z?
False
Let s(l) = l**2 + 23*l - 46. Let m be s(-25). Let f be 4/((8 + -4)*(-2)/m). Is 1 at least f?
T