 equal to p?
True
Let p(x) = x**3 + 5*x**2 - 2*x + 83. Let c be p(-7). Let s be 51/(-84) + (-2)/(-8). Which is bigger: s or c?
s
Let o be (-2)/((18/(-4))/(-9)). Let l be 3*-13 + o/(8/(-6)). Is l at most as big as -2/5?
True
Let i be (2 + -2)*(-5)/10. Let p = 0 - i. Suppose -6*r = -p*r. Which is greater: -2/5 or r?
r
Let l(v) = -v + 12. Let x be l(-15). Let r = x + -18. Is r at least as big as 8?
True
Let n = 2 + -2. Let g = -58.016 - -0.016. Let j = g - -55. Which is bigger: n or j?
n
Let f = 1 - 1. Let a = 293 + -291. Is a less than or equal to f?
False
Let x = -5162/3 - -1723. Suppose 5*o - 32 + 12 = 0. Let m = o + -1. Which is bigger: m or x?
m
Let n(c) = -41*c + 132. Let s be n(5). Which is smaller: s or -72?
s
Suppose 12 = -h - 5*h. Let q be (-1 - 0/h)/(2 + -1). Is q < -9/4?
False
Let s = -601 + 3018/5. Let d = 69 - 39. Let p be d/10*(1 + 0/(-1)). Is s bigger than p?
False
Let r be 1/(-4) + (-450)/(-40). Let p = r - 11. Let d be 1 + -1 + 3/(-10). Are p and d unequal?
True
Suppose 3*t = 5*t + 44. Let u = 24 + t. Is u > 7/6?
True
Let v(a) = -2*a - 5. Let f(c) = -4*c - 9. Let m(b) = 2*f(b) - 5*v(b). Let q be m(-3). Which is smaller: q or -6?
-6
Let m(z) = -1 - 1 + 6 - z + 10. Let r be m(5). Let l be r/(-6)*(-68)/(-6). Is -17 at most as big as l?
True
Suppose -4*u + 18 = 5*p, -3*u + 5 - 3 = -2*p. Suppose -u = x + 2*j, -4*x + 25 = j - 4*j. Are 3 and x equal?
False
Suppose 5*z - 21 = -3*c, 3*c + 6 = 4*z - 0. Suppose -c*s + s = 0. Which is smaller: -2 or s?
-2
Let p = -1099 + 1100. Let u = 7574/3 - 2560. Let s = -35 - u. Do p and s have different values?
True
Let c = -42 + 36. Let f = c + 7. Which is smaller: f or 11?
f
Let k = 914 - 911. Which is bigger: k or 23/10?
k
Let l be ((-18)/(-4))/((-221)/442). Let t(p) = -p**3. Let n be t(-1). Suppose -26 = 3*y + n. Is l <= y?
True
Let u be 4 + 5/(10/(-8)). Suppose 2*l + 41 - 13 = u. Let s = 16 + l. Which is bigger: s or -2/7?
s
Suppose 15*i = -5*i - 60. Which is bigger: i or -58/17?
i
Suppose 0 = -5*m - 4*k + 125, 7*m - 141 = 3*m + 5*k. Let v = -28 + m. Is 3/17 not equal to v?
True
Let a = -2 + 2. Let i = -1 + a. Let d = 92/255 + 2/51. Is i smaller than d?
True
Let w be 6/(-4)*(-15)/((-180)/(-8)). Which is smaller: 2/583 or w?
2/583
Let v = -219.94 - -218. Let p = -0.01 + -0.05. Let i = v + p. Which is greater: i or 0.1?
0.1
Suppose 0 = -214*u + 202*u. Which is smaller: u or 4/495?
u
Let y be (-15)/10*(3 - -9). Let t be y/88*(3 - (-4)/(-12)). Is t < -2?
False
Suppose 0 = -3*z - 4*c + 32, 12 = -6*z + 4*z + 4*c. Suppose 4*a + 3*o + 7 = 0, 5*a + 16 = 4*a + z*o. Suppose -5*k = -3*k + 10. Is k smaller than a?
True
Let f be -1 + 4 + 26/(-20)*2. Suppose 8*x - 27 = 3*x - 4*h, 5*h = 2*x + 9. Is f greater than x?
False
Suppose 3*f - 88 = -4*j, 3*j = -2*f + 36 + 31. Let g(r) = 5*r - 12. Let d be g(8). Are j and d equal?
False
Suppose j - 7*z + 17 = -3*z, 16 = 4*j + 5*z. Let s = -57 + 63. Suppose 0 = -3*w - 0*w - s. Is w equal to j?
False
Let a = 5.747 + -0.147. Do 0.2 and a have different values?
True
Let h(x) = 17*x**3 - x**2 + x + 2. Let o be h(-1). Is -16 less than o?
False
Let j = -526 - -535. Do 30 and j have the same value?
False
Let y be ((-20)/(-15))/((-2)/1638). Let a = 49138/45 + y. Suppose 0*l - 4 = -4*l. Which is smaller: l or a?
a
Let c = -6688 + 26549/4. Is c equal to -50?
False
Let t = 134 + -96. Suppose 2*g = -4*u + 4*g - 22, -t = 5*u + g. Which is smaller: u or -11/2?
u
Let f = -18/179 - -3205/1611. Which is greater: 2 or f?
2
Let y be (6/18)/(2*(-57)/(-306)). Is y > 2?
False
Let m(d) = d**3 - d**2. Let y(o) = 3*o**3 + 5*o**2 - 2*o + 21. Let z(v) = 4*m(v) - y(v). Let s be z(9). Is 3 > s?
True
Let t(p) be the third derivative of p**5/60 + 7*p**4/24 + p**3/3 - 3*p**2. Let n be t(-6). Which is smaller: -9/2 or n?
-9/2
Suppose 1 = 2*s + 3*u, 0*s + 4*u - 5 = s. Let t = 23/2 - 71/6. Which is smaller: s or t?
s
Suppose -16*v + 24 = -10*v. Let o be 1/6*v*-111. Is -74 >= o?
True
Let m = 741 + -2963/4. Which is greater: m or 529?
529
Let c = 40/3 + -643/48. Let m = -32 + 42. Suppose 3*t - 2 = m, 0 = n + 2*t - 7. Are c and n nonequal?
True
Let u be (132/8)/(3/6). Suppose o - u = -2*o. Is 11 > o?
False
Let y be (12/(-18))/((-2)/6). Suppose 0 = y*k + 8, 10*v + 16 = 5*v - 4*k. Let m be (-1)/(-5) + 28/10 + -3. Is v != m?
False
Suppose -11*v - 658 + 130 = 0. Which is bigger: v or -58?
v
Let a = 2878.2 + -2720.17. Let o = a - 158. Which is bigger: o or 2?
2
Let v = -2 + 1.6. Let r = -0.25 - -0.45. Which is smaller: v or r?
v
Let g = -196 - -618. Which is smaller: g or 421?
421
Let s = 2251 - 2258. Is -111/14 not equal to s?
True
Suppose -2*g = -4*t - 15 - 19, 4*g = t + 33. Let z(o) = o**2 - 5. Let q be z(0). Let s be 5 - (q + 3 - 0). Is g <= s?
True
Let i(c) = -c**3 - c**2 - 13. Let g be i(0). Let r(h) = -h**2 + 18*h + 38. Let l be r(-2). Do g and l have the same value?
False
Suppose -98*p - 5 = -93*p. Let x be p - (18/(-108))/(4/63). Is 2 smaller than x?
False
Suppose -2*y - 43*j + 45*j = -18, 5*j + 27 = -4*y. Suppose -3*h + 4*h = 6. Suppose w + 5 = h*w. Are w and y equal?
False
Let w = 2 + -1.2. Let z = -7.9 + w. Let p = z - -7. Do p and -1 have the same value?
False
Let r = -0.0081 + -1.9919. Is r at least as big as -7/4?
False
Suppose -6*q - 44 = -14. Suppose 3*n - 3 = -6*z + z, 4*z - 28 = 4*n. Suppose -1 = z*x + 14. Does x = q?
True
Suppose -3*f = 4*b + 2, 0*b + 4*f + 7 = -b. Is 1/13 <= b?
True
Suppose 46*f - 33*f + 4836 = 0. Which is smaller: -373 or f?
-373
Let x = -1 + 13. Suppose -2*l = -7*l + 290. Suppose -x - l = -5*z. Is z greater than or equal to 14?
True
Let t be 2*(-5)/20*(-3 + -3). Which is smaller: t or 39/16?
39/16
Suppose 0 = 5*s + 4*g - 20 - 1, 2*s - 8 = -2*g. Suppose 5*c + 10 = 5*u, -20 = -s*c + u - 2*u. Is 2 greater than c?
False
Let x = -0.339 - -0.439. Is -305 < x?
True
Let y = 6722/2523 + 2/841. Let u = 11 - 7. Are u and y nonequal?
True
Let g be (-4)/20 - 328/360. Which is bigger: -0.1 or g?
-0.1
Let h = 2.9 - 4.1. Let l = 0.2 + h. Is l equal to 6/19?
False
Let l(n) be the second derivative of -n**5/20 - 5*n**4/12 + 8*n**3/3 - n**2 - 18*n. Let q be l(-7). Which is bigger: q or -14?
-14
Let a be 14 - (-1 - -3)*2. Let l = -5 + 17. Is l at least as big as a?
True
Suppose 2*w + 3*w + 75 = 0. Let y = 59/4 + w. Let c = 3 + -2. Which is greater: y or c?
c
Let o be 1377/119 - 6/(-14). Suppose 0 = -4*c - o. Suppose -4*r = -2*r + 4. Which is bigger: c or r?
r
Let v be (-21)/(-14)*19/((-513)/990). Which is bigger: -63 or v?
v
Let j = -21 + 21. Let v(k) = -k**2 + 5*k + 2. Let t be v(6). Let y be (-4)/6*(t - -7). Which is smaller: y or j?
y
Suppose -3*a = 4*q + 154, 3*a + 2*q + 162 - 16 = 0. Let o be (564/30)/((-28)/70). Which is bigger: o or a?
a
Suppose 0 = 3*m - 6, -2*r + 2*m = -1 + 3. Is r greater than -5/22?
True
Let p = -3.89 - -6.99. Let o = -0.48 - -4.58. Let s = o - p. Is s at least -8?
True
Let m = -29 + 26.9. Let v = 22.6 + m. Let i = v - 20. Which is smaller: -2/7 or i?
-2/7
Let i = 36 - 25. Let k = -12 + i. Is k at least as big as -1.6?
True
Let s be (2 + 1 + 72)/((-2)/(-2)). Let u = -92 + s. Which is smaller: -16 or u?
u
Let a = 310 - 309. Which is smaller: 3/16 or a?
3/16
Suppose 24*p + 610 = 14*p. Is -61 < p?
False
Suppose 10 = r - 0. Let y = r + -13. Is 1 >= y?
True
Let l = -621/7 + 89. Suppose 5*y + 71 + 44 = 0. Let x = 24 + y. Which is smaller: x or l?
l
Let s be -1*(8/24)/1. Let i = 1990/4601 + -19/43. Let t = i - 421/749. Which is smaller: s or t?
t
Let x be 2/(-6) - (-120)/(-18). Is -140/19 != x?
True
Let f = -73147/4796 - -2/1199. Suppose -3*s - x - 52 = 0, -4 + 8 = -x. Do f and s have different values?
True
Let s = -36 - -14. Let f = s - -27. Let a = -5.1 + f. Which is bigger: -2/19 or a?
a
Let p = -582 - -850. Let f = p - 140. Which is smaller: f or 0?
0
Let s(x) = -2*x + 9. Let h = -10 - -10. Let g be s(h). Is g <= 9?
True
Suppose 16*n = -4*x + 20*n, 2*x = -n. Is x smaller than -2/207?
False
Let i(n) = -73*n - 1. Let p be i(1). Let f be (-2 - -3)/(p/(-4)). Let a be 0 - ((-3)/(-3))/1. Is f <= a?
False
Suppose w = -5*b + 163, -5*b = 4*w - 931 + 294. Is 161 at least as big as w?
True
Suppose 34 = 2*o - 4*z, 3*o - 2*z - 2*z - 49 = 0. Is -1 smaller than o?
True
Let v = -100401 + 703967/7. Which is smaller: v or -1?
-1
Suppose -3*c = -10*c - 49. Let x be 22*((-357)/90)/c. L