8/48). Suppose -3*h + 1 + 5 = 0, 0 = -3*p + 2*h - 7. Is p < o?
True
Let k = 0.22 - 2.02. Suppose -73*r = 509 - 436. Is k equal to r?
False
Let g(z) = -z - 12. Let j be g(-15). Let w be -2 - -1*(6 - j)*3. Is 5 smaller than w?
True
Suppose -157*q = -159*q + 16. Suppose -10 = -2*u + 6. Is u greater than q?
False
Let b = 17 - 15.4. Let m = 0.4 + b. Let w be 69/(-189) + 30/135. Which is smaller: w or m?
w
Let l(x) = x**3 + 4*x**2 - 2. Suppose -d = -6*d - 20. Let k be l(d). Let v be (-64)/48 - (-2)/(-12). Is k at most as big as v?
True
Let x = -3147 - -726956/231. Let o = 166/231 + x. Let z = o - 4/7. Which is smaller: z or -1?
-1
Let x(w) = -2*w + 12. Let r be x(7). Let v be (9 + -3)/r - 96/10. Is -12 smaller than v?
False
Let p = -6/6697 + -401538/314759. Are p and 0 non-equal?
True
Let f be ((-4)/20)/(1/(-194) - 0). Which is bigger: f or 39?
39
Let r = -4.6 + 7.1. Which is greater: r or 15?
15
Let n = -1944.2 - -1944. Is n at most -45?
False
Let o(g) = -g**2 - 6*g - 8. Let k be o(-5). Which is smaller: k or -11/3?
-11/3
Let h = 690 - 745.9. Let o = h + 59. Let g = o + -3. Which is bigger: g or -0.6?
g
Let h(v) = -2*v**2 + v - 5. Let z be h(4). Let d be 6/27 - 894/(-27). Let n = d + z. Which is smaller: -1 or n?
-1
Let c(a) = -8*a + 93. Let x be c(24). Is -101 at most x?
True
Suppose 89*t - 84*t = 5. Let j = -365/7 - -91629/1757. Is j greater than t?
False
Let k be -6 + 108/9 + -7. Let t(c) = -c**3 - c**2 + c - 3. Let x be t(0). Let l be 3/(-14)*x/(-9). Which is smaller: k or l?
k
Let t(a) = 15*a - 19. Let l be t(7). Is 88 not equal to l?
True
Let p = -830 + 131141/158. Which is smaller: p or 1?
p
Let b = 89 + -69. Let z be (-7)/(-15) + (-10)/b. Which is smaller: 1 or z?
z
Let z(c) = c**2 + 7*c + 16. Let f be z(-7). Let l(x) = x**3 + 23*x**2 - 23*x + 39. Let w be l(-24). Is w bigger than f?
False
Let y be 5/((-225)/474) + (-3)/(-9). Which is greater: -10 or y?
-10
Let z = 0.05 - 0.1. Let s = -6 + 11. Suppose -s*y + 10*y - 12 = v, -4*v + 2 = 5*y. Which is smaller: y or z?
z
Let v = 0.093 - 27.093. Let z = -33 - v. Is -4 not equal to z?
True
Let z be (9 - 3)*(-4)/(-6). Suppose 0 = 2*l + 2*m - z, l + 0*m - 4*m + 13 = 0. Is -1/31 less than or equal to l?
False
Let z be 20/5 - (1 - -2). Let d be (0 - z)/((-11)/2 + 2). Which is greater: d or -3?
d
Let a(i) = 2*i + 19. Let j be a(-7). Let s(m) be the third derivative of -m**4/24 + 5*m**3/3 - 2*m**2. Let u be s(5). Is j at most u?
True
Suppose 3*n - 3*o = 0, -8*o + 5*o = 4*n. Are n and -3/214 unequal?
True
Let q = -51 - -79. Suppose 173*h + 180 = 7. Which is bigger: h or q?
q
Suppose 32 = -3*g - 31. Let n = g - -29. Let f = n - 10. Is -2 <= f?
True
Suppose -3*w = -7*w + 4. Suppose -2*z = -m - 4, -z - 4 + w = -3*m. Suppose -z*n = -15, 2*n - 18 = 5*t - t. Which is bigger: t or 5?
5
Let y be 3*(-1 - (-8)/2). Let c = y - 9. Let i be (c + -2)*(-1)/(-40). Which is smaller: 0 or i?
i
Let l = 550 - 529. Is l <= 282/13?
True
Suppose 0 = 23*r - 151 - 10. Which is smaller: 85/11 or r?
r
Let z(k) = -12*k + 100. Let g be z(8). Let h = -0.4 + 0.2. Let w = h + 0.2. Which is bigger: g or w?
g
Let b(h) = h + 9. Let t be b(0). Let x be 49/196 + 10/(-8). Let u be x/(-6)*t*6. Is u greater than 7?
True
Suppose 19*i = 3*i - 320. Is 0.9 at least as big as i?
True
Let c be (1*-4)/((42/(-81))/7). Let y = c + -61. Are -8 and y equal?
False
Let a = -425 + 884. Do 1 and a have the same value?
False
Let x = 61 + -39. Let k = x + -22. Is 6 less than k?
False
Let b = 409 + -651. Let w be b/(-8) + (-1)/4. Is 31 >= w?
True
Let v = -27.001 - -0.001. Let i = 3 + v. Which is greater: i or -2/7?
-2/7
Let t = 992 - 991.9592. Is t greater than or equal to -1?
True
Let f(g) be the third derivative of -g**6/360 - g**5/20 - 5*g**3/6 + 6*g**2. Let c(v) be the first derivative of f(v). Let b be c(-6). Is 5/3 bigger than b?
True
Let l = 576/13 + -44157/1001. Which is bigger: 1 or l?
1
Let c be (-4)/(-5) + -12 + 722/60. Is c at least as big as 11?
False
Suppose -6 = -8*m + 2*m. Are m and -50 nonequal?
True
Let z(r) be the first derivative of -r**2/2 - 9*r - 3. Let d be z(-9). Let p = 59 + -235/4. Is p at least as big as d?
True
Let s = 288 - 284. Is s at most 7.8?
True
Let j be (-242)/(-6) - (-3)/(-9). Let c = -42 + j. Is -18/11 less than or equal to c?
False
Let d = -0.0719 + -0.1281. Which is smaller: d or -0.89?
-0.89
Let p be (5 + (-43)/8)/(24/16). Which is greater: p or -852?
p
Let n(d) = -d**3 - 8*d**2 + 7*d + 12. Let h be n(-8). Let v = h - -47. Is 20/7 equal to v?
False
Let y = 0.08 + -0.08. Let b = -19 + 25. Let n be (b/(-36))/(2/3). Which is smaller: y or n?
n
Suppose 4*d - 8*d + 45 = -5*n, -5*n = -d + 45. Let b(a) = a**2 + 8*a - 6. Let h be b(n). Suppose -h*x = -7 + 16. Is x less than or equal to -1?
True
Let v = 196 - 197. Which is smaller: v or 1.95?
v
Suppose -4*s - 211 = -3*o, o - 3*o + 158 = -3*s. Let i be -1 + 1/((-48)/s). Which is greater: -0.1 or i?
i
Suppose -15*n + 265 = -290. Is 32 at most n?
True
Let l(t) = t**2 - 8*t + 12. Let a be l(6). Let p(y) = -2*y + 1. Let j be p(-1). Let b be 2*((-3)/(-5))/j. Which is greater: b or a?
b
Let f be (-5)/(-93)*75/375. Which is smaller: f or 0?
0
Let g be ((-129)/(-6))/((-4)/24). Let q be (-6)/((-72)/g) - (-1)/(-4). Is q > -35/3?
True
Suppose 4*f + 64 = 4*t, 10*f - 62 = -5*t + 6*f. Is 13 not equal to t?
True
Let h = -85 - -260/3. Suppose -4*z + 5*q = -41, 0*z + 2*z = -4*q - 12. Suppose 0*m + z*m = 8. Is m equal to h?
False
Let d be -26*((-4)/(-8) - 1). Let z = 15 - d. Suppose 0 = 4*f + 4*m - 4, m - 11 = -5*f - z. Is f bigger than 2/11?
True
Let i be ((-2)/26)/(2/(-10)). Let k be (-4 - (-12 + 5)) + (-4)/(-2). Suppose 3*j = -9*j - k*j. Is i < j?
False
Let a(g) = 268*g**2 - 4*g + 5. Let x be a(3). Let j = 9531/4 - x. Let l = -427/20 - j. Which is bigger: 2 or l?
2
Suppose -29*p = -25*p + 28. Suppose 4*f = -4*o + 12, 5*f + 0*o = -3*o + 9. Suppose -2*i - 6*v + v + 3 = f, 2*i + v = -9. Which is smaller: i or p?
p
Let n be (-9)/(-4) + -3 + 5225/(-20). Which is greater: -263 or n?
n
Let d(k) = k**2 + 11*k - 5. Let x be d(-13). Let r be 6/21 + 15/x. Which is greater: r or 2?
2
Let z be (-4 + 2)*(-4)/20. Let k = -51.8 + 57.8. Is k >= z?
True
Let n be (11 + -20)/((-6)/4). Let k be -6*n/8*4. Let o be -2*1*1/k. Which is bigger: 1 or o?
1
Let n = 102.3 - 110. Let r = n + 10.7. Is -11 greater than r?
False
Suppose -930 = 35*d + 680. Which is bigger: -45 or d?
-45
Let o = 0.8 - 4.34. Let p = o - -3.3. Let u = -5.24 - p. Which is greater: u or 3?
3
Let k(f) = -f**3 - 2*f**2 - f. Let g be k(-1). Let z = -1/4485 + 9059/399165. Are g and z nonequal?
True
Let c = 694 - 694.08. Let w = 14 + -6. Suppose 5*q + 2 + w = 0, 5*q = -2*m - 8. Are c and m equal?
False
Suppose -61*q = 411 + 6543. Is 0.05 at most q?
False
Suppose -q + 8 = 3. Let n be 14/(-21) - (-3)/(18/40). Suppose 1 - n = q*b. Which is smaller: b or -2?
-2
Let h = -14647/11313 - -35/27. Which is greater: h or 1?
1
Suppose -6*u + 35 = -u. Let a(t) = -8*t + 3. Let j be a(0). Which is bigger: j or u?
u
Let o be 186/144 - 4/6. Let v = 33 - 33. Which is greater: v or o?
o
Let k = -201.98 + 202. Are 1/48 and k nonequal?
True
Let o(y) = y**3 - 4*y**2 + 3*y + 1. Let v be o(3). Which is bigger: -1/301 or v?
v
Let d(l) = 27*l - 105. Let r be d(10). Is r at least 166?
False
Let u = -0.13 - -2.03. Let m = 0.1 + u. Let q = -0.76 + 3.76. Is q less than or equal to m?
False
Let r be (-994)/42 + 12 + 2. Let f be -7 + 2/2 + -3. Which is smaller: f or r?
r
Let m = 2 - 26. Let v = 16 + m. Suppose 0 = 143*o + 370 + 774. Is o at least as big as v?
True
Let v(d) = d**3 - 3*d**2 + 2*d - 4. Let p be v(3). Let x be (-4)/(0/p - -2). Let q = -9 - -8. Is x less than q?
True
Let k be (-4)/(-6)*15 + -2. Let v = k - 6. Let q(x) = 32*x + 195. Let l be q(-6). Is l less than or equal to v?
False
Let j(u) = 6*u - 55. Let q be j(8). Let l(c) = 3*c**2 + 22*c + 6. Let i be l(q). Let b = -30 - -179/6. Is b > i?
True
Suppose 0 = -15*f + 3389 - 20219. Which is smaller: f or -1123?
-1123
Let l(u) = -4*u**3 + 6*u**2 - u - 6. Let d be l(2). Is -16 equal to d?
True
Let j be (-6)/4*2/(-3). Let v be (3 - 2)*(j - -8). Let a be (v - 4)*(-4)/(-230). Which is greater: 1 or a?
1
Let g = 11 + -21. Let i(y) = -15*y - 39. Let u(n) = 7*n + 20. Let q(c) = 4*i(c) + 9*u(c). Let l be q(-11). Is l bigger than 