e
Suppose 0 = -2*p - 2*b + 42, -3*p + 17 = -p - 3*b. Let s be (-4)/p - (-289)/4. Is s greater than or equal to 71?
True
Let l(s) = s**2 - 30*s - 50. Let a be l(31). Let c = -25 + 3. Which is smaller: c or a?
c
Let u be 155/25 - 2/10. Suppose -176 = -u*p + 28. Suppose 3*y - p = -4*f, 0 = f - y + 3*y - 6. Is f <= 11?
True
Let t(b) = 59*b**3 + 10*b**2 + 14*b + 3. Let r be t(-1). Is -3 greater than r?
True
Let k be (432/(-32))/(1/(-6)). Let j = -86 + k. Which is greater: j or -2?
-2
Let m be (-10)/(-14) + 0 + 0/(-2). Suppose 5*o = p - 4 + 15, o + 1 = -3*p. Let n = m + p. Is n at least as big as -1?
True
Let l be (1/(-21))/(-1 + -4). Which is smaller: l or -1?
-1
Let a be (-1)/2 - (-3 - (-62)/4). Let y = -56 - a. Is -41 != y?
True
Let c(p) = p**3 + 7*p**2 + p + 6. Let q be c(-7). Is -1/20 not equal to q?
True
Let i(m) = -2*m**2 - 9*m - 7. Let y(t) = -t**2 - t - 1. Let h(c) = i(c) - 5*y(c). Let l be h(-1). Suppose 8*s - 3*s - 25 = 0. Is l < s?
False
Let g(a) = -a - 28. Let d be g(2). Which is greater: d or -146/5?
-146/5
Suppose -43 + 55 = 2*t. Do t and 56/9 have different values?
True
Let a be -5 + 1/(1/2). Let l be -23*(-7)/1127 + 62/154. Which is bigger: a or l?
l
Let o be 182/5 - (-6)/(-15). Suppose 0*c + c + o = -4*l, 4*l - c = -36. Let g = -14 - -6. Which is bigger: l or g?
g
Let i be (-9)/126 - 4458/(-84). Suppose 0 = 17*y - 16*y - 53. Is y <= i?
True
Let j = -360 - -360. Do j and 2/73 have the same value?
False
Let d = -9.8 + 9.86. Is d greater than -2/3?
True
Suppose -17 - 11 = -t. Let d(s) = -s**3 - 5*s**2 + 3*s + 10. Suppose 28 - 34 = g. Let w be d(g). Is w at least as big as t?
True
Suppose -2*n - 2*p - 2 = -7*n, 5 = 2*n - 5*p. Let j be 6 - ((n - 2) + 4). Suppose 0*w = 2*w + j. Which is bigger: -12/7 or w?
-12/7
Let u be 0/((3/(-1))/(-3)). Suppose -38 = -2*s - 2*w - 2*w, u = -4*s - 4*w + 60. Is 12 < s?
False
Let c(p) = 18*p + 11. Let w(i) = -16*i - 11. Let q(b) = 5*c(b) + 6*w(b). Let r be q(-2). Let v = -9.1 + 0.1. Do v and r have different values?
True
Let s be 3*28/(-12) - -4. Let o be -2 + (-4)/(67 + s). Let i = -43/16 + o. Are i and -4 unequal?
True
Let j = -561/152 + 63/19. Let d = 4 + -2. Let g = 2 - d. Is j at least as big as g?
False
Let k = 15 + 15. Let h = -29.29 + k. Let w = 0.29 + h. Which is smaller: -1 or w?
-1
Let j(x) = 11*x + 741. Let s be j(-69). Let t = -12691/5 + 2521. Is s at most t?
True
Let h be 8/18 - (-16)/((-432)/5979). Is h less than -220?
True
Suppose 0 = -4*v + 3*j + 16, -2*v - 4*j + 8 = -7*j. Let m be v*1 + 140/(-30). Let a = -1.97 + -0.03. Which is bigger: m or a?
m
Let b be (4/(-10))/(0 - (-36)/(-15)). Which is greater: b or 0?
b
Let l(a) = -a + 13. Let o(x) = x - 12. Let g(r) = 4*l(r) + 5*o(r). Let s be g(7). Is 4/7 less than or equal to s?
False
Let b = 110372152/100425 + -3256/4017. Let c = b + -1098. Are 1 and c nonequal?
True
Suppose -p = 2*a, -3*a - 3*p + 18 = -6*p. Let k = 2 + a. Let d be (5 - 0)/(1/k). Which is bigger: 21 or d?
21
Let v = -259 - -135. Does v = -125?
False
Let c = 1.4 + -0.36. Let t = 0.04 - c. Is -9 != t?
True
Let z be -11 - (5 + -14) - (-62)/38. Is z at most 1?
True
Let s(m) = -238*m**3 + 2*m - 1. Let x be s(1). Let j be ((-164)/84)/((-87)/x). Let l = -3/203 + j. Is -6 at least as big as l?
False
Let i(z) = z**2 - 15*z + 19. Let l be i(14). Suppose -l*d + 6*d - 5 = 0. Let x = -4 + d. Which is bigger: 1/13 or x?
x
Suppose 2*f + 2*j + 6 = -2*j, j + 18 = 5*f. Let l be 1/f - 92/(-3). Is l <= 32?
True
Let u(b) = b**3 - b**2 - b + 1. Let x be u(2). Suppose 0 = -x*n - 3*n. Let v be 76/(-168) + (-3)/(-18). Which is smaller: n or v?
v
Let s be 4/(-8)*-9*2. Suppose -22 = -s*x + 23. Is x > 4?
True
Let b be (3 - 502/(-14)) + (-2)/(-2). Let l = b + -40. Is l >= 0?
False
Let o = 1238.0663 - 1238. Which is smaller: o or 0?
0
Let r = -0.1 + 0. Let a = 0.0498 + -30.0498. Is r < a?
False
Suppose -23*p - 1520 = -3*p. Do -77 and p have the same value?
False
Suppose 12*q = -131 - 25. Is q at least as big as -73/6?
False
Let v = 1843/2 - 23955/26. Let u = -1.36 - -0.06. Let q = u + 1. Which is smaller: q or v?
q
Let y be 2/6 - (-56)/(-42). Which is greater: y or -46?
y
Suppose 2*a + t - 1 - 7 = 0, -5*t = a - 22. Suppose 0 = c + a*c. Let d = -168 - -1174/7. Do c and d have different values?
True
Let w = 11 + -6. Let t be ((-3)/(-1) - w) + 4. Suppose -5*x - 11 = -3*a, -14*a = 4*x - 12*a. Which is bigger: t or x?
t
Suppose 3*y = -3*y - 156. Let j be 12/(-32) + y/(-48). Which is greater: 1/3 or j?
1/3
Let z = 73.1 + -60.1. Which is bigger: z or 8?
z
Let y = 746 + -744. Is -320 greater than y?
False
Let z be (1 - (-1)/2)/((-177)/(-236)). Is 33/34 smaller than z?
True
Let z be (5389 + 2)*(-5)/(-30). Is z < 900?
True
Let y(r) = -10372*r**2 - 8*r. Let a be y(-9). Let b be (13552096/a)/(-8) + -2. Let t = -1/1795 - b. Which is greater: 0 or t?
0
Suppose 23 + 597 = 10*d. Is 62 less than or equal to d?
True
Let v be -3 - -1*(-1 + 6). Let t be v/(-3) + 12/18. Is t bigger than -2/5?
True
Suppose -3*a - 13 = 11. Suppose 671 = 6*h - 205. Let s = h - 152. Which is smaller: a or s?
a
Suppose 8 = -4*o + 3*r, -2*o - 1 = -r + 1. Let n = 14/3 + -568/123. Is o not equal to n?
True
Let u = 11139 - 55873/5. Which is smaller: u or -35?
u
Let u = 16/269 - 2900/103027. Which is smaller: 1 or u?
u
Let a = -2553/11 - -231. Let g = 25/33 + a. Is 1 != g?
True
Let b be (-32)/24*3*(-3)/(-4). Suppose 3*l + 2 = l. Which is smaller: b or l?
b
Let p be -74 - 2*(-2)/2. Let h be (-16)/p + 112/(-18). Let m(u) = u**3 + 6*u**2 - u - 5. Let z be m(h). Is 2 equal to z?
False
Let m be 1/((3/2)/((-11)/2)). Is m greater than -1.5?
False
Let m be 10/(-15)*42/(-4). Suppose 5*a + z - 16 = 0, -3*a + 5*z + 4 = -m*a. Is 4 != a?
False
Let i be 420/40*(-180)/(0 + 2). Which is smaller: -944 or i?
i
Let w be (-56)/644 - 1129/(-23). Is w greater than 47?
True
Let f = -2480.5 - -2482. Which is smaller: 3 or f?
f
Suppose -5*y = -181 - 14. Let d be (-4105)/(-33) + (-26)/y. Let a = -124 + d. Which is smaller: a or 1?
a
Let k = 1/33 - -28/165. Is -1/6 less than or equal to k?
True
Suppose 10*r = 11*r - 18. Suppose -11*c - 7*c = r. Which is smaller: c or -5?
-5
Let x be 0 + (68/96 - (0 - -1)). Which is bigger: x or 1?
1
Let n be 3 + 7 + -6 + 4*-40. Which is smaller: -155 or n?
n
Suppose 4*n - 9*l - 86 = -4*l, 42 = 2*n - 2*l. Let q(x) be the first derivative of 2*x**3 + 2*x**2 + 3*x - 4. Let h be q(-2). Are n and h non-equal?
False
Let o = 989 + -987. Suppose 5*m + 15 = 4*n + 3, -5*n = -5*m - 15. Is o less than or equal to n?
True
Let f = -0.1692 + 0.1492. Is 6 bigger than f?
True
Let l = -9 + 14. Let x(q) = -q**3 - 18*q**2 - 47*q - 12. Let z be x(-15). Suppose a + 15 = 3*d, -d - d = 2*a - z. Is d greater than or equal to l?
True
Suppose -p = -3*p - 8, -5*v = -4*p - 231. Suppose 0 = -3*h - 3*g + 27, 5*h + 4*g = -0*g + v. Which is smaller: 8 or h?
h
Let m = -21 + -64. Let k = 86 + m. Which is bigger: 2 or k?
2
Suppose -2*i = 3*v - 1 + 7, -5*v - 12 = 4*i. Let r = -12 + 27/2. Let s = 2 - r. Is v smaller than s?
True
Let h = -12.5 + 12.5. Let l = -16.33 + 0.33. Does h = l?
False
Let u be (-4)/(-9)*2/(-44). Let q = -365 - -365. Is q less than or equal to u?
False
Let f be (-10 + 9)/(-5 + 4). Which is smaller: f or 2/27?
2/27
Let y be 4 + (6 + -8)/2. Does y = -8?
False
Suppose -4*w + 28 = 3*t, -w - 7 = -4*t + 5. Let d(i) = 2*i**2 - i - 3. Let v be d(3). Let b be (-2)/(-8) + 57/v. Which is smaller: w or b?
w
Suppose 2*b - 3*b + 81 = 2*w, 3*w - 124 = -b. Are 43 and w unequal?
False
Suppose -9*k - 304 = -322. Let r(c) = -c**2 + 6*c - 3. Let d be r(5). Is k at least d?
True
Let j = -113 + 113. Let s be (j - (-8)/2) + 24. Which is bigger: 0.2 or s?
s
Let a = -778.4 + 682. Let f = -96 - a. Let o be (6/8)/(9/(-2)). Which is smaller: o or f?
o
Let r = -29575 - -29613.066. Let o = r + -0.066. Let s = -29 + o. Which is greater: -0.2 or s?
s
Suppose 5*j + 15*j + 400 = 0. Suppose -3*f = -20 + 83. Is f greater than j?
False
Suppose 2*t - 1 - 5 = 0. Let g = -1 + t. Suppose y + 4 - g = 0. Which is smaller: y or -1?
y
Let c = 127 - 181. Let h = c - -60. Which is smaller: h or 3?
3
Suppose 12*m + 3 = 9*m. Which is greater: m or -1/313?
-1/313
Let w = 1.8 - 2. Let n be (4274/588 + 2/(-12))/22. Let r = n - -2/49. Does w = r?
False
Let k(h) = h**2 - 2*h - 1. Let o be k(3). Let j be (3 - 