l to b?
True
Suppose -27*s + 10 - 10 = 0. Suppose -4*a = 3 + 9. Let m be a/84 + 1 + -1. Is m at least s?
False
Suppose 0 = 3*b + b - 28. Suppose b*j + 1 = 8. Is j at least as big as 7/8?
True
Let z be (1 + 7)*(-3 - -5). Let h = z - 30. Let d be (-2)/1 + (-35)/h. Which is bigger: d or 2?
2
Let v be 3/(-7) + (-44)/77. Let x be (v/(-2))/(1/16). Let g be (x*2/28)/(-2). Which is smaller: g or 1?
g
Let w = 6.09 - 5.99. Is w >= 614?
False
Suppose 0 = 9*r - 14*r. Suppose 3*l + 35 - 11 = r. Are 0 and l non-equal?
True
Let f be ((-9007)/9)/(7/(-3)). Let g = f + -429. Let n be 0 + 0 - (-1 + 0). Which is bigger: n or g?
n
Let c(v) = v**3 + 7*v**2 - 9*v - 6. Let h be c(-8). Suppose -h*s = 3*s - 5. Let b be 5/(30/9) + (-10)/40. Is s not equal to b?
True
Let z = -4551/5 - -914. Is z less than or equal to 5?
True
Let q(n) = n**3 - 5*n**2 - n + 5. Let l be q(5). Suppose -b = -5 - l. Suppose 3*p + b = -7. Is p greater than -4?
False
Suppose -58*l + 50209 = 16975. Is l <= 573?
True
Let s be (-3)/30*-4*10. Suppose 3*h + 0*h = 3*v - 9, -20 = -s*h - 4*v. Let r be ((-3)/16)/((-39)/130). Is r less than or equal to h?
True
Let f = 40 - -51. Let s = -92 + f. Which is greater: -39/5 or s?
s
Suppose 29*v - 21*v - 1720 = 0. Suppose -5*g + 40 - v = 0. Which is bigger: g or -36?
g
Suppose 19 = 3*l + 4*r, -6*r + 2*r = -3*l - 13. Which is smaller: -17/37 or l?
-17/37
Let z(f) = f**2 + 8*f + 9. Let b be (-30)/8 + (-9)/36. Let d be z(b). Which is smaller: -6 or d?
d
Let y(l) = -3*l**3 - 4*l**2 + 2*l - 8. Let p be y(-4). Let n be (-1)/8 + (-98)/p. Are 4/29 and n equal?
False
Let i = -0.41 + 0.11. Let h = -0.29 - i. Let z = h - 1.01. Which is smaller: z or -0.1?
z
Suppose -29*t + 697 - 2350 = 0. Is -1 less than t?
False
Let y = 0.35 - 2.35. Does y = 9/2?
False
Let m = 13 + 51. Suppose -3*c + m = z - 5*c, 2*z - 96 = -4*c. Let n be (6/(-24))/((-2)/z). Is 9 greater than or equal to n?
True
Let w(x) = -x**3 - 5*x**2 + 7*x + 24. Let m be w(-7). Is m at least as big as 74?
False
Suppose -5*m = -5*f + 10, -5*f + 3*m + 6 - 2 = 0. Is f less than 3/355?
True
Let q(p) = 2*p + 6. Let r be q(6). Suppose -2*n + r = 4*h, 2*n + 12 = -0*n + 2*h. Let w be ((-198)/616)/((-2)/((-32)/6)). Is w bigger than n?
True
Suppose 4*o - n = -134, -3*o - 5*n - 42 = 70. Let m = 27 + o. Is -7 at least as big as m?
True
Let p = -176.9 + 189. Let m = p + -12. Suppose -4*g - n - 16 = 4*n, 20 = 5*n. Is g greater than m?
False
Let n = -919 - -925. Let d(t) = -4*t**3 + 2*t**2 - 2*t + 1. Let q be d(1). Which is smaller: n or q?
q
Let k be (-6)/9 + 34/6. Let q = -147/2 + 78. Is k <= q?
False
Let t = -17 + 19. Suppose t*q - 1 = 5. Suppose -b + q*b + 23 = -5*s, b = -3*s - 14. Which is smaller: 2/3 or b?
2/3
Let y = 0.35 + -0.13. Let h = 0.32 - y. Let u = 4.06 + -0.06. Which is bigger: u or h?
u
Suppose 5*o + 45 = 5*j, 2*j + 4*o + 9 + 3 = 0. Suppose -76 = -j*w + 2*w. Is w equal to 38?
True
Let k be (1 + -1)*(-3)/(-6). Let u = -13 - -18. Let p = u + 2. Which is greater: k or p?
p
Let f(p) be the third derivative of p**6/120 - 7*p**5/60 + 5*p**4/24 + p**3 + 16*p**2. Let d be f(6). Is d > -2/7?
True
Let p = -12.1 - -14.1. Do 10/13 and p have the same value?
False
Let m = -111 - -162. Let i = m + -52. Is -0.13 < i?
False
Let s = -68 + 26. Suppose 0 = -7*h + 5*h. Which is smaller: s or h?
s
Let a = -105 + 105. Suppose 2*f - 7*f - 29 = -3*h, 4*f + h + 30 = a. Is -2/21 less than f?
False
Let z(c) = 2*c + 6. Suppose 12 = 5*m + 37. Let w be z(m). Let j be 1/(2*1/w). Which is smaller: j or -1?
j
Let n = 563 + -564. Which is bigger: 14.6 or n?
14.6
Let z be 1908/3150 - (-4)/(-14)*1. Which is smaller: 0 or z?
0
Let c = 79 + -62. Suppose -2*l = m - c, 4*m = -2*l - 1 + 3. Is l >= 57/5?
False
Let u be 41/(-82)*(-1)/((-6)/1095). Is -92 less than u?
True
Let s = -898.4 - -890.651. Let n = 0.151 - s. Let o = n + -1.9. Which is greater: 2 or o?
o
Suppose -3*p = 2*c - 210, -5*p - 200 = -2*c - 3*p. Let u = 100 - c. Is -9/4 < u?
True
Let k(r) = -16*r - 6. Let w be k(6). Is w greater than -102?
False
Let f = 6 + -6.5. Let j = f - -0.7. Let g = 1.1 - 1.2. Which is bigger: j or g?
j
Let g = -628 + 305. Which is smaller: -321 or g?
g
Suppose 3*b + 108 = -4*y + 89, 3*b = y - 14. Is -11/114 < y?
False
Let r = -164 - -6069/37. Let m(h) = 11*h + 11. Let j(w) = -5*w - 6. Let i(z) = -13*j(z) - 6*m(z). Let o be i(12). Is o at most r?
True
Let l(j) = 165*j - 6. Let d be l(-9). Let m = -82003/55 - d. Which is greater: 1 or m?
1
Let u = 1573.48 - 1534. Let z = 39 - u. Let g = z - -0.28. Does g = 15?
False
Let v = 15376 - 169021/11. Which is greater: 9 or v?
v
Let j(v) = v**2 - 2*v + 17. Let h be j(0). Let f(m) = 2*m**2 + 10*m + 6. Let c be f(-6). Is h at most c?
True
Let j = -848434/3 - -46650586/165. Let r = -393/5 - j. Which is smaller: r or 3?
r
Let m = 135878/7 - 19452. Is m less than -41?
False
Let a(z) = -2*z - 10. Suppose 19 - 5 = -q. Let y be a(q). Let t = y + -15. Which is bigger: t or 4?
4
Let r be (-87375)/3060 - (-3)/(-4). Let z = -2/307 + 27022/921. Let u = z + r. Do u and 0 have the same value?
False
Let b be 6 + 96/(-12) - 0. Which is smaller: 8.6 or b?
b
Let j = 1058 + -1057.421. Which is bigger: -1 or j?
j
Let g(j) = 100*j**2 + 3*j - 1. Let i be g(1). Suppose -i = 4*t + 13*t. Let m be (-2)/((-12)/7 - -2). Which is greater: m or t?
t
Let s = 46 + -83/2. Let u(h) = 9 - 7 - h**2 + 9*h - 16. Let o be u(4). Which is bigger: s or o?
o
Let i = 9266 - 1677142/181. Is i equal to 0?
False
Suppose 6*t - 8*t - 232 = 0. Let c = t + 121. Is c less than 4?
False
Let k(p) = -p**3 - 17*p**2 - 15*p + 18. Let s be k(-16). Suppose 0 = s*d + 2 - 0. Let v be ((d/(-2))/1)/2. Is v bigger than 2?
False
Suppose 2*n + 50 = n. Let m = -51 - n. Is m > -2/85?
False
Suppose -6*f = 5*f + 77. Let q be (-3)/6*(0 + 0). Suppose q = -p + 2*p + 3. Is p > f?
True
Let b(f) = 24*f**2. Let k be b(-1). Let n be (-6)/k - (-11)/28. Which is greater: n or 1/2?
1/2
Let y(w) = -w**3 - 2*w**2 - w + 2. Let v be y(-2). Suppose 0 = -v*j + 1 + 15. Let b be ((-1)/(-10))/(1/j). Are b and 4/3 equal?
False
Suppose -5*s + 5*p + 495 = 0, 4*p + 196 = -6*s + 8*s. Which is smaller: s or 98?
98
Let o be 10/(-4)*3186/295. Is o at most -366/13?
False
Let i(y) = 5*y - 6*y + 2*y - 15 + 0*y. Let k be i(16). Is k <= 1/16?
False
Suppose 4*q - 41 - 27 = 0. Suppose 53*g - 65*g + 216 = 0. Which is greater: q or g?
g
Let f = -21 - -33. Let b be (-2 + f)/((-4)/(-6)). Which is smaller: 41/3 or b?
41/3
Suppose 4*c = 4*l + 8*c + 84, -12 = 2*l - 4*c. Let g = 16 - 32. Is l < g?
False
Let h = -12 - 18. Let q = h - -54. Are q and 24 equal?
True
Let f be (-2 + 52/(-8))*2. Let t = -36 - f. Let y be -17 + (-4 - -4 - 3). Is t < y?
False
Let o = -41 + 80. Let j be ((-16)/(-10))/(-4)*(-15)/o. Are 3/8 and j equal?
False
Let s be (-6)/28*-34 + 4/(-14). Let l(g) = -g**3 - 15*g**2 + 8. Let b be l(-15). Which is smaller: b or s?
s
Let m be (-6)/(-39) - (-115)/(-156). Let p(w) = -2*w**2 - 7*w + 2. Let a be p(-4). Are a and m unequal?
True
Let t be (-48)/(-70) + (-30)/45. Is -1 < t?
True
Let f = -3.05 - -0.05. Let s = -35751.5 + 35751. Which is bigger: s or f?
s
Let c be (-8 - (-130)/15)*12/62. Is -1 greater than or equal to c?
False
Let l(m) = -m**3 + 17*m**3 + 14*m**3 + 17*m + 1 - 16*m. Let j be l(-1). Is -30 at most as big as j?
True
Let u = 4/9745 + -195184/691895. Which is smaller: u or 1?
u
Let x be ((-5 + 4)*4)/((-2)/1). Suppose 4*m + 3*b = -23, -x*m - 2 + 8 = -2*b. Suppose -w - 4 = -0*w - 4*g, 0 = -3*w - 5*g + 5. Is w less than or equal to m?
False
Let r = -2284 + 2288. Suppose 4 = j, -2*a - 4*j = -31 + 9. Let g = 1 + a. Are g and r nonequal?
False
Let m = -176 - -10. Let n = -166.12 - m. Suppose 2*l - 6*l + 4 = 0. Is l bigger than n?
True
Let f = 0.6 - 0.71. Let z = -0.89 + f. Let v = z + 1. Is v <= -6?
False
Let l = 228 - 911/4. Which is smaller: -9 or l?
-9
Let n = 0.201 - 0.301. Is n < 173/5?
True
Let p = 52842/13 - 4068. Let v = -20 + 18. Is p less than v?
True
Let h(i) be the third derivative of -i**4/4 + i**3/2 - 10*i**2. Let n(g) = 3*g - 2. Let p(j) = 4*h(j) + 7*n(j). Let c be p(-1). Is c at most -10/7?
False
Let w = 8 + 1. Let z(d) = -152 + 305 - 164 + 2*d. Let y be z(w). Is 7 smaller than y?
False
Let i(f) = 7*f - 4. Let r(q) = 13*q - 7. Let u(t) = 11*i(t) - 6*r(t). Let d be u(-6). Suppose -3*a - m - 7 = -27, 22 