Let a(k) = k**2 + 11*k + 4. Let i(w) = -3*a(w) - 4*o(w). Let l be i(-11). Is 0 equal to l?
False
Let g(u) = u**3 - 2*u**2 - 14. Let s be g(0). Is -14 smaller than s?
False
Let t = -208.3 - -211. Which is bigger: t or 1?
t
Let y = 140174/1537 - -2/7685. Let m = y + -92. Let d = 0.3 + -2.3. Is m not equal to d?
True
Let z(i) = -2*i**2 + 12*i - 6. Let a be z(5). Suppose -a*y + 58 = 22. Are y and 10 non-equal?
True
Let g = 1071567/4808 + -1783/8. Which is smaller: -5 or g?
-5
Let t = -42 + 30. Let m = t + 9. Let r = 1.48 - 1.48. Which is smaller: r or m?
m
Let i be (2/(-4))/(9/(-66)). Let c = 126 - 122. Which is smaller: i or c?
i
Let i(d) = -3*d**3 + 3*d**2 + 2*d + 1. Let t be i(-2). Let f = t - 16. Suppose 3*a + 2 = f. Is 5 less than a?
False
Suppose 23*b = -20 - 3. Are b and 8/35 unequal?
True
Let v(n) = -8*n**2 + 44*n + 130. Let w be v(-6). Is w at least as big as -424?
True
Let o be 16/168 - (-5720)/(-84). Which is bigger: o or -66?
-66
Suppose 4*s = -83 + 563. Suppose -4*t - s = -0*t + 4*p, -4*p = -5*t - 177. Which is smaller: -34 or t?
-34
Suppose 0 = -13*h + 7*h + 6. Let x be (6/68)/(22/44). Is h greater than or equal to x?
True
Suppose 0 = 2*x - 4*t - 20, -x - 4*t = -0*x - 4. Let f = -4 + x. Suppose -5 - 3 = -f*m. Which is smaller: m or 0?
0
Let m be 15/(-2)*4/(-27). Suppose -3*a - 12 = 3*u, 17*u + a = 20*u - 8. Which is greater: m or u?
m
Let a(f) = -2*f**2 - 18*f + 61. Let y be a(-12). Is 28 != y?
True
Let w be (72/27)/((-4)/(-30)). Is w greater than -14?
True
Let h be (-17)/(-12) - (-33)/(-44). Let a = 24.2 + -24. Let l = -3.2 + a. Which is bigger: l or h?
h
Let q = 332 + -336. Do 18/13 and q have the same value?
False
Let g = -3 + 4. Let m be 20/(-12)*(g + -4). Let v(j) = 2*j - 13. Let y be v(9). Is y > m?
False
Let q = 604 + -3078/5. Are q and -13 unequal?
True
Let i = 42.9 + -43.4. Are -21 and i non-equal?
True
Let a = -2/49 - 680/147. Let m = a + 9/2. Which is greater: -1 or m?
m
Let n(y) = 2*y**2 - 10*y + 1. Let p be n(7). Let z = -59/2 + p. Let u = -6 + 6.1. Which is bigger: u or z?
u
Suppose 2*a - 5 = 4*w - 21, 0 = 3*a - 3*w + 30. Let p be 3 + 0/(-2 + 6). Let f be -2*-4*p/a. Which is bigger: f or -1?
-1
Let b = 35142 + -35180. Let v(i) = -2*i**2 - 2*i. Let k be v(-5). Is b less than k?
False
Let u be (216/(-1008))/(18/21*-1). Let h = 2/381 - -3554/381. Which is smaller: u or h?
u
Let m = -24.4 + -1.6. Let d = m - -18. Which is smaller: d or 3?
d
Let t = 1.83 - 0.43. Let r = 0.6 + -1. Let b = t + r. Which is greater: b or -1/8?
b
Let j = -9/40 + -11/40. Which is smaller: j or -0.4?
j
Let q be (74/4)/(((-33)/(-78))/11). Which is bigger: 482 or q?
482
Suppose -2*n + 35 = 3*r, 0 = -2*r + 8 + 2. Suppose 4*t + 2 = n. Let c be t/6 - (-2)/3. Which is smaller: c or -1/19?
-1/19
Let g = -2 + 9. Let a be (8/(-3))/(968/(-1815)). Are g and a equal?
False
Suppose -8 = 4*c - 4*n - 0*n, 0 = 2*c + 4*n + 16. Let f(s) = s**2 + 6*s + 5. Let a be f(c). Suppose -4*m - 9 = -m. Is m > a?
False
Let m = -64.5 + 337.5. Which is bigger: m or 1/4?
m
Let j be 4 + 7/((-196)/8). Suppose -6*v + 26 = 8. Which is smaller: j or v?
v
Let s(m) = 2*m + 1. Let g(p) = -4*p - 2. Let o(q) = 3*g(q) + 5*s(q). Let b be o(-2). Suppose b*h = h. Are 2/5 and h non-equal?
True
Let p = 20 - 25. Let n be 12 - 25/((-25)/p). Which is bigger: n or 4?
n
Let h = -6.48 - 2.52. Let o = 3/26 - -7/52. Is h less than or equal to o?
True
Let w = 339 + -338. Is -1/6 at most w?
True
Let c(u) be the third derivative of -5*u**4/8 - 2*u**3 - 20*u**2. Let b be c(-2). Which is greater: 2 or b?
b
Let h = 14 + -49. Let n = 29 + h. Is n at most 0.3?
True
Let j = -4 - 11. Let q(v) = -v**2 - 2*v. Let g(z) = -6*z**2 + 1. Let b be g(-1). Let f be q(b). Is j equal to f?
True
Let g be 2*(6 + (-14)/(-7)). Which is greater: g or -3?
g
Let j = 223/210 - 8/35. Let a = j + -103/102. Suppose -4*y - 5*t = 4, 0 = -2*y - 3*t + 4*t - 2. Is y >= a?
False
Let g = 31 - 30. Let r be 0 - g - (72 + -5 + 7). Is r bigger than -75?
False
Let t = -110.03 + 110. Let n = t - -0.09. Which is greater: n or 1/4?
1/4
Let s = 11 + -43. Let k be (s/12)/(2/(-6)). Which is smaller: 55/6 or k?
k
Suppose -i - 2 - 7 = y, 0 = -3*y + 6. Is i > 1/57?
False
Suppose -57*i - 1115 = 82. Do -151/7 and i have the same value?
False
Let f(b) = -b**3 + 9*b**2 + b + 5. Let k be f(9). Suppose 4*r = -14*r + 306. Is k greater than r?
False
Let z(t) = -9*t**2 + 3*t + 3. Let l(p) = p**3 + p**2 + p. Let h(k) = l(k) + z(k). Let s be h(6). Let m be ((-4)/(-6))/(s/27). Which is bigger: m or -1?
m
Suppose -5*x + 3*h = 10, -4*x - 2*h + h = -9. Which is smaller: 0.19 or x?
0.19
Let o be 2/4 - (2 + (-52)/8). Suppose o*q = 2*f - 4, 3*f - 2*f = 2*q + 4. Which is smaller: f or 11?
11
Let x = 27/41 + -122/123. Is -443 greater than x?
False
Suppose 10 = z + 4*z. Suppose -i + 4*i - 9 = -z*b, -2*b + 2 = -4*i. Let k be ((162/(-36))/9)/(2/(-28)). Which is greater: i or k?
k
Let q be ((2 + 2530)/(-6))/(3 + -1). Which is smaller: 1 or q?
q
Let q = 50667 + -50668. Let j = -414544/33 + 12563. Let c = -8/11 + j. Is c < q?
False
Let m be 0 + 24/(-3 - 1). Let z(y) = 2*y**2 + 2*y. Let q be z(m). Let l be (-10)/q + 1/6. Are -4/11 and l non-equal?
True
Let j(y) = 5*y - 15. Let g = 31 + -25. Let r be j(g). Which is smaller: r or 17?
r
Let k(d) = 2*d**2 + 34*d - 75. Let g be k(-19). Which is smaller: -1/2016 or g?
-1/2016
Let g = 187.036 - 187. Which is bigger: -0.1 or g?
g
Let u be ((-10)/(-6))/((-66)/72). Let b be 4084/(-2464) + 4/(-14). Let o = b - u. Are o and 0.1 unequal?
True
Let x = -3 - 1. Let d be (1 - -1) + 0 + 23. Suppose 4*k - 9 = -d. Does x = k?
True
Let r(a) = -11*a**2 + 6*a + 73. Let n be r(-7). Which is bigger: n or -2?
-2
Let j = 1.23 - 248.23. Let u = j - -242.92. Let a = 0.08 + u. Is -0.3 at least as big as a?
True
Let q = 4603 - 32343/7. Are q and -17 non-equal?
True
Let t(q) = 7*q**2 + 168*q**3 - 169*q**3 - 2*q - 40 - 25*q**2. Let a be t(-18). Let g be -2 + (2/1 - 3). Are a and g unequal?
True
Suppose 2*p = 7*p + 4*i - 26, 0 = 2*p - 2*i + 4. Is p less than 1?
False
Suppose 3*d = -3*v + 1140, d + d = v + 745. Which is greater: 376 or d?
376
Let p = 3.4 + 1. Let y = p - 4.4. Let g be 64/78 + 6/(-39). Are y and g non-equal?
True
Suppose 5*x - 3*x - 48 = 0. Let v = -25 + x. Which is bigger: -14/9 or v?
v
Let z = -415 + 452. Which is bigger: 13 or z?
z
Let c = -0.724 + -425.276. Is c >= 0?
False
Suppose 11*d + 62*d - 17*d = 0. Which is smaller: -1/105 or d?
-1/105
Let m(k) = k**2 - 7*k + 5. Let l be m(5). Let z = -10 - l. Let i be (-14)/(-6) + 15/z. Are i and 1 unequal?
True
Let z be ((-2385)/21)/3 - 4. Let t = z - -43. Which is greater: 1 or t?
t
Let y(a) = a**3 + 7*a**2 + a - 5. Let x be y(-7). Let p = 12 + x. Let d = -21 + 23. Which is smaller: d or p?
p
Let q = 336148/131 + -2566. Is 1 less than q?
False
Suppose -3*u - 18 = -4*k, 14 + 6 = 5*k - 5*u. Suppose 3*n + k = 6*n. Is -14 smaller than n?
True
Let l = -24/1139 - -8930/531913. Is 1 less than l?
False
Suppose -3*y - 6 = 2*j, -3*y + 2*j + 9 = -j. Let m be 2966/(-18) - ((-32)/4)/(-4). Let i = 167 + m. Is y less than i?
True
Let a be (1/5)/(4/(-12)). Let f be (-28)/(-6)*(-1 - 2). Let p be 4/f - (-18)/14. Are a and p nonequal?
True
Let i(r) = 3*r**2 + 2*r**3 - 3*r**3 + 4*r**2 - 12*r**2. Let u be i(-5). Let b(j) = j - 5. Let z be b(u). Which is greater: -4 or z?
-4
Let l be 5 + (-16)/12*3. Do l and 5/81 have different values?
True
Let w be (-4)/(-76)*(-165)/(-11). Is 0 >= w?
False
Suppose -13200 = -13*i - 11*i. Is i greater than 550?
False
Let s = 1001922/17395 - -6/3479. Is s greater than or equal to 59?
False
Let i(m) = -5*m. Let u be i(-4). Let q be ((-4)/(-12))/((14/(-24))/(-7)). Let f be 5/q*4/u. Which is smaller: f or 8?
f
Suppose 6*x - 8*x = -58. Suppose -40*k + 154 = -x*k. Does 15 = k?
False
Let q be 8/12 + 22/(-33). Which is bigger: 6/157 or q?
6/157
Let t(a) = 2*a - 11. Let f be t(9). Suppose 2*s + 5 = 5*r, -s + 3*s = r + f. Let b be 462/(-980) + 2/s. Which is bigger: 1 or b?
1
Let m = -251 + 250. Which is bigger: m or -2/1175?
-2/1175
Let q = 34 + -24. Let l = -68.8 - -68.5. Is q at most l?
False
Let m(y) = 4*y**3 + 2*y**2 - y - 2. Let u be m(1). Which is smaller: 9/5 or u?
9/5
Let o(h) = -h**2 + 10*h - 11. Let k be o(10). Is k bigger than -26?
True
Let i = -7 + 27. Let z be (2/5)/(2/i). Suppose 0*y -