t i be (-3)/n*(-4)/6. Suppose -6*y = -2*y - 8. Is i less than or equal to y?
True
Suppose 4*l + 1216 - 248 = 0. Let p = l - -2176/9. Is p bigger than -1?
True
Let g be 2/(-11) - (-14)/(-44). Which is smaller: g or 2/37?
g
Let m = 1 - 0. Which is greater: m or -16?
m
Let k = 1 + 2. Which is smaller: -1.1 or k?
-1.1
Suppose 0 = 4*i + 12, 11 + 4 = p - 5*i. Let f be (-3)/9 - 68/(-60). Is f less than or equal to p?
False
Let a(u) = -u**2 + 3. Let o be a(0). Let r(x) = x + x - o*x - 15. Let d be r(-13). Is d <= -2?
True
Let b be 1 + -1 - (-8 - 1). Let a be ((-8)/(-6))/(3/b). Let g be -1 - ((-10)/2 - -1). Which is smaller: g or a?
g
Let d = 6 + -6. Suppose -2*x + 3*m = -0*m - 49, d = x + 4*m - 8. Suppose 0 = 5*b + 2*w + 23, 5*b + 0*w = -5*w - x. Is b != -5?
False
Let s(m) = m**3 + 6*m**2 + 2*m - 2. Let n be s(-2). Suppose 6*t = n*t + 4. Let u be 2/4*(-2)/3. Which is greater: u or t?
u
Suppose -5*r + 2 = g + 7, 5*r + 105 = 4*g. Let n = -1657/87 - 18/29. Let z = g + n. Which is greater: z or 2/9?
z
Let d(w) = 3*w**2 - 5*w + 3. Let u be d(1). Is u bigger than 22/19?
False
Let w = -27 + 143. Let m be 16/w*3/(-6). Which is smaller: 0 or m?
m
Let s(q) = 0*q + 5 + 3*q**2 - 3*q**2 + 5*q + q**2. Let d(u) = -u**3 - 6*u**2 - 5*u - 4. Let b be d(-5). Let t be s(b). Is 1/2 > t?
False
Let w be (-2)/((-20)/(-255)) + 1/2. Is w greater than or equal to -25?
True
Suppose 2*f = 4*q - 14, -4*f - 8 = -4*q + q. Let u = -1/190 + -363/3230. Which is smaller: f or u?
u
Let s = -17/5 - -116/15. Suppose -9*j + 60 = 15. Which is smaller: j or s?
s
Let v = 1.8 - 2. Let r = v - -0.2. Let n = 0.1 - r. Which is greater: n or -1?
n
Let z be (-10)/30 - 38/(-6). Suppose 5*a + 5*x = -0*x + 30, 0 = 5*a - x - 30. Is z at least as big as a?
True
Suppose 2*d - 4 + 14 = 0. Is -6 > d?
False
Let p = -57 - -50. Which is smaller: -1 or p?
p
Let u be -1 + 9/3 + -1. Let f be 1 - u - (1 + -1). Is f smaller than -1?
False
Let s = 56.9 + -57. Let k = 0 - 1. Let m = -2 - k. Do s and m have the same value?
False
Let g(k) = -k**2 - 7*k + 1. Let n be g(-7). Suppose 0*w = -4*w. Which is smaller: w or n?
w
Let j = -8 + -14. Let z be (-26)/j + 6/(-33). Is z at least 2?
False
Suppose 20*p - 16*p = 4. Let v(j) = j**3 + 2*j**2 - 3*j + 2. Let s be v(-3). Is s greater than or equal to p?
True
Let r = -4063/9 + 451. Which is bigger: 8 or r?
8
Let p = 91/4 - 23. Let i be (1 + (-6 - (-57)/12))/1. Is p <= i?
True
Let o = -0.88 + -1.16. Let y = -0.04 - o. Which is greater: y or 1?
y
Let t be (-30)/45 + (-10)/(-6). Which is smaller: t or -2/37?
-2/37
Suppose 3*c = -c. Let z be (0/1 - 2) + 3. Suppose 0 = x - s - c - z, -3*s - 9 = 3*x. Which is smaller: x or -3?
-3
Let t be 2/4*(12 + -12). Suppose -w + 1 = -t. Suppose 8 = 6*q - 2*q. Are w and q unequal?
True
Let m = -10 + 3. Let s = -0.1 - 0. Is s > m?
True
Let z be (-4 - 27/(-6))*-2. Let i be z*2/6*-3. Is 1 smaller than i?
False
Suppose 2*a = 2*u - 10 + 2, 0 = -3*u - a. Which is bigger: 4 or u?
4
Let x(f) = -3*f - 35. Let y be x(-20). Which is smaller: 23 or y?
23
Let a = -10 + 13. Suppose -5*j - 32 = a*n, -2*n + 7*n - 3*j = -8. Is -5 greater than n?
False
Suppose 4 = d + 1. Suppose -1 = -2*l - d. Is l at least -2/13?
False
Suppose 6*z - 2*z - 4 = 0. Let m be -1*(-20)/(-75)*3/2. Which is greater: z or m?
z
Let w = -8.8 + 8. Let s = 0.5 + w. Let i = 2 - 3. Is i equal to s?
False
Let j = 1.1 - 1. Let v = -0.03 - 3.97. Which is bigger: v or j?
j
Let q be (-68)/(-12) + 3/(-12). Let i = 61/28 - -25/7. Let t = i - q. Which is bigger: 0 or t?
t
Let p(d) = d**2 - 9*d - 12. Let q be p(12). Let r be (-5)/(-3) + (-16)/q. Which is smaller: 4 or r?
r
Let m be 112/(-3 - 1) - 4. Which is bigger: m or -33?
m
Let q = -21/20 - -4/5. Let d = 15 + -6. Let l = d - 17/2. Which is greater: q or l?
l
Let d = 16 - 11. Let l be (5/(-10))/((-2)/16). Which is greater: l or d?
d
Let n be (-4)/(-14) + 94/14. Suppose n*k = 3*k - 4. Is -4 greater than k?
False
Suppose -2*h + r + 2 = -0, -5*r - 1 = -h. Are h and -1/7 unequal?
True
Let g = 0 - 1. Suppose -2 - 13 = -3*b. Suppose 0 = 4*c + b*y + 15, -5*c = 5*y + 8 + 7. Are c and g nonequal?
True
Suppose 0*j = 3*j - 33. Let k(m) = 5*m**2 + 2*m - 1. Let b be k(1). Let w be b/(-3)*(-1)/j. Is 1 < w?
False
Let a = -667/24 + 83/3. Which is smaller: a or 0?
a
Suppose 0 = -3*s - 9, 5*k + 0*k - s - 53 = 0. Is 12 not equal to k?
True
Let o = -14 + 14.04. Is 0 at most o?
True
Let k = 4 - 7. Let c = -3.2 - k. Let m = 0 + c. Which is smaller: 1 or m?
m
Let m(v) = -v**3 + 2*v**2 - 2*v - 3. Let t be m(0). Is -1/16 not equal to t?
True
Suppose 3*q = -5*v - 14 - 2, 3*v = -15. Let y = q - 5. Which is smaller: y or -1?
y
Let g = 0 + 3. Is -10 smaller than g?
True
Let m = -8.1 + 7. Let q = m - 4.9. Let g = q - -5.98. Which is smaller: -1 or g?
-1
Let i = 32 - 40. Does i = 0.2?
False
Let n = 22 - -4. Is 26 greater than or equal to n?
True
Let d(x) = 2*x + 6. Let t be d(12). Suppose -18 = f + t. Let j be ((-8)/f)/((-2)/(-12)). Which is smaller: 2/17 or j?
2/17
Let j = -2225/17 + 131. Let a = 0.3 + -0.2. Which is smaller: j or a?
a
Let n = -112 + 563/5. Let p = -15 + 17. Which is smaller: n or p?
n
Let j be 2*-1*(-23)/2. Which is smaller: j or -1?
-1
Let j(x) = -2*x**2 - 3*x - 4. Let w(k) = -3*k**2 - 7*k - 7. Let r(t) = -5*j(t) + 3*w(t). Let c be r(6). Is 0 < c?
False
Let y(k) = -k**3 - 10*k**2 - 8*k + 10. Let a be y(-9). Suppose 6*i = i - 25. Let f = i + a. Is f bigger than 0?
False
Suppose -3*c - 20 = 4*f - c, 3*f + c + 13 = 0. Let x be (2/f)/(4/6). Let p = 2 + -1.9. Which is bigger: p or x?
p
Let u = -0.33 - -0.03. Let i = -0.2 - 0. Let x = i - u. Is 1 at least x?
True
Let o = 93 + -1212/13. Which is bigger: 0.1 or o?
0.1
Let z = 2 - 1.9. Let h = 3.25 + -0.25. Is z bigger than h?
False
Let t = -9 - -8.2. Let h = t + 3.8. Are h and 0.1 equal?
False
Let k(v) = 4*v - 70. Let b be k(10). Is -28 at least b?
True
Suppose 0*b + 5*b = 0. Let f(g) = g**2 - 6*g - 5. Let o be f(7). Let k be o/(-5)*10/2. Which is smaller: b or k?
k
Suppose -92 + 15 = 2*b - 3*z, 5*b + 210 = 4*z. Is -45 at most b?
False
Let q be 2 - 1 - (3 + 1 + -23). Is q > 20?
False
Suppose -6*d - 10 = -7*d. Let c be d/45 + (-88)/558. Is c at most 2/3?
True
Suppose -5*t + 24 = -0*o + 4*o, -2*t + o + 7 = 0. Suppose g - 3*l = t, g - 5*l + l = 6. Let i be 3/g*3/(-9). Is 2 equal to i?
False
Let n = 3 + -2.92. Which is bigger: 0.1 or n?
0.1
Suppose 3*a - 11 = 28. Is 14 bigger than a?
True
Let z(s) = -s**3 - 3*s**2 + 2*s + 2. Let f be z(-3). Is f at least -4?
True
Suppose 3*j - 5*p = -32, 3*p + 22 = -3*j - 2*p. Let o = j + 5. Is -4 greater than o?
False
Suppose l + 2*n = -3*l, 5*l + 2*n = 0. Which is smaller: l or -2/9?
-2/9
Suppose -4*f - 9 = -3*f - 4*t, 9 = f + 5*t. Let i be 0 + (2 - (f - -2)). Let s be (-2)/10 - i/(-3). Which is bigger: s or 0?
s
Let o be (-1 - 0)*1*11. Which is smaller: o or -13?
-13
Let p(y) = -y**3 - 4*y**2 + 6*y + 7. Let s be p(-5). Which is smaller: s or 9?
s
Let m = 7 - 11. Let y = -2.9 + 3. Which is smaller: y or m?
m
Let a(c) be the first derivative of c**3/3 - 3*c**2 + 5*c - 7. Let s be a(6). Which is smaller: 0.1 or s?
0.1
Let r be ((-11)/(1089/(-6)))/((-1)/24). Is r at least as big as -1?
False
Let d be ((-6)/(-4))/(-1)*320/(-60). Is d smaller than 15/2?
False
Let b = 20/189 + -1682/19467. Is b < 1?
True
Let q = -16 + 34. Let n be -1 + 56/q + -2. Which is greater: -1 or n?
n
Let u(t) = -42*t**3 - 2*t**2 + 1. Let z be u(1). Let g = 77/2 + z. Is g equal to -5?
False
Let q = -6836/17 - -402. Which is smaller: q or 1?
q
Let v be 110*7/(-14) + (0 - -4). Is v < -52?
False
Let r be (0 + 0)/(1/(-1)). Let q be -1 - 2 - (-68)/20. Is r less than or equal to q?
True
Let t(w) = w + 8. Let s be 0 - (0 + 3) - 3. Let b be t(s). Suppose 2*x - b*c = -4, 2*c - 10 = -x + 4*x. Which is greater: -7 or x?
x
Suppose -n = -5 + 3. Let v be 4/(-10) + n/30. Which is greater: v or 0.2?
0.2
Let h = -5 - -6. Suppose 3*x - 2 - h = 0. Let o be 2 + x + (-14)/5. Are o and -1 unequal?
True
Let h be (-14)/10 - 2/(-5). Let r(k) = k**3 - k**2 - 3*k + 1. Let v be r(2). Is h bigger than v?
False
Let j(d) = -d**2 - 9*d - 17. Let k be j(-6). Is 2/49 greater than or equal to k?
False
Let i be 1/(-2) - 2/4. Let m be 24/(-15) - (i - 1). Suppose 5*w - 4*t = 11, -4*w + 0*t + t = 0. Is m less than or equal to w?
False
Let y(j) = 12*j - 