 0 = 4*d - d - 18. Let u be 2/d*(-6)/20. Which is bigger: u or p?
p
Suppose 0 = l + l - 32. Let c(n) = -n**3 + 10*n**2 + 12*n + 13. Let q be c(11). Let h = l - q. Which is smaller: -9 or h?
-9
Let j(b) = -b**2 - 6*b - 3. Let v be j(-6). Suppose 6*q - 196 = -q. Suppose 4*f + 0*f + q = 0. Which is bigger: f or v?
v
Let a be 4 + (-3 - 140/133). Which is bigger: a or -1.1?
a
Let p be -2*1/(-2) + (49 - 0). Let t = 42 - p. Is t equal to -6?
False
Let o be (-4)/(1*3/288*3). Is -129 bigger than o?
False
Let f = -139 + 121. Is -14 smaller than f?
False
Suppose -5*m + 371 = 2*p - 5*p, 0 = -4*m + 4. Which is smaller: p or -114?
p
Let x = 2483/4 - 626. Let a(f) = -f**2 + 15*f - 6. Let p be a(15). Is p > x?
False
Suppose o - 5 = -4. Let l = -13 - o. Which is smaller: l or -13?
l
Suppose -4*r - 47 = -39. Which is greater: r or -9/17?
-9/17
Let s(w) = -w**2 - 3*w. Let l be s(-3). Suppose -2*t - 17 = -4*i + 19, t = i - 10. Suppose 13*h = i*h - 10. Which is bigger: l or h?
l
Let t(h) = -h**3 - 5*h**2 - 6*h. Let i be t(-4). Let j be ((-6)/(-36))/(((-385)/(-66))/35). Which is greater: i or j?
i
Let n = 6802/5 + -1342. Let p = n + -18. Let x be 3/(-30)*(-10)/(-4). Which is smaller: p or x?
x
Let u = -1287 - -1285. Is -124 greater than or equal to u?
False
Let v(c) = -2*c**3 + c**2 + 5*c + 1. Let k be v(-2). Suppose k + 29 = -8*s. Is -4 > s?
True
Suppose 20*b - 5*p = 25*b - 30, -p + 8 = 3*b. Let x = 2303/24 + -96. Is b less than x?
False
Let r(y) = y**3 - y**2 - 3*y + 34. Let n be r(0). Which is greater: n or 35?
35
Let s = -13 - -14. Is 1/75 equal to s?
False
Let a = -147 - -85. Is a at most -62?
True
Suppose 0*s - 10 = -2*s. Suppose 2*r + 2 = 5*r + 2*v, 5*r - 5*v = -s. Let t be ((-3)/5)/((-36)/24). Are t and r nonequal?
True
Let b = 20 - 0. Let h be (-18)/b*(-332)/(-24). Let f = h + 62/5. Is f bigger than -1?
True
Let o be (7/2)/(-7)*(-2)/309. Which is smaller: o or 0?
0
Let z be (8/(-306))/(8/(-6)). Which is smaller: z or -1?
-1
Let v be (51/63)/(6/7). Let u = -709/684 + v. Let r = 135/3116 + u. Which is smaller: r or 1?
r
Suppose -3*s - 9*s = 468. Does -44 = s?
False
Let h(m) be the second derivative of m**5/20 + m**3/6 + m**2/2 + 14*m. Let l be h(0). Let k be ((-3)/((-9)/(-6)))/l. Is -5/4 greater than k?
True
Let o = -7952/3 - -9264083/3495. Do o and 0 have the same value?
False
Suppose 14 = q + 9. Suppose m = q + 1. Suppose m*k - k - 10 = 0. Which is bigger: 1 or k?
k
Let m = 0.4 - 17.4. Let t = m - -16. Which is smaller: t or 0.17?
t
Let a = 5/11 - 387/803. Is -1 < a?
True
Suppose -442*f + 8 = -440*f. Is f not equal to 22?
True
Let a(y) = y**3 + 6*y**2 - 11*y - 7. Let d be a(-7). Let h be 2*d/(-54) + 1. Let m = 2 - 1. Which is smaller: m or h?
h
Suppose 2768 = 36*r - 28*r. Is r >= 346?
True
Let j = -2.6 + 3.4. Which is smaller: j or -1?
-1
Let o be (1/(-44))/(((-45)/(-40))/3). Are o and -1 equal?
False
Suppose -3*v - 2*v - 5 = 0. Let h = 2 - v. Let q be (h/(-10))/(12/(-88)). Which is smaller: 1 or q?
1
Let a = -2.9 - -2.42. Let m = 0.02 - a. Which is bigger: m or 0?
m
Let m = -230 - -237. Which is smaller: m or -6?
-6
Let o = 2 - 4. Let w = -87.299 - -1.399. Let n = w + 86. Is n <= o?
False
Suppose 0*m = 4*g - 2*m - 100, -3*m = 0. Let i = -24 + g. Let k be (-3)/i + 15/5. Is k smaller than -3/8?
False
Let j = -49 + 39. Is j > 4?
False
Let d be (9/2)/((-3)/(-204)). Let b be 34/(-20)*119/d. Let c = -4/45 + b. Is -1 greater than c?
False
Suppose -x - 4*h - 22 = 0, -3*h = h - 20. Let m = x - -1472/35. Let i(b) = -4*b - 9. Let n be i(-2). Is n smaller than m?
True
Let r be (-1 + (-4 - -6))/(-1). Let t = -9 - r. Is -9 <= t?
True
Let z(u) = -u**3 - 9*u**2 - u - 1. Let q be z(-9). Suppose q*l - 15 = 5*l. Suppose -4*c = -10 - 6. Is c greater than or equal to l?
False
Let o = -0.11 - 0.89. Which is bigger: o or -5.78?
o
Let q = -1285/3 + 459. Which is smaller: 31 or q?
q
Let i = 1074551 - 764005052/711. Let b = 9/79 + i. Is b at most as big as 1/3?
False
Suppose 30 = -2*z + 3*p - 54, -p + 4 = 0. Does -55 = z?
False
Suppose -3*s + 0 - 18 = 0. Let i = -3411 - -23829/7. Is s < i?
False
Let n be (0 - (3 - 4)) + 11/154. Is -3/8 <= n?
True
Let i be 4 + (2 - (9 + -3)). Let p be (-184)/4*(-1)/40. Let m = 9/10 - p. Is m bigger than i?
False
Suppose y - c - 3*c + 15 = 0, y + c - 5 = 0. Is 8/73 > y?
False
Let p = -0.02 - 0.28. Let c = 0.7 - p. Let k = 161.5 - 162.5. Which is greater: k or c?
c
Suppose 4*y + 3*y - 7 = 0. Does y = 36/31?
False
Let a = 1031 + -1032. Which is smaller: 20 or a?
a
Let i(k) = k**2 + 4*k - 4. Let g be i(-5). Let r = 17.7 - 1.7. Let u = r + -14. Which is greater: g or u?
u
Let q be 12/(-6)*2*1. Is q >= -66/13?
True
Let b be (-3 + (-1 - -3))*-2. Let s(u) = u + 18. Let d be s(-16). Is d at most b?
True
Let x = 37.6 - 40.3. Which is bigger: x or 15?
15
Let w(y) = y + 7. Let i be w(3). Let q be ((-1)/i)/(-6 + (-60)/(-8)). Let g be (2/4)/(2/(-4)). Do g and q have different values?
True
Let z = 2/7961 + 63606/326401. Is z less than -1?
False
Suppose 2*m - m - 10 = 0. Let q(b) = -b**2 + 31*b - 233. Let g be q(15). Is m not equal to g?
True
Let i be (-9)/(-12) - 18857/3052. Let k = 6 + -12. Which is smaller: i or k?
k
Let w = 70/73 + -277/365. Let f be (-2)/4 - 4916/72. Let z = f - -69. Which is smaller: w or z?
w
Let u = 129721/46 - 2820. Which is bigger: u or 1/2?
1/2
Let q(j) = 3*j**2 - 25*j + 168. Let p be q(9). Which is greater: 187 or p?
187
Let a(t) be the second derivative of -t**5/20 + 3*t**4/4 - t**3/6 + 3*t**2/2 + 3*t. Let b be a(9). Let f be (0/(-3 - b))/(-1). Are f and -2/5 unequal?
True
Let q be (2 + 15/(-10))*(-8)/2. Is -17/30 smaller than q?
False
Let h = 18 + -79. Let t = -55 - h. Which is smaller: t or 4?
4
Let f be ((-174)/4)/((-3)/(-4)). Let j be 2 + 16/(-110) + f/145. Which is smaller: 0 or j?
0
Suppose 416 - 404 = 2*p. Are 7 and p non-equal?
True
Suppose 2*a - c - 59 + 2 = 0, 4*a - c - 117 = 0. Suppose 3*j - 2*i + a = -170, -4*j - 260 = 4*i. Let s = j - -121/2. Which is bigger: s or -7?
s
Let j be (-1)/(-6 + (-40)/(-16)). Is 85 less than or equal to j?
False
Let q = -21937021/1330 - -16494. Which is bigger: q or 0?
0
Let i(a) = a**3 - a**2 - a - 1. Let j(m) = -m**3 + 18*m**2 + 17*m + 38. Let l be j(19). Let y be i(l). Is 2/105 <= y?
False
Let a = -170 + 168.4. Is 0.03 <= a?
False
Let l be (6/9)/(4/6). Let n be 33/117 - (0 + (-2)/(-6)). Is l at least n?
True
Suppose 4*n - n = 3. Let y be n*-3 - (-45)/36. Is -2 less than or equal to y?
True
Let l = -6.28 + 4.28. Which is smaller: 7.3 or l?
l
Suppose -44 - 16 = -4*t. Let s(i) = i - 4. Let q be s(t). Which is smaller: q or 12?
q
Let z be (65 - 76)/((-1)/(-16)). Is -175 at least z?
True
Let u = 21 - 11. Let m(n) = n**2 - 10*n + 2. Let f be m(u). Which is smaller: 3/5 or f?
3/5
Suppose -2*j - 12 = -0*j. Let g = 22 - 21.927. Let m = -0.027 - g. Which is smaller: j or m?
j
Suppose -4*l - 5*i = -61, 5*l - i = -3*i + 72. Suppose -l = -5*d - 2*f, -2*d + 3*d + f - 4 = 0. Let m be d*(-4)/(8/(-13)). Which is bigger: m or 14?
14
Let w = 0.1528 - 0.3828. Is w at least -0.07?
False
Suppose -516 = 5*a - 566. Which is greater: a or 11?
11
Let d = 30 - -10. Suppose d = -6*a + a - o, -a = -3*o + 24. Which is greater: a or -11?
a
Let c be (-952)/(-3922) - 26/481. Is 0.2 not equal to c?
True
Let x be 9/3 - 6/(-1). Suppose -a - 12 - x = 0. Let g be 14/a*6/10. Which is greater: -2 or g?
g
Suppose -54*w + 50*w - 4 = 0. Let l be (0 + -1)*(-68 - w). Are 68 and l unequal?
True
Suppose 0 = 2*t + 8, -5*y - t - 394 = -0*t. Let s = 100 + y. Which is smaller: 20 or s?
20
Let g be -7 - -11 - (-2)/(2/(-5)). Let t be (3/(-327))/g*1. Which is greater: -1 or t?
t
Let x = 7/300 + -2797/81300. Which is greater: x or -1?
x
Let b(d) = -17*d**2 - 4*d. Let j be b(3). Let t = j + 1157/7. Let h = -50.2 + 50. Is h less than or equal to t?
True
Let l(q) = q - 4. Let h(c) = 3*c - 13. Let p(z) = -6*h(z) + 17*l(z). Let a be p(-6). Suppose -a = w - 17. Which is smaller: 0.1 or w?
0.1
Suppose -2*u = -2*c, 2*c + 21 = -c - 4*u. Let n be 3*c/15 + (-4)/(-10). Is n at least as big as -1?
True
Let n = -105 + 737/7. Which is greater: 83 or n?
83
Suppose 143 = 3*p + 5*m, 3*p = m - 2*m + 139. Is p at least 45?
True
Let l(g) = 2*g**2 + 6*g - 4. Let k(c) = c**3 - 7*c**2 - 2*c + 9. Let s be k(7). Let a be l(s). Let d be a/6 - 8/12. Which is greater: 