 w**3 + 3*w**2 - 5*w - 4. Let c be d(3). Suppose 3*j - 5*a + c = 5*j, 0 = j - a. Let h be (j/(60/(-16)))/10. Is h < 0?
True
Suppose -60 = -3*b - 0*b. Suppose 0 = -4*v + 1 - 5, v = 4*g - 77. Which is greater: g or b?
b
Let g be (0*5/25)/(3 + -2). Is 2/25 equal to g?
False
Let m = 60 + -70. Let p(h) = h**2 + 9*h + 3. Let k be p(-4). Let u = 8 + k. Is u at least m?
True
Let u = -35.2085 - -0.2085. Which is bigger: u or 1?
1
Let k(r) = r - 4. Let a(p) = 1. Let q(t) = -2*a(t) + k(t). Let v be q(6). Are -2/99 and v unequal?
True
Let d = -28/851 + 2/23. Are 5 and d equal?
False
Let k = -573 + 163. Is 0 less than k?
False
Let g = -1073 - -1514. Which is bigger: g or 437?
g
Let v = 62752/2219 - 198/7. Which is smaller: 0 or v?
v
Suppose -4*u + 2 = -6. Suppose -25 = -s + u*o - 5, -2*o + 88 = 5*s. Let l = 3 - 4. Which is smaller: l or s?
l
Suppose 3*u = -20 + 23. Does -1/113 = u?
False
Let a be (-4)/2 - (-1 - -1). Let i be (13/195)/(9/(-30)). Are i and a unequal?
True
Suppose 2*j - 5*b = -b - 76, 4*b = -4*j - 140. Let d be (-3)/(34/j + (-2)/(-2)). Is -53 <= d?
False
Let m(y) = -y + 10. Suppose -4*g = -3*g. Let h be m(g). Let d(w) = -w**2 - 20*w - 40. Let z be d(-17). Which is bigger: h or z?
z
Let d = 34.7 - -0.3. Let t = -35.2 + d. Let c = -0.34 + 0.3. Is t != c?
True
Let j(q) = -101*q - 22. Let y be j(-8). Which is smaller: 788 or y?
y
Let f be -2 - (-3)/(270/184). Let h(l) = -4*l - 35. Let t be h(-9). Is f at most t?
True
Let m = -0.28 - 0.02. Let z(w) be the third derivative of -w**6/120 - w**5/10 - 7*w**4/24 - 2*w**3 + 18*w**2. Let x be z(-5). Are x and m nonequal?
True
Suppose 31*y - 46*y = 360. Is -70/3 less than or equal to y?
False
Let a = 25/9 + -3. Let b = 0.2718 - -0.0282. Do a and b have different values?
True
Let v = 12.1 + -12. Let l = 9.09 + -9. Let h = l + -0.04. Is h >= v?
False
Suppose -31*z - 2564 = 474. Is z != -5?
True
Let v = -2441/6 - -407. Let b = -8065/37 - -218. Let l = -71/111 - b. Which is smaller: l or v?
l
Suppose -r = 3*r - 5*u + 44, 4*r + 36 = 3*u. Let k = -3 + 12. Let y be 116/(-36) + 2/k. Which is smaller: y or r?
r
Let d = -2295/7 + 327. Is 2/23 smaller than d?
False
Let m = 4396/639 - -48/71. Is -1 bigger than m?
False
Let p be (5605/5 - -9)*6/(-5). Which is smaller: p or -1355?
p
Let v be (2/2)/((-1)/2). Let y be (13/(-5) - v)*-1. Let o = -1618.1 - -1618. Is o > y?
False
Let z = 14.828 - 1.828. Is z != 25?
True
Suppose -2*y = -3*v - 3 + 4, -5*v + 6 = y. Is y less than or equal to 2/11?
False
Suppose p = l + 1, 0*l - 2*l = -4*p + 2. Suppose g = 2*n + 2, 3*n - 3*g + p*g = 0. Are n and -5/2 nonequal?
True
Suppose 0 = 3*a - 56 + 20. Let w be (a/(-3))/(-16) - (-258)/(-8). Is w not equal to -32?
False
Suppose 19*l - 14*l - 165 = 0. Which is bigger: 3 or l?
l
Let a = -104 - -104.3. Which is bigger: a or 13?
13
Let g(w) = w**3 + 13*w**2 - 19*w - 9. Let s be g(-14). Suppose -5*x - s = -j, -5*j - 3*x = 58 - 223. Which is smaller: 37 or j?
j
Suppose 22 = x + 149. Are -127 and x non-equal?
False
Suppose -20 = 10*d - 6*d, -d + 100 = 3*k. Which is greater: 400/11 or k?
400/11
Let f be (-5146)/6 + 2/(-6). Let i be 468/(-56)*f/9. Let w = -795 + i. Which is smaller: 2 or w?
w
Let g = -0.062 - 0.148. Let v = 39.79 - 40. Let i = g - v. Which is greater: i or 0.11?
0.11
Suppose 4*y = 2*a - 5 + 15, -4*y = -4*a - 8. Let m be 1*(-1 + (-4)/(-3))*y. Is -1/9 != m?
True
Let i = 20 + -30. Let q = 9 + i. Which is greater: -3 or q?
q
Let q(j) = -9*j**3 + 2*j**2 - 3*j - 2. Let c be q(-2). Let k be (-60)/c - 4/14. Which is greater: -3 or k?
k
Let g(s) = -s**2 + 8*s + 12. Let h be g(9). Suppose -h*u + 4*a - a + 15 = 0, 0 = -5*u - a + 31. Is u not equal to 7?
True
Let l = 6 - -25. Let a(z) = -50*z**2 - 2*z + 32. Let r be a(0). Is l at least r?
False
Let g = -9 + -7. Let s = 36 + g. Suppose 0 = -5*c - 100 + s. Is -17 >= c?
False
Let r be (-5 + (-236)/(-48))/((-22)/(-18)). Is -1 bigger than r?
False
Let n(w) = w**3 + 14*w**2 + 12*w - 10. Let h be n(-13). Let d be h/(-9) + (-168)/16. Which is greater: -10 or d?
-10
Let s(k) = -k**3 - 7*k**2 - 4*k + 8. Let z be s(-6). Which is smaller: -109 or z?
-109
Let t be ((-381)/(-6))/(18/(-36)). Are t and -128 unequal?
True
Let d(x) = 5*x + 2. Let h(b) = -11*b - 3. Let s(v) = -13*d(v) - 6*h(v). Let z be s(8). Is z >= 0.37?
False
Let y be 36/234 - -1497*4/(-36894). Which is greater: 0 or y?
0
Let l = -259 - -8. Which is bigger: l or 2?
2
Let a(j) = -j**3 + 7*j**2 + 2*j - 6. Let s be a(7). Suppose -s*v + 10*v + 50 = 0. Let r = -24 - v. Which is smaller: 3/2 or r?
r
Suppose -131 = -5*g + 2*n + 421, 0 = -3*g - 2*n + 344. Let m be (-74)/g + (-2)/(-7). Which is smaller: 0 or m?
m
Let x = -2.57 + 2.57. Is -53 at least x?
False
Let h(q) = -7*q**3 + 2*q**2 + 2*q + 1. Let c be h(-1). Suppose -c = -3*v + v. Suppose v*o + o = 0. Which is greater: o or 5?
5
Let q(o) = 2*o**3 + 18*o**2 - 5*o - 38. Let b be q(-9). Which is greater: b or 23?
23
Suppose -10*b = -0*b + 300. Let o = 30 + b. Which is smaller: -4/39 or o?
-4/39
Suppose 2 = -j - 5*c - 28, c = -4*j - 63. Suppose 7 = 3*u - 11. Let n be 4/j + u/(-18). Which is bigger: -3 or n?
n
Let o be (-6)/(-12)*(1 + 5). Let u be (8 - 2)*2/o. Suppose 0 = -0*p + u*p, -5*j - 2*p = -5. Which is smaller: j or -0.9?
-0.9
Let i(q) = q**3 - 8*q**2 - q - 5. Let y be i(8). Let l(h) = -h**3 - 15*h**2 - 15. Let c be l(-15). Which is smaller: y or c?
c
Let o(v) be the second derivative of v**5/20 + v**4/2 - v**3 + 6*v. Let a be o(-7). Let c(u) = 3*u + 16. Let t be c(a). Which is greater: t or -6?
t
Let r(b) = b**3 - 13*b**2 + 9*b - 4. Let n be r(12). Let l be n/224 + 6/14. Let v be ((-3)/9)/(3/(-9)). Which is smaller: v or l?
l
Suppose 34*o = 8*o. Which is greater: 15 or o?
15
Let k = 8 + -4. Suppose 4*m = -2*n - 2*n - 404, k*m + 202 = -2*n. Let b = n + 907/9. Which is greater: -0.1 or b?
-0.1
Let z(n) = 2*n**2 + 25*n + 73. Let r be z(-5). Does r = -36/13?
False
Suppose 286 = 4*z - 42. Let p = z - 83. Are p and 2/59 non-equal?
True
Let g = 30 - 18. Let z = -276 - -1153/4. Is z greater than g?
True
Let y be (-2)/(-4) - (-3)/(-6). Suppose b - 437 = -5*z, y = z - 3*b + b - 94. Let j be 1/(-2) - z/(-112). Is j less than 2/7?
False
Let j(o) = -o**2 + 4*o + 4. Let d be j(3). Let y be -2 + (-7)/(d/54). Let l be 30/y + 2/8. Is 1 at least l?
True
Suppose -5*v + 3 = 2*c, 3*v - c + 23 = 4*c. Let f be 24 + -2 + 5 + 0. Let z be 4*(-12)/f + 2. Which is smaller: z or v?
v
Let n be 276/1020 + 9/5 + -2. Which is bigger: 0 or n?
n
Suppose 0 = 3*y - 3 - 27. Suppose -12 = 3*x - 2*h, -14*x + 15*x + 4 = -h. Which is greater: x or y?
y
Let d be (-7)/2*((-6480)/(-42))/(-10). Which is greater: 56 or d?
56
Let w be -7 + ((-1920)/8)/3. Are -2/5 and w non-equal?
True
Let h = -210 + 215. Are -3 and h unequal?
True
Suppose 8*u + 34 = -9*u. Is u equal to 0.045?
False
Suppose 13*g - 3*g = 3*g. Let z be (g - (-4)/(-2))/(4/56). Is -29 equal to z?
False
Let s be (6/(-4))/(1*6/(-36)). Suppose -s*n = -7*n - 6. Is 6 < n?
False
Suppose -8*k + 3*k - 5*p + 5 = 0, 5*p + 16 = 2*k. Let r(o) = -3*o - 2. Let g be r(k). Let f be 2/3*(g - -2). Which is greater: f or -7?
f
Let g = 43 + -44. Let r be 1 + (-3 - g) - (8 + -10). Are r and -3/25 equal?
False
Let y(b) = 715*b**2 - 2*b + 1. Let g be y(1). Let t be (-6)/(-4) + (-1099)/g. Is t < -1?
False
Let d = 39721/14 + -2840. Let p = -7/2 - d. Which is greater: p or -1/3?
-1/3
Suppose 0 = 2*t - 8, 0*l + 2*t = 5*l - 357. Let p be -9 + 10 + (-71)/l. Let v = p - -136/365. Does -3 = v?
False
Let g = -79 - -63. Let b be 1/(4/g*2). Which is smaller: b or 1?
b
Let j be (-22)/209 - (-1084)/912. Which is bigger: 2 or j?
2
Let a(s) = -s**2 + 11*s + 8. Let u be a(12). Let f be ((12/(-2))/1)/u. Let w(b) = -b - 2. Let q be w(-4). Do f and q have the same value?
False
Let w be (-2)/4 - 2/(-4). Let o = -45 + 49. Suppose 0 = 5*b - o + 9. Is w equal to b?
False
Suppose 6*y - 21 = 9. Suppose -2*r + y*r = -3. Let p = -285/4 - -70. Which is bigger: p or r?
r
Suppose 0 = -2*r - 0*z + 5*z - 10, -2 = -3*r - z. Let b be r - ((-4)/22 - 0). Is 1 not equal to b?
True
Let u = 156 + -212. Which is bigger: u or 1/4?
1/4
Let s(a) = -2*a**2 - 5*a + 3. Let u be s(-4). Let l be (-15 - (-27 + 15))*(-41)/(-15). Which is bigger: l or u?
l
Let p(v) = -v**3 + 6*v**2 - 3*v. Let k be 3 - -3 - 4/2. Let n be p(k). Let q be (n/16)/(1/(-4