). Which is smaller: p or l?
p
Suppose 0 = -5*z + 3*n, -4*n - n = 3*z. Let d be 23966/(-67298) + 4/11. Is z less than d?
True
Let n be 371/35 + -5 - 6. Let b be 2/6 + 6/9. Which is smaller: b or n?
n
Let d = -0.26 + 12.26. Let b = 10 - d. Let r = b + 7. Which is greater: r or 1?
r
Let y(x) be the first derivative of x**3/3 - 5*x + 6. Let b be y(-5). Let z = b - 23. Is z at least as big as -2?
False
Let m(t) = t**2 + 13*t - 114. Let c be m(-17). Is c greater than -46?
False
Let j be 172/(-14) - (-4)/14. Let s be (2 + -1)/1 - 3. Let z be s*(j/(-8) + -1). Is z != -2?
True
Let q be 4/(-10) + (-36)/(-15). Let o(c) = c**3 - 2*c + 3. Let r be o(q). Suppose 0 = 4*b - 3 + r. Which is greater: b or -1/8?
-1/8
Let k be (182/21)/(-13) - 20/(-3). Let c be 15/((-135)/k)*34/(-3). Which is bigger: c or 8?
8
Let t be 1*32/72 + 122/(-72). Which is smaller: -1.6 or t?
-1.6
Let q = -485 + 4366/9. Which is bigger: q or -45?
q
Let o = -42 + -4. Let s be o*(-6)/(-68) - -4. Which is smaller: 1/3 or s?
s
Let m(n) be the third derivative of n**4/12 - 5*n**3/3 - 9*n**2. Let q be m(11). Suppose q*j + 4 = 16*j. Does j = 3/8?
False
Suppose o - 4*n = n - 18, 0 = -2*o - 5*n + 39. Suppose 118 = 2*x + 36. Suppose 5*q + 2*p - 4 = x, -2*q + 24 = 2*p. Is q bigger than o?
False
Let y(g) = g + 3. Let h(x) = -x - 2. Let l(r) = 5*h(r) + 3*y(r). Let a be l(1). Is -4 smaller than a?
True
Let o = -1161 - -3733/3. Let t = o + -84. Which is smaller: -1 or t?
-1
Let b(y) = -y**3 + 6*y**2 - y. Let a be b(6). Let i = -2 + -20. Let x = 22 + i. Which is greater: a or x?
x
Let x(w) = -w**2 + 5*w - 2. Let r be x(4). Let v be (3/7)/(-1 + r). Let t = 23/48 + 3/16. Are t and v non-equal?
True
Let f be 24/171*(-210)/(-56). Which is bigger: f or 2?
2
Suppose -4*u - 3*g - 47 = 0, 5*u + 5*g - 4*g = -45. Do -7 and u have different values?
True
Let p(v) = 7*v - 156. Let s be p(21). Does -7 = s?
False
Let w = 0.00273 + 283.89727. Let y = 271 - w. Let v = y - -13. Which is greater: -0.01 or v?
v
Suppose 4*n = 5*v - 60, -3*n - 4*v - 56 = -11. Are n and 9 nonequal?
True
Let k = 75097/123 + -1829/3. Let q = k - 1178/1435. Which is greater: q or 0?
q
Let m(f) = 15*f**3 - 7*f**2 + 2*f + 4. Let i be m(2). Which is bigger: 104 or i?
104
Suppose -5*w + w - 8 = 0. Let i = w + -8. Which is smaller: i or -11?
-11
Suppose -8 = -22*j + 18*j. Let c = -25 - -49/2. Which is smaller: j or c?
c
Let v(g) = g**2 + 3*g - 50. Let l be v(-8). Let z = l - -10. Suppose 0 = -h + 5*c - 9, -3*c = -5*h - 12 - 11. Does h = z?
False
Let g = -1.028 - 0.072. Let p = g + 2.7. Is p > 0.1?
True
Let p(b) = 6*b**2 - b + 3. Let g(z) = 7*z**2 + 2. Let r(o) = -5*g(o) + 6*p(o). Let q be r(3). Suppose 30 = -5*a - s + 11, 4 = -2*a - 4*s. Is a < q?
True
Let n = -9.44 + 22.34. Which is smaller: n or -1?
-1
Suppose 2*d + 5*d + 2016 = 0. Let r = -871/3 - d. Does -3 = r?
False
Let n = -13 + 20. Let y = n - 5.8. Which is smaller: y or -0.1?
-0.1
Let z = 0.1228 + -1.1228. Which is greater: z or 791?
791
Let j = 13.5 + 1.5. Let n = 10 - j. Let p = n - -5.01. Which is bigger: p or 0?
p
Let o be (-7)/6 + (-43)/(-258). Which is bigger: o or 135/11?
135/11
Let t(h) = -3*h**3. Let u(c) = -c**2 - 3*c + 1. Let x be u(-3). Let z be t(x). Let l(s) = -s**3 - 4*s**2 - 4*s - 2. Let q be l(z). Which is smaller: -2/13 or q?
-2/13
Let g be 40/(-50) + (-269)/(-5). Let i = 86 - g. Which is greater: -1 or i?
i
Let s = -75/332 + -2/83. Let f = -2309/7 + 329. Is f less than s?
True
Let q(y) = 3*y + 0*y - 8*y**2 - y**3 + 8*y - y + 6. Let o be q(-9). Let a be 0/(o + -1 + 3). Is 1/7 greater than a?
True
Let c(w) = 56*w - 381. Let j be c(7). Suppose -7*s - 5*v = -2*s - 65, 4*v = -2*s + 30. Is j less than s?
False
Let q = -13.72 + -0.28. Let u = 96 + -95. Which is smaller: u or q?
q
Let v be -2 - (-12)/30*5. Are v and -1/670 non-equal?
True
Let b = -10 + 8. Let a be (4/(-6))/(4/7). Is b not equal to a?
True
Let m = -393 - -87. Let i = m - -277.6. Let d = 28 + i. Is -2/7 less than d?
False
Let d = -31/6 - -353/66. Let q(n) = -2*n + 20. Let m be q(11). Let h(l) = 2*l + 5. Let g be h(m). Which is smaller: d or g?
d
Let c = 2 - 8. Let d be -2 - (-3)/(-3) - c. Suppose -4*h - d*u = -3*h + 9, 4*h - 4*u + 4 = 0. Which is bigger: h or -2?
-2
Let m = -2 + 16. Suppose 5*w - 11 = m. Let o be (-5)/w*-1*1. Which is greater: 1/13 or o?
o
Let o = -26 - -41. Suppose -2*p - 3*v + o = 0, 0 = 3*v + v + 20. Suppose -2*h + p = h. Which is smaller: 4 or h?
4
Let m = 77 - 44. Let w = -27 + m. Are 7 and w equal?
False
Let t(q) = 2*q**3 - 3*q**2. Let w be t(2). Let p be 0 + (-1)/w + 363/1404. Are 1 and p non-equal?
True
Let y be (1 - -1)/(11 - 10). Suppose -5*o + y*v + 13 = 0, 6*o - 3*v = 3*o + 15. Suppose a = -4*z + 1, -2 = -z - a - o. Which is greater: z or -1?
z
Let n be (-2)/(-13) - 48*(-1484)/(-466557). Is 0 equal to n?
False
Let d(n) = 4*n**2. Let z be d(-3). Let h = -171 + 346. Suppose -3*j + 105 = -3*l, 5*j + l - h = 5*l. Is z bigger than j?
True
Suppose 0*o + b = -o - 8, o - 3*b = 8. Let t(q) = 2*q + 4. Let d be t(o). Let l = 83 + -84. Is l <= d?
False
Let f = 292 - 2345/8. Which is greater: -0.1 or f?
-0.1
Let z(k) = -2*k - 6. Suppose 2*a + 0*b + 6 = -4*b, -3*a = -b + 9. Let f be z(a). Let n = 3/35 + -4/5. Which is bigger: f or n?
f
Let m(d) = -6*d**3 - 4*d**2 - 2*d - 2. Let a be m(-2). Let b = 39 - a. Let z be 9 + 4/(-2) - 2. Is z smaller than b?
False
Let x = 28 + -23. Suppose -x*a + 254 + 96 = 0. Suppose -f = -2*y - 33, -4*f + 22 + a = 2*y. Are f and 25 non-equal?
False
Let w be (-6)/9 + 10/6. Let a(g) = -2*g**2 + 12*g - 25. Let d be a(8). Let y be ((-2)/3)/((-494)/d). Which is greater: w or y?
w
Let d = 452 + -459. Which is smaller: -16 or d?
-16
Let p(x) = x**3 + 16*x**2 - 19*x - 31. Let d be p(-17). Let t be d - (-3)/((-3)/3). Is 1/3 less than t?
False
Let j be (-5132)/70 - 2/7. Suppose 0 = -2*y + 4*m - 150, 5*y + 134 = 2*m - 241. Let k = j - y. Which is smaller: 2 or k?
k
Suppose 0 = -22*z + 23*z + 1008. Is -1009 < z?
True
Let w(u) be the second derivative of u**5/20 - 7*u**4/12 + 5*u**3/6 + 4*u**2 - 4*u. Let a be w(6). Suppose 4*j + 50 = a. Which is smaller: j or -11?
j
Let v = -25 - -19. Let t be (5/(-15))/(v/(-4)). Is t not equal to -1?
True
Let w be -5 + (-28)/(-5) + 1502/(-2570). Let a = 4156/2827 - w. Are a and 0 nonequal?
True
Suppose -5*o = 5*h - 30, -3*o + 2*h + 5 = 12. Let x = -7 - -22. Is x bigger than o?
True
Let b be 22/6 + (-2)/3. Let p = -48 + 46. Are b and p unequal?
True
Suppose a + 0 = 5. Suppose 0 = -c + 3*m + 3, 2*c + 2 = -2*c + a*m. Which is greater: -8 or c?
c
Let x be ((-4)/3)/(8/(-36)). Suppose 5*k = -0*z + 5*z + 45, 0 = 3*k + 2*z - 12. Is k smaller than x?
False
Let z be (2 - 3) + (8 - -3). Let y be (-9 - (0 - -2))/1. Let h = y + z. Which is greater: h or -1/3?
-1/3
Let q = 415 - 405. Are 3 and q nonequal?
True
Let d be (1/(-3)*45/6)/((-7)/(-42)). Let x = -5 + 7. Which is bigger: d or x?
x
Let m = -13 - -13. Let k be m/(-3 + 2)*-1. Suppose -5*j - 18 - 17 = k. Is j not equal to -7?
False
Let l be (52/(-65))/(2/(-5)). Suppose 5*d + l = 4*u - 2, 3*d - 3 = -3*u. Are d and 11 unequal?
True
Suppose -4 = n, -7*u + 2*u = 5*n - 45. Let w = 18 - u. Suppose -b = 1 + 1, 4*j - 10 = w*b. Which is smaller: -3/13 or j?
-3/13
Let a = -23/2 + 9. Which is smaller: a or -3?
-3
Let w(k) be the second derivative of k**4/12 + 13*k**3/6 + 15*k**2/2 - 5*k. Let y be w(-10). Suppose -4*t + 2*a = 64, 0*a + 5*a + 8 = -2*t. Is t > y?
True
Let f = -6067 - -4094. Is -0.1 at least f?
True
Let n(w) = w**3 - 13*w**2 + 13*w - 8. Suppose 0*l = 2*l - 24. Let r be n(l). Is r less than 3?
False
Let l be (-2)/(-19) - 4 - -4. Suppose b - t + 12 = 0, 4*t = b + 2*t + 15. Let u = b - -10. Are l and u nonequal?
True
Suppose 0 = -106*h + 102*h + 4. Are h and 1 non-equal?
False
Let m be 4/10 + 440/150. Let p(b) = b**3 - 7*b**2 + 9*b - 15. Let t be p(6). Which is smaller: m or t?
t
Let z be (6/16)/((-2)/184*-6). Suppose t = -0 + 6. Is z not equal to t?
True
Let f be 14/(-4) - 1/(-2). Let q = -52 + 53. Suppose 4 = -n + q. Do n and f have the same value?
True
Let t be -5 + (36921/429 - (-30)/(-195)). Which is smaller: t or 82?
t
Let o be 172/6 + (-24)/36. Suppose -4*w = -2*w + o. Let v be 6/21 - 24/w. Are v and 3 equal?
False
Let f = 5.47 - 5.9. Let i = -0.23 - f. Let b = 1525/651 - 2/217. Is b greater than i?
