 = l**3 - 3*l**2 + 4*l - 2. Let i be g(3). Suppose 26*p = 47*p - 210. Is p not equal to i?
False
Let d be 13871/20540 + (-1)/4. Let t = 2/79 - d. Suppose 0 = -j - 2*j + 3. Is j at least as big as t?
True
Let j(b) = 6*b**3 - b. Let a be j(-1). Suppose -4*l + 8*x + 25 = 3*x, -3*x - 15 = -2*l. Let y(o) = -o**2 - o - 4. Let f be y(l). Which is greater: a or f?
f
Suppose 0 = -13*s - 0. Does s = 1/641?
False
Suppose -3*g + 4 - 1 = 0. Suppose -4 = 3*x - g. Does x = -3/11?
False
Let p be 202/(-18) + (-2)/(-9). Let j be (16/p)/(12/42). Let x = j - -750/143. Is x bigger than 0?
True
Let q be 470/(-471) - 3/9*-3. Let c = q + -1441/13188. Which is greater: 1 or c?
1
Let a = -518 - -503. Is a >= 11?
False
Let m = 135 - 83. Suppose 48 - m = -2*v. Which is bigger: -8 or v?
v
Suppose 32*o - 35*o = -18684. Let l be 1*9/(o/(-8)). Which is smaller: l or 0?
l
Let d be -2*3/4*-8. Suppose 0*b = -2*b - d. Let a be 37/(-7) - (-2)/7. Which is smaller: b or a?
b
Let d be (-7330)/(-60) + 1/(-6). Let w = 123 - d. Is w >= -2/71?
True
Let c = -0.0828 - -107.9828. Are 1 and c nonequal?
True
Let k(t) = 26*t - 365. Let p be k(14). Is p >= -3/7?
False
Suppose -6*d + 344 = 1598. Is d greater than -213?
True
Let d = 12.7 - 12.5. Suppose -2*k = -4*k. Are k and d non-equal?
True
Suppose -18*t = -104*t + 12642. Which is greater: t or 143?
t
Let o = -37.44 + 30.6. Let j = -7 - o. Which is smaller: -0.1 or j?
j
Let g be (-1 - 0 - 218)/((-45)/(-30)). Let h = 727/5 + g. Is 0.2 bigger than h?
True
Let l = -16265/392 + -3/392. Suppose 5*n = -c - 121 - 90, 3*c = -18. Which is smaller: l or n?
l
Let k(c) = -c**3 + 21*c**2 - 21*c + 20. Let i be k(20). Which is greater: i or 5/26?
5/26
Let p be 1/(5*3/30). Suppose 6 = -2*g, p*u + 79 = -2*g + 5*g. Let k be (4/u)/(35/(-10)). Is -2/5 < k?
True
Let k be 1/(-2)*((-18)/6 - 9/3). Let i = -9/260 + -1/260. Let a = 229/130 - i. Is k at least as big as a?
True
Let y be 3 + (-33)/3 - (0 + -4). Let z be 3 + -4 + -2*(y - -3). Which is smaller: z or 2/37?
2/37
Suppose -1 = 5*i - 11. Suppose 0 = 6*f - i*f - 4. Let l(d) = d. Let n be l(2). Which is smaller: f or n?
f
Let h = -39 - -62. Let g = -35 + 59. Which is greater: h or g?
g
Let i = -3.5 - -3.78. Let g = -0.08 - i. Let p = g + 0.26. Are p and 0 unequal?
True
Let z = 15 + -13. Let c be 1 + -10 + (z - 2). Let a = 4 + c. Is a greater than -6?
True
Let x be ((455/(-14))/(-13))/((-35)/(-7)). Is -392 at most as big as x?
True
Let d(o) = 6*o**2 - 112*o - 49. Let v be d(19). Is v not equal to -24?
True
Let a be (-14)/(-15) - (1 - (-2)/(-6)). Let n(m) = -m. Let i be n(-1). Which is smaller: i or a?
a
Suppose -3*j + 4*t = 146 + 56, -j = -2*t + 70. Does -56 = j?
False
Let p(t) = -t**2 - 3*t + 3. Let d be p(-3). Let h be (45/(17 - 32))/(11/(-6)). Is d smaller than h?
False
Suppose 0 = -12*q + 18*q + 48. Let t be q/30*3/(30/25). Let d = -1.6 - -1.49. Are d and t equal?
False
Let r be ((-3)/12)/(3/12). Let a be 0/17 - 1/9. Which is greater: a or r?
a
Let o(d) = -32*d**2 + d + 3. Let i be o(2). Let v = 98 + i. Is -26 greater than or equal to v?
False
Suppose -4*f + 19 - 7 = 0. Let g be (10/5)/((-6)/f). Which is greater: -1/9 or g?
-1/9
Let x be 2940/450 + 8/10. Do 7 and x have the same value?
False
Let p(a) be the first derivative of -a**4/4 - 3*a**3 + 5*a**2 + a + 1. Let n be (10/(-8))/(19/(-8 - -160)). Let c be p(n). Is 7/6 at least as big as c?
True
Let m(c) = -4*c**3 - c - 1. Let r(o) = o + 5. Let h be r(-6). Let u be m(h). Suppose -u*l - 8 + 32 = 0. Which is greater: l or 1?
l
Suppose 17*z = -2*z - 551. Do -29 and z have different values?
False
Let j be (-195)/(-261) - (-16)/(-48). Are 0 and j unequal?
True
Let z(n) = n**2 + n. Let f(c) = 2*c**2 - 8*c. Suppose -3*r + 7 + 5 = 0. Let d be f(r). Let i be z(d). Which is smaller: -2/39 or i?
-2/39
Let f(n) = -2*n**2 - 3*n. Let j be (-38)/14 + 30/(-105). Let d be f(j). Which is bigger: d or -10?
d
Let i(f) = -6*f**2 - 3*f - 2. Let s(c) = 3*c**2 - 6 + 5 - 4*c**2. Let x(w) = i(w) - 5*s(w). Let r be x(-6). Is r < -15?
False
Let o be (4*3/9)/(77/2427). Let v = 298/7 - o. Suppose 2*q - 31 + 9 = 4*j, 2*j + 15 = 5*q. Is q < v?
False
Let c = 53 - 53.57. Let h = c + 0.17. Let o = 7 + -5. Which is greater: h or o?
o
Suppose -522 = -2*u - 0*u. Let d = u - 1301/5. Let p = -6 - -8. Is p >= d?
True
Suppose 19*y = 766 - 633. Which is smaller: 0.094 or y?
0.094
Let j = 84 - 72. Let u be 968/56 - (j/14)/3. Suppose 5*f - 4*o - 105 = -15, 2*o - 90 = -5*f. Which is smaller: u or f?
u
Let x = 370.9 - 371. Suppose -4*m + 26 = n, -2*m + 108 = 3*n - 0*n. Suppose 5*s = -n - 92. Is s smaller than x?
True
Let v be (5 - 11)*((-15)/(-6) + 0). Which is bigger: -17 or v?
v
Let k = -98 - -97. Let x be k/(-2) + 30/12. Which is greater: 2 or x?
x
Suppose 4*j - 3*l + 15 = 0, -j - 2*l + 10 = -3*j. Suppose -3*p + 3 = j, -2*w + p + 0 = 7. Are -38/15 and w unequal?
True
Let m = 0.828 - 1.761. Let k = 0.033 + m. Which is greater: k or 1?
1
Let y be (3/(-102))/(((-30)/(-2840))/3). Is -7 at most as big as y?
False
Suppose -5*l - 792 = -23*l. Which is smaller: l or 43?
43
Let f(p) = -6*p - 290. Let q be f(-37). Is q greater than or equal to -66?
False
Suppose -2 = 4*l + 3*j - 13, -3*j = l + 4. Is l > 7?
False
Let n be 0 - 14 - (1 - (1 - -4)). Let q be (-132)/(-60) - 8/n. Which is smaller: q or 1?
1
Let y = -1.85 - 0.15. Let t = y - -3. Let h = -7.15 + 0.15. Which is smaller: h or t?
h
Let i = -11 + 7. Let f be (4 - 36/i) + 1. Let s = f - 14. Which is greater: s or -9/7?
s
Let d be 2/2*(-45)/45. Which is smaller: d or -1/153?
d
Suppose 175 = -13*u + 318. Let f be 4/(-16) - (-98)/8. Which is smaller: u or f?
u
Suppose 5 = -r, 2*g - 8*r = -4*r. Which is bigger: -21 or g?
g
Let q(n) = -n**3 + 4*n**2 - 4*n + 7. Let h be q(3). Suppose -v - 4*v + 67 = 4*y, -56 = -h*v - 4*y. Which is greater: v or -1?
v
Let t = -1191 + 21445/18. Which is greater: t or -1?
t
Let j be (3/6)/(1/(-12)). Does -36/5 = j?
False
Suppose -u + 18 = -5*u + 2*l, 2*l = -2. Let y be (-2)/u + 33/(-45). Which is greater: y or 0.34?
0.34
Let j(a) = 6*a**3 + 28*a**2 - 6*a + 27. Let k be j(-6). Which is bigger: -226 or k?
k
Let w be (-20)/168*24/(-30). Which is bigger: w or 2/9?
2/9
Let l be 2/((-1)/55 + 8/(-44)). Let q be 40/6*3 - -2. Let j be 2 + -3 - q/l. Is 0 at most j?
True
Let o = -316 + 320. Let x = -1 - -47. Let u = x - 228/5. Is u greater than o?
False
Suppose -29*u - 875 = -36*u. Is 122 at most u?
True
Let b(r) = -2*r + r - 1 - 3*r + 0*r. Let a be b(-2). Let k be 3/(-15) + 72/10. Is a greater than or equal to k?
True
Suppose -166 = 31*a + 640. Is a at least -25?
False
Let g = 4 - 24. Let p = -4049 - -4028. Is p smaller than g?
True
Let r be 1/((-10)/20)*105. Which is bigger: r or -421/2?
r
Let g(l) be the third derivative of -l**6/120 + 2*l**5/15 + l**4/3 + 4*l**3/3 + 8*l**2. Let n be g(9). Let d = 6 - n. Are 7 and d non-equal?
False
Let l = -81.5 - -80.6. Which is greater: 108 or l?
108
Let x = -2016/11 + 184. Let y = -17/22 - x. Do y and -2/7 have different values?
True
Suppose 4*k = -4*a - 4, 16 = 3*k + k - a. Suppose -k*b = -7*b. Is 0 smaller than b?
False
Suppose -3*m = -m. Let b = 0 + m. Let s = 695/11 + -63. Which is greater: b or s?
s
Let r = -5 + 4.2. Let u = r + 0.75. Let o be (4/20)/((-4)/(-10)). Is o != u?
True
Let q be (-1 + 1)/((-1)/(-1)) + 22. Which is smaller: 1 or q?
1
Let k = -629 + 629. Which is smaller: k or -132?
-132
Let u(g) be the second derivative of -g**5/20 + g**3/2 - 3*g**2/2 + 15*g. Let h(j) = 2*j**3 - j**2 + j. Let q be h(1). Let k be u(q). Is -5 smaller than k?
False
Let x(j) = -j**3 - 9*j**2 + 11*j - 11. Suppose 5*r + f + 48 = 0, -r + 4*f - 12 = 6. Let n be x(r). Is n at most as big as -21?
True
Suppose -9*f = 30 - 21. Is 2/269 at least f?
True
Let o(p) = p + 4. Let i be o(-2). Suppose -3*k = 6*k + 18. Let q be (-7)/((-315)/(-10)) - k/9. Is i > q?
True
Let v be 5*(-8)/120*3. Is 9/50 greater than v?
True
Let m be (1/(-2))/(3/90). Let q = 71/3 + -223/6. Which is smaller: q or m?
m
Let t = 509/33 - 43/3. Suppose 0*b = 2*b - 2. Which is smaller: b or t?
b
Let t be 218/((4/10)/((-2)/10)). Is -110 at least as big as t?
False
Let i = 98/3 - 33. Let m(a) = -3*a**2 - 14*a + 8. Let h(v) = 4*v**2 + 14*v - 7. Let c(r) = 4*h(r) + 5*m(r). Let l be c(13). Which is greater: i or l?
i
Let q(v) = v**2 - 4*v + 1. Let h be q(5