 n and -2 have the same value?
False
Let g be (-1303)/6*102/(-14). Let l = g - 1580. Let m = l + -12/7. Are m and 0.3 equal?
False
Suppose -11 = -5*m - b, -3*b - 4 = -3*m - 1. Let d = m - 35/17. Is d >= -1?
True
Suppose -3*o - 4*h = 134 - 28, 4*h + 144 = -4*o. Is -39 < o?
True
Let s = 19 - 11. Let z = 19/2 - s. Let f = 0.1 - 0. Which is smaller: f or z?
f
Let v(h) = -h**2 + h + 4. Let n be v(0). Is n at least as big as 5?
False
Let x = -0.27 - 0.03. Let o = 0.3 - 0.5. Let u = o - x. Is 0.2 < u?
False
Let j(y) = -y**3 + 6*y**2 - 6*y + 5. Let r be j(5). Let g be r*(0 + 1) + -4. Let q(a) = -a**2 - 5*a - 3. Let s be q(-5). Which is greater: g or s?
s
Let x(i) = i**2 + 24*i + 35. Let n be x(-23). Is 11 at least n?
False
Suppose -4*f + 20 = 56. Suppose 0 = -4*z - 1 - 35. Is f less than or equal to z?
True
Suppose x = -4, -2*w - w - 4*x - 13 = 0. Which is smaller: w or -1/4?
-1/4
Let u = -7 + 7. Are u and -4 equal?
False
Let m be -9*-2*(-1)/3. Let v = 4 + m. Let l be (v/(-8))/((-1)/2). Is l at most as big as -1?
False
Let v = 437/4 - 108. Is 1 equal to v?
False
Let i be (2/(-6))/(6/18). Which is greater: 2/57 or i?
2/57
Suppose -5*a - a = 0. Which is smaller: a or -0.2?
-0.2
Let p = -5521/7228 + -3/556. Is 0 not equal to p?
True
Suppose -2*f + 12 = 18. Let j = 6 - 3. Let v = 4 - j. Is f less than v?
True
Suppose -3*b = j + 20, -3*b - 9 = -4*j + 1. Let f = b + 9. Let y = -12 + 15. Is y at least f?
True
Suppose 2*f - f = 6. Let p = -7 + 12. Is p greater than or equal to f?
False
Let n = 146 + -90. Which is smaller: 57 or n?
n
Let q be (-4)/(-2)*17/(-34). Which is bigger: q or 4/9?
4/9
Let b(x) = -x**2 - 11*x + 18. Let g be b(-13). Is -9 greater than or equal to g?
False
Let o = -33.4 + 39. Let h = 0.6 - o. Let r = h + 3. Which is bigger: r or 2/7?
2/7
Suppose 3*n - 2*n = -5. Let g(r) be the first derivative of r**4/4 + 4*r**3/3 - 5*r**2/2 - 2*r + 1. Let b be g(n). Are b and -4 equal?
False
Let a = -220 + 229. Which is smaller: 14 or a?
a
Let k(f) = f**2 - 10*f - 10. Let a be k(11). Is -1 at least a?
False
Let g = 34 + -42. Which is smaller: g or -7?
g
Let f be -1 + (-2)/(-2204)*474. Let l = f - -2275855/7163. Let g = l - 317. Is -1 at least g?
False
Let t = -0.014 + -0.016. Is t > -2?
True
Let l be 11/5 - 7/35. Let g be l/9 + 5/(-63). Is g greater than or equal to 1?
False
Let x be (-12)/(-18) + 2/(-3). Is 4/39 > x?
True
Suppose -o = 4*o - 5*b + 20, 0 = -3*o - 4*b + 9. Let a = -61 + 423/7. Which is greater: a or o?
a
Suppose -6*g + 4 = -2*d - g, d = 5*g - 2. Let t = 3 + d. Suppose 0*n + 6 = -2*n - c, -2*c = -n + 7. Which is greater: t or n?
t
Let p(r) = r**3 - 11*r**2 + 11*r - 10. Let i be p(10). Which is smaller: 2/71 or i?
i
Let p(i) = 4*i - 1. Let t be p(4). Suppose 8*u - 3*u + 5*d = 65, -t = -u - 2*d. Is 11 at most u?
True
Let g = -204/25 - -2544/275. Which is smaller: 0 or g?
0
Let x(w) = -w + 20. Let o be x(9). Which is smaller: 2 or o?
2
Let r be 9/6*2*-1. Suppose 2*q = 5*b - 3*q, -4*q = -5*b - 4. Which is smaller: b or r?
b
Suppose 0 = -2*v + v - 2. Is -3 at least v?
False
Let s = -8 + 4. Let m be (1 - 1)*1/(-2). Suppose -5*w + w = m. Is w at least as big as s?
True
Let y = -0.5 + 7.5. Let j = 7 - y. Let b = -2 - -2.1. Which is smaller: j or b?
j
Suppose -8 = 2*t + 4. Is -4 < t?
False
Let u(b) = -b**3 - 12*b**2 - 10*b + 11. Let x be u(-11). Are 2/195 and x unequal?
True
Let x = 7 - 6.5. Let m = 0.04 + 0.96. Let b = m - x. Is 1 > b?
True
Suppose -13 = j + 13. Is -26 smaller than j?
False
Suppose -4*p + 0*o = -o + 21, -5*p + 2*o = 27. Suppose r + 5*k - 8 = 3, 0 = 3*r - 2*k + 18. Which is greater: p or r?
r
Let k(u) = u + 4. Let s be k(-4). Let f be 8/10*(-35)/(-14). Is f at least s?
True
Let z be 8/(-8) - (-2 + -1). Let k be z - (-13)/(-5) - -1. Which is bigger: k or 5?
5
Let w = 7 - 5. Let k = -0.21 - -0.21. Is w bigger than k?
True
Let j = 34 + -34. Does 13 = j?
False
Suppose 0 = -3*n - 4*t - 18, 0 = -5*n - 2*t - 24 + 8. Let p = 3 - -2. Suppose -3*s + 7*s + 5*k + 8 = 0, -k - 10 = p*s. Is s greater than n?
False
Let q = 0.21 + -0.42. Let l = q - -0.11. Which is smaller: 3 or l?
l
Let o be (-102)/21*6/(-72). Let b be (1/(-42))/((-2)/8). Let h = b + o. Which is greater: h or 0?
h
Suppose q = -2, -q = 4*g + q - 8. Suppose -l - 3 = w + 2*l, -g*l = 6. Suppose -w = -3*u - 5*z + 3, 4*z = 4*u + 24. Which is smaller: u or -2?
u
Suppose -2*p = 3*l - 16, -3*l + 4*p - 7 = 7. Suppose -13 = -3*z + 4*t, l*t - 6*t = z + 1. Let q(b) = b**3 + 2*b**2 - 2*b - 1. Let u be q(-2). Is z equal to u?
True
Let c be (4 + -4)*(-2)/4. Let x be 10*((-6)/10 - -1). Suppose -x*w + 5*q = -c*w + 1, 5*w - 4*q - 1 = 0. Is 0.1 less than or equal to w?
True
Let i(y) = -3*y - 58. Let n be i(-18). Which is smaller: -9 or n?
-9
Let w = 1.91 - -0.09. Let u = 35 + -33. Are w and u equal?
True
Let c = 5 + -5. Which is bigger: c or -7/5?
c
Let b be -2*3*(-2)/3. Suppose -2*g = 4*w - 8, b = -2*w + 4*w. Is -1/5 smaller than g?
True
Let t = 33/5 + -3404/515. Let g = -611/721 + t. Which is smaller: -1 or g?
-1
Let n be 4/1*18/8. Let v be (-3 - n)/(-2) - 3. Suppose -3*a = -v + 9. Is a equal to -3/5?
False
Let c be (-32)/20 + (-6)/15. Let q(k) = 8*k - 4. Let i be q(4). Suppose -4*m - 4*x - i = -4, 0 = 3*m - 2*x - 7. Which is greater: c or m?
m
Let s = 10 + -41/4. Which is smaller: s or 0?
s
Let o = -4 - 4. Let g = 8.2 + o. Let t = g + 0.8. Is 0 smaller than t?
True
Let z = -7 - 10. Which is smaller: 1/3 or z?
z
Let y(u) = -u**2 + u - 5. Let f be y(0). Let j = 0.1 - 0.18. Let w = j - 0.02. Which is greater: f or w?
w
Suppose -3*n + 7 = 4*f, -3*f - 9 = 5*n - 17. Which is smaller: 0.3 or n?
0.3
Let p be (-4)/(-10) - 56/90. Let f(y) = -y**3 - 6*y**2 - y - 6. Let o be f(-6). Is o at least as big as p?
True
Let k = -4 + 4.2. Which is smaller: 11 or k?
k
Let x = 17 + -26. Let l = x + 9. Is l less than or equal to -1/8?
False
Let s = -7 + 8. Which is greater: s or -9?
s
Let r = -92 - -111. Which is smaller: r or 20?
r
Let r = -27 - -26. Let w = 0.05 + -2.05. Does w = r?
False
Let m be (-2 + -8)/(2/(-14)). Let j = m + -212/3. Is 2/5 greater than j?
True
Let g = 45623 - 319884/7. Let u = g + 75. Suppose 3*p - 8 = -5*q, -2 = -4*q - 4*p + 6. Which is smaller: q or u?
u
Let c = -17 + 24. Suppose 0 = 3*o + 3*r - 30, -3*o - r + 25 = r. Is c at most o?
False
Let v = -127 - -139. Are -2 and v unequal?
True
Suppose 4*g - t + 2*t = -30, -5*g - 42 = -t. Is g at least -9?
True
Let o = 77093/56 - 1377. Let h = -5/7 - o. Do -2/7 and h have the same value?
False
Suppose 2*c - 9 = -c. Suppose c*a = -5*o + a + 19, -a + 11 = 3*o. Let k = -0.2 + 0.1. Is k bigger than o?
False
Let c = -11 + 17. Let v be 4/3 - (-4)/c. Suppose w = -4*y + v, -w + 1 = 4*y - y. Is -2/5 bigger than y?
False
Let x(v) = v + 13. Let w be x(-16). Is -2 less than w?
False
Let w = 77/2 - 40. Suppose 0 = -11*l + 48 - 70. Are l and w non-equal?
True
Let p = 26/385 + 4/35. Which is smaller: p or 0?
0
Suppose 3*t - 5 = -f, -3 = -2*f - 3*t + 4. Which is bigger: f or 12/19?
f
Suppose -4*q = -7*q - 6. Let x be ((-6)/q)/(30/8). Let v = 8 - 6. Which is greater: x or v?
v
Let p(m) be the second derivative of m + 4*m**2 - 5/6*m**3 - 1/12*m**4 + 0. Let g be p(-6). Which is smaller: g or 3?
g
Let q = 491.9 + -463. Let y = q + -26. Let j = 3 - y. Which is bigger: 2 or j?
2
Let u be (-2)/(-5) + 14/(-10). Suppose 6*q - 5*q - 2 = 0. Let a be (q/(-3))/((-8)/(-12)). Is a >= u?
True
Suppose -4*f = -6*f. Suppose -2*w - 2*w = f. Do w and 0.4 have different values?
True
Let w = -7 + -5. Is -1 at most w?
False
Suppose 5*k + 35 = 3*g - 8*g, 0 = -4*g + 8. Let v = -15 - k. Is v bigger than -6?
False
Suppose o = -0 + 2. Suppose -2*b + o + 4 = 0. Let q be b/(-6) - 6/(-4). Is -5 smaller than q?
True
Let j be (1 - 1)/(-4) + -19. Let h = -7 - j. Is 12 <= h?
True
Let a = 8 + -4. Suppose -2*g - 1 + 5 = -3*h, a*h + 8 = 4*g. Do -2 and h have the same value?
False
Let f = -0.3 - -0.4. Let l = -0.1 + f. Let z = -237 + 236.8. Which is smaller: z or l?
z
Let h = -1.54 + 2.55. Let z = -0.01 + h. Is z >= -1?
True
Let y = 0.04 + 0.02. Let x = y + 2.94. Let n = x + -2.9. Is n less than 2?
True
Let w be 3/6*0*-1. Let r be w - (237/(-81) - -3). Is 0 < r?
False
Let b(j) = 5*j - 6. Let z be b(7). Suppose -3*n = -8 + z. Let k = n - -9. Which is bigger: 4 or k?
4
Suppose 3*g - 5*d - 89 = 0, 0*d = -5