c
Suppose -2*g - 6 = -5*g. Suppose 0 = -5*l - g - 3. Which is bigger: -1/57 or l?
-1/57
Suppose -y = -3*y - 16. Let c = y - 4. Let q(n) = 13*n + 378. Let w be q(-30). Is w <= c?
True
Let a(g) be the first derivative of g**3/3 + 8*g**2 + 4*g - 7. Let f be a(-16). Let z be (34/f)/((-11)/(-22)). Is 17 greater than or equal to z?
True
Let c = -1.59 - 0.01. Let v = c + 0.6. Do -1/8 and v have the same value?
False
Let d = -25.3 + 25. Let r(m) = m**2 - 8*m - 13. Let w(g) = -2*g + 9. Let c be w(0). Let a be r(c). Is d at most as big as a?
False
Suppose -f - 6*f - 294 = 0. Let n be -3 - (3/f)/(2/124). Which is smaller: 2 or n?
n
Suppose 3*i + 24 = 5*i. Suppose 0 = -15*f + i*f - 9. Is f > -8?
True
Let x be (31/(-434))/((-5)/(370/(-4))). Is x bigger than -2?
True
Let n(p) = p**3 + 6*p**2 + 7. Suppose -5*d + 6 = -6*d. Let w be n(d). Which is smaller: 8 or w?
w
Let i = 1.1 - 0.1. Let m = 9664 + -9708. Is i less than m?
False
Let a = -3 + -3. Suppose 2*r - 31 = p + 12, -r + 49 = 5*p. Suppose 0 = -0*j + 3*j + r. Which is smaller: j or a?
j
Let r = 27 - 32. Let i be (r/30)/((-1)/(-17)) + 3. Which is greater: -7 or i?
i
Let k(b) = -b - 11. Let q be k(-8). Let a be 4 + -2 + (1 - q). Suppose -4*n + n = -a. Is 3 at least as big as n?
True
Let m(j) = -2 - 33*j**2 - 13*j + 22*j**2 + 9*j**2. Let z be m(-5). Is z at most 14?
True
Suppose 0 = -3*w + 3*i + 54 + 24, 0 = -4*w + 5*i + 105. Suppose w = -m - 4*m. Let y = 2 + -6. Is m >= y?
False
Let f = 55 + -54. Which is greater: f or 1/72?
f
Let y(c) = -c**2 + 13*c - 12. Let z be y(9). Let i = z - 32. Let b(v) = v - 9. Let t be b(0). Which is smaller: i or t?
t
Let o(n) = -30*n + 870. Let x be o(42). Do x and -390 have the same value?
True
Let w(x) = -5*x + 13. Let d(n) = 11*n - 27. Suppose -3*u = 4*p - 9*p + 6, p = -4*u - 8. Let m(j) = u*d(j) - 5*w(j). Let h be m(4). Which is smaller: 4/11 or h?
4/11
Let a(d) = -d**3 + 9*d**2 + d + 7. Let w be a(9). Let c(p) = p**3 - 15*p**2 - 16*p. Let f be c(w). Suppose -2*v + 7 + 3 = f. Is v bigger than -1?
True
Let y = -5333071/56310 + -108/1877. Let c = y - -189/2. Is 1 != c?
True
Let n be (-1)/3 + (-20)/(-6). Suppose 2*y - 2*m + 1 + n = 0, 14 = 3*y + 2*m. Let g be (-2)/1 - 23/(-8). Which is smaller: g or y?
g
Let v = -13658.9 - -13660. Let d = 1 - 1. Let g(c) = c**2 - c - 1. Let a be g(d). Which is bigger: a or v?
v
Let x = 27/52 + -10/13. Is x less than 6?
True
Let h = 189 + -183. Let r be 27/(-6)*(-8)/h. Let a = 15 + -7. Which is bigger: a or r?
a
Let b = -0.106 + 0.206. Which is greater: -667 or b?
b
Let w(y) = -y**2 + 27*y + 280. Let m be w(35). Which is greater: m or 13?
13
Suppose 4*n + 0 = -16. Let i be (-4)/n + (-25)/(-2 - -1). Suppose 3*s - 6 - 9 = 0, -4*k - 3*s = -115. Is i less than or equal to k?
False
Let k(n) = -33*n - 336. Let d be k(-10). Is d >= -9?
True
Let i(r) = r**3 - 15*r**2 + 14*r - 12. Let z(j) = -j**2 - j - 1 - j - 6*j. Let h be z(-5). Let m be i(h). Are -12 and m non-equal?
False
Let u be (3 + -6)*(-4)/2. Suppose 5*k + 4 + u = 0. Suppose -40*o + 70*o - 40*o = 20. Are k and o non-equal?
False
Let b be -4 - (-201)/(-15) - 10/25. Does -19 = b?
False
Let k(o) = 4 - 3*o - o**3 - 129*o**2 + 74*o**2 + 50*o**2. Let m(h) = -h - 4. Let b be m(0). Let r be k(b). Is r smaller than 1/12?
True
Suppose 4*u - 3*u = -11. Let p = -776 + 768. Which is smaller: u or p?
u
Let r = 339 + -339.1. Let v = -0.09 + 7.09. Let n = v + -7.16. Is r greater than or equal to n?
True
Let h(s) = 5*s**2 + 7*s + 2. Let w be 24/20*5/(-2). Let m be h(w). Which is greater: 25 or m?
m
Suppose -2*s = -11*s - 3537. Which is bigger: -392 or s?
-392
Let m(j) = j**2. Let h(p) = -p**2 + 7*p + 3. Let y(o) = -h(o) - 2*m(o). Let w be y(-5). Let b be 0*((-21)/6)/w. Which is smaller: -1/2 or b?
-1/2
Suppose -3*z + 2 = 3*o - 40, -z = 3*o - 24. Let b be (-2)/7 - 16/(-252). Is z smaller than b?
False
Let n be 4/((2 + 1)/(60/8)). Suppose -5*p = -4*s + n, -5*s + 0*p + 10 = -5*p. Is s < 1/23?
True
Let k = -0.103 - 1.197. Which is greater: 3 or k?
3
Let a = -29.395 - -0.395. Which is greater: a or -4?
-4
Suppose t - 2 = 5*n, -3*n - 5 = -8*n. Suppose -t*l = 20 + 15. Is l not equal to -0.1?
True
Let y be (2/(-10) - 86/20)*-2. Let h(a) = -a**3 + 7*a**2 - 6*a. Let t be h(6). Let g be 3/(t + 3/y). Which is greater: g or 10?
10
Let y be ((-4)/8)/1*(182 + 4). Which is bigger: y or -97?
y
Let l = 0.478 - -0.062. Let x be ((-1)/(-7*1))/((-23)/(-46)). Which is smaller: l or x?
x
Let t be (1 + -4)/((1 + -4)/(-3)). Let v be t*3/27 - 0/1. Which is smaller: 12 or v?
v
Let v = -313/560 + -1/80. Let r(o) = o**3 - 10*o**2 + 10*o - 9. Let a be r(9). Is v != a?
True
Let q be (5628/(-56))/(6/8). Which is bigger: -136 or q?
q
Let w be 4/(-14) + 76/(-28). Let l be 2/w - 1/3. Let s = 0.14 - -5.86. Which is bigger: l or s?
s
Let f = -195.5 - 3.5. Which is smaller: 0 or f?
f
Let b(h) = 8*h + 3. Let k be b(-2). Let o = 29 - 73. Let l = o - -32. Which is smaller: l or k?
k
Let f = -15.98 + 16. Is 1 less than f?
False
Suppose 0 = -5*r + 136 - 26. Let p = r + -23. Are 2 and p equal?
False
Let u(a) = 3*a - 4. Let q be u(6). Suppose w = 17 - q. Let d be (-1)/w + 272/51. Which is greater: d or 1?
d
Let h(k) = k**2 - 44*k + 328. Let z be h(9). Is z > 23?
False
Suppose 6 = 2*a - a. Suppose -4*o + 3 = 3*m - 4, -2*m + a = 4*o. Let z(j) = -13*j**3 + j**2 - 1. Let h be z(m). Is -11 equal to h?
False
Let w be 130/(-1014) - 4/3. Is w greater than or equal to -1?
False
Let j = 43/97 - -37475/582. Which is smaller: 66 or j?
j
Let s = -6760.028 - -6741. Let y = s - -19. Which is greater: y or 0.1?
0.1
Let d = 333 + -333.09. Are d and -14 non-equal?
True
Let i = -197/9 + 22. Let s(m) = -m**2 - 10*m + 10. Let g be 3/7 - (-160)/(-14). Let t be s(g). Is i less than t?
False
Suppose -h + 4*h - 4*v = 244, -4*v = 5*h - 460. Let b = -265/3 + h. Which is smaller: b or -38?
-38
Let o = 15378/221 - 900/13. Let p(j) = 11*j - 1. Let w(m) = -5*m + 1. Let b(a) = -6*p(a) - 13*w(a). Let g be b(-7). Is o bigger than g?
True
Let q be 462/49*8*56/96. Does q = -6?
False
Let z be (-8)/44 - 31195116/(-4576). Let q = z - 6817. Let h = q - 1393/936. Which is greater: -3 or h?
h
Let r = -3 - -2. Let w be (-6)/(-9) - (-2359)/(-1680). Let j = w + 11/16. Is r less than j?
True
Suppose 2*x + 46 = 4*w, -3*x + 24 = 2*w - 5*x. Is w < 11?
False
Let l = 856 + -734. Which is greater: -5 or l?
l
Let g be (16/5)/4 - (-1261)/(-195). Let x(n) be the third derivative of n**6/120 + n**5/12 + n**4/24 + 3*n**2. Let j be x(-5). Which is smaller: j or g?
g
Let n(s) = -s**3 + 9*s**2 - 7*s - 3. Let j be n(8). Suppose 2*x = -j - 19. Let l = 13 + x. Which is smaller: l or 4?
l
Let w(h) = h**3 + 7*h**2 - 8*h + 2. Let j be w(-8). Suppose -60 = -3*y - j*y - 3*m, -y = -3*m + 6. Let t be 12/y - (-6)/9. Is 8/5 <= t?
True
Let u be (-14)/(-28) - 21/54. Let t(l) = 5*l - 1. Let h be t(1). Let k = h + -4. Which is bigger: u or k?
u
Suppose -11*b + 6*b = -25, -k = -2*b. Suppose -m + 30 = 2*m + 4*g, -3*g = 3*m - 30. Does m = k?
True
Let u = 0.19 + -0.16. Let z = 13.03 - u. Let n = -13 + z. Which is bigger: -11 or n?
n
Suppose a = 41 - 13. Suppose -3*j + 45 = -3*s, j - 3*j + s + a = 0. Which is bigger: j or 14?
14
Let u(w) = 5*w - 27. Let n be u(5). Let g be (4970/45)/2 - n/(-9). Which is bigger: g or 54?
g
Let c = -8 + 6.9. Let g = c - -3.1. Let i = g - 1. Which is smaller: i or 0.7?
0.7
Suppose 8 = -4*x + 36. Let s be (-51)/17 + 1 + x. Is s greater than or equal to 1?
True
Let b = -187 - -191. Is 21/8 bigger than b?
False
Let u be (-15)/((-270)/(-1068))*(1 - 4). Is 177 < u?
True
Suppose 3*j = 4*j - 19. Let h = j - 12. Suppose -h = -3*s + 4*b - 1, -s + b = -2. Which is bigger: 3 or s?
3
Let a be ((0 + 1)*0)/(-1*2). Suppose -3*u + 6 = a, 0*u - 19 = -5*q - 2*u. Let k be (-5)/1*2/(-5). Is q less than k?
False
Suppose -4*g - 3*t = 35 + 237, -2*t = -3*g - 204. Which is smaller: g or -75?
-75
Let w be -4 - -1 - 1/1. Suppose 4*t - t - 9 = 0. Suppose -2*c = -g + 5, 0 = 3*c + 4*g + t + 10. Which is greater: c or w?
c
Let k = 10.51 - 10.5. Let l = 0.97 - -0.03. Is l at most as big as k?
False
Let l be (-1 - 5/42)*-3. Let o = 23/7 - l. Which is smaller: o or -1?
-1
Suppose 0 = 6*s - s. Suppose 0 = -t - s*t. Let d be 2/4*2*t. Is -2/3 less than or equal to d?
True
Let y(m) = 5*m - 150. Let n(u) = 2*u - 74. Let v(w) = -5*n(w)