3188. Let x = 214/5 - q. Which is bigger: 0 or x?
0
Let f = 1325/4 - 328. Are 2 and f equal?
False
Let b = -101/6 - -1019/42. Is 7 smaller than b?
True
Let l(j) = -8*j + 16*j - 9*j + 1. Let q be l(1). Is 3/8 <= q?
False
Let b = -39 - -39. Is b bigger than 5/4?
False
Let g = -133 - -194. Let w be (-23 - 2)*(-17)/(-7). Let h = g + w. Which is bigger: h or 0?
h
Suppose 5 = 2*o - 7*o, 5*r + 2*o - 63 = 0. Suppose 3*i - 4*i - f = -11, f = -2*i + 23. Is i greater than r?
False
Let t be 6/(-45) + 1222/8940. Let l = -611/4470 + t. Is l greater than -1?
True
Suppose 0 = 4*m + m - 25. Suppose 0 = -2*g + 3 + 5, -m*g = -t - 25. Let f = t - -3. Is -1 < f?
False
Let g be 57500/(-198) - 2/(-9). Suppose -4*r + 0*r - 1160 = 0. Let l = g - r. Which is smaller: 1 or l?
l
Suppose 5*a - 29 = 16. Let m be 5 - a - 54/(-8). Is m at most 4?
True
Suppose 4*b - 8 = -0. Suppose o + 0 - b = 0. Is 5 <= o?
False
Suppose 3 = 3*r - 0. Let s be 7/9 + 2/9. Is s less than or equal to r?
True
Let k be ((-5 - 0) + 3)/(-2). Let h be 1 - 3/(-12) - k. Which is smaller: h or 3/5?
h
Suppose 0 = -x + 6 + 77. Let m be 4/18 - x/9. Let s be 2*((-21)/m - 2). Is 0.1 >= s?
False
Suppose 18 = 4*g - 2. Suppose -i - g = -4. Let m(l) = 2*l**2 - l. Let a be m(i). Which is smaller: a or 2?
2
Let y be 12/8 + ((-18)/4)/9. Is 1/8 >= y?
False
Let x = 1.6 - 2. Let w = -0.1 - x. Let l = 0.6 - w. Which is greater: l or -2/3?
l
Let t = 132 + -129. Suppose -20 = l - 6*l. Which is smaller: t or l?
t
Suppose -4*j + 2*j + 4 = 0. Suppose -5*m - 3*p = -j*m, -5*m - 2*p + 9 = 0. Is m != 2?
True
Let z be (3/(-72) - 3) + 3. Let j = -3/8 - z. Let k = -0.6 - -0.1. Is k at most j?
True
Let g = -8 + 11. Let u = -47 - -49. Which is smaller: u or g?
u
Let h be 0/(-4 - -2 - 0). Which is smaller: -3/7 or h?
-3/7
Let v = -5 + 6. Suppose -2*x + x - v = 0. Which is smaller: -2 or x?
-2
Let k(c) = -c**2 + 9 + 5*c - 9. Let m be k(5). Do 0 and m have the same value?
True
Suppose 8*i = 7*i - 1. Which is smaller: -8/5 or i?
-8/5
Let j = 1 + -1. Which is greater: j or 12?
12
Let a = -0.5 + 7.5. Let p = a - 6.9. Which is greater: 2/9 or p?
2/9
Let b = -0.41 - -0.01. Let s = -6 - -5.91. Let g = 0.01 - s. Does g = b?
False
Let c = -3 - -8. Suppose 3*v - 4*d = -62, -v - 3*v - d - 70 = 0. Let l be 12/v*(-3)/c. Which is smaller: -2 or l?
-2
Suppose p - 5 = 6*p. Do -6 and p have the same value?
False
Let g = 11 + -7. Suppose g*i + 0*i = -36. Let m be (-12)/i + (-1)/3. Is m equal to 1?
True
Let v(j) = 7*j + 0*j - 8*j - 4. Let c be v(-8). Is 3 greater than c?
False
Let j = -2 - -1. Let t = 0.8 + j. Let f = -6 - -7. Which is bigger: f or t?
f
Let l = 1.6 + 0.4. Let b = -2.1 + l. Which is smaller: b or -2/7?
-2/7
Let z be (3 - 0) + (-10)/(-5). Suppose -2*r + 5 = -z. Let l be 1/r*(-12)/(-3). Which is greater: 1 or l?
1
Let b(d) = 5*d + 10. Let c be b(0). Let j(n) = -2*n + 1. Let y be j(-4). Which is smaller: y or c?
y
Let s = 0.7 - 1.7. Let k = s - -0.3. Let t = k - -1.1. Does 0.2 = t?
False
Let w be ((-2)/60)/(4/(-12)). Is 2 > w?
True
Let b = 2.96 + 0.04. Let k = -10 + b. Let c = k + 8. Is -2 greater than or equal to c?
False
Suppose x + 5*a - 4 = 0, -4*x - 4*a = -0*a - 16. Let i be ((-16)/56)/(2/(-14)). Which is smaller: x or i?
i
Let m = -16 - -15.9. Which is smaller: -1 or m?
-1
Let t(s) = 4*s + 28. Let p be t(-9). Which is bigger: -12 or p?
p
Let s(a) = -a**2 - 7*a. Let n be s(-7). Let o = n + 4. Suppose i = 4*r - i - 18, 3*r - o*i = 16. Which is bigger: 3 or r?
r
Suppose -2*v = 2*v - 16. Suppose v*h - 4*o + 4 = 0, -h - 26 = 5*o + 5. Which is bigger: -7 or h?
h
Let a(m) = m**2 + 8*m - 1. Let l be a(-8). Suppose 0 = -5*u - 3*s - s - 1, -2*u + s = 3. Let z be u/(-2)*(-1 + 1). Which is greater: l or z?
z
Let t(d) = -d**3 - 3*d**2 + 4*d - 4. Let k be t(-4). Let c(i) = i**2 + 4*i + 3. Let a be c(k). Suppose 3*q = -0 - a. Which is bigger: q or 2?
2
Let j = -122 - -86. Let o be j/(-21) + 6/21. Suppose o*b + 3*b = 25. Is 4 less than or equal to b?
True
Let q = 5 - 9. Let o = q - -4.1. Is 2 greater than or equal to o?
True
Let a be (-38)/35 - 4/(-14). Which is bigger: a or 0?
0
Let z be 5/10*(-2)/(-2). Let d be (2/3)/((-1)/3). Let f = -2 - d. Which is greater: z or f?
z
Let h(c) = c**3 - 3*c**2 + c - 1. Let t be h(3). Suppose -n = -t*n. Let q be (-4)/(-4)*(1 - 0). Is n > q?
False
Let c be (-20)/8 + 6/21. Let q = 12/7 + c. Which is smaller: 0 or q?
q
Let k = 1 + 0. Let j = -3 - -19/6. Which is bigger: k or j?
k
Suppose -11*f + 8*f = 36. Is f smaller than -14?
False
Suppose -13 - 7 = -4*w. Suppose -n = 4*n + w. Let y be -2*(0/(-1) - -1). Is n at least as big as y?
True
Let f be 0 + (-4)/58 + 0. Let w = f + -21/116. Let x(a) = a**3 + 6*a**2 + 5*a + 1. Let h be x(-5). Are h and w unequal?
True
Let o = 50 - 799/16. Suppose -4*h - c - 7 = 0, h + c + 1 = -3. Is o <= h?
False
Let u = -32 + 31. Which is greater: u or -6?
u
Suppose 0 = -6*y + y + 70. Suppose -5*u = -s - 1 - y, 2*s = 4*u - 24. Let c be ((-2)/4)/(5/s). Which is bigger: 1/5 or c?
c
Suppose -u - 3 = 2*f - 3*f, -2*u = -6. Suppose -f - 18 = 3*o. Which is greater: o or -9?
o
Let q be (-6)/4*(-24)/450*-5. Is 0.6 < q?
False
Suppose 4*p - 40 = -4*a, p - 5 = 3*p - 3*a. Suppose -5*g + p*m + 10 = 0, 2*g + 4*m + 0 = 4. Is 11/5 at most as big as g?
False
Let j = 4 - 7. Let x(q) = q**2 + 5*q + 4. Let t be x(-2). Which is bigger: j or t?
t
Let m be 1*2/10*-3. Suppose 0*t + 5*t - 35 = 5*a, 4*a = 5*t - 33. Let q(s) = -s**2 + 5*s - 2. Let k be q(t). Which is greater: k or m?
m
Let w be (4/14)/(9/21). Let g = 3243/2 + -1589. Let v = -33 + g. Which is smaller: v or w?
v
Let g = -65 - -24. Which is smaller: -42 or g?
-42
Let z(u) = u + 5. Let n be z(-9). Are n and -4 unequal?
False
Let f(k) = -k**2 - k. Let b be f(-1). Suppose -j + 8 = 5*i + 3, b = 5*i - 4*j - 30. Which is smaller: 1 or i?
1
Suppose 12*b - 17*b - 50 = 0. Are -12 and b equal?
False
Suppose -2*w + 6*w = -2*x + 210, -4*x + 5*w + 446 = 0. Let i = -1633/15 + x. Which is bigger: -1 or i?
i
Let q be 9/((279/(-2))/3). Let z = 104/217 + q. Let s(v) = -v**3 - 6*v**2 + v + 6. Let p be s(-6). Is z at least as big as p?
True
Let v be (0 + 0 - 0)/1. Let p(u) = u - 7. Let g be p(7). Do v and g have the same value?
True
Let u(k) = -k**3 + 6*k**2 + 11. Let m be u(6). Is m less than or equal to 11?
True
Let i(y) = -2*y**3 - 2*y**2 + y + 1. Let x be (-2)/(-5)*(-5 + 0). Let m be i(x). Let r = m + -5. Is 2 at least r?
True
Let x(r) = -r**3 + 2*r**2 + 3*r + 3. Let n be x(3). Suppose 4*i + 2*a = -8, -n*i + 4 = -4*i - a. Is 1 > i?
True
Let c be 16 - (-1 + -2 + 5). Which is smaller: c or 1/4?
1/4
Let m = 23/12 - 5/4. Which is smaller: 2/7 or m?
2/7
Let u(c) = c + 7. Let q be u(-8). Let a(x) = -x - 8. Let i be a(-10). Let b be 1 + i/((-16)/6). Which is smaller: q or b?
q
Let n(j) = -j**2 + 8*j - 6. Let x be n(7). Let v be x/4 + (-225)/420. Which is bigger: v or -1?
v
Let q(m) = -m**3 - 4*m**2 + 6*m + 3. Let b be q(-5). Let p be 0 - (0 + (-2 - b)). Which is smaller: 1 or p?
p
Let k(v) = 2*v**2 + 2*v - 2. Let m be k(-2). Suppose a + 0 = -2. Which is greater: m or a?
m
Let b = 1 - 2. Suppose 24 = -v + 3*v. Let n be 39/60 + (-3)/v. Are n and b equal?
False
Let s = 4 + -5. Let b = -0.2 - -0.3. Let k = b - 0.2. Is k > s?
True
Let u(r) = -r**3 + 6*r**2 - 4. Let k be u(6). Let a = 148 - 88. Let t be ((-2)/a*k)/(-1). Which is smaller: t or -1?
-1
Let h be (26/(-12) - -2) + 201/1134. Is -1 < h?
True
Let t = -9 - -21. Suppose -30 = 13*b - 18*b. Let a be (b/t)/((-2)/(-8)). Which is smaller: a or 3?
a
Let y = -118 - -1762. Let c be y/(-90) + 4/(-10). Let b = 18 + c. Which is greater: 4 or b?
4
Let l(y) = -y + 5. Let o be l(5). Is o equal to -3?
False
Let w = 4 - 1. Suppose -3*i - 4 = -a + w*a, 4*a = -i - 8. Which is smaller: i or 2/19?
i
Let o(b) = -b**3 + 7*b**2 - 5*b - 7. Let p = -6 + 12. Let l be o(p). Is 0 greater than l?
True
Let z be (3/(-1))/((-3)/2). Let w be (0 - 60/33) + z. Which is smaller: w or 1?
w
Suppose -4*s - s + 90 = 0. Let d be -4 + 3*33/s. Which is greater: d or 2?
2
Suppose 0 = -2*c + 6*c - 16. Let s(i) = -i**2 + 6*i - 1. Let b be s(c). Let v = 4 - b. Is v less than 0.2?
True
Let y be (39 + -1)/(-2 + 4). Is y not equal to 19?
False
Suppose -4*w = -0*w - 320. Let r = -881/11 + w. Is r < 0?
True
Let z be (0 - 1)*2/10. Let t = 3 - 1. Suppose -t*r = r. Which is sma