-476/9 equal?
False
Let l be -1 + (-22)/(2/2). Let g = -583 - -561. Which is smaller: g or l?
l
Let f(l) = l**3 - 5*l**2 + 3*l - 15. Let d be f(6). Let r = d + -36. Which is smaller: r or 9?
r
Let m(q) = q**3 - 5*q**2 - 6*q - 2. Let a be m(6). Let k(i) = i**3 + 2*i**2 - 4*i - 2. Let c be k(-3). Which is bigger: c or a?
c
Let o = 11/2 + -4. Suppose 0 = -3*y + 4*b - 5*b - 2, 0 = 2*y + b + 2. Suppose 5*x - 5*l = -2 - 3, x + l - 7 = y. Which is greater: x or o?
x
Let a be (-11589)/(-36) + (-1)/(-3 - 1). Let s = a - 323. Which is greater: s or -1?
s
Suppose w - 2*w - 1 = 0. Let r be (7/(21/(-12)))/w. Let f be (-50)/20*r/115. Which is greater: 0 or f?
0
Suppose -3*d + 5*l = 1 - 2, -5*d - l + 11 = 0. Suppose n - d = -q, 3*q + 0 - 4 = -4*n. Is 0.3 <= q?
True
Let y be (-7522)/(-14) - (-6)/(-21). Suppose -5*a + 9*l = 4*l - 690, l = -4*a + y. Let z = a + -400/3. Is z at least 1?
True
Let i = 584 + -585. Which is bigger: i or 2/509?
2/509
Suppose -424 = -s - 7*s. Which is smaller: s or 48?
48
Let l = -1801/10 - -180. Which is smaller: 1/2 or l?
l
Suppose 61 + 59 = -6*r. Let n = r - -21. Let h = -1978/13 - -152. Is n equal to h?
False
Let v = 5.26 - 3.26. Which is bigger: v or -0.1?
v
Let j = 21.3 - 21.3. Is j < 7?
True
Suppose 0 = 2*g + 4*d - 4288, 0*g = -5*g - 5*d + 10715. Let t = -104962/49 + g. Which is bigger: -1 or t?
t
Let t = 13 - 25. Suppose -4*g - 4*f - 28 = 0, 5*f + 0 - 55 = 5*g. Which is greater: g or t?
g
Let q be 11 + (-88842)/17766 - 6. Is q greater than or equal to 1?
False
Let g = 24 - -36. Let a = 117 + -56. Are g and a nonequal?
True
Let h be 3 + -1 + (-2 - -3). Suppose -h*k + 13 = 4*s - 36, 25 = 4*s - 5*k. Let n = s + -16. Are -6 and n nonequal?
False
Let d(v) = v**3 - 2*v**2 + 2*v + 6. Let j be d(5). Which is smaller: j or 92?
j
Suppose 65 = 2*p - 127. Suppose -i - p = -4*i. Let n be (-9)/5 - i/40. Which is smaller: -2 or n?
n
Let i = -112094/35 - -3202. Let u = 1/380 - -221/2660. Let m = u + i. Which is bigger: -2 or m?
m
Let n(t) = 4*t + 80. Let p be n(-20). Let m = -13 + 19. Let y = m + 4. Which is smaller: p or y?
p
Let i(b) = b**3 + 3*b**2 + 3. Let h be i(-3). Suppose -75 = h*w - 8*w. Are 16 and w non-equal?
True
Suppose 2*s - 122 = -s + 2*u, -113 = -2*s - 5*u. Is 4 equal to s?
False
Let r(f) = -29 + 18*f - 7*f**3 + 12*f**3 + 20*f**2 - 4*f**3. Let i be r(-19). Is -0.3 equal to i?
False
Suppose -293*t + 312*t + 608 = 0. Suppose -3*a + 60 + 39 = 0. Let j = a + t. Are -3/14 and j equal?
False
Let p = -0.792 + 1.092. Let t be -2 - -38*(-3)/(-66). Is t < p?
True
Suppose 0 = -q - 2*q + 3. Let n be (12*q)/((-9)/(-6)). Let y(c) = -c**3 + 5*c**2 - 2*c - 5. Let b be y(3). Do n and b have different values?
True
Let i = 37 + -67. Suppose -5*n - 119 = 36. Is n equal to i?
False
Let r(l) = 4*l - 14. Let k be r(6). Let i = 4 - k. Is i at least -10?
True
Let q = -43 - -42.62. Let u = q + 3.18. Let x = -2.5 + u. Which is greater: x or 2?
2
Let t be ((-33)/(-9))/(2/(-6)). Let p(z) = 13*z + 484. Let w be p(-38). Are w and t nonequal?
True
Let d be ((-8)/(64/(-1236)))/(63/12). Is 30 equal to d?
False
Let d = 0.164 + -56.164. Is d less than -2?
True
Suppose 0 = m - 22 + 10. Suppose 0 = 4*h - x - 67 - 57, -3*x = m. Which is greater: 31 or h?
31
Suppose 2*p - 46 = 4*z, -4*z + 5*p = 53 - 10. Let d = 4 + 1. Suppose -d*u + 44 = -9*u. Is u smaller than z?
False
Let d(h) = -h**3 - 3*h**2 - 11*h - 19. Let k be d(5). Are -274 and k equal?
True
Let u(j) be the first derivative of j**3/3 - 8*j**2 - j + 3. Let d be u(16). Let o be (-5)/10*6/d. Is 2 at most o?
True
Let g = -3.3 - -5.3. Let l = 3 - 5. Let s = l + 7. Is s greater than or equal to g?
True
Suppose 2*h - 3*s - 829 = 0, -9*h - 1649 = -13*h + 3*s. Which is smaller: h or 0?
0
Let p(q) = q + 15 + 13 - 30. Let l be p(6). Suppose -z = l*z. Is z equal to -3/4?
False
Suppose 0 = -2*a - 22 + 74. Let u = a - 20. Suppose u*m - m = 0. Which is bigger: m or 5/6?
5/6
Let p be 2 - (-111)/9*-6. Is -72 smaller than p?
False
Suppose 0 = -42*g - 11040 + 36. Is g at least -263?
True
Let t = 530030/211 - 2512. Are t and -1 non-equal?
True
Let p = 1.6 - -21.4. Let x = p - 24. Are x and -1 non-equal?
False
Let q = -29 - -23. Let w be 4/6 - 2/q. Let o(y) = -y**2 + 5*y + 5. Let k be o(5). Which is smaller: k or w?
w
Suppose 21*j + 62 = -43. Is -27/7 bigger than j?
True
Let q be 32 - 10 - (2 + 0). Suppose q = 4*x, 4*c + x + 2*x = 47. Is 8 less than or equal to c?
True
Let y be ((-1)/2)/((-3)/(-396)). Let c be (2/(-3))/((-24)/18 + 0). Which is greater: c or y?
c
Let s = 0.2 + -2.2. Let a = 0 + s. Let y be 75/(-50)*(-2 - 8/(-6)). Which is smaller: a or y?
a
Let v = 0.74 + -31.74. Let h = v + 31.5. Which is bigger: h or 0.3?
h
Let q(f) = -15*f**3 - 3*f**2 - 2*f + 9. Let a be q(-3). Let s = -7465/19 + a. Do s and 0 have different values?
True
Let o = -25 + -22. Let d = o + 68. Suppose 2*g - g + 17 = 3*c, 0 = g - 4*c + d. Are -5 and g non-equal?
False
Suppose -4*u + 1140 = 4424. Let h = u - -45975/56. Are h and -1 equal?
False
Let p = 364 - 362.09. Let x = -0.91 + p. Is x equal to 7?
False
Let g(a) = -a**2 + 7*a - 8. Let j be g(4). Suppose -i - j*i = 0. Let f = 6 - 1. Is i at least f?
False
Let j be (-2 - -4) + (2 - 1). Suppose 0*l + 2*l = j*u + 41, 5*u = -15. Suppose -5*k + 5*y = -100, -8 = -5*k + 4*y + 89. Are l and k non-equal?
True
Suppose -5*r = 0, -3*r + 35 = -3*c + 5. Let l = -6 - c. Suppose l*k - 15 = -k. Is k greater than 1?
True
Let n = 752 - 757. Which is smaller: 0.047 or n?
n
Let h(d) = d - 9. Let o(i) = -2*i + 9. Let q(y) = 4*h(y) + 3*o(y). Let s be q(-8). Suppose 7 = -x + 2*x. Is s greater than or equal to x?
True
Let s = -0.0573 - -0.1573. Do 604 and s have the same value?
False
Let k(b) = -2*b**3 + 100*b**2 + 114. Let g be k(50). Are 113 and g non-equal?
True
Let y be (-2)/3 - (-34)/6. Let l = 70 + -34. Let x = l - 31. Is x bigger than y?
False
Let f = -2 + 0. Let x(b) be the first derivative of -3*b**4/4 - b**3/3 + b**2/2 - 1. Let s be x(1). Which is smaller: s or f?
s
Let m be ((-8)/(-588)*3)/(100/35). Let s be ((-2)/1)/(-280)*-38. Let p = s - m. Which is smaller: -10 or p?
-10
Let l = 2 - 8. Let a = l - -11. Let x = a - 5. Are x and 1 equal?
False
Let h(d) = -6*d - 52. Let i be -13 - (0 - (-6 - -5)). Let w be h(i). Is 32 at least w?
True
Suppose 0 = -2*y - 0*s + 5*s - 24, y + 34 = -3*s. Let q be 162/y - (0 + -5). Which is greater: q or -2?
-2
Suppose -13 + 10 = r, -r - 108 = 3*p. Is -40 greater than p?
False
Let x(q) = 2*q**2 - 4*q + 3. Let g be x(1). Which is smaller: g or -1/10?
-1/10
Let h be (-20)/(-12)*(-63 - 3)/(-2). Which is smaller: 53 or h?
53
Let t = 222733/93 - 2395. Let m(u) = 31*u + 372. Let y be m(-12). Which is smaller: t or y?
t
Let l = -6860 + 55199/8. Let q = l + -40. Which is greater: q or 1?
1
Let j = 572080/159 + -3598. Let x(u) = -u**3 - 3*u**2 - u. Let p be x(-1). Which is bigger: p or j?
j
Let z(r) = r - 19. Let m be z(-3). Is -21 at least m?
True
Suppose 0 = 2*q + q. Let l be (((-185)/(-210))/37)/((-3)/(-24)). Which is smaller: q or l?
q
Let n(w) = w - 15. Let j be n(13). Let q = 403679507/1397460 + 7/93164. Let u = q - 289. Are j and u equal?
False
Let o be 8/(-14)*21/(-6). Suppose -k - 7 = -0*m + 2*m, -2*m - o = 0. Let n be -7 - 0*3/9. Which is smaller: n or k?
n
Let x be (8/(-14) + 48/84)/(-1). Which is smaller: 11/17 or x?
x
Suppose -2*i - 16 = m, 7*i - 2*i - 2*m + 22 = 0. Let u = 24 - 29. Is u at least i?
True
Let u be (-70)/6 + (-2)/(-3). Let m be ((-824)/618)/(8/78). Is m equal to u?
False
Suppose 50 = q - 5. Suppose 3*d = 2*j + 36 - 1, -3*j + 2*d = q. Let o = -39/2 - j. Which is bigger: 1 or o?
1
Let q be (-46)/8 + 1/(-4). Let r(z) = 4*z**2 - 2*z - 3. Let x(p) = -p**2 - p. Let v(s) = q*x(s) - r(s). Let c be v(-5). Is c at most as big as 12?
False
Suppose -22 = -4*l + 262. Let d = 427/6 - l. Let f(t) = t - 7. Let b be f(6). Is b bigger than d?
False
Let n = -1720/10673 + 6/821. Let s = -27 + 16. Is s equal to n?
False
Let c(q) = q**3 + 3*q**2 - 5*q - 6. Let x be c(-5). Let j be 425/20 + (-2)/8 - 0. Let o = x + j. Is o less than -10?
False
Let c = -0.2 + 0.8. Let z = -62 - -61. Let x = c + z. Is -0.1 at most x?
False
Let r(l) = 3*l**3 + 2*l**2 + l. Let m be r(-2). Let u be 656/(-36) + (-4)/m. Let n be (-4 - 16) + (3 - 1). Is u greater than or equal to n?
True
Let t = 0.2 + -0.4