0 = -4*p - 4*n + 24. Let r be ((-3)/9)/(1/p). Suppose 0*q + 2*q = 0. Which is greater: q or r?
q
Let o(l) be the first derivative of -l**4/4 + 4*l**3/3 - l**2/2 - 2*l + 5. Let f be o(2). Suppose 0 = -f*b + 17 + 15. Are 7 and b unequal?
True
Let r = 905 - 17183/19. Let z = -20 + 20. Which is bigger: r or z?
r
Let n be (90/(-37395))/((-2)/(-60)). Is 1 less than or equal to n?
False
Let d be ((-4)/150)/((-140)/(-175)). Let r(g) = g**3 + 6*g**2 - 8*g - 8. Let k be ((-49)/(-14))/((-2)/4). Let u be r(k). Is u less than d?
True
Suppose -4*i = 3*p + 116, 0*p + 87 = -3*i - 2*p. Is -32 greater than i?
False
Let l = -3373/295 + 57/5. Which is smaller: l or -2?
-2
Let m = -177/77 - -27/22. Which is smaller: -2 or m?
-2
Let f(t) = -t**2 - 15*t. Let j be f(-15). Suppose j = -v + 2*v. Is v <= -5/11?
False
Let d be 54*(-5)/175 + -2. Let i = -12/5 - d. Which is bigger: i or 2?
2
Let f be (-27)/(-54) + (-19)/8. Let b = -2/61 + -655/488. Let j = b - f. Which is smaller: j or -2/5?
-2/5
Let j = -95 - -68.8. Let f = j + 26. Which is bigger: -21/8 or f?
f
Let s be 3/(-4) - (-525)/28. Let b be (0 + 0 + -3)/(-1). Suppose q = -4*y + y + 61, 2*y + b*q = 50. Which is smaller: s or y?
s
Suppose 0 = 12*x - 38 + 50. Let u(j) = -2*j**2 - 8*j - 6. Let l(g) = -g - 1. Let y(s) = -5*l(s) + u(s). Let d be y(-2). Which is greater: x or d?
x
Let y(l) = 3*l**2 - 16*l**2 + 4 + 5*l**2 - 8*l - l**3. Let q be y(-6). Is -20 greater than or equal to q?
True
Let v = -1.5 - -4. Let p = v - -1.5. Let z = p - 8. Is 1 != z?
True
Let o be (-6)/4*(1991/275 + -7). Is 0.2 > o?
True
Let j = -17 - -6. Let k be j/(-5) - (-10 - -12). Is k at least as big as 0?
True
Let z = -957 + 956. Is z != 4/29?
True
Let m be ((-2)/(-21))/((-46)/12 - -4). Let r be (0/2)/(-2 - 0). Which is smaller: m or r?
r
Let h = 1291 - 1291.6. Which is smaller: -98 or h?
-98
Let l = -425 + 455. Suppose 2*z - 66 + 4 = 0. Which is bigger: z or l?
z
Let i(z) = 4*z**2 - z**2 + 11*z + 4 + 6 - 2*z**2. Let c be i(-7). Let g be 40/c*(-36)/(-15). Which is bigger: -4 or g?
-4
Let x(o) = 3*o**2 + o. Let y be x(-3). Are y and 23 unequal?
True
Let l(f) = 8*f + 45. Let x be l(10). Is x != 124?
True
Let z = 454 + -4090/9. Let l(q) = -9*q + 46. Let f be l(5). Is z at least f?
False
Let p = -1 - 6. Let o be 0/((-3)/6*2). Suppose o = -h - 0*h - 7. Is h at most p?
True
Let q be 2/4*(11 + -11). Which is smaller: q or 1/231?
q
Let r = 27/826 + -79809/15694. Which is greater: -6 or r?
r
Let b be 1 + (-4 + 3 - 0). Suppose b = 2*j + i + 40, j = 5*j + i + 84. Which is greater: j or -19?
-19
Suppose -4*k - 7 - 13 = 0, 0 = -4*r + 5*k + 325. Suppose 5*s = -0*p + 2*p - r, 0 = -4*p - s + 95. Which is smaller: p or 26?
p
Let b be 4/(-2) + (-468)/(-369). Which is greater: b or -1?
b
Let b(y) = -y**3 - 12*y**2 - 18*y + 24. Let f be b(-10). Let a = 18 - 17.8. Which is bigger: f or a?
f
Let v = -1 + 2. Suppose 5*b - 2*z - 193 = 0, 3*b + z = 4*z + 123. Let i = b + -34. Which is bigger: v or i?
i
Let m be -10*-2*(-1)/(-2). Suppose -m = -7*r + 5*r. Suppose 2*t = -l - 8, 3*t - r*t - 2*l - 6 = 0. Which is smaller: -6 or t?
-6
Let q = 325/2 - 163. Is 0.19 greater than or equal to q?
True
Let q be 105/(-14)*(-24)/10. Is 118/7 smaller than q?
True
Suppose -c - c + u + 175 = 0, 0 = -5*c - u + 441. Is c less than 88?
False
Let d = 575 - 2283/4. Which is bigger: 3 or d?
d
Let l be -1 + (-165)/(-84) + (-12)/(-42). Let i = -4 + 4. Are i and l non-equal?
True
Let j = 0 - -0.5. Let o = j - 0.4. Let y = 863/3 + -865/3. Which is bigger: y or o?
o
Let a = -0.586 + 298.586. Let o = 321.9 - a. Let c = o + -24. Which is bigger: c or -17?
c
Let r = -6 - -11. Let w(d) = d - 4. Let h be w(r). Suppose -4*v - 5*s = 40, s + 3 = -h. Which is smaller: -6 or v?
-6
Let k be -2 + (-3 - -8 - (-26)/(-6)). Let o = 0.11 - 0.1. Let s = o + -1.01. Which is smaller: k or s?
k
Let n(o) = -3*o**3 - 22*o**2 - 6*o + 8. Let k be n(-7). Is 1/148 bigger than k?
False
Let j be 2*(-16007)/(-110) + -2. Suppose 3*w + 857 = 6*o - 4*o, 4*w = -3*o - 1171. Let q = w + j. Is q less than 1?
True
Let g = 1 - 1. Let c = -725977/54 + 13444. Do c and g have different values?
True
Let p(s) = -s + 15. Let n be p(15). Is n less than or equal to -7/25?
False
Let q = 457 + -433. Do q and 119/5 have different values?
True
Let q(i) = -6*i**2 + 143*i + 24. Let k be q(24). Which is greater: k or 197?
197
Let x = 576 + -1023/2. Which is smaller: 66 or x?
x
Let l = 6 + -2. Let q = -3.076 - -2.076. Which is smaller: q or l?
q
Suppose -16 = -5*w - 6. Suppose 10 + 38 = w*z. Let j = z - 24. Are j and 0.08 nonequal?
True
Suppose 0 = 4*t + 1 - 25. Let b be (-3)/t*5/((-5)/2). Which is bigger: 3/20 or b?
b
Let o be 1/(1/(-2))*3/22. Suppose -2*a + 6*a = 4. Which is bigger: a or o?
a
Let l(w) = -w + 1. Let p be l(-2). Suppose -7*t - 4*a = -p*t - 72, 3*t - 54 = a. Do 1 and t have different values?
True
Let s(r) = -r**3 - 16*r**2 + r + 20. Let h be s(-16). Suppose 0 = 4*i - 4*p - 60, -i + h*p = 4*i - 70. Is i less than or equal to 8?
False
Suppose d + 3*d + 40 = 0. Let s be 15/d*4/3. Let h = s + -2. Is -4 < h?
False
Let n = -13 + 28. Let r = -890 - -905. Is r equal to n?
True
Let d(t) be the second derivative of -t**5/20 - t**4/12 + t**3/2 - 2*t**2 + 2*t. Let s be d(-3). Is 5 greater than s?
False
Let a be 43160/(-63) - 16/(-72). Suppose y + 508 = -178. Let v = y - a. Which is smaller: -1 or v?
v
Let r(m) = -m**3 + 7*m**2 + 6*m + 16. Let b be r(8). Let x be (b + 4/10)/(-2). Is x < -32?
False
Let v be (1 + -2 - -2)/1. Suppose 4*c - 2*w + w + 8 = 0, -3*c = -2*w + 1. Is v greater than or equal to c?
True
Let x = -72 + 6. Let d = x + 65.9. Do -5 and d have the same value?
False
Let o = -718 + 705. Let k = -14.65 + 1.45. Let d = k - o. Which is smaller: 0.2 or d?
d
Let a(m) = 7*m + 15. Let z be a(-2). Is -4/21 at least as big as z?
False
Let w be (5 - (3 + 4)) + (-6494)/(-11). Let n = w + -588. Which is smaller: n or 0?
0
Let k = -293 + 292. Which is bigger: -30/61 or k?
-30/61
Let u be ((-176)/(-66))/((-3)/((-2241)/6)). Do 335 and u have different values?
True
Suppose 108*z = 113*z + 420. Let l = 81 + z. Is l at most -0.2?
True
Suppose 2*n = -2*n - p + 11, -4*n + 16 = -4*p. Let g be (-6)/9 - (-3)/(-9). Let h be g/(1 - (n - 3)). Which is smaller: h or -2/15?
h
Let i be ((-21)/(-7))/((-6)/(-4)). Let v be (i - 0) + -5 + 1. Suppose 4*m - m - 4*q = -18, 2*m - 5*q = -19. Is m bigger than v?
False
Let k = -413.614 - -413.6. Let l = -0.3 + 0.1. Is l at most as big as k?
True
Let h = 19/72 - -11/18. Is 21 != h?
True
Suppose 12*b = 9*b. Let i = 9 + b. Are i and 10 unequal?
True
Let s = -205/26 - -96/13. Which is greater: 486 or s?
486
Let j be (3/(-2))/(1 + (-3)/2). Suppose j*v = -5*u + 4, -3*u + 8 = u + 4*v. Which is greater: u or -3/26?
-3/26
Let k(d) = d**2 + 9*d - 10. Let x(n) = 13*n**3 + 0 + 2 - 12*n**3 + 0 + 2*n. Let v be x(-2). Let y be k(v). Is y <= 6?
True
Let y be (0 - -1)/((-1)/(-445)). Let m = 8453/19 - y. Is 0 at most m?
False
Let n = 0 - -24. Let o(x) = x**3 + 10*x**2 - 14*x - 9. Let p be o(-11). Is p greater than n?
False
Let c = 257/174 - -2/87. Let l = -0.51 + 22.51. Let t = -22.2 + l. Which is greater: t or c?
c
Suppose -4*t = -10*t + 24. Suppose -t*g + 20 = 0, -4*l = 2*g + 3*g - 73. Is 12 > l?
False
Suppose -2*v + 158 = -2*i, -4*v = -2*i - 295 - 19. Is 78 >= v?
True
Let i = -56.966172 + -0.066828. Let q = i + 57. Does q = -0.1?
False
Let n be -114 + 6*4/(-8). Let w be (-1781)/n - 2/9. Is 15 != w?
False
Suppose -f = f - 18. Let b be (4*1)/((-216)/(-540)). Which is smaller: b or f?
f
Let f = 269/51 + -84/17. Which is smaller: f or 0.02?
0.02
Suppose m - 3*m + 5*f - 46 = 0, -5*m = -f + 69. Let c = m - -12. Let d = 1/100 - -69/3100. Which is bigger: d or c?
d
Let f(m) = -m**3 + 3*m**2 + 12*m - 6. Let h be f(5). Suppose 2*d = -0*d + 10. Suppose h*y + 2*g + 10 - 2 = 0, -2*y = -d*g + 28. Which is smaller: -2 or y?
y
Let h be 2/6 + -2 + 55/15. Suppose 0 = -4*s - h*j + 14, -2*s = -s + 5*j - 8. Which is bigger: 6 or s?
6
Let j = -1 + 2. Let r be (0 - (-2 + -1))/1. Let m be 8/5*-1 + r. Which is smaller: m or j?
j
Suppose -2*r = -3*l - 34, -l - 3*r = 2*l + 39. Let a = l + 9. Let w be -1 - (a + 2) - 3. Which is bigger: w or -5?
w
Suppose 5*h + 107 = o, -3*o - 2*o + 73 = -4*h. Is h >= -164/7?
True
Suppose 3*a = l + 26, -5*l - 5*a + 15 - 45 = 0. Wh