d p equal?
False
Let n be ((-2042)/65)/((-190460)/400). Let w = n - -2/1391. Which is greater: 1 or w?
1
Let l be ((-15)/5 - 1) + 7 - 2. Is l <= 1/2898?
False
Suppose 2*m - n = -m + 569, 3*n = m - 203. Let x = -160 + m. Is 2 not equal to x?
True
Let a be ((-11)/(154/42))/((-6)/(-58)). Which is smaller: a or -385/13?
-385/13
Let b = -86.27 + 87. Let h = b + 2.57. Let d = 1.548 + 0.452. Which is bigger: d or h?
h
Let f(s) = -s**3 - 8*s**2 - 7*s - 8. Let v be f(-7). Suppose -44617 = 15*o - 44527. Is o greater than v?
True
Let z = -219 + 217. Let q be (z/8)/(126/(-864)). Which is smaller: -2 or q?
-2
Let h be 2/((0 - -2) + (-6)/4). Let z be -2 + h*(-68)/(-160). Let a = 2.37 - 2.3. Is z at most as big as a?
True
Let h = 97.7 - 102. Let n = -5.4 - -10. Let f = n + h. Is f < -2?
False
Let n(u) = -u**3 - 24*u**2 - 101*u + 12. Let j be n(-4). Let r be -95*(-2 + 0 + 1). Is r less than j?
True
Suppose 0 = -2*t - 15 + 27. Let f be (-633)/(-2) + 1/(-4)*t. Let m be 22/(-66) + (-2 - (-733)/f). Is -1 != m?
True
Let i = -585924268/6855 - -85474. Is i smaller than -1?
False
Let x be 4/(-2)*1*(-8)/(-2). Let l be (5 + x)/(-3) + -9. Let m be (l + (-4)/(-1))*(-45)/4. Is m greater than 44?
True
Let u = 66.077 + -66. Let m = u + 9.923. Let g = 14 + -19. Are g and m nonequal?
True
Let k(s) be the second derivative of s**5/10 - s**4/2 + 7*s**3/6 - 5*s**2/2 - 5*s - 2. Let h be k(2). Is 2/123 at most h?
True
Let x = -1.21 + 0.01. Let j = -0.2 - x. Let q = 4/23219 - -116071/139314. Is q greater than j?
False
Let w = 2025 + -666. Let s be 9/30 - w/930. Is -2 less than s?
True
Let g = -88 + 88. Suppose g = -z + 2*z. Suppose -5*i - 5 = -z. Which is greater: 5/22 or i?
5/22
Let b(c) be the second derivative of -23/2*c**2 + 2*c**4 - 11/3*c**3 + 4*c + 0 - 1/20*c**5. Let s be b(23). Is s greater than or equal to -2?
True
Let d = -1122 - -4620. Which is smaller: d or 0?
0
Let w(j) = -j**3 - 12*j**2 + 16*j - 34. Let a be w(-14). Suppose -q = -a + 133. Is q smaller than -2/281?
False
Let j be -98*(-48)/672 - 12598/1804. Which is bigger: 0 or j?
j
Let q(m) = 11*m**3 + 37*m**2 + 31*m + 18. Let t be q(-12). Let j be -4 - (4 - t/(-1755)). Which is smaller: j or 1?
j
Suppose 125 = -6*d - 115. Let s = d + 40. Which is smaller: s or 2/789?
s
Let h = -56.3 - 165.7. Which is smaller: h or 4?
h
Let s be 17/(-2) + (-1558537)/(-466). Is 3339 greater than s?
True
Let h = 901 + -948. Suppose 4*u - 125 = -313. Does u = h?
True
Let c(n) be the third derivative of -n**5/60 - 11*n**4/24 - 5*n**3/6 - 8*n**2. Let h be c(-11). Let o be (h - -2)*(-5)/215. Which is smaller: o or 0?
0
Let z = 5352 - 9932. Is z >= -4582?
True
Let p = 61 - 42. Suppose v - p = 8. Suppose z + u = -2*z + 81, z + 5*u - v = 0. Which is bigger: 25 or z?
z
Let i = -520.48 - -520.38. Let n = -106 + 161. Are i and n equal?
False
Let b = -2627.97209 + -0.02791. Is b at least as big as -0.03?
False
Suppose -2*d + 99 = 91. Suppose y = 5*f + 18 - 8, -1 = -y - d*f. Let u = -29/2 + 19. Which is greater: u or y?
y
Let z be 341/(-3) + (-2)/6. Let t be 10*43/((-2322)/1008)*(-9)/(-15). Is z less than t?
True
Let i(t) = -22*t + 79. Let u be i(4). Let z be 91/29 + (-14 - (-1 + u)). Is -2 > z?
False
Let u = 9126 + -227878/25. Is 11 at least u?
True
Suppose d - 36 = 7*d. Let n = 8 + -3. Let m = n + d. Which is greater: m or 3/23?
3/23
Let c(f) = -2*f**2 + 30*f + 6. Let u be c(15). Let p be u - (-10*16/(-20))/1. Is -20/39 at most p?
False
Let c be ((-2)/(-92))/(6454/364 - 18). Do 1 and c have the same value?
False
Suppose -n = 3*n + 5*f - 59, 2*n - 17 = -5*f. Let x be (-1 + -7)*(-5)/((-70)/n). Which is smaller: x or -5?
x
Suppose 0 = -b - 2*q - 0*q + 9, -4*b = 3*q - 36. Suppose -12 = 21*p - b*p. Which is smaller: p or -2/1131?
p
Let h = -0.6 + 1081.6. Which is smaller: h or -3?
-3
Let x be (-119)/11 + -1 - 32/176. Let n(u) = -u**2 - 15*u - 16. Let g be n(x). Suppose 0 = 4*a + s + 93, 5*a - 2*s = g - 133. Are a and -24 non-equal?
True
Let h = 1804 - 1804. Which is greater: 0.01628 or h?
0.01628
Suppose 32 = 5*w - 3*w. Suppose -209 = -106*h + 3. Are w and h non-equal?
True
Let x(c) = 34*c - 306. Let n be x(9). Let b = 31/48 + -1/48. Is b less than n?
False
Let a(z) = -17*z**2 - 45*z + 8. Let m be a(-3). Let i be 52/260 + 13/m*-2. Which is greater: i or 10?
10
Suppose 0 = -19*m - 0. Suppose 0 = -3*l - 2*t + 42, m*l - 30 = -3*l + 2*t. Which is smaller: l or 53/4?
l
Suppose 4*n - 74 = 2*r, -21*n + 59 = -2*r - 22*n. Let l(w) = 44*w - 36. Let y(v) = -11*v + 9. Let u(d) = -2*l(d) - 9*y(d). Let a be u(-2). Are a and r unequal?
False
Let b = 3.681698 + -0.057598. Let q = b + -0.0241. Which is bigger: q or -1/3?
q
Let o = 5946 - 12268. Which is bigger: o or -6320?
-6320
Suppose 2533 = -78*k + 23102 + 92453. Is k <= 1449?
True
Let y be 10 + 1860/(-210) - (-39)/(-28). Let o be (-3)/(-5) - 6/15. Which is smaller: o or y?
y
Suppose 2*z + 6*l = l - 144, -l + 148 = -3*z. Which is smaller: 7.2 or z?
z
Let w = -6 + 7. Let c be ((0 - 2) + 26)*(-39)/39. Let q = c + 169/7. Which is greater: q or w?
w
Suppose 0 = -4*b - 15 - 17. Let d = -97791.09 - -97791. Which is smaller: b or d?
b
Suppose 70*w + 37 = -29 + 276. Suppose 4*o + 7 = -i - 0*o, -30 = -2*i + 3*o. Let d be i/33*40/6. Which is smaller: w or d?
d
Let y(l) = l**3 + 28*l**2 - 114*l + 159. Let o be y(-30). Are 1779 and o non-equal?
False
Suppose 3*n - 46 = -16. Let f = n - 7. Suppose 25 = -v - 2*x, 2*v = x + f*x - 42. Which is smaller: -25 or v?
-25
Suppose -4*z + 81 = -z. Let l be (z/(-81))/(1*(-1)/(-3)). Let r be 2 - ((-675)/70)/(-5). Which is smaller: l or r?
l
Let b = -10.915 - -13.915. Let s be (258/14)/(84/147). Which is smaller: s or b?
b
Let i(m) = 73*m + 1. Let z be i(1). Let f(h) = h**3 - 12*h**2 - 31*h + 45. Let k be f(14). Suppose -56 = k*p + 2*w - 276, -p + 2*w = -76. Is z <= p?
True
Let u(o) = -o**2 - 8*o - 5. Let j be u(-7). Let r(n) = n**2 + 18*n + 58. Let k be r(-4). Suppose -k*x = j*x. Which is bigger: x or 9/7?
9/7
Let u = -1160 + 1160. Which is smaller: 3/682 or u?
u
Let z = -212.9 - -187. Let s = z - -43.6. Let o = s + -1.7. Is o != 2/7?
True
Let u = -107 + 76. Let d = 21 + u. Let f(b) = -3*b - 30. Let y be f(d). Is y < 1/4?
True
Let d(o) = -12*o**2 + 257*o - 901. Let k be d(17). Let u be -2 + -8*766/(-3068). Is u <= k?
True
Let c(f) = -f**2 - 34*f - 269. Let m be c(-22). Suppose 6*s = -0*s - 66. Is s at most m?
True
Let u be (-9)/(-48)*(-152)/(-95). Is 0.038 at most as big as u?
True
Let c(m) = -m**2 - 8*m - 8. Let h be c(-5). Suppose -h*w + 32 = 4. Suppose 0 = j + w*k + 24, -12 = 2*j - 3*j + 5*k. Is -11 less than j?
True
Let n(j) = 3*j**2 + j**2 - 4*j**2 + 6 - 11*j + 2*j**2. Let d(s) = -2*s + 1. Let y be d(-2). Let v be n(y). Is 2/97 at least v?
False
Let c = -77 + -12. Let d = -89.2161 + 0.0161. Let y = d - c. Which is smaller: 6/7 or y?
y
Let c = -1.6736 + 1.4656. Is c greater than or equal to 2/27?
False
Let v be 4016/(-6)*((-6)/10)/(92/(-805)). Are -3514 and v equal?
True
Let i = -6687 - -6685. Which is smaller: 33 or i?
i
Let n = 13136 - 10528. Which is bigger: n or 6?
n
Suppose -3*g = -g - 10. Let y(o) = -3*o**3 + 195*o**2 + o - 73. Let k be y(65). Which is greater: g or k?
g
Suppose -15*f = 35*f. Which is smaller: f or -3/566?
-3/566
Suppose 10 = -3*d - 4*p + 1, -3*d = 3*p + 12. Let i be (22*1)/((-16)/6). Is i less than or equal to d?
True
Let h be 6/15*1045/418. Do h and 2/24085 have different values?
True
Let m = -91 - -91.2. Let g = 95.057 - 95. Let z = 0.557 - g. Does z = m?
False
Let y(u) = 4*u**3 + u**2 + u. Let d be y(-1). Let n be (-4)/12*(1 - d/(-6)). Which is smaller: -7 or n?
-7
Let l = -61.8 - -108. Let w = 1.01 + -47.01. Let p = l + w. Are 2/29 and p nonequal?
True
Suppose -3*o + 15 = -4*o - 2*o, 8*m = 3*o - 265. Suppose -3*g - 23 = 79. Does g = m?
False
Let u be (-1174)/(-884) - (2 + 0). Let d = -70/149 - -4615/5066. Let p = u + d. Which is greater: 0 or p?
0
Suppose 4*n + 1 - 13 = -2*q, n + 7 = 2*q. Is n greater than or equal to -1/1124?
True
Let h = -499.4 - 3.6. Let t = h - -503. Which is smaller: 133 or t?
t
Let w = -0.021 - -4.221. Let i = w - 3.92. Let p = -5.28 + i. Which is bigger: -2/3 or p?
-2/3
Let f = 749.97 - 793.933. Let u = f + 44. Let q = 21.963 + u. Is 1/2 > q?
False
Let q = 26 - 28. Let d be 24/(-16)*q/(-6). Let w(a) = a**2 - 14*a + 13. Let z be w