80)/(18/4). Let t = 1/8 - p. Which is greater: t or -0.2?
t
Let d be 609/(-735) + 6/14. Which is smaller: 0 or d?
d
Let h be (-1 + 9/7)/((-252)/(-147)). Let v be ((-20)/(-6))/(4/6). Suppose l + 4 = v*l. Is l at most h?
False
Suppose -j + 3*c = -10 - 8, -19 = 2*j + 5*c. Let a be 3/((-6)/(-10)) - 1. Suppose -3*k = 0, 2*k = -a*u - 0 + 16. Is u at least as big as j?
True
Suppose -4*v - 4*t = -32 + 8, 2*v = 3*t - 8. Let l(z) = 9*z - 3. Let x be l(v). Which is smaller: 16 or x?
x
Let a(p) = p**3 + 4*p**2 + p - 1. Let x be a(-4). Is -5 < x?
False
Let i be 9 + 3/(4 + -1). Suppose -r - 4*r = i. Let v = -3 - -1. Is r < v?
False
Suppose -4*f - 4 = -0*f. Let v be 15/10 - (-4)/(-8). Let l be (v - 4 - -3)/3. Is l at most as big as f?
False
Suppose 5 = -4*l + 1. Suppose -5 = -r - 2. Let a be (-30)/16 - (r + -5). Which is smaller: l or a?
l
Suppose 3*b + 4*v = -b + 16, -4*b = -5*v - 16. Let h be ((-2)/b)/((-1)/6). Which is smaller: 4 or h?
h
Let w = 6 - 4. Let v be 2/3 - (-7)/3. Suppose -v*q = -w*q + 3. Which is bigger: q or -5?
q
Let k = 0.04 - 0.1. Let u = 0.94 - k. Is -3 <= u?
True
Let h(i) = -i. Let o(u) = -4*u - 1. Let n(l) = 5*h(l) - o(l). Let f(v) = v**2 - 9*v + 6. Let z(g) = -f(g) + 6*n(g). Let w be z(4). Is -3 greater than w?
True
Let f = 250 + -1499/6. Let j(h) = -h**2 - 5*h - 3. Let u be j(-3). Suppose -4 = -4*d, -u*d + 0 = 4*c - 7. Is c at most as big as f?
False
Let x be (-48)/540*(-6207)/2. Let a = 593 + -317. Let w = a - x. Which is smaller: w or 0?
0
Let y = 11.18 - 0.18. Let l = 12 - y. Which is smaller: l or 0.11?
0.11
Suppose a - 2*q = 0, 3*a + q - 4*q + 3 = 0. Is a < 11?
True
Let l be (18/(-45))/((-63)/5). Which is greater: 1 or l?
1
Suppose -4*w + 0*w = r + 8, -5*r - 6 = 3*w. Let c = 2 + r. Suppose 5*u + c - 7 = 0. Is -3/7 at least as big as u?
False
Let d = 901/36 - 101/4. Let p = 0.2 - 0. Let w = 0.3 - p. Is d greater than w?
False
Let j = -5544/17 + 326. Suppose -b = 3, -b + 2 - 8 = 3*w. Is w bigger than j?
False
Let k = 4 + -4. Is 2/13 not equal to k?
True
Let o = -1 + 3. Is o less than or equal to 2?
True
Suppose 0*k + 5*k = 0. Let d = 1 + 0. Let a = 0 - d. Which is smaller: a or k?
a
Let p = 0.017 - -0.083. Which is greater: p or -1/2?
p
Let m be 3*3/36 + 517/44. Which is smaller: 2 or m?
2
Let c = 0.74 - -1.26. Is -0.05 less than c?
True
Let r = 1 + 0. Let z be (-2 - 0) + r + 0. Is z equal to 2?
False
Suppose 5*n + 3*y = -2, -3*y - 1 + 4 = 0. Let s = 2303/13 - 177. Which is smaller: n or s?
n
Suppose -5*n - 4*g = -39, 0 = -2*n + g + 2*g + 11. Suppose 4*p = n + 9. Suppose -3*s + 12 = -3. Is p equal to s?
False
Let w(a) = -a**2 + 3*a + 13. Let y be w(6). Is -3 >= y?
True
Suppose 0 = 3*y + 2*n - 5, 5*y - n - 17 - 13 = 0. Suppose y*m - 2*g - 23 = 0, -8 = 4*m - 0*m + 5*g. Suppose -5*c + 3 = -2. Which is bigger: c or m?
m
Let i be (-6)/16 - 7/(-69384)*3669. Which is smaller: i or 1?
i
Let q be (4/6)/(7/(-6)). Let f(l) = l**3 - 5*l**2 - l + 5. Let z be f(5). Is q at most z?
True
Let w(h) = h**2 - 11*h + 12. Let s be w(4). Which is smaller: s or -19?
-19
Let a = -6 - -53/9. Which is greater: 0 or a?
0
Let o be 0 - -2 - (7 + 0). Suppose 6 = -5*x - 0*h + 3*h, 5*x + h - 2 = 0. Suppose -15 = -x*v + 3*v. Do o and v have the same value?
True
Let r be (14/2160)/(42/245). Let f = r - -2/81. Which is bigger: f or -1?
f
Let z = 3 - 2. Let j = -10/2247 - -290263/89880. Let x = 29/8 - j. Which is bigger: z or x?
z
Let f = 2.4 + -1.7. Let s = 40.4 + -41. Let d = s + f. Which is bigger: 0 or d?
d
Let r(p) = -p**3 - p**2 + p. Let g be r(-2). Let o = -11 - -13. Suppose -g*h + 0 = -o. Which is smaller: h or -0.2?
-0.2
Suppose 0 = 4*h + 16, r + 2*h + 10 - 3 = 0. Let k = r + 0. Which is bigger: -6/17 or k?
k
Suppose -3*j + 0 = -9. Suppose j*i + 2*h + 1 = 0, 2*i + 1 = -4*h - 5. Which is smaller: i or 1/10?
1/10
Let h = -2.8 - -2.67. Is 1/3 < h?
False
Let o = 1 + -1. Suppose o = 5*n + 2 + 3. Are n and 1/7 non-equal?
True
Let s = -9 - -11. Which is bigger: s or 0.02?
s
Suppose -12 = r - 0*r. Let x be (-1)/(-3) + 4/r. Let l(y) = -y**2. Let u be l(x). Which is bigger: u or -3/4?
u
Let d(v) = -v**2 + 10*v - 11. Let n be d(8). Which is smaller: 7 or n?
n
Let d(v) = -v**2 - 7*v - 3. Let x = 0 + -6. Let t be d(x). Let j be 5/(25/t)*-5. Which is greater: 1 or j?
1
Suppose 4*h = -0*h - 2*v, 7 = -h + 3*v. Which is greater: h or -1/14?
-1/14
Let l(g) = 4*g + 2. Let v be l(1). Which is greater: v or 7?
7
Let c be (-1 - (-2)/4)*(18 - 34). Which is greater: 9 or c?
9
Let r(v) = v**3 - 9*v**2 + 13*v - 11. Let y be r(8). Is 28 bigger than y?
False
Suppose 0 = d + 3*d - 84. Is 21 greater than or equal to d?
True
Let k(i) = -4*i**3 + i - 4. Let o be k(2). Is -35 equal to o?
False
Let v be (-92)/28 - -3 - (-17)/(-63). Which is smaller: -1 or v?
-1
Let v(m) = m + 1. Let z be v(-4). Let t(x) = -x**3 - 2*x**2 + x - 2. Let q be t(z). Let h be 1 - (q - 2 - 3). Which is greater: 2/3 or h?
h
Let y = 3 + -3.3. Let t be (-4)/10 - ((-32)/(-10))/2. Is t less than y?
True
Let c = 1 + -0.7. Let y = c + -0.4. Let x = y - 0. Is -2/7 <= x?
True
Let p = -68 + 68. Is p >= -1?
True
Suppose 0 = 5*p - 17 - 8. Let w = -4 + p. Does 4 = w?
False
Let h = -40.8 - -6. Let v = 35 + h. Let c = 0.3 - 0.1. Is c less than v?
False
Suppose a + 2 + 2 = 0. Suppose 3*y - 2*m - 3 + 20 = 0, 0 = 5*y - m + 26. Let p be y*-1*(-2 + 1). Is a != p?
True
Suppose -7*p - 2*p = -10*p. Which is bigger: -3/50 or p?
p
Let u = 2 - 4. Let x = 7027 - 407591/58. Let j = x - 2/29. Is u at most j?
True
Suppose 0 = -3*p - 2*u - 2, -p = -3*u + 8 - 0. Let c be (1 + -16)*p/(-5). Let j = c - -9. Do 3 and j have different values?
False
Let t = -6 + 10. Let u = t + -5. Let a = -55/2 - -27. Is u <= a?
True
Suppose -2*k - 5*s = 1, k - 3*k + s + 29 = 0. Let t be 460/(-135)*-3 + 2/(-9). Is k < t?
False
Let l be 12/7 - 2/(-7). Suppose l*b + b = 0. Is 2/7 at least as big as b?
True
Let g be 2/4*(-9 + -1). Let p be (9/g + 2)*299. Let l = p - 60. Which is greater: l or -1?
l
Let s = -19 - -5. Let c = -18 - s. Is c not equal to -3?
True
Let h = 46 - 42. Is 5 greater than h?
True
Let g(i) = -1 + 0 - 3 + i + 3. Let x be g(0). Do x and 1/11 have different values?
True
Let f be (1/(-1))/(-4 + 13). Suppose -3*d = 5*n - 9, -2*d = 3*n - 2*n - 6. Is f bigger than n?
False
Let d(n) = 3*n + 3. Let f be d(8). Let j be (-4)/f*12/8. Let z = -2 - -3. Is j <= z?
True
Let f = 57 - 65. Is -6 > f?
True
Let h = 2 - 1. Let j = 0.8 - h. Let b = j - -0.1. Which is smaller: b or -2?
-2
Let f = -148/9 + 10768/657. Let o be ((-9)/(-1533))/((-3)/(-118)). Let r = f - o. Which is smaller: r or -1?
-1
Let o(s) = -s**3 - s**2 - s + 330. Let w be o(0). Let u be 177/w + (-2)/4. Is 0 > u?
False
Suppose -6*k = t - k + 10, 3*t - 60 = 3*k. Suppose 5*q + t = -3*o, 0*q = q - 4*o - 20. Which is smaller: q or -2/19?
-2/19
Let y be (10/(-6) - -2)*0. Suppose -4*l = -y*l. Does -6/7 = l?
False
Suppose -29*h + 12 = -23*h. Do 3 and h have the same value?
False
Let t = 39 - 41. Is t >= -7?
True
Let v(h) = 2*h. Let i be v(4). Let z = -5 + i. Suppose -17 = -4*t - 5*x, 0 = 3*t - z*x + 36 - 15. Which is smaller: -1 or t?
t
Let x(l) = -2*l**2 + 2*l + 2. Let u be x(2). Which is smaller: u or 17?
u
Let q = -13 - -20. Let h = q - 3. Let s = h + -2. Which is smaller: s or 3?
s
Let b(o) = o**2 - 1. Let a be b(-1). Suppose -8 = -2*d, c = -2*d + 7 - a. Let n = c + 1. Which is bigger: n or -2/17?
n
Suppose 5*k - 28 = -3*s, 2*s - 10 = -2*k + 2. Suppose 0 = -4*l + 4, 4*w + k*l = -83. Is w >= -22?
True
Let k(r) = r**3 - 3*r**2 - 3. Suppose -5*q = 7 - 22. Let g be k(q). Is -1 equal to g?
False
Suppose 0*v - 4*v = 0. Suppose d - 2*d + 1 = v. Suppose 6*n = 5*n - d. Is n equal to -1?
True
Suppose -8*t + 4 = -3*t - 2*s, 0 = -4*s - 8. Suppose -4*d - k - 10 = t, -5*d + 4*k - 17 = 6. Is -6 <= d?
True
Suppose -4*z + 37 = -4*j + z, 3*z - 3 = -4*j. Let g be (-45)/j*2/5. Let r(f) = f - 5. Let w be r(g). Which is smaller: w or -2/13?
-2/13
Let b be (521/(-12))/((-2)/4). Let a = 87 - b. Is -1 >= a?
False
Let o be ((-5)/15)/(1/(-9)). Suppose o = -0*v - v. Is -3 <= v?
True
Let m = -13026/43 + 303. Is m smaller than 0?
False
Let a(t) = -4*t - 15. Let i be a(-6). Let o be 4/48*(-12)/i. Which is smaller: o or 1?
o
Let j(l) = l**3 + 4*l**2 - 5*l + 3. Let o be j(-5). Suppose o*t - 4 = 8. Suppose 2*i = t*i + 4. Which is greater: