-6)). Let o be 1/c - (-18)/(-56). Is o greater than or equal to b?
True
Let x = 19 - 18. Which is bigger: 2/31 or x?
x
Suppose 7*w - 203 = -49. Which is smaller: 23 or w?
w
Let p = -9 - -19/2. Let o = -0.09 - -8.09. Let n = -7 + o. Does p = n?
False
Let b be 4/6 - (93/(-9) - -3). Which is greater: 10 or b?
10
Suppose -2*x - 4 = -6. Which is greater: x or 4/3?
4/3
Let n(x) = 4*x + 6. Let m be n(-4). Let j = m + 9. Which is smaller: 1/4 or j?
j
Let w = -3956504 + 106810409/27. Let m be 2/(-4)*2*563. Let d = m - w. Are 1 and d non-equal?
True
Suppose 2*m = m. Let t be (m - 3 - -4)*-5. Let c = t - -16/3. Is c smaller than 0?
False
Let m be 32/18 + (-2)/(-9). Let z be ((-3 - -3)/(-2))/m. Which is smaller: 1 or z?
z
Suppose 3*o + 24 - 108 = -3*b, -4*b + 112 = -2*o. Suppose 10 = g - 10. Let h = b - g. Which is bigger: h or 9?
9
Let r be 4/80*-58 - -3. Which is smaller: r or -1?
-1
Let f(w) = -2*w**2 + 12*w + 1. Let h be f(6). Which is smaller: h or 8/29?
8/29
Let o(w) = -w**3 + 5*w**2 + 4*w - 3. Let u be o(4). Is u smaller than 29?
False
Suppose -6*b - 52 = 14. Let d = b - -9. Is d at most -1?
True
Let j = 2 + -4. Let y = -2.1 - -0.2. Let z = y - j. Which is smaller: -2/5 or z?
-2/5
Let c = 17/28 - 3/28. Let n = 0 + 1. Is n greater than c?
True
Suppose 3*u - 6 = -0*u. Let x be (0/9)/((-1)/1). Let i = 3 - x. Which is smaller: i or u?
u
Let d(j) = j**3 - 11*j**2 - 28*j + 12. Let v be d(13). Is v equal to -3?
False
Let s = 20 - 20. Which is greater: -2/41 or s?
s
Let i = -545/7 - -80. Is i greater than 2?
True
Let l be (11/(-44))/((-7)/8). Which is smaller: 0.55 or l?
l
Suppose 3*o + 4 = -2. Let r be (-3 - -2)*10/o. Suppose -3*u - 5 = -2*b, r*b = -4*u + 2*u - 16. Is -3 smaller than b?
True
Let l be 3 + -2 + 6/(-5). Let f be 3/(-5) + 140/25. Suppose 3*d - 2 = -f. Is d not equal to l?
True
Let d(s) = 3*s + 2*s - s**2 - 2 + 2 + 4. Let j be d(6). Which is smaller: j or -3?
-3
Let d = 75 - 75.1. Are 0 and d equal?
False
Let y = -297/4 - -74. Let d(i) = -i**2 + 0 + 0 - 3*i. Let o be d(-3). Is o greater than y?
True
Let q be 817/36 + (-2)/8. Let o = q + -22. Is 0 equal to o?
False
Let d = -5.1 - -5. Let b(x) = x. Let o be b(1). Suppose o = q + 6. Which is smaller: q or d?
q
Suppose 0 = -j - 3 + 6. Let l = j + 0. Which is smaller: 4 or l?
l
Let c(y) = -y + 7. Let b(g) = 2*g - 14. Let u(v) = 3*b(v) + 5*c(v). Let l be u(7). Let j be ((-2)/(-12))/((-1)/(-4)). Are j and l nonequal?
True
Let m = 5/37 + -151/296. Let s = 13 - 12. Which is bigger: m or s?
s
Let c = 13 + -18. Which is bigger: c or -7?
c
Let m be (76/(-133))/((-36)/14). Is m != 0?
True
Let y be 18/(-8) - 2/(-8). Which is greater: y or -5/9?
-5/9
Suppose -2*a = 3*n - 0*a + 5, 4*a = 3*n - 19. Do n and 1/11 have the same value?
False
Let v(m) = m**3 + 6*m**2 + 5*m - 7. Let b be v(-5). Is b less than -8?
False
Let x = -26 - -25. Which is greater: x or -1.1?
x
Let x(a) = -7*a**3 - a - 1. Let u be x(-1). Let f be 8/(-28) - 26/u. Which is smaller: f or -11/4?
f
Suppose -2*r + 3*q + 11 = 0, -4*r + 11 = -2*q - 7. Let n(m) = -m**3 + 6*m**2 - 7*m + 6. Let s be n(5). Let p = s + r. Are 0 and p equal?
True
Let h = -3/35 - -79/105. Let l = 0.1 - 0. Let k = l - 0. Which is greater: k or h?
h
Let n = 0.9 - 3.1. Let y = n + 2. Let c = y + 0.1. Is c at least as big as -1/3?
True
Let r = 7 + 2. Suppose 4*x = r*x - 5. Is -1 smaller than x?
True
Let a = 0.7 - 0.9. Let j = 1.48 - -0.42. Let m = 2 - j. Is m greater than a?
True
Let v be 4 - (-4 - (-4 - 3)). Which is smaller: v or -4/13?
-4/13
Suppose -2*x - 3 + 17 = 0. Let k = 1 - x. Let h = k - -3. Is -1 less than h?
False
Let l be (-10192)/(-76) + 6/(-57). Are l and 133 non-equal?
True
Let o = 39 - 39. Is o at least -2/61?
True
Let w = -0.08 - -0.12. Let i = w - -0.06. Which is smaller: -6 or i?
-6
Let j = 2 - -3. Suppose -2*d - 4 - j = o, 5*d + 45 = -5*o. Let f be (-6)/4*(-3)/o. Is f greater than 0?
False
Let n(r) = -r**2 + 7*r - 9. Let f(s) = s**3 + 5*s**2 - 6*s + 6. Let m be f(-6). Let q be n(m). Is -4 bigger than q?
False
Let z = -11.32 - 0.68. Which is bigger: z or 2/5?
2/5
Let c be 1/(-3) + 4/(-6). Let v = c + 0. Which is bigger: v or -3?
v
Let i be (6/(-12))/((-3)/(-4)). Let l be 0 + -2 - (-1 - -2). Which is bigger: l or i?
i
Let n = 5 + -6. Are -3 and n equal?
False
Let d(c) = 4*c + 1. Let a be d(-1). Let p = -3 - -5. Let f = p + a. Do -1 and f have the same value?
True
Suppose -5*d = -4*s - 13, 3*s + 36 = 2*d - 7*d. Is s less than -15/2?
False
Let u = -49788/65 + 766. Which is bigger: u or 0?
u
Let s = 1.9 + -1.7. Which is bigger: s or -0.04?
s
Let k be 1/4*(-6590)/(-35). Let m = k - 93/2. Let n be (-2)/4*(1 - 3). Which is smaller: n or m?
m
Suppose 4*v + 4 = -4. Let g be (1 - (-9)/(-6))*v. Suppose -4*t + t + 6 = 0. Is t smaller than g?
False
Let c(a) = a + 2. Let d be c(-2). Suppose 0*k + 2*t + 2 = -2*k, 2*k + 3*t + 6 = 0. Let v be k + -3 + 4/(-10). Is v greater than d?
False
Let v = -6.95 - 0.05. Let t = v - -14. Let y = -6 + t. Is y >= 1/4?
True
Let t(d) = -d**2 - 8*d - 6. Suppose -8*b - 24 = -4*b. Let a be t(b). Is 7 equal to a?
False
Let c = -0.1 - -0.9. Let y = 3.8 - c. Let x = y - 3.1. Do x and -1/3 have different values?
True
Suppose -6*b = -9*b + 15. Let n be (6/b)/((-30)/(-100)). Is -1/5 less than or equal to n?
True
Suppose -4*b = n - 15, -b + 3 = 3*n + 2. Suppose -4*d - 12 = b*g + 12, 2*d - 4*g = 0. Let j be (-6 - -4)*3/d. Are j and 1 equal?
False
Let c be (-4 - -3) + 5 + -1. Let s be (6/20)/(c/(-6)). Is -6 at least as big as s?
False
Let g = 51 - 28. Which is bigger: 22 or g?
g
Let o be 42/7*(-1)/2. Is o < -2?
True
Let z = -6 - -3. Let g be (-4)/10 - 24/(-35). Which is greater: z or g?
g
Suppose 0 = 4*z - 4 + 12. Let r = z - -2. Let o be 2/(-2*(-1 - r)). Is o bigger than 4/5?
True
Suppose 4*f = 3*p + 4, 4*p - 5*f + 6 + 0 = 0. Let t = 9 - 8. Let r = t + p. Is -3 smaller than r?
False
Let c(p) = p**3 + 6*p**2 + 4*p - 5. Let d(y) = -y**2 + 6*y - 5. Let x be d(6). Let n be c(x). Are n and -3/8 unequal?
True
Let m = -46782/43 - -1088. Do 1 and m have the same value?
False
Let r = -20.29 + 0.29. Let y = 23 + r. Which is bigger: -1 or y?
y
Suppose 0 = -m + 2 + 4. Let j be 9/(-6)*m/(-9). Let f be (-2)/16*1*-2. Which is greater: f or j?
j
Let y be (0 - -15)*((-5)/(-15) + -1). Is -11 less than y?
True
Let y be 2 + (-2)/(4/9). Let v be (-18)/5 + (-10)/25. Is v at least as big as y?
False
Let f be 579*(-2)/(-288) + -4. Which is smaller: f or -1?
-1
Let v(i) be the third derivative of i**4/12 + 7*i**3/6 - 7*i**2. Suppose 2*b = 4*w + 34, 4 = -4*w - b - 3*b. Let m be v(w). Is -5 less than m?
False
Suppose -10 = -u - u, 0 = -2*d + 5*u + 55. Which is greater: d or 39?
d
Suppose -2*w = 3*w + 20. Let r(d) = 3*d + 3. Let z = 6 - 8. Let s be r(z). Do s and w have the same value?
False
Suppose n - 4*a + 44 = 0, 0*a = 4*n + 3*a + 81. Let m = n + 71/3. Which is smaller: 0 or m?
m
Let p = -8 - -5. Let t be 4/8 - p/(-6). Which is greater: -6/5 or t?
t
Suppose 2*o + 3 = -5. Let n = -3 - o. Which is greater: n or -3?
n
Let a be 3*((-1290)/(-6))/5. Which is greater: 128 or a?
a
Let g = -191/3 + 63. Which is greater: -1 or g?
g
Let f = 0.6 - 0.48. Is f bigger than -0.1?
True
Let p = -1 - -2. Let v be (-6)/(-9) + (-8)/3. Let f be (1/(-14))/(v/12). Which is smaller: f or p?
f
Suppose -4*f - 4*f = -192. Is 1/2 at most as big as f?
True
Suppose -3*n + 5*u + 12 = 0, 0 = -n - n - 5*u - 17. Suppose -5*y = -2*y - 135. Let v be (-1)/5 - y/25. Is v >= n?
False
Let y = 2 - 1. Let u be (105/(-9))/(-5) - y. Which is greater: 2 or u?
2
Suppose 3*d - 7*d + 20 = 0. Suppose -k = x + 4*k + 9, 0 = -d*k - 10. Do x and 1 have different values?
False
Suppose -10 = 2*t, 2*n - 14 - 7 = 3*t. Suppose -6 = -0*z + n*z. Let y be 65/(-140) - z/(-7). Which is smaller: y or 0?
y
Suppose 2*v + 4 + 16 = l, 30 = 3*l + 4*v. Let z be (13 - l) + (1 - 13). Is -13 at most z?
True
Suppose -4*u + u + a + 76 = 0, 5*a + 94 = 4*u. Is 25 != u?
True
Let t = 0.1 - 0.3. Let c = t + -0.8. Let x = -1 - c. Are -0.2 and x non-equal?
True
Suppose -2*b + 0*m = m + 6, 0 = b - 4*m + 3. Let j = -5 - b. Is -1 greater than j?
True
Let o be 106/8 + (-1)/4. Let p = o + -41/3. Let a(r) = r + 4. Let b be a(-5). Which is smaller: b or p?
b
Suppose 2*t = 0, -4*v - 2*t - 5 = -9*v. Let w be 4/(-3)*(-2)/(-16). Is w less than or equal to v?
True