)/(-12)). Is 1/13 smaller than c?
False
Suppose 2*b = u + 8, -u + 5*b - 19 = 4. Suppose u*i + 0*i - 2 = 0. Which is bigger: 9/5 or i?
9/5
Suppose t = -2*f - 2, -2*t - f + 26 = -6*t. Let q = t + 10. Is q less than 1?
False
Suppose 9*y = 4*y. Suppose 2*w + w - 6 = y. Which is smaller: w or 0.3?
0.3
Let z(r) = -r**3 + 5*r**2 - 2*r - 5. Let a be z(4). Let l(f) = -f - 1. Let o be l(a). Which is bigger: o or -5?
o
Let w = 0.25 - 3.21. Let u = 0.04 - w. Is 1 at least as big as u?
False
Suppose 0 = 4*z - 4 - 4. Let d be ((-2)/9)/(z/(-3)). Which is bigger: -1 or d?
d
Let l = 221 + -351. Is -129 less than l?
False
Let p be 0 - ((-3)/(-27) + (-4)/(-36)). Let m be ((-1)/(-2))/((-2)/4). Which is smaller: m or p?
m
Let x = 7 - 12. Let p = 30 + -25.1. Let a = x + p. Is 2/15 at least as big as a?
True
Let y = 74.71 - 0.71. Is -0.1 at least y?
False
Let a = 0.3 - 0. Let q = 1 + -1.8. Let s = q + -0.2. Which is greater: s or a?
a
Let j be (2 - 4)*6/(-4). Suppose 0*x - j*z - 1 = -x, 5 = -5*z. Which is smaller: x or -3?
-3
Let u be 0*(-1 - 0 - -2). Let k be -3 - (3 - 16/2). Which is greater: k or u?
k
Let b(n) = 3*n + 1. Let f = -6 - -7. Let v be b(f). Which is bigger: v or 3?
v
Suppose 3*y - 2*y + 1 = 0. Suppose 0 = -2*h - 3*h - 15. Do y and h have different values?
True
Let t(i) = 4*i. Let p be t(1). Let a be 6 - ((-6)/3)/(-1). Is a equal to p?
True
Let z = -6 + 6. Let p = z - 1. Do -3/2 and p have the same value?
False
Let i be 70/(2 - -2 - 2). Let p be 60/i*(-1)/2. Which is greater: p or 0?
0
Let n be ((-1)/(-2))/(2/(-12)). Let y(l) = -3*l - 3. Let m be y(-3). Suppose -2*q - m*c + 2*c = 6, -3 = q - 3*c. Do q and n have different values?
False
Suppose 0 = -3*v + 3*z - 3, -4*v = -9*v - z + 13. Suppose -5*r + 2*p - 9 = -0*p, -5*p = v*r - 8. Is r bigger than -4/9?
False
Let d(y) = y**2 + 8*y + 10. Let f be d(-8). Is f at most as big as 0?
False
Let c be (-2)/(-4) - (-726)/(-1453). Let o = -5885/212138 + c. Is 0 greater than or equal to o?
True
Let q = 1 + 2. Suppose 0 = -q*d - r, r = -0*d + 4*d + 7. Which is smaller: 0 or d?
d
Let v(k) = k**2 + 3*k - 4. Let p be v(-4). Is -2/51 at most as big as p?
True
Let o = -13 - -13. Which is greater: 2 or o?
2
Suppose -543 + 195 = -4*i. Which is smaller: 86 or i?
86
Let c = -68.04 - -68. Which is smaller: c or 3?
c
Let q be 6/21 - (-12)/105. Let m be (1 - -2)/((-2)/(-2)). Suppose -5*l + 2 = -m*l. Is q < l?
True
Let l be (-170)/(-6) + (-13)/(-39). Which is smaller: l or 29?
l
Let y(i) = -i + 10. Suppose -4*s - 4*k + 13 = -k, 3*k + 1 = -2*s. Let b be y(s). Let o = 62 + -247/4. Which is bigger: b or o?
b
Let c = -6 + 16. Suppose -3*f + 4 - c = 0. Let y(u) = u**3 - 2*u**2 - 2. Let r be y(2). Are r and f equal?
True
Suppose 0 = -t - 2*t - 6. Let p be -1 + (8 + t)/2. Suppose -x + 2 = z + 5, 6 = -p*x. Which is smaller: 2/9 or z?
z
Let m(a) = -a**2 + 11*a + 17. Let d be m(10). Is 25 at most d?
True
Let d = -0.19 - -0.08. Let n = 0.31 + d. Which is smaller: 2/5 or n?
n
Let s be -2*((-6)/10)/3. Suppose 63 = -6*d + 153. Which is bigger: d or s?
d
Suppose 5*r + 30 = -0*r. Let s be 14/r*12/21. Let i = 1 - 1. Is i at most as big as s?
False
Let x(l) = -3*l - l**2 + 6 - 1 + 4 - 4*l. Let p be x(-8). Are p and -2/5 non-equal?
True
Let j = -190/51 + 41332/11067. Which is smaller: 1 or j?
j
Suppose 0 = 2*y + 3*z - 2, 0 = 3*y - z - 2 - 1. Do 1 and y have different values?
False
Let p(j) = -2*j**2 - 2*j - 1. Let q be p(-2). Which is smaller: q or -3?
q
Suppose 3*p = -4*m - 42, 0*p + 4*p - 44 = 3*m. Let n(u) = u**3 - 9*u**2 - u - 2. Let i be n(9). Is m not equal to i?
True
Suppose -3*h = -19 + 1. Suppose 0 = f - 2 + h. Is f greater than -4?
False
Let d be (22/(-5) - 0) + 31 + -27. Is d greater than -3/2?
True
Let w = 23.91935 + -0.02935. Let j = -24 + w. Which is bigger: j or 2/5?
2/5
Let i = 47/3 - 169/6. Let k = i - -51/4. Which is greater: -1/4 or k?
k
Suppose m - 5*p = -31, 28 = 5*m + p + 79. Let z(r) = 11*r**3 - r**2 + r + 1. Let c be z(-1). Which is greater: c or m?
m
Let o = 46/13 - 203/39. Let h = 41 - 44. Is o less than or equal to h?
False
Suppose 3*b + 35 = -2*b. Let w(h) = -h - 2. Let k be w(b). Suppose -3*n + n = 3*r, 0 = -5*r + k*n. Is r less than 0?
False
Let s be 1*4*2/20. Does 0.1 = s?
False
Suppose -f + 2*g + 27 = 0, g = 2*f - 21 - 18. Let k = f - 25. Let x be ((-2)/3)/(k/12). Which is greater: 2 or x?
2
Suppose -3*s + 18 = 3*f, -2*f = 4*s - 0*f - 20. Suppose -s*v - 3*r = -4, -v = -4*r - 1 - 0. Let o be 0/((-3)/v - 0). Is o at most 2?
True
Let v be (-24)/6*(0 - -1). Let o = v - -7. Let b be (1/o)/(4/12). Which is bigger: b or 1/9?
b
Let r(q) = -2*q + 5. Let l be r(0). Suppose t = -y, 3*y - l - 3 = 5*t. Let d = -2 + 4. Which is smaller: d or y?
y
Suppose 4*o = -o + 15. Suppose o*w = 4*w + 5. Is w greater than -4?
False
Let a = 260/21 + -19486/1575. Which is greater: a or 1?
1
Let g(t) = 3*t**3 + t**2 - 6*t + 1. Let c(x) = x**3 - x. Let r(z) = 5*c(z) - g(z). Let u be r(1). Is u <= 0?
False
Suppose -3*u = 4*w - 3, 4*w + 3 = -5*u - 0. Which is smaller: u or -3/2?
u
Let w(q) = -2*q**2 - 3*q - 4. Let f be w(-2). Let y be (f/4 - -1)/(-1). Which is bigger: y or -0.1?
y
Let h(p) = -2*p**3 - 4*p**2 - 4*p - 3. Let w be h(-2). Suppose 3*n + 5*v - 25 = -n, 4*n + v = w. Let g be n - (1 - 0 - 2). Which is bigger: g or -1/4?
g
Let k = 24 + -24. Are -0.1 and k unequal?
True
Let l = -127 + 136. Which is bigger: 33/4 or l?
l
Suppose 0 = -3*a - 5*m + 43, 7*a - 4*a - 46 = -2*m. Let g = 10 - a. Let f(h) = h**2 + 5*h - 5. Let x be f(g). Which is smaller: x or 1/3?
1/3
Suppose -2 = 2*o + 4*v + 2, -5*o - v = -8. Let l be (-1)/o - (-30)/(-12). Is -7/4 greater than l?
True
Let o be -20*(-4)/(-16)*2. Which is smaller: o or -1?
o
Suppose 4*l + 4*f = -16, -3*l + f = 3*f + 10. Let j = -2 - l. Suppose -3*o - 12 = 4*r, 2*o + 3*r + 0*r + 9 = j. Is 0 at most o?
True
Let n = 4/68841 + -2845688/4474665. Let p = n + -2/65. Which is smaller: 0.06 or p?
p
Let n(a) = a**2 + 3*a - 19. Let u be n(-6). Which is bigger: u or -1/31?
-1/31
Let q = 6 - 9. Suppose 4*f - 68 - 16 = 0. Suppose 6*r - 2*r + 3*t + f = 0, 0 = -r - 2*t - 9. Is r greater than q?
False
Let i = 25 - 30. Let f(p) = 16*p - 2. Let g be f(-4). Let c be g/14 - 4/14. Is i > c?
False
Let a be (814/12 - 2) + 1. Let r = -67 + a. Is r at most -1?
False
Let x be 10*((-12)/3 + 5). Which is smaller: x or 45/4?
x
Let x be (-12)/(-10)*(-75)/(-210). Are x and 2/9 unequal?
True
Let q = -2007636 - -90352693/45. Let t = -702/5 + q. Let g = t + -61. Is g at least as big as 1?
False
Let t(a) = a**3 + 8*a**2 + 6*a - 1. Let s be t(-7). Let z = s + -4. Let j be (6 + -1)/1 - 4. Which is smaller: j or z?
j
Let z = -6 - -6.2. Is -2/21 equal to z?
False
Suppose 0 = -4*h + 3*a + 60 - 1, -3*h + a = -43. Suppose 0 = -3*n - 5*y, -n + 2*y + y = h. Let i(c) = 2*c. Let p be i(-2). Is p at most as big as n?
False
Let o = 63/376 - 2/47. Let r(m) = -m**2 - 19*m - 17. Let q be r(-18). Which is bigger: o or q?
q
Suppose 0*a + 5 = -5*b + 2*a, -2*a = -10. Let u be -1 + (b - 3/12). Let v be 2/5 - 6/(-10). Which is smaller: v or u?
u
Suppose r - 12 = -3*r. Which is greater: 4 or r?
4
Let i = 14 + -10. Suppose 2*s + 0*q - 21 = q, -3*s - i*q = -26. Let d be 2/8 + s/(-8). Which is greater: d or -2?
d
Let v be (-2)/(-1) - 2*1. Suppose b + 4*h + 4 = 0, 3*b + 5*h + 2 - 4 = 0. Suppose 0 = -3*w + w + b. Is w < v?
False
Let g = 52 - 98. Let s = g - -463/10. Which is greater: s or 0.1?
s
Let l = -1324/21 + 63. Which is bigger: l or 0?
0
Suppose -4*d + 4*l = 12, 2*d = 4*l - l - 11. Let u be 9/d + 3/(-6). Suppose 6*b = u*b. Are b and -1 equal?
False
Suppose -3*t = -5*t - 80. Which is greater: -41 or t?
t
Let c = 14 - 15. Which is greater: c or -1/6?
-1/6
Let v be 0 + 0 - 2/(-8). Let c = 0.9 - 0.76. Let l = 0.04 - c. Which is greater: v or l?
v
Let k = 3.4 + -3.35. Let y = 1 - 3. Which is bigger: y or k?
k
Let j = -5 + 3. Suppose -2*f = 6, t - 6 = 5*f + 7. Is j less than t?
False
Let c be 8*-1 + 3 - 0. Let y be 30/(-4)*c/100. Are 0 and y equal?
False
Let l = -120/19 + 3278/513. Let n = l - -40/189. Let t = 0.2 + -0.1. Is n at most t?
False
Let i be ((-12)/174)/(0 + -1). Which is bigger: -1 or i?
i
Let j = -12 - -13. Does 17 = j?
False
Let i(x) = 4*x**3 + x - 1. Let b be i(1). Let d be 4/14 - b/14. Suppose -y = n - 0*n - 5, d = -2*n - 5*y + 25. Is n at le