(p) = -p**3 + 11*p**2 - 3*p. Let u be j(11). Let f = u + 75. Which is bigger: 43 or f?
43
Let r(p) = p**3 + p**2 - 14*p + 43. Let y be r(4). Are 61 and y equal?
False
Suppose -6*u = -7*u + 2. Suppose -3*p + f - u - 13 = 0, 2*f = -p - 5. Which is smaller: p or -3?
p
Let c = -103/68 - -30/17. Suppose 3*y + 23 = 4*n, -y - 7*n + 2*n = -24. Is c smaller than y?
False
Suppose -18*v + 6*v + 2796 = 0. Is 233 at least v?
True
Let y(n) = -31*n**2 + n - 3. Let w be y(1). Is -38 less than w?
True
Let f = 216 + -220. Is -12/5 less than f?
False
Let t(r) = -r + 9. Let n be t(8). Let q = -0.19 + 0.13. Let x = q + 7.06. Is x < n?
False
Suppose -2*g = 2*m, -2*g - 4 = -4*m + 8. Suppose 0 = -m*s + r - 23, r - 4 = s - r. Is -13 greater than s?
True
Let q(v) = -7*v**2 - 2*v + 1. Let n be q(-2). Let a(x) = -x**3 - 7*x**2 - x + 22. Let l be a(-5). Is l < n?
False
Let c be (-5)/((-1785)/(-244)) + (-12)/(-18). Let j = c - -27/595. Is -1 != j?
True
Suppose 6*r - 52 = 4*r. Let c = 34 + -10. Is c <= r?
True
Let m = 460 + -461. Let o = -16/9 - -155/72. Do m and o have different values?
True
Let u be (-81)/(-12)*352/396. Let v be 0 - ((-2)/(-2) - 8). Which is smaller: u or v?
u
Let o = 6 + -5.87. Let q = 0.06 - o. Let w = q - -0.21. Is -0.1 smaller than w?
True
Let n = 2882/685 + -1/137. Is -1 equal to n?
False
Let l = 279 - 195. Suppose 5*f - l = -3*r, -2*f = -5*r + 19 + 90. Let k = -23 + r. Which is bigger: -13 or k?
k
Let y be 28/(-154) + (-500)/154. Let j = y - -86/21. Let z = -1.79 + 1.7. Is j at most as big as z?
False
Let u be 8/(-73 - 7)*(-32510)/8. Let q = 408 - u. Which is bigger: 2 or q?
2
Let n(t) be the first derivative of -t**3/3 + 9*t**2/2 + 10*t + 1. Let k be n(8). Let u = -22 + k. Which is greater: u or -1?
-1
Let y(p) = 3*p + 21. Let h be y(-14). Let r be 7*(57/h - -3). Suppose 0 = r*z - 2 + 24. Are 1 and z non-equal?
True
Let p(u) = -3*u**3 - 1. Let q = -2 - -1. Let l be p(q). Let c be 2/(-10)*(-6 - l). Are c and 2 equal?
False
Let b be (-1)/2*(35 - 35)*1. Is b less than -2/4413?
False
Suppose -2*a - 4 = -2. Let g be 28708/(-10) + 4/(-20) + 1. Let b be 5/(g/(-136)) - (-2)/(-7). Which is greater: a or b?
b
Let v = -794941/179 - -4441. Which is bigger: v or 1?
1
Suppose 0 = -2*p + 3*y + 1860, 19*p - 16*p - 3*y - 2793 = 0. Is 933 > p?
False
Let m = 1802 - 34229/19. Which is smaller: m or -1?
-1
Suppose 3*a = -46 + 10. Let z be ((-3)/18)/(-2 - 45/a). Which is smaller: z or 1?
z
Let s be (-1 + -2)*(-12)/(-9). Suppose 2*p + 3*p + 100 = 3*m, 4*m = -p + 164. Let n = m + -45. Which is smaller: n or s?
n
Let x(y) = y**2 - 2*y - 6. Let h be x(5). Let m = 8 - h. Let n be 60/(-4) + m + -3. Is -18 at most n?
False
Let j be (-215)/(-315) - 4/(-18) - 1. Let d(s) = 2*s**2 + 1. Let u be d(-1). Suppose u*a = -a. Which is smaller: j or a?
j
Let v be (3/9)/((-2)/(-18)). Let l be 147/42 - 2/4. Let u be (0 - (l - 2))*(-4 + 4). Which is greater: v or u?
v
Let j(q) be the second derivative of -1/12*q**4 - 5*q + 0 + 2*q**3 + 5*q**2. Let n be j(13). Does -3 = n?
True
Suppose 3*p - 912 = 2*z - 5*z, -4*p - 3*z = -1211. Let v = p + -641/2. Does -22 = v?
False
Let s be 19/(-2 + (-2 - 1)). Suppose -12*t - 4*t - 80 = 0. Which is bigger: s or t?
s
Suppose -3*a = -8 + 2, 2*h + 3*a = 10. Suppose h*j + 40 = 4*d, -2*d + 2*j = d - 32. Let g be (2/4)/((-2)/(-16)). Is g less than d?
True
Suppose 3*b - 9 = -3. Suppose 5*j = b*j + 54. Let u = -15 + j. Which is bigger: u or -1/6?
u
Let p be ((-25)/24 - -1)*-2. Suppose 0 = -3*x - 6, -5*l = -2*l + 4*x + 2. Suppose 4*k - 4*t - 20 = 0, -k - l*t = 2*k + 10. Which is smaller: p or k?
k
Suppose -302 = 6*h + 76. Let q = -62 - h. Let t be 16/6 - (0 + 1). Is q at least as big as t?
False
Let c = -41693/16 - -2606. Is 1/17 greater than or equal to c?
False
Let c = -5 - -3. Let f be (-6)/(c/4*3). Suppose -5*g - 4*i = -33, 2*g + 7*i - 4 = 10*i. Is g at least as big as f?
True
Suppose -l = -0*l - 7. Let n be ((-8)/120)/(l/97). Let g = n - -6/7. Is -1 less than or equal to g?
True
Suppose 0 = 4*v - 7 + 7. Suppose v = 34*d - 36*d. Is d <= 3/11?
True
Let h = -1684 + 1683.8. Let u = 27 + -45. Is h greater than u?
True
Let m = 10.7 - 11.26. Let y = m + 0.46. Is -6/11 < y?
True
Let q = -1398.09 + 1321. Let u = -77 - q. Is u smaller than 2?
True
Let r = -120 - -838/7. Let k = -5.9 + 5.2. Is k less than r?
True
Let b = -5 - -5. Let l be b*((2 - -1) + -2). Let g = 35/123 + 2/41. Is g <= l?
False
Let z be -1 - 4 - 157/(-17). Is z at least as big as 4?
True
Suppose -18 = 4*f + 5*d, -6*f - 2 = -f - 4*d. Let s be 6/(-3) - -3 - f. Let o be -9 - s/6*-6. Which is greater: o or -5?
-5
Let g = -364.9 - -365. Is -148 equal to g?
False
Let f(r) = -4*r**2 + 57*r - 152. Let m be f(11). Which is smaller: m or -111?
-111
Let y be -1 + 1 + 0 - 9. Suppose 2*i - 3*i - 56 = 0. Let r = i - -49. Is y bigger than r?
False
Let x = 8150/7 + -1164. Which is smaller: 0 or x?
0
Let d = -1.4 + -14.6. Let n = 0.22 - -0.78. Which is smaller: d or n?
d
Let l = 15 + -11. Let p = -6 - 0. Let a be (l/p)/(55/15). Which is smaller: a or 1?
a
Let a be (1/41)/(0 + -1). Suppose 18*d - 16*d - 23 = 5*r, d + 21 = -4*r. Which is bigger: d or a?
a
Suppose -d - 4153 + 4114 = 0. Which is bigger: d or -0.3?
-0.3
Let u = -32 - -61. Let i = u - 25. Let x(d) = -2*d + 2. Let f be x(1). Which is greater: i or f?
i
Let d be -2 + 24 + -2 - 0. Let h be 8/(-12) + 390/18. Which is smaller: d or h?
d
Let z = -349 - -350. Is -154 <= z?
True
Let v(f) = -f**3 - 4*f**2 + 4*f + 17. Let x be v(-4). Which is bigger: 3/449 or x?
x
Let b = -34.77 + 35. Let z = -0.07 - b. Is z <= -8?
False
Let k = -11.4 + -22.6. Let x = -35 - k. Is x greater than or equal to 2/31?
False
Let r be (-5 + 1 - -5)/(-1). Let d = -6/5 - r. Which is bigger: d or -1?
d
Let m = -35.8 - -31.8. Which is bigger: m or 18?
18
Let v(f) = -2*f - 50. Let c be v(-25). Is c greater than 1/127?
False
Let q be 253/55 - (-3)/(-5). Let j be ((-66)/9*(-18)/(-6))/(-8). Is j equal to q?
False
Suppose 3*l = 2*o + 15, -36*o + 31*o - 2*l + 10 = 0. Which is smaller: o or -3/4?
-3/4
Let j = -23/35 + -1/7. Suppose -5 = -2*z + 1. Suppose -4*c - 2*v + z*v = 7, 0 = -4*c - 2*v + 2. Which is greater: c or j?
j
Let t be (-5*(-4)/10)/(-2). Let s be (1 + -5 - 1)*t. Let n(m) = 4*m - 11. Let c be n(s). Do 8 and c have the same value?
False
Let p = 7055 - 7084.99. Let x = -30 - p. Suppose -2*l - f - 4 = -2, 0 = -2*f - 4. Which is smaller: x or l?
x
Suppose -5*i + 9 = -11. Suppose -5*m = -v - 38, 0 = -5*m + 6*v - 3*v + 44. Is i at most m?
True
Let l be (159/3 + -2)*1. Suppose 0*f = 3*f + l. Which is greater: f or -18?
f
Let x = -1075 + 1052. Let u = 394.9 - 372. Let i = u + x. Is 3 > i?
True
Let m = -100 - -100.63. Let c = m + -0.74. Let i(x) = -x**2 + 4*x - 3. Let d be i(3). Which is smaller: d or c?
c
Let z be (-56)/21*99/22. Is 0.18 smaller than z?
False
Let v = -58 + 56. Let z be (1 - 1)/(-5 - -3). Is v < z?
True
Suppose -4*a + 12 = -8. Let j be (-70)/(-8)*(a - 1)/20. Which is greater: j or 3?
3
Let c(l) = 8*l**2 + 13*l + 65. Let i be c(-6). Which is smaller: 277 or i?
i
Let t = 0 - 1. Is 0.062 at most as big as t?
False
Let d be 17*23/(-5) - -3. Let k = d + 74. Which is greater: 0.1 or k?
0.1
Let u = 9.72 - -6.28. Is u >= 11/2?
True
Suppose 0*g = -3*g + 9. Suppose h + g*h - 4 = 0. Let x be 0/(h - 12/3). Which is smaller: x or 5/6?
x
Let p be (2/4)/(1/(-13)). Let y = -58 - -51. Is y at most as big as p?
True
Let m be ((-231)/(-105))/(1*2/5). Are m and 5 equal?
False
Let v = -128 - -184. Suppose 2*i + 2*n = 5*i + v, 2*i = 3*n - 34. Let k be 6/i*(-5)/(-15). Is 0 at most as big as k?
False
Let k = -15.8 - -20.8. Which is bigger: k or -4?
k
Let d be 2/4 + 21/(-22). Let w be 11/(-3)*27/(-99). Is w equal to d?
False
Let z = 0.24 + -0.24. Let i = 0.1 - z. Is 1 bigger than i?
True
Let h(a) be the second derivative of -a**5/20 - 7*a**4/12 + 4*a**3/3 + a**2/2 - 2*a. Let k be h(-8). Let w = -363 + 4003/11. Which is smaller: k or w?
w
Suppose -c + 3*s = -21 + 7, 4*s = c - 13. Which is greater: c or 13?
c
Let o = 3.05 + -3. Let w = -0.55 + 1.5. Let g = o + w. Which is smaller: g or 3/5?
3/5
Let u = 750 - 750. Which is smaller: -1/685 or u?
-1/685
Suppose -x = 3*o - 28, -2*o + 3*x - 21 = -4*o. Suppose -2*p - 2*p - 5*y - 24 = 0, 2*y + o = -p. Is p at most as big as 8?
True
Let b(p) = p + 7. Let n be b(6