Let y be o(13). Is g bigger than y?
False
Let z(t) = -631*t**2 + 5*t + 6. Let f be z(-1). Let l = 2485/4 + f. Which is greater: -8 or l?
-8
Let h be -3*1 - 7380/(-2320). Let q = h - -1393/1276. Which is smaller: 0 or q?
0
Suppose 160 - 149 = 11*s. Is 19/30 not equal to s?
True
Let x be 15/2*20/15. Let m = x - 15. Suppose 2*d - d = -4. Which is smaller: d or m?
m
Let t(b) = -2*b - 21. Suppose -3*p + 37 = -2*u, 27 = 4*p - 5*u - 20. Let o(r) = r + 11. Let j(a) = p*o(a) + 6*t(a). Let g be j(-8). Which is greater: g or 10?
10
Let t = 546 + -106. Suppose 5*a + 0*a + t = 0. Let x be a/24 + 2/(-6). Is -3 smaller than x?
False
Let v be (-32)/(-3)*66/88. Let c(p) = 7*p**2. Let k be c(1). Which is smaller: v or k?
k
Let s = 0.102 - -3.998. Let d = s - 4. Are 0.3 and d nonequal?
True
Let x be (-6)/(-10) + 1/(-10). Let o = 7.9 + -7.39. Let c = o - 1.51. Which is greater: x or c?
x
Let f = -0.011 + 0.034. Let m = 3.023 - f. Which is greater: 0 or m?
m
Let u be 2*(-68)/(-240) - 3/18. Is 253 >= u?
True
Let k be (-1 - (-1575)/132) + -412 + 401. Let m(l) = l**2 - 5*l. Let p be m(5). Do p and k have the same value?
False
Let w be 189/12 + (-4)/(-16). Let l = -14 + w. Let b(k) = -k**3 + k**2 + k + 1. Let z be b(l). Is 2/43 > z?
True
Let x be (3 - 5 - 0)*-10. Let d = x + -14. Suppose d = -3*v + 4*c, -5*c + 4 = -2*v - 7. Do 2/11 and v have different values?
True
Let u = -16 - 4. Let o(d) = d**2 + 21*d + 29. Let c be o(u). Let m be 1 - (1 + 16/(-2)). Which is smaller: m or c?
m
Let l be (-1)/7*0 + 6/4. Which is greater: -4 or l?
l
Let u(l) be the first derivative of l**4/4 + 2*l**3/3 - l**2/2 - 2*l + 13. Let m be u(-2). Which is bigger: m or 1/3?
1/3
Let c = -651 - -837. Is c < 189?
True
Suppose 3*m - 16 = -4*j, 3*j + 2*m - 11 = -0*m. Is 1/169 > j?
False
Let d(b) = b**3 - 29*b**2 + 3*b - 11. Let w be d(29). Is 77 bigger than w?
True
Suppose -29*u - 3 = -32*u. Let o be -19 + u + -4 + 2. Which is smaller: -21 or o?
-21
Let h = 139 + -165. Which is smaller: h or -0.2?
h
Let u be (-707 - 10/5) + -8. Is u less than or equal to -2/7?
True
Let h = -0.68 - -1.12. Let d = -0.51 + h. Is -0.2 less than d?
True
Let l = 19 - 7. Let m = 5 + -4.8. Which is smaller: m or l?
m
Let r be (2/(-10))/((-6)/40). Which is greater: r or -0.1?
r
Let g(u) = -2*u - 1. Let r = 0 + 1. Let i be g(r). Suppose 52 = 5*a + 4*j + 54, 3*j - 8 = a. Which is greater: a or i?
a
Let q be (-2)/(-13) + 121694/26949. Let o = q - 2/691. Is o less than 5?
True
Let i = -60 + 12. Let m = 48.1 + i. Which is greater: m or -1?
m
Suppose 4 = -2*q, -3*l = -l - 2*q + 34. Let d = l + 18. Which is bigger: 1/33 or d?
1/33
Let g = -0.4074 - -0.4634. Let s be 0/((-3)/(1 + 2)). Is g smaller than s?
False
Let c be ((-56)/35)/(-2 - (-33)/15). Let s be (2/5)/(c/(-120)). Which is smaller: s or 36/7?
36/7
Let u be 16/6 - (-2)/6. Suppose -2*s + 15 = 2*l - l, -u*l + s + 24 = 0. Let a be l/27 - (0 - 0). Is -0.5 < a?
True
Let y be (1462/(-255))/((-4)/(-6)). Suppose -4*g + 3 = h, -4*h - 27 = 7*g - 4*g. Which is smaller: h or y?
h
Let z = -12827/15 - -2566/3. Let i(d) = d**2 - 4*d + 4. Let v be i(3). Which is smaller: v or z?
z
Suppose 86*y + 667 = 63*y. Which is smaller: y or -22?
y
Suppose c - 56 = -4*d + 672, -3*d + 546 = -3*c. Is 180 less than d?
True
Let t(a) = -a**2 - 11*a - 19. Let x be t(-9). Let b = -42.6 + 43. Which is smaller: x or b?
x
Let c(x) be the first derivative of x**2 - 11*x + 2. Let q be c(7). Let j(u) = u + 3. Let w be j(q). Which is greater: 5 or w?
w
Let i = 28.442 + 0.658. Let m = -28 + i. Let j = m + -0.8. Is 0.3 > j?
False
Let n = 142 - 141.5. Suppose 0*i = 4*i. Which is smaller: i or n?
i
Suppose -w = -2*l, w - 2*l = 2*w - 4. Suppose 3*b = 3*j + 12, 2*b = -w*j + 3*j + 8. Suppose -2*z + 0*y = 5*y + 12, 3*z + y - 8 = j. Which is smaller: 2 or z?
2
Let j = 8 - 0. Let t be 1/(-4) + 42/j. Let s be -14*(-4)/(-10)*t. Which is smaller: s or -27?
s
Suppose -2*c = -3*n - 0*c + 4, -5*c - 10 = -4*n. Suppose 0*f - f + 30 = n. Suppose 5*s + 0 + f = 0. Are s and -4 equal?
False
Let q be 1 - (9 - (-8)/(-2)). Let s be (-2)/4 + (-129)/30. Which is smaller: s or q?
s
Suppose 3*a - 37 = -28. Which is greater: a or 74/27?
a
Let l(h) = -h**2 + 3*h + 6. Let o(c) = 3*c**2 - 8*c - 17. Let n(a) = 11*l(a) + 4*o(a). Let z = -3 - -1. Let m be n(z). Is m greater than -2/21?
True
Let l = -58 - -61. Suppose a = -l*d + d + 30, -186 = -5*a + 2*d. Is 36 less than or equal to a?
True
Suppose 11*i - 57 = 8*i + 5*b, 3*i = 4*b + 60. Which is smaller: 23 or i?
23
Let w be (-2 - -2)/(6 - 9) + -1. Let c = 269 - 4843/18. Which is bigger: w or c?
c
Suppose 0 = 3*w - 4*q - 18, -2*q = -q. Suppose 0 = -9*j + w*j. Suppose -4*o - 2 - 6 = j. Which is greater: o or 2/7?
2/7
Suppose -2*n - 3*d - 5 = 31, 2*n + 8 = 4*d. Is n greater than -13?
True
Let q = -158.9 + 159. Is q >= 1?
False
Suppose 4*c - 4*t + 108 = 0, -4*t = c - 6*c - 135. Suppose -5*x = 118 + 27. Is x < c?
True
Let f be (-90)/(-54)*2/(-5). Let s = -0.3 - -0.35. Is s > f?
True
Suppose x - l - 22 = 0, 4*x - 7*l + 2*l - 91 = 0. Let m = x - 27. Which is bigger: -7 or m?
-7
Let p be (-90)/146664*(3946/40 - -1). Let m = p + 10/291. Are -1 and m nonequal?
True
Suppose 0 = -89*q + 91*q + 350. Is -175 > q?
False
Let l = -40.5 + 37. Let n = 3.3 + l. Let g(a) = a**2 + 7*a + 9. Let x be g(-6). Are x and n non-equal?
True
Let r be -12*(-4)/18*-3. Let p be 0 + 1 + 12/r. Let l = 139 - 140. Which is smaller: l or p?
l
Let j(f) = 93*f**2 - 36*f - 126. Let m be j(-4). Is m > 1506?
False
Let w(n) = n**2 + 18*n - 20. Let q be w(-19). Which is smaller: -1/24 or q?
q
Suppose 248 = k + 7*k. Let l = k + -28. Is l smaller than 3?
False
Let c = -0.09 - -0.08. Let w = -0.01 - c. Let s = -9.5 - -9.4. Do w and s have different values?
True
Let g be (-3 - -8) + (0 - 2). Let z(s) = -4*s**3 - s + 11*s**2 + 3*s**3 + 2*s**g. Let v be z(-11). Are v and 11 non-equal?
False
Let s(q) = -4*q**3 + 12*q**2 - 46*q - 39. Let d(o) = -3*o**3 + 13*o**2 - 45*o - 39. Let v(w) = -5*d(w) + 4*s(w). Let a be v(-19). Is -21 < a?
True
Let b be 17/((-5)/(-15)*3). Are 9 and b unequal?
True
Let u = -1219556 - -1807968. Let w = u - 311858247/530. Let j = w - 6/53. Is 0.1 bigger than j?
False
Let p = 30 - 16. Let w = p - 9. Suppose 5*y = -w - 35. Which is bigger: y or -9?
y
Let h(m) be the first derivative of m**3/3 - 3*m**2 - 6*m - 4. Let s be h(6). Which is bigger: -5 or s?
-5
Let n = -144 + -2. Let z = 151 + n. Which is smaller: z or 1/4?
1/4
Let h be 23/(-4) - 8/((-288)/27). Let z(t) = -t**3 - 4*t**2 - 2*t - 6. Let k be z(-4). Suppose -3*y - 20 + k = 0. Are y and h equal?
False
Let u be (-15)/(-10)*(-3 + (-4 - -3)). Are -3 and u unequal?
True
Let l = 10.2 + 0.8. Let m = 16 + 0. Let t = l - m. Are t and 4 non-equal?
True
Suppose f = -1 - 0. Suppose -o + 3*p - 14 = 0, -o - p + 2 = -0*p. Let r be o/(-1*6*-3). Is r equal to f?
False
Let w(x) = -x**2 + 2*x - 14. Let i be w(0). Let d be (-34)/i - (-6)/(-14). Suppose -2*c + c + 3*r = -17, c - 16 = d*r. Which is bigger: c or 15?
15
Let m be -1 - (-17 - -8) - 13. Is m smaller than -48?
False
Let b be 90/(-10) + (1/1 - -2). Let v be (b/9)/((-60)/234). Is v bigger than 3?
False
Suppose -2*n - 7 = 35. Let d = 16 + n. Which is greater: d or -4?
-4
Let s(l) = -7*l**3 - 4*l**2 + l + 2. Let m(v) = 22*v**3 + 13*v**2 - 4*v - 7. Let c(f) = 2*m(f) + 7*s(f). Let t be c(-2). Is t at most 35?
True
Let j(v) = v**2 - 10*v + 9. Suppose 5*d + 2*s + 90 = 0, 5*d + 155 = 5*s + 30. Let m = d - -29. Let k be j(m). Which is greater: -7/5 or k?
k
Suppose -5*c - 120 = -2*d, 9*c + 184 = 4*d + 13*c. Is d less than or equal to 52?
True
Let f = 571 - 549.76. Let j = -21 + f. Let b = -27 + 28. Are j and b non-equal?
True
Let z(y) = 3*y - 1. Let t be z(1). Suppose 5*f + 16 = t*k, -3*k = 2*k - 15. Let q be (2/f)/(44/(-8)). Is 1 smaller than q?
False
Let o = 682 + -198. Let r be (1/(-1))/(-1)*(-22)/o. Is r <= -1?
False
Let d(a) = -a**3 + 3*a**2 + 7*a - 5. Let l be d(4). Let h = 3/230 - -746/115. Let u = h - l. Is -1 at most u?
True
Let n = 88 - 56. Let q = n - 34. Do q and 23 have the same value?
False
Let m = 895 + -1003. Which is smaller: -107 or m?
m
Suppose -7*i = -3*i + 316. Let l = 81 + i. Is 12/7 < l?
True
Let z = -0.212 - -0.312. Do z and 52/7 have the same value?
False
Let m = 73284 - 585345/8. Let i = m + -116. Do i and -1 have 