et x be (1 - 45/12)/((-7)/(-8)). Does u = x?
False
Let f = -30055/41 + 733. Suppose -u + 4*u = 0. Which is smaller: f or u?
f
Let s = -0.06 - 0.06. Let u = s + 0.42. Let l = u - 0.6. Which is greater: -1/5 or l?
-1/5
Let j(n) = -4*n**2 - 3*n + 8. Let l(w) = -w**2 + w - 1. Let v(k) = j(k) + 6*l(k). Let g be v(-1). Which is bigger: -8 or g?
-8
Let x be (14/3 + -3)*(1 + 2). Suppose 0 = 3*h - x*d - 43, 6 = 4*d + 26. Which is bigger: h or 44/9?
h
Let v = 179 + -162. Suppose -72 = -2*g + 7*s - 2*s, -s + 91 = 3*g. Suppose -3*w - 4*h = -5*h - v, -4*w + g = -3*h. Is w greater than 2?
True
Let c = -3.9199 - 0.3061. Let k = c - -0.026. Let l = 4 + k. Which is smaller: 3 or l?
l
Let n = 29 - -118. Let r be -3*((-154)/n - (-2)/(-7)). Does r = -3?
False
Let f be 18/(-48) - 239/24. Suppose -2*l = -5*l - 30. Is l smaller than f?
False
Suppose 4 = 5*p - 3*p. Suppose k - 10 = 4*a, -a - a = p*k. Which is greater: 12 or k?
12
Let y = -0.241 - -0.141. Which is greater: y or 45/2?
45/2
Suppose 2*f - 2*l + 17 = l, 0 = 3*f + 3*l + 18. Let u = -15 - f. Let b be u/(1 + -3) - -4. Does b = 8?
True
Suppose -2*u = 5*z + u + 5590, -4*u - 1135 = z. Let v = 12253/11 + z. Which is bigger: v or 0?
0
Let d(i) = -i - 6. Let r be d(-6). Let b be (9/(-6))/(2/4). Let u be (-6)/b - 76/36. Which is bigger: u or r?
r
Suppose 446 = 10*n + 4206. Is -377 greater than n?
False
Suppose 3 = 2*h + 5. Let f be 4*h*1/2. Suppose -4 = 4*l + o + 2, -5*l = 3*o + 4. Is l at most f?
True
Suppose -y = 5*i + 2*y + 80, 0 = 3*i + 4*y + 48. Let q be (i/12)/(-4)*9. Suppose 0 = 2*c + q - 7. Which is smaller: c or 0?
0
Let t be (-6)/(-8)*16/(-4). Let r be t + (-6)/(-3) + 0. Let m be ((-3)/4)/(2736/(-384)). Is r <= m?
True
Let d be 115 + -109 + (-466)/80. Does d = -1?
False
Let s = -51/11 + 398/55. Let v = s + -3. Is -1 less than or equal to v?
True
Let r = -7 - 11. Let j = 27.2 - 27. Which is greater: j or r?
j
Let u = -51 + -2. Let y = u - -34. Is -19 != y?
False
Let g(d) = d**3 + 6*d**2 + 1. Let n be g(-6). Let m = 6920 + -1100276/159. Let a = -533/2226 + m. Which is greater: n or a?
n
Let k be ((-6)/(-1 - 2))/(1*-2). Is 1/524 not equal to k?
True
Let k be 1/3 - (-26)/(-33). Suppose 2*p - 8 = z, -4*p + 3*z + 26 = 6. Suppose -7*q + p*q = 0. Which is smaller: k or q?
k
Let a be 4*(-3)/(6*-1). Suppose 0*r + 8 = -a*r. Let j be (-5)/(-11)*r/(-10). Is j greater than 1?
False
Let b = -15061/2832 - -85/16. Which is bigger: 1 or b?
1
Suppose -4*u - 2*p = -3*p, -5*u + 25 = 5*p. Let t be -7 + 78/12 - (-6)/8. Which is bigger: u or t?
u
Let i = 48 + -11. Suppose -i + 13 = 4*o. Which is smaller: o or -3?
o
Let g be (-1)/3 - 26/(-6). Let i = g + -2. Suppose 0 = -2*z + i*r - 6, -7*r + 7 = z - 3*r. Which is greater: z or -3/4?
-3/4
Let r be 11/(-33) - (-4)/3. Suppose 2*x = r + 1. Let h = 8 - x. Is 6 bigger than h?
False
Let d = 250297/10 + -24996. Which is bigger: d or 35?
35
Let b = -13989 - -13989. Let x be 1*4 - (-3)/3. Let i = x - 7. Are b and i nonequal?
True
Let k(o) = -o**2 - 10*o - 4. Let t be k(-9). Let w = -5 + -42. Let s = -46.9 - w. Which is smaller: t or s?
s
Suppose -4*m - 4*v - 16 = 0, 4*m + 0 + 7 = 5*v. Is -29 at most as big as m?
True
Let r = 133 - 139. Which is bigger: -16 or r?
r
Let j be 338/840 - 1/4. Let w = 1/21 + j. Let u = 2.9 - 0.9. Which is bigger: w or u?
u
Let f be (((-88)/363)/(-8))/((-2)/(-6)). Suppose 2*d = -2*d - 2*l + 6, 3*d + 5*l - 22 = 0. Is f equal to d?
False
Let p(g) = -g**2 + 11*g + 2. Let b be p(6). Let t = 535 + -504. Is t greater than or equal to b?
False
Let g be (-24)/(6/3) - -2. Let x(d) be the second derivative of d**4/12 + 7*d**3/6 - 3*d**2/2 + 7*d. Let u be x(-6). Is g greater than u?
False
Suppose -94*k - 181 = -93*k. Which is bigger: k or -180?
-180
Let y be (2/(-12))/(-9*5/20). Let c be 2/(-28)*(-8)/2. Which is smaller: c or y?
y
Let l = -4153/11 + 375. Let w = l + 27/11. Which is bigger: w or -4?
w
Let q = 51 - 54. Let u = q + 2.9. Which is smaller: 0.29 or u?
u
Let p = -581 + 665. Which is smaller: 83 or p?
83
Let q be 90/720 - (-263)/8. Is q smaller than 228/7?
False
Let p(b) = b**2 - 6*b + 17*b - 5*b - 5 + 0. Let y be p(-7). Let j = y - 7. Is -5 smaller than j?
False
Let w(t) = -t**3 + t**2 + 5*t - 16. Let s be w(5). Do s and -91 have the same value?
True
Let c be (-3 - -9*6)*(-853)/33. Let o = c - -1317. Are 0 and o nonequal?
True
Let p = -80 - -95. Let q(h) = -3*h**3 - h**2 + 4*h + 2. Let i be q(-2). Which is bigger: p or i?
p
Let f = -50.1 - 15.9. Let b = -65.4 - f. Which is smaller: -7 or b?
-7
Let w = -1273 - -1272.9. Is w > -305?
True
Let a(l) be the first derivative of l**4/8 + l**3/3 - 3*l**2/2 + 8. Let u(v) be the second derivative of a(v). Let w be u(-1). Is -2 at most as big as w?
True
Let o = 1386 - 1383. Which is smaller: o or 105?
o
Let s = -19 + 33. Suppose 46 = 8*f + s. Let i be 0/(f*(-3)/6). Which is smaller: 1 or i?
i
Let j = 2 + 0. Let p(n) = -2*n**3 + 8*n**2 + 24*n - 7. Let s be p(6). Is j at least as big as s?
True
Let s = -0.12 + 1.12. Which is greater: 45 or s?
45
Let w = 1.262 + -49.162. Which is bigger: w or 2/11?
2/11
Suppose -s - 4*a - 12 = 0, -s - 12 = 2*s + 4*a. Suppose 0*u - 2*u - 48 = s. Which is smaller: -23 or u?
u
Let o(m) = m**3 + 2*m**2 - 3*m - 1. Let u be o(-4). Let x be 2/(-3)*u/140. Let l = -5 - -5. Do l and x have the same value?
False
Suppose n + 7 + 15 = -4*v, 3*n - v + 1 = 0. Let i be (n/(-3))/(12/126). Let j = -9 + 14. Which is smaller: i or j?
j
Suppose -3*q = f - 108, -600 = -5*f - 0*q - 3*q. Let u = -86341/710 + -141/142. Let o = f + u. Is o < 0?
False
Let f be (-1 - 0)/(3/(-12)). Let l(n) = 2*n**2 + 1. Let u be l(-1). Suppose 0*p - 2*p - 5 = -u*c, -3*p + 18 = 4*c. Is f at least as big as c?
True
Let h = 51 - 42. Let d = -11.7 + 1.7. Let y = d + h. Which is bigger: y or -4?
y
Let j be ((133 - -1)/(-2))/(8/32). Which is greater: -267 or j?
-267
Suppose 0 = -0*u - 5*u + 20. Let k = -19 + 22. Is k at least u?
False
Let z = 549 - 27997/51. Let k(j) = 1 - 2 + 2*j**2 - 9 + 19*j - 4*j**2. Let p be k(9). Which is greater: z or p?
z
Let n = -105 - 11. Let l be n/(-8) + (-1)/(-2). Suppose -5*w + 3*z - 9 = 0, 4*w + l = -w + 5*z. Which is smaller: w or 1/6?
w
Let n = 9 + -3. Let u(b) = -b**3 + 4*b**2 + 12*b + 1. Let t be u(n). Let c = -6 - -3. Which is smaller: t or c?
c
Let u = 23 + -11. Suppose -2*o = 2*o - u. Suppose -2*w + 34 = 28. Is w bigger than o?
False
Let g(y) = 2*y**2 - 3*y - 1. Let v(h) = 3*h**2 - 7*h - 3. Suppose s - 1 + 4 = 0. Let b(t) = s*v(t) + 5*g(t). Let z be b(-5). Which is smaller: z or -6/5?
-6/5
Suppose r + 2*k + 2*k - 13 = 0, 5*r = -4*k + 129. Let x = -1407 + 1407. Is x at least r?
False
Let x = -7 + 32. Let n be 0 + 2 + (-6 - 8/(-3)). Which is bigger: n or x?
x
Let j be (-30)/25*((-40)/2)/4. Which is bigger: j or -1?
j
Let a = 7.26 - 2.86. Which is greater: 0 or a?
a
Let h be (2 + 33/(-20))*(-8)/(-28). Suppose 0*v + 3*z = -5*v - 2, 2*z - 6 = 4*v. Which is smaller: h or v?
v
Let i be (1 - 4)*26/(-6). Let t(d) = -8 - 2*d**3 + 14*d**2 + 3*d**3 - 13*d - 2*d**3. Let g be t(i). Are g and 0 nonequal?
True
Let d = -228 - -238. Is 43/4 bigger than d?
True
Let i(k) = 2*k - 2. Let v(z) = 3*z. Let r(l) = i(l) - v(l). Suppose 0 = h - 2 + 4. Let u be r(h). Which is greater: u or -2/3?
u
Let n(i) = -i**2 + 3*i + 7. Let g be n(5). Let r = 9.5 + -11. Let f = 1.7 + r. Is g less than f?
True
Let h = 76 - -20. Let m = -185/2 + h. Which is greater: 5 or m?
5
Let a = -9 - 3. Let k = a - -11.8. Let b = 132 - 126. Do b and k have different values?
True
Let v(i) = -i**3 + 3*i**2 + 2*i - 2. Let j be v(2). Let u = -1 - -5. Let h be ((-7)/(-2))/(u/8). Which is greater: j or h?
h
Suppose 4 = -r - 0, 2*x = 4*r + 30. Let u(j) = j - 6. Let d be u(x). Let i be 1/2*(d + -1). Are i and 2/9 nonequal?
True
Suppose 2*v - 5*s = -s - 4, -10 = -v - 4*s. Suppose v*p - 4 = -0. Is p at most as big as -3?
False
Suppose -1 = -f - 0. Let u(m) = m**2 - 12*m - 2. Let s be u(13). Let t be (-280)/(-880) - ((-2)/s)/(-1). Which is bigger: f or t?
f
Let w(j) be the third derivative of -j**6/120 - 3*j**5/20 - 5*j**4/24 - 2*j**3/3 - 5*j**2. Let r be w(-8). Let z be 2*-2*(-12)/r. Which is smaller: -1 or z?
z
Suppose -4*j + x = 2, -4*j - x - 3 - 3 = 0. Let n be j/(-4) - (-18)/(-8). Let h(r) = -r + 2. Let w be h(2). Are w and n nonequal?
True
Let b be -1 + 0 + 34