se 4 = -2*p + 4*p. Which is greater: 11/4 or p?
11/4
Let p = -32950 - -428598/13. Let o = p + -19. Which is greater: o or -1?
o
Let c(t) = -t**3 + 4*t + 5. Let y be c(-3). Which is smaller: y or 22?
y
Let w(d) = d**2 - 12*d + 12. Let g be w(11). Is g >= 2?
False
Let v be 1 - -1 - (4 - 4). Let b = -3.95 + -0.05. Let i = b + 3. Which is smaller: v or i?
i
Let d(n) = n**2 + 12*n + 16. Let g be d(-11). Is 5 <= g?
True
Let l be (-2 - 2) + 2 + 16. Which is greater: 16 or l?
16
Suppose -b = -4*v - 2*b - 26, -2*v - 3*b = 8. Which is bigger: v or -6?
-6
Let j be (3/2)/(16/24). Is 2 greater than or equal to j?
False
Let b(i) = -3*i**2 - 3*i - 1. Let w be b(-2). Let q = w - -10. Is q smaller than 3?
False
Let c = 1172/985 + 2/197. Which is bigger: c or 2?
2
Suppose -18 = 5*t - 3*t. Let u = t + 21. Suppose -f - u = -3*f. Is 5 smaller than f?
True
Let m be 1 - (-10)/(-14) - 0/14. Is 0.48 smaller than m?
False
Let k = 0.57 - -0.13. Let s = -1.7 + k. Which is smaller: -8 or s?
-8
Suppose 2 = y + 1. Let t(a) = 2*a**2 - 6*a + 2. Let l be t(3). Is y less than l?
True
Let k be 1 - -22*1/(-2). Suppose 5*m = 3*m + 18. Let u = m + k. Which is smaller: -2/7 or u?
u
Let g(n) = -n - 5. Let d be g(-5). Suppose d*i = -5*i + 25. Which is smaller: 2 or i?
2
Let p be 0 + -3 + -2 + 8. Suppose -p = -5*b - 2*s, 2*b - b - 4*s + 17 = 0. Is -2/33 not equal to b?
True
Let r(q) = -q - 1. Suppose s + 3*c + 7 = 0, -4*c - 11 = s + c. Let h be r(s). Let o = -3 + 5. Which is smaller: o or h?
h
Let p = 6 + -3. Suppose 0 = 5*c, 5*r = 2*r - 2*c - p. Let o = r - 1. Which is greater: 0 or o?
0
Let w be 0/3*(3 + -2). Let o be (2*2/(-4))/1. Let t be o*(-1 - w)*0. Are 3/4 and t equal?
False
Suppose 5*v - 40 = 4*o, -2*o = -3*o. Suppose -4 = 4*x - b, -x - 2*b = -0*x - v. Is -1 bigger than x?
False
Suppose 15 = -w - 6*s + s, s = 2*w - 3. Suppose 0 = -2*b + 4*b + 2. Which is greater: w or b?
w
Let u(i) = 2*i + 12. Let y be 3 + (12/3 - 2). Let f = y + -13. Let d be u(f). Is -3 > d?
True
Let v = -0.92 + 0.02. Let x = v - 0.1. Is x smaller than 0.4?
True
Suppose d + 3 = -a, 7*d - 5*a = 3*d + 6. Let c = -5 + 8. Let u = d - c. Which is greater: u or -5?
u
Let o = -9.3 + 9. Which is greater: 0.11 or o?
0.11
Let s = 0 + 33. Let l be 4/(-10) - s/5. Let y be (0/(-2))/(-8 - l). Is y at most as big as 2/17?
True
Let o be (-4)/(-1068)*18/2. Do o and 0 have different values?
True
Let m = -3 - -2. Let b = -2525/8 - -316. Do b and m have different values?
True
Let p = 13 - 21. Let y = -36 - -50. Let b = y + -22. Is p at least as big as b?
True
Let z(p) = -p**2 + 5*p - 15. Let r be z(5). Are r and -14 nonequal?
True
Let t(d) = d**3 + 5*d**2 - d - 5. Let c be t(-5). Let b(g) be the second derivative of g**5/20 + g**4/12 + 2*g. Let n be b(c). Is n smaller than -1/3?
False
Let f be -2 + 2 - (2 + -7). Let o = 70 + -50. Suppose 5*j = -f*p + o, p - 10 = -j - 3*j. Is j less than 0.2?
False
Let j(q) = -q**2 + 21*q + 28. Let t be j(21). Is 27 equal to t?
False
Suppose 31 = -5*j + 2*h + 2*h, -2*j = 4*h + 18. Which is smaller: 3 or j?
j
Let r = 51/2 - 26. Let v = -20 + 30. Is v greater than r?
True
Let s be 33/5 + (-4)/(-10). Let h be (1 - 2)*(s - 2). Let r = 3 + h. Which is smaller: -1/2 or r?
r
Let u be ((-246)/60 - -4)*1*44. Is u <= -3?
True
Suppose -t + 3*d - 41 + 15 = 0, -4*d - 13 = 3*t. Let z = -7 - t. Which is greater: z or 2?
z
Let y = -76 + 230/3. Suppose 4 = 3*m + m. Which is bigger: m or y?
m
Let z(o) = -o**3 + 5*o**2 - 6*o + 3. Let w(n) = -n + 15. Let l be w(11). Let y be z(l). Let i be (-2)/y - (-16)/(-60). Which is greater: i or 0?
i
Let h = -3 - -8. Let x = -4 + 8. Let w = h - x. Which is bigger: 1/2 or w?
w
Let g = 28/3 - 85/9. Which is smaller: 0 or g?
g
Let p = -9 + 6. Let s = 83907/7 + -11898. Let h = s + -89. Which is smaller: p or h?
p
Let n = 131 + -131.13. Let l = -0.3 - -1.3. Is l less than n?
False
Suppose 0 = -k + 5*q + 1, q = 5*k + 5*q - 5. Is -1/14 greater than or equal to k?
False
Let a be (5/(-8))/((-1)/(-4)). Are -2 and a non-equal?
True
Let n = -0.06 + -4.94. Let i = 2 + n. Let c(l) = -l + 4. Let h be c(2). Is h > i?
True
Let s(v) = 14*v**2 - 2*v + 13. Let a(h) = 7*h**2 - h + 6. Let y(o) = 13*a(o) - 6*s(o). Let w be y(1). Suppose -3 + w = -r. Which is smaller: -1 or r?
r
Let l(b) = -11 + 5*b**2 + b + b**3 + 14 - b**2. Let q be 0 + -5 + 1/1. Let t be l(q). Is 0 equal to t?
False
Suppose 0 = 4*a + 2*a - 36. Let j(d) = -d**3 + 6*d**2 - 2*d + 8. Let o be j(a). Which is greater: -3 or o?
-3
Let b be 0*(-4 - 0 - -5). Which is greater: b or 2/31?
2/31
Suppose 8 = -4*r - 4. Is -8/5 > r?
True
Suppose 3*u - 4 = 7*u + n, -4*n = -3*u + 16. Let k be (u/3)/((-4)/2). Let l = 3 - 6. Do k and l have different values?
True
Let f be (2*1)/(0 - 1). Let x be (-2)/(78/(-9) - f). Which is greater: 1 or x?
1
Suppose -26*s + 65 = -21*s. Which is greater: 37/3 or s?
s
Let r = 9/247 - -1/494. Is -1 equal to r?
False
Let g be 176 - (1 - 1)/(-3). Let i be (-2)/5 + g/40. Which is smaller: i or -2?
-2
Suppose 5*t + j - 30 = -4*j, 0 = 5*t - 4*j + 15. Suppose 0 = 2*s + 3 - t. Let g = -1/3 + 1/12. Is g at most as big as s?
False
Suppose -2*d + 30 = -3*x, 4*d + 0*d - 44 = 2*x. Let k = 14 - d. Let v = -8 + k. Which is smaller: -2 or v?
v
Let f be (0/4)/(-1 - -2). Let w = -1/7 + -5/14. Which is smaller: w or f?
w
Let w be ((-34)/(-85))/((-2)/(-5)). Which is greater: w or -15?
w
Let u = -0.53 + -2.57. Let x = 3 + u. Let o = -24.4 + 24. Is o at least x?
False
Let d = 1031/56 + -240/7. Let z = 16 + d. Are z and 1 non-equal?
True
Let z(b) = b**3 + 9*b**2 + 7*b - 3. Let m be z(-8). Is 5 bigger than m?
False
Let q be 3*(6/(-9))/(6/(-3)). Let a = -3 + -1. Let l be (-6)/10*a/(-6). Which is bigger: q or l?
q
Let t be ((-10)/(-3))/((-2)/3). Is t bigger than 3?
False
Suppose 3*n = 19 - 7. Suppose 0 = -6*w + w + 80. Suppose n*b + w = 4. Is b smaller than -1?
True
Suppose -m + 9 = 7. Is 11/7 < m?
True
Suppose -2 = 2*z - 0*z. Let n be (-5 - -8) + 5/z. Suppose 0 - 2 = 2*c. Which is smaller: c or n?
n
Let y = -13 - -12. Is 2/5 at most as big as y?
False
Let x = -90 - -91. Is 22/7 != x?
True
Let i = 726/7 - 104. Suppose -9*s + 2*s = -7. Which is bigger: i or s?
s
Let o = -4 - -16. Suppose -a = 2*a - o. Suppose a*y + k = -19, -4*y + 2*k = 7*k + 31. Is -4 at most as big as y?
True
Let u = -33 - -33.1. Suppose -2 = -2*r - 4*z - 0, -4*r + 4 = 3*z. Is u not equal to r?
True
Let p be 41/(-2) + 2/4. Let g be (-15)/p*16/(-42). Which is smaller: g or 6?
g
Let g(p) = -p**3 - p**2 + p - 3. Let b be g(0). Let i(d) = -7*d. Let r be i(1). Let u = 5 + r. Which is greater: b or u?
u
Let y be 0/(-1 - -3) - -1. Let q = 547 - 546. Is y greater than or equal to q?
True
Let t be 3/(-5) + ((-358)/(-230) - 1). Which is bigger: t or 0?
0
Let r = -12 - -10. Let p = 4 + r. Which is greater: p or 1?
p
Let y(p) = -3*p - 6 - 3 - 1 - 1. Let x be y(-5). Is 15/4 greater than or equal to x?
False
Let r = 180559/4563 + -1066/27. Let s = r + -2/169. Let a = 0 + 1. Is a less than s?
False
Let s = -5196/1435 - -6/287. Which is smaller: -4 or s?
-4
Suppose 2*w + 9 = 35. Which is smaller: 72/5 or w?
w
Suppose -b - b + 5*v - 2 = 0, -2*v - 2 = 2*b. Let p = -2 - 2. Are b and p non-equal?
True
Suppose -13*k = -8*k - 5. Is k bigger than -2/49?
True
Let c = 8/83 - 388/581. Let b(u) = u**2 - 3*u - 8. Let o be b(6). Suppose o*j - 7*j = -6. Does j = c?
False
Suppose -2 = -4*o + 6. Let p(g) = -g**2 - 9*g - 4. Let s be p(-6). Suppose o*v + 3*b + 8 = 0, 0*b + s = -4*v - 5*b. Which is bigger: v or 1/6?
1/6
Let q = -26 - -259/10. Does -0.1 = q?
True
Let f be (-15)/4 + 4/(-16). Suppose 5*d = 25, 3*d = 3*j + 2*j + 30. Are f and j nonequal?
True
Let m(d) = d**3 - 6*d**2 - 8*d + 4. Let i be m(7). Let b(g) = -g - 2. Let w be b(i). Is 3/5 at most w?
True
Let o = 3 - 4. Let n be 114/102 - (2 - 1). Is n greater than o?
True
Let a be 4/(-2) - (-51)/(-63). Let n = 22/7 + a. Is n smaller than 0?
False
Let t = 39 + -36. Which is bigger: t or 1/4?
t
Let d(l) = l**3 + l**2 - l + 2. Let k be d(0). Let u = -7 + k. Is -5 smaller than u?
False
Let u = 2 + 0. Let s(p) = p**3 + 10*p**2 + 10*p + 9. Let r be s(-9). Let y = u + r. Is 3/4 greater than or equal to y?
False
Let s be (-3)/(-2 + (-28)/(-12)). Let o be (-2)/s - 4/18. Which is smaller: 2/7 or o?
o
Suppose 6*p + 64 = 2*p. Which is smaller: p or 2?
p
Let p 