Let c = h - -1. Is i at most as big as c?
True
Let i = -3 - 2. Let y = -373 + 368.2. Let r = i - y. Which is greater: -6 or r?
r
Let z be (-4)/(-30) + 2/10. Let w be 2 + (-12)/7 + 4/(-14). Let k be (-27)/(-9)*((-2)/(-6) + w). Which is smaller: z or k?
z
Let d(k) = k + 3. Let s be d(-9). Let x = s - 12. Is 2/5 at most as big as x?
False
Let j be (-1032)/20 - (24/(-15))/(-4). Is j less than or equal to -47?
True
Let w be ((-3)/(-6))/((-1)/(-2)). Let a be 4*(3/4)/w. Suppose 0*f - 3*j = -3*f, -a*j = -2*f - 1. Is 1/12 at most f?
True
Suppose -v = -4*v + 5*b + 89, 61 = 2*v - 5*b. Let y be -32 + ((-8)/v - (-2)/7). Is -31 at least as big as y?
True
Let s be (1 - 7/2)/(11/(-1166)). Is 266 bigger than s?
True
Suppose c - 7 = -w, 2*c - c = -3*w + 11. Let s(v) be the second derivative of -v**4/12 - v**3/3 + v**2 - 31*v. Let n be s(0). Is w >= n?
True
Let k = -190 + 189.5. Let p = 1.4 + 0.6. Is k at most as big as p?
True
Let m(j) = -6*j - 9*j - j**2 + 12*j + 5. Let h be m(-4). Let b be (2/(-25))/(h/35). Which is bigger: b or -2?
-2
Suppose 0*p + 2*p + b = -6, -8 = -2*b. Let y be (-12)/(-24)*(0 - 2). Is p smaller than y?
True
Let a be (-7)/((-147)/77) + (-2)/(-6). Suppose -5*d + v = a, -5*d + 3*v - 6 = 4*v. Are -5/3 and d equal?
False
Suppose x - 4*g - 273 = 6*x, 3*x = 4*g - 183. Let u = x - -43. Is -16 at least as big as u?
False
Let q = -47/56 + 9/8. Let z be (95/(-23) - -4)*38370/9. Let w = 556 + z. Which is smaller: w or q?
w
Let y = -190 + 22039/116. Which is smaller: 1 or y?
y
Let p be 1 + -7 - (-8 + (4 - 2)). Which is greater: 8/203 or p?
8/203
Suppose -32 = -b - 2*b + a, 4*a = b - 29. Let q = 6 - b. Let h = 3 - q. Which is smaller: h or 2?
2
Let l be (-12)/(-9) - 1199/33. Let b = -112 - -77. Is l >= b?
True
Let q = 2 + -2. Suppose -4*y = 3*w + 80, -2*w + y - 20 = 26. Let b be w/374 - (3 + (-105)/33). Which is smaller: b or q?
q
Let o be ((-12)/(-9))/(2/(-3)). Suppose l + 2*w = -2, 2*l - 4*w + 3 + 1 = 0. Is o >= l?
True
Let x(y) = y**2 + 2*y - 3. Let z be x(1). Suppose -o - t - 2 = 0, 4*o - 2*o - t - 5 = z. Is -2/11 at least as big as o?
False
Let w be ((-276)/18)/(1/(-3)). Let d = w + -43. Let a = 7.4 + -8. Is a bigger than d?
False
Let y(j) = j**3 + 14*j**2 + 12*j - 5. Suppose 0 = 2*f - 3*f - 13. Let k be y(f). Suppose 0 = -5*s + k + 77. Are s and 17 non-equal?
False
Let t(w) = 8*w - 191. Let b be t(24). Are -1/1983 and b unequal?
True
Suppose 4 = u - 1, -4*c + 49 = 5*u. Let m be 0*(0 + (-3)/(-3)). Let d be (m - -2)/c*3. Which is smaller: d or 2/5?
2/5
Let p(z) = z**2. Suppose 6*n - 8*n = -4. Let t be p(n). Suppose -3 - 1 = -f - h, 12 = t*f + 3*h. Which is smaller: f or 10/11?
f
Suppose -49 = -2*g - 5*d, 5*d - 23 = -8. Let b be g*2/32 + (-2)/2. Are -1 and b equal?
False
Suppose -b = 3*w - 13, 31*w = -5*b + 36*w + 125. Which is smaller: 26 or b?
b
Let z be 5/(-2)*8/200. Is z bigger than -0.064?
False
Let y = -269839585/46 + 5864835. Let r = y - -1243. Which is greater: 0 or r?
r
Let g = -6214.93 + 6177. Let z = 38 + g. Is -2/9 not equal to z?
True
Suppose 3*a - 240 + 6 = 0. Suppose -a = -6*r - 0*r. Is r >= 13?
True
Let y be 7/(-7 - (-136)/20). Is y less than or equal to -46?
False
Let p = -20473 + 17422525/851. Do p and 1 have the same value?
False
Let c = -23.1 - -24. Let g = 6.9 - c. Which is smaller: g or 0.2?
0.2
Let b = 18/13 - 697/494. Let n(v) = -v**3 + v**2 + v + 3. Let q be n(2). Is b >= q?
False
Suppose 4*p - 15 = p. Let v(g) = g + 7. Let m be v(-5). Suppose 2*l - 10 = p*j - l, -5*j + m*l - 5 = 0. Is j > 3/8?
True
Suppose 37*m - 36*m = -2*a + 32, -5*m - 4*a = -142. Is -9 bigger than m?
False
Suppose -3*h + 5*h + 5*t + 16 = 0, -5*t - 20 = 0. Suppose q + 2*s = h*q + 7, 4*q - s = 0. Is -1/79 at least as big as q?
False
Let a = 2.5 + -10.5. Let f = a + 16. Let p = -7.3 + f. Which is bigger: p or 0?
p
Let l(p) = p + 1. Let b be l(-5). Let w = -5 - b. Let y = -1 - w. Is y >= -7?
True
Suppose 2*m - 3*i + 12 = 0, -2*i = -3*i + 4. Let y = 1974/17845 + 12/415. Is m smaller than y?
True
Let o = 130/9 + -14. Let x = 32 - 38. Let c be (-4)/8*12/x. Which is greater: o or c?
c
Let p = -16 + 20. Suppose 4*g + g - 40 = 0. Suppose -3*m - 2*d - 12 = 0, p*d + 0*d = 2*m - g. Which is greater: -3 or m?
m
Let l = -903/8 + 111. Let c = -119/72 - l. Which is greater: 30 or c?
30
Let g = 596 - 506. Are g and 272/3 non-equal?
True
Let a(s) = s**3 + 13*s**2 + 15*s + 2. Let m(g) = 2*g**3 + 26*g**2 + 31*g + 3. Let y(v) = 5*a(v) - 2*m(v). Let j be y(-12). Is j greater than -7?
False
Let o = -32 + 35. Let x be 44/(-3) + (-1)/o. Is 2/5 < x?
False
Let h be 6 + 2/(-3)*3. Suppose h*s - 18 = -6, 15 = 2*d + s. Is 2/5 at least d?
False
Suppose 3*p - 5*p = -f - 30, 80 = 5*p - 5*f. Suppose p = 6*d + 8. Is d not equal to 1/16?
True
Let v(f) = f**3 - 8*f**2 - 9*f + 1. Let d be v(9). Are d and -1/103 unequal?
True
Let w = -433.11 + 433. Which is bigger: w or 2/13?
2/13
Let o(x) = 0*x - x + x**2 - 3*x + x. Let i be o(3). Let b = 16/3 + -5. Is b at least i?
True
Let x = -445759/221 - -2017. Which is smaller: x or 0?
x
Suppose 5*n + 39 = 264. Suppose 0 = -9*i - n + 117. Which is smaller: i or 11?
i
Let f(d) = -5*d - 22. Let i be f(8). Let c = i - -125/2. Which is greater: 6 or c?
6
Let n be ((-42)/12 - -4) + 50/(-4). Which is smaller: n or -4?
n
Let o = -54 + 35. Let a = -22.32 + 2.82. Let p = a - o. Which is smaller: p or -0.2?
p
Let v = 5.9 - -8.1. Let g = v + -14.34. Are -1 and g unequal?
True
Let b = -63.5 - -63.77. Which is bigger: b or -0.04?
b
Let w = -722 + 596. Is w at least -126?
True
Let b = -291 - -291. Is -1.73 less than b?
True
Suppose 3*j - 110 = o + 250, 2*o - 120 = -j. Let y be (2/(-3))/(8/j). Let d be 14/7*2/y. Is d equal to -2/7?
False
Let u = 1300 + -1300. Let b = 7 - 11. Which is smaller: u or b?
b
Let o = -9 + 15. Let r = o + -7. Is -2 smaller than r?
True
Let q be (-9)/99*5/15. Is q != 1?
True
Let o(y) = 7*y**2 + 15*y + 1. Let g be o(-2). Which is smaller: 24 or g?
g
Let r(i) = 2*i - 42. Let t be r(23). Let o be (-2)/(-12) - 3112/(-48). Suppose 5*n - z = o, -t*z = n + 4*n - 90. Do 14 and n have the same value?
True
Let i = 137 + -136. Suppose -s + 0*t - t + i = 0, -s + 13 = -3*t. Is s greater than 0?
True
Let p = -444 - -445.89. Let a = p + 0.11. Do a and -0.3 have different values?
True
Suppose 3*p = q + 17, -3*q - p - 4*p = -19. Let m be (q/(-2))/(1/(-7)). Let k(w) = w**2 + 8*w + 6. Let h be k(m). Is 1 bigger than h?
True
Suppose -2 = 2*n + 8, -j - 5 = -4*n. Suppose -88 = 4*z - 4*s, 0 = -2*z - 4*s + 30 - 98. Are z and j equal?
False
Suppose -g + 4*x = 0, 5*g = 2*g - 5*x. Let w(y) = y**3 + 5*y**2 - 4*y + 6. Let h be w(-6). Let v be 0 - (8/h)/(-2). Is v > g?
False
Let i = -1976 - 110. Is i greater than -2086?
False
Suppose 4*v + 5 = -v. Let a(s) = 202*s - 66*s - 68*s - 69*s - 3. Let x be a(v). Does x = 0?
False
Let t(c) = 5*c - 21. Let y be t(5). Is 2 smaller than y?
True
Suppose -13 = -2*y - 11, -p - 7 = -y. Which is bigger: p or -3/5?
-3/5
Let d = 31 - 30. Let h be (-234)/(-81) - d*3. Let l be (1 - 0)/(-2 + 1). Which is smaller: l or h?
l
Let q = 24 - 19. Let i be (q + -1 - 5)*-1. Do 2 and i have the same value?
False
Suppose -3*q = -q + 4*d - 26, 2*d = -5*q + 89. Suppose -2*r = -15 - q. Is r greater than 17?
False
Let p = -271 - -273. Is p != 25?
True
Let p = 212 - 1064/5. Suppose -10*o + 18 = -3*w - 6*o, 2*w = 4*o - 16. Which is smaller: p or w?
w
Suppose -9*f = 11199 - 11064. Is f greater than or equal to -13?
False
Let j = 45/7 - 509/77. Let h be (-297)/(-66)*(1 - 1/(-1)). Suppose -19*i + h = -10*i. Is j bigger than i?
False
Suppose -b = n - 23, -3*n + 5*b + 20 = -17. Let p = -18 + n. Suppose 2*u - 2*d - 16 = d, -5*u + 3*d = -22. Which is smaller: u or p?
p
Let o(q) = -q**3 + 4*q**2 + 23*q + 12. Let w be o(10). Is -358 less than w?
False
Let n(a) = -a - 12. Let k be n(-10). Let y be -1 - (0/k - 2). Suppose -4 = 3*g + 4*c + 1, 5*g + 2*c - 1 = 0. Is g smaller than y?
False
Let v = 3373 - 3372. Let g = -292/21307 + 1/143. Are v and g non-equal?
True
Let m be (20/6)/((-54)/81). Is -73/18 not equal to m?
True
Let b(i) = -i + 2. Let k be b(1). Let l be (14*3)/(1 - (-30)/(-18)). Let q = l + 319/5. Which is smaller: k or q?
q
Let y = 12 - 6. Let a(n) = n**3 - 17*n**2 - 17*n - 15. Let b be a(18). Suppose 5*p - 19 = p + b*m, p - y = m. Is p not equal to 2?
True