p != m?
False
Let n(z) = -z**2 - 5*z + 13. Let h be n(-7). Let y = 22/115 + -3004/16905. Which is smaller: h or y?
h
Let f(t) = -t**3 - 45*t**2 + 2*t + 76. Let i be f(-45). Are i and -15 nonequal?
True
Let o(j) = 137*j - 16. Let n be o(0). Let d be 1*-1*0/6. Suppose 5*b - t = -2*t - 84, -4*b + 3*t - 52 = d. Is n less than or equal to b?
True
Let p(b) = b + 20. Let h be p(-20). Let m = -1/60 - -23/180. Which is smaller: m or h?
h
Suppose 38*k = 41*k + 24. Let c = -47 - -32. Let f be (-3)/k*(-10)/c. Is -3 greater than or equal to f?
False
Let o = 1871017/67 - 27925. Are 1 and o equal?
False
Let a(q) = q**3 - 4*q**2 - 6*q + 8. Let o be a(4). Let u be (4/(-6))/(o/(-9) - -4). Is u < -0.1?
True
Let v(q) = -q**3 + 33*q**2 - 178*q - 7. Let j be v(26). Is 100 < j?
False
Let d be (16020/(-16))/5 - 5/(-20). Is d less than or equal to -198?
True
Suppose o + 2*v = -4 + 1, -5*v - 10 = 0. Let f be o/15*-1 + (-32)/(-48). Is f at most as big as 1?
True
Let o(h) = 12*h**2 - 144*h - 7. Let m be o(12). Is -7 bigger than m?
False
Let d = -12 - -9.3. Let t = -2.6 - d. Let o be -1 - -1 - (-15)/6. Is t at least o?
False
Let a be -17 + 11 - (-123)/21. Are 1 and a equal?
False
Let u = 470 - 472.19. Let y = u + -0.01. Let r = -2.15 - y. Are -2/5 and r non-equal?
True
Suppose 0 = 4*c - 5*m + 19, -9*m + 12 = -5*m. Suppose 3*q = -10*d + 5*d - 117, -123 = 3*q + 3*d. Is c > q?
True
Let c(u) = -2*u**3 - 6*u**2. Let n be c(-3). Is -9 equal to n?
False
Let l be ((-8)/2 - -6) + (-1 - -5). Suppose -2*f = -3*h - 0*f - 6, l = 4*h + 2*f. Let m = 0.3 - 0.1. Which is bigger: m or h?
m
Let r = -26 + 36. Suppose -15*s = -25*s + r. Is -2/29 smaller than s?
True
Suppose -77 = -2*b - 3*w, 0 = -3*b - 0*w - 5*w + 115. Which is smaller: 34 or b?
34
Let b be (7 + 2)*30/(-45). Suppose 3*c + d = -21, 3 + 11 = -2*c - 4*d. Which is smaller: b or c?
c
Let t be 1 + -1 + (-57)/(-19). Suppose b + 5 + t = 0. Are -13/2 and b non-equal?
True
Let t = 34 + -19. Let b = t + -54. Is b less than -38?
True
Let b be 0 + 18/(-135) + 686/(-30). Is -21 equal to b?
False
Suppose 996 = 29*s - 3238. Is s less than 147?
True
Let b = 17 + -16. Let o be (b - (-113)/4) + 6/(-24). Which is smaller: 30 or o?
o
Suppose -2*o - 20 = -7*o. Let t be 1 + -1*(o + -3). Let x = -48 + 143/3. Is t less than x?
False
Suppose 0 = 5*c - 20, 3*t + 3*c - 11 = 19. Suppose -5 = m - t. Is 2/15 equal to m?
False
Let x = -0.5 - -0.2. Let f = -27.7 - -29. Let c = f + x. Are c and 2 equal?
False
Suppose 17*y - 15*y - 4 = 0. Which is smaller: -2 or y?
-2
Let c = -1799.81 - -1807. Is -1 greater than or equal to c?
False
Suppose -10*r + 161 = -3*r. Suppose -v - r + 19 = 0. Is -2 not equal to v?
True
Let g = -140.3 + 140. Let h = -0.03 - -5.03. Let n = h - 5.1. Which is bigger: g or n?
n
Let d be (-19)/(-2 + (-15)/(-5)). Let a = d + 20. Which is smaller: -3/10 or a?
-3/10
Let g be (3/(-2))/((-6)/16). Let x be 10/20 - (-122)/g. Are x and 32 non-equal?
True
Let d = -14 - -14. Suppose d = m + 2*m - 336. Let h = m + -558/5. Is -0.3 not equal to h?
True
Let l(o) = 2*o**2 - 34*o + 10. Let u be 3 + -2*3 + 19. Let t be l(u). Which is smaller: -21 or t?
t
Let c be ((-12)/264)/(-2 - (2 + -3)). Is c < 0.032?
False
Let h(s) = 35*s - 7. Let q be h(3). Let m = -112 + q. Which is smaller: m or -9?
m
Let d(c) = -2*c - 4. Let s be d(6). Suppose 3*i - 4*i - 9 = 2*k, -4*k + 27 = -i. Which is greater: i or s?
i
Let h = 213 + -117. Let t be h/52 + (-2)/(-13). Suppose -t*y - 25 = 3*y. Which is bigger: -6 or y?
y
Let v = -2965/124899 - -3/1343. Which is smaller: v or 1?
v
Let c = 0.2637 + -0.0637. Which is bigger: c or 54?
54
Let o(z) = -z**3 - 25*z**2 + 26*z - 7. Let f be o(-26). Let v(h) = h**3 + 4*h**2 - 11*h - 24. Let n be v(f). Is -95 smaller than n?
True
Suppose 0*h + 5*h - 5 = 0. Let u = -14/15 + h. Which is smaller: 1 or u?
u
Suppose -2*b + 9 = -3*b. Let z be (-2)/b - (-22521)/(-297). Let w = 227/3 + z. Which is greater: w or -0.1?
w
Let v = 28 - 26. Suppose 2*m = 4*x - 8, -v*m = -0*m - x - 7. Suppose -z + 3 = -4. Is m at least z?
False
Suppose 5*i = 3*i - 50. Let k be 4/(-6)*(13 + i). Which is bigger: k or 7?
k
Let w = -690.3 - -689. Is w less than -1/5?
True
Let p be (-48)/(-20) + -2 + (-17)/5. Let m = -1.35 + 0.15. Let g = m - -1.4. Is g <= p?
False
Let j = 12 - 10. Suppose -2*r + 4*s = -22, 0 = -r + j*s + s + 8. Do r and 17 have different values?
False
Let c = 0.14 - 0.015. Let k = -11.025 + c. Let n = k - -11. Do n and -1/13 have different values?
True
Let x = 61631/29 - 2125. Let c = x - -91/261. Is 2 greater than or equal to c?
True
Let x = 1553.0075 - 1553. Which is smaller: x or -1?
-1
Let a = 1151/10 + -114. Which is greater: a or 2?
2
Let d = -139 + 122. Suppose -k = 4*z - 4*k - 5, -4*z = k + 7. Are d and z nonequal?
True
Let m be (-4)/(-10) + 72/20. Suppose m*h + 2 = -10. Let g = -4 - h. Which is smaller: -1/3 or g?
g
Let m be (-18 + (-14294)/(-112))/(1/4). Which is smaller: 438 or m?
438
Let v = -3/646 - 99/646. Which is bigger: v or 1?
1
Let c(a) = -9*a - 81. Let n be c(-13). Is n less than or equal to 28?
False
Let z be (13/(-7) + 2)/(-1). Let c be (-130)/(-14) + 10/(-35). Suppose 3*g = 3*i + 6, -5*g = -2*g - c. Which is greater: i or z?
i
Let k = -1837 + 1835. Which is greater: 785 or k?
785
Let y(o) = 2*o**2 + 29*o - 170. Let s be y(-19). Let d be (-1)/(-7)*-1*-2. Which is smaller: d or s?
d
Let r = 901/1280 - 1/256. Suppose 3*y + 4*y = 210. Suppose -y + 30 = -w. Is w at most as big as r?
True
Suppose 4 + 0 = 4*t. Let c be (-1 + 1)/(t + 1). Suppose -5*k - 2 = 3. Is c equal to k?
False
Let v(m) = m**3 - m + 11. Let u be v(0). Let f = 23 - u. Suppose -f*y = -14*y. Is y smaller than 0?
False
Suppose -18 = -2*v + 20. Suppose -a - v = -2*w + 5*w, w = 4*a + 11. Is -7 < a?
True
Let p be -46 - (-1)/(4/12*-1). Let a = p + 49. Is 1/11 at most as big as a?
False
Let w = -6 + 1. Let k be 2/8*(-713)/31. Are k and w equal?
False
Let i(l) = -l - 7. Let b be i(-10). Let d(u) = 2*u - 4. Let q be d(b). Let h be (q/(-22))/((-2)/4). Do h and 1 have the same value?
False
Suppose 3*h - 7*h = 0. Let i be ((-8)/(-212))/((-8)/(-80)*5). Which is greater: h or i?
i
Let y = -16 + 16. Let s be 2 - ((-192)/(-98) + y). Which is bigger: -1 or s?
s
Suppose 11 + 24 = 5*m. Let n be (-6)/14 + 192/m. Suppose 0 = 5*r, -4*l - n = 2*r - 3. Which is greater: -7 or l?
l
Let u = 0.28 + -0.56. Let p = u + -0.72. Is p smaller than 12?
True
Let o(c) = 3*c + 4. Let j be o(3). Let r = -1 + j. Suppose 2*h + r = 4. Is h at most as big as -6?
False
Let a be 1 + 3 - 3/2*2. Let f be (2/(-4))/(a/(-2)). Which is greater: -2/39 or f?
f
Let p = -8 + 10. Let c = p + -2.1. Let k be -4 + 4 + -2 - -9. Is c at most k?
True
Let m = 50 - 125. Are -74 and m non-equal?
True
Let z be 41/210 + (-32)/320. Suppose -3 = 4*o - 7. Is z less than o?
True
Let z = 2499 + -2460. Let q be (-188)/(-5) + 10/25. Is q < z?
True
Let i = 1047 + -1052. Let g be -9 + (-4)/(12/(-9)). Which is greater: i or g?
i
Let z be (-1 + -11)*34/(-136). Let q be 5/(-2)*12/(-10). Suppose z*m - 15 = -2*f - 0*f, q*f = m - 16. Is 7 equal to m?
True
Let w = -13454161/1220 - -11028. Which is bigger: w or 0?
0
Let v be (13 - 7)*(-8)/14368. Which is bigger: v or 1?
1
Let c = 5/16 + -9/80. Let f = -10 + 9. Let q be f/((-4 - 0) + 0). Which is smaller: q or c?
c
Let x(z) be the third derivative of -11*z**5/15 - 5*z**4/24 - z**3/2 - z**2 - 7. Let h be x(-1). Which is smaller: -43 or h?
-43
Let x be -1*1*(-4)/(-6). Let b(v) = 3*v - 94. Let o be b(0). Let t = o + 92. Which is greater: t or x?
x
Let q(s) = s**3 + 32*s**2 - 98*s + 11. Let b be q(-35). Is 1 equal to b?
False
Let z = -0.741 - -2.741. Which is greater: z or -0.35?
z
Let p be (144/(-216))/((-8)/(-6) - -1). Let z = 34 + -35. Which is smaller: p or z?
z
Let j = 443/4431 + -1/211. Let d be -1*(1 - -1 - 3). Let q be (d - 0) + 4 + -4. Is q greater than or equal to j?
True
Let v(i) = i**3 - 8*i**2 - 6*i + 12. Let a be v(8). Let g = -35 - a. Are g and 2/21 non-equal?
True
Let j(s) = 5*s**3 - s**2 + s. Let p be j(1). Suppose 0 = -2*n - 3*d + 4*d + 16, 3*d - 51 = -5*n. Do p and n have different values?
True
Let n = -28 + 28.7. Let o = 0.2 - n. Is o at most -2/5?
True
Let t(g) = g**3 + 9*g**2 - 19*g + 35. Let x be t(-11). Which is smaller: 30/13 or x?
x
Suppose -2*b - b + 12 = 3*i, 0 = i - b - 6. Suppo