 + 0.2. Which is smaller: p or -2/7?
-2/7
Let c be (1 + 0)/(2/6). Let u(h) = 3*h - 3. Let n be u(2). Suppose x + l = -3*x + n, -3*l - 6 = -c*x. Is -2/5 at most x?
True
Let c be ((-16)/24)/((-2)/3). Suppose m - c = -2. Is m smaller than -3/5?
True
Let s = 22 + -30. Which is greater: s or -9?
s
Suppose 0 = -h + 3*a - 6, h - 3 = -3*a + 3. Let d = -83/4 - -21. Is h > d?
False
Let o = 13 + -14. Let p be o - (-1 - -1 - -2). Is p at most as big as -2?
True
Let z = -8.1 - -1.1. Let b = z - -5. Let g = 5 + b. Which is smaller: -2/5 or g?
-2/5
Let k = 0 + 9. Let s(z) = -z**3 - 4*z**2 + z + 1. Let l be s(-5). Suppose -4*u = o - 28, 2*u - l = o - 1. Is u at least as big as k?
False
Let g = 7 - 7.8. Let d = g + -0.2. Which is smaller: d or 0.07?
d
Let l be 144/(-28)*1 + 5. Which is greater: 1 or l?
1
Let w be -1*22/2 - (-11 + 10). Are w and -21/2 non-equal?
True
Suppose -4*i + 2*j - 10 = 0, 4*i + 2*j = -3*j + 11. Let c be (4/5)/(i/5). Which is smaller: c or -5?
-5
Suppose 4*b + 8 = 5*v - v, 5*b + 25 = 0. Suppose -d = -5*d + 4. Is d bigger than v?
True
Let q(k) = k**3 - 9*k**2 + 9*k + 8. Let t be 10/(-15) + 52/6. Let c be q(t). Let d = 11 - c. Is -5 equal to d?
True
Let r = -24 + 25. Which is smaller: r or -11?
-11
Suppose -4*y = 5*q + 13, -y - 4*q - q - 22 = 0. Suppose m = -2*p + 5, 6*p - 7 = -y*m + 4*p. Which is smaller: -1 or m?
-1
Let v(t) = -t**2 + t. Let x be v(1). Let o = 0.96 - 0.7. Let m = o + 5.74. Which is bigger: m or x?
m
Let v(i) = i**3 + 6*i**2 + i + 7. Let o be v(-6). Suppose -4*c + 0*c = 0. Which is smaller: o or c?
c
Let r = -0.025 - -0.085. Which is greater: r or -3?
r
Let u be 18/(-14) - 10/(-35). Let y be (3 - 3)*u/2. Which is smaller: y or 2/7?
y
Let s be (1/(-2))/((-10)/(-400)). Is s at least -14?
False
Let z = -1 - -4. Suppose -z*d = 2*l + 6 + 17, -3*d = -4*l - 1. Is -5 at most as big as l?
True
Suppose -4*i + 9*a - 20 = 4*a, 3*i - 5*a + 20 = 0. Suppose i*v = v + 1. Let x be (-30)/105*(-1)/(-2). Which is bigger: x or v?
x
Suppose -2*m + 12 = -0*m. Let g = -3 + m. Suppose -w = -g*w. Is w at most as big as -4/9?
False
Let b = -39.7 - -40. Which is bigger: b or 6?
6
Let z = 5 + -6. Let u be (-11)/(-6) + z/2. Which is greater: u or 1?
u
Let w = -5 - -4. Which is smaller: w or 0.1?
w
Suppose 5 = -l + 2*l. Suppose l*s + 15 = 5*a, -5*s + 3*a + a = 10. Suppose 5*u - 3 - s = 0. Is u < 1?
False
Let p be (-1)/(1 - (-34)/(-24)). Suppose -2*l = -5*o + 8, l - 5*o - 1 = -10. Which is smaller: p or l?
l
Let o = -3 - 0. Let r = -1 - -3. Is r less than o?
False
Let t = 24 + -22. Suppose 3*v - 11 = -5*r - 0, -t*r + 20 = -4*v. Which is smaller: 6 or r?
r
Let k = 53 - 50. Is k less than 12?
True
Let p = -37 - -61. Is 25 bigger than p?
True
Let b be ((-3)/(-24))/((-105)/(-218)). Let s = b - 1/105. Which is bigger: 0 or s?
s
Suppose -3*f + 2*f + 16 = 0. Suppose 0*r + r = f. Suppose 2*t - 3*w + 12 = -2*t, -4*t - 4*w + r = 0. Which is bigger: t or 3?
3
Let r = 0.05 + -3.05. Which is bigger: r or -0.2?
-0.2
Suppose -5 = -u + 3*v, 2*u = 5*v + 9 - 1. Is u <= 3/112?
True
Let d be (-44)/(-10) - (-16)/(-40). Let l(n) = -4*n**2 - n. Let s be l(1). Let z be 3 + s + d - -1. Do 4 and z have different values?
True
Let c(r) = -r**2 - 7*r + 4. Let p be c(-7). Suppose -3*v = -v + p. Is v bigger than 0?
False
Let s(d) = -2*d**3 + d**2 - d - 3. Let n be s(2). Which is greater: n or 2/7?
2/7
Let f = -0.2 + 0.2. Let p = 0.2 - f. Let o = p + -0.4. Which is smaller: -1/2 or o?
-1/2
Let r(f) = -3 + 8 + 10*f - 3 + f**2 + 4. Let q be r(-10). Is q <= 6?
True
Suppose x - v = 159, -x + 82 = 4*v - 72. Let f = 1104/7 - x. Which is greater: f or -2/5?
f
Let x(n) = -3*n**3 - 4*n**2 - 4*n - 4. Let g(k) = -7*k**3 - 7*k**2 - 7*k - 8. Let f(s) = -4*g(s) + 9*x(s). Let z be f(9). Which is greater: z or 0?
z
Let k = 18 - 25. Which is greater: -8 or k?
k
Suppose -3*w = -5*o - 12, 0 = w - 2*o - 2 - 2. Suppose 0*y + w = -4*y. Is y bigger than -2?
True
Let w = -2 - -3. Let r = -2 + w. Let c be (-2)/14*1*2. Does c = r?
False
Let h be ((-1)/1 + 105)/(30/(-30)). Is -104 at most h?
True
Let b(z) = z - 6. Let g(u) = 2*u - 17. Let r(f) = -8*b(f) + 3*g(f). Let w be r(-2). Let h be 0 + (-1)/2*-2. Does w = h?
True
Let p = -40 - -40. Let b(r) = 6*r - 2. Let v be b(-2). Let u be (-4)/v - (-16)/42. Which is smaller: p or u?
p
Let y = -35 + 52. Suppose -5*z = a - y, 3 = -3*a + 3*z - 0. Is 2 less than a?
False
Let k be ((-6)/(-5))/(12/30). Is k less than or equal to 0?
False
Let l be (-2)/7 - (-114)/7. Let i be (-1 + -2 - -16) + 2. Which is bigger: i or l?
l
Suppose 12 = 4*f + 2*v, -5 - 10 = 5*f - 5*v. Let q be (f - 0)/(2 + 2). Let s = 2 + -2.1. Which is greater: q or s?
q
Let u be (-4 - (-4)/2)/2. Let t(c) = -c**2 + 5*c + 4. Let g(a) = a + 1. Let b be g(5). Let o be t(b). Which is smaller: u or o?
o
Let r be (-21)/(3813/6*-8). Let p = 1/124 + r. Let j = 43/164 - p. Is -1/2 at most as big as j?
True
Let s = -6 - -6. Which is bigger: 6/13 or s?
6/13
Suppose 2*t - 4*t = -16. Suppose 11*b - 21 = t*b. Which is smaller: b or 5?
5
Suppose -a + 2*y - 2 = -5, 4*a - 1 = -3*y. Suppose -4*c + 12 = -3*c + 5*v, -5*c + 3*v + 4 = 0. Is c greater than a?
True
Let k(y) = y**2 + 6*y + 6. Let u be k(-4). Let f be (u - 108/(-20)) + -4. Which is bigger: f or 0?
0
Suppose 2*z - 47 = -3*m, 5*m - 3*z - 80 = -8*z. Do 14 and m have different values?
True
Let j = -17/2 + 9. Let f(b) = b**3 - 3*b**2 - 3*b + 3. Let a be f(2). Let u = a - -9. Which is greater: j or u?
u
Let k = -24 - -14. Let v = 82 - 93. Which is greater: k or v?
k
Let f = -4 + 3. Let c be 15/10 - (1 - f). Suppose -v = -0*v + 1. Which is smaller: c or v?
v
Let h(o) = o**3 + 4*o**2 + 3*o + 3. Let g be h(-3). Suppose -5 = 2*j + g*j. Let f be 1/(16/22) - 1. Is j at least f?
False
Let w = -2 + 2.1. Let c(m) = -9*m + 1 - 6 + m + 9*m. Let r be c(3). Which is bigger: w or r?
w
Let l be ((-3)/9)/(1/(-3)). Suppose 12 = -2*k + 3*s, 2*k + 3 = s - 5. Let h be 2/(-24)*l*k. Is 1/5 at least as big as h?
False
Suppose -2*c + 8 = 2*c. Suppose 2*x + c = 4*x. Let n(y) = -4*y. Let f be n(x). Which is smaller: f or -5?
-5
Let i = 0.1 - 0.2. Let l = i + -0.5. Which is greater: -1/3 or l?
-1/3
Let a(n) = n**3 - 8*n**2 - 8*n + 9. Let m be a(9). Is m < 17?
False
Let v be -2 - (3/3 + 11). Let m(o) = -o**3 - 4*o**2 - 3*o - 3. Let r be m(-3). Let f be (-8)/v*r/(-12). Which is bigger: f or -1?
f
Let l be 8/2 - (-11)/((-2178)/804). Is l at least as big as -1?
True
Let p = 37/5 - 4837/655. Which is smaller: 1 or p?
p
Suppose -r = r - 2, 2*g + r - 1 = 0. Is 5/31 less than g?
False
Suppose 0*v = 3*v. Let s be (4/10)/(84/50). Let l = s + 3/7. Is l smaller than v?
False
Let g be -1 + 1 - (-2 + 1 + 1). Is g <= 2?
True
Let m(v) = v**3 + 6*v**2 + 7*v + 6. Let x be m(-5). Suppose -4 = 3*l - 19. Suppose -i + l = 0, 4*r + 0*i - 2*i + 26 = 0. Is x != r?
False
Let d be -2*((-1)/6)/(5/(-15)). Suppose 6 = 3*j + 3. Which is bigger: j or d?
j
Let c = -5 - -9. Let d = 1 - c. Let r = -4 - d. Is -2 smaller than r?
True
Suppose b = 5, -3*s + 3*b - 31 = 59. Is s < -27?
False
Suppose -m = -0*m - 2. Suppose 0 = m*d - 21 - 9. Let v = d + -46/3. Which is greater: v or -0.1?
-0.1
Suppose c + 4 - 6 = 0. Suppose -3*u + c*r + 19 = -2*r, 2 = -2*r. Which is bigger: 1 or u?
u
Let b be 3/2*(-6)/9. Let h(g) = 5*g**2 + g + 1. Let a be h(-1). Suppose -a*p - 3 = -2*p. Is p at most b?
True
Suppose s + 9 = -a, 3*s + a + 22 = -a. Is -3 greater than s?
True
Let j = -8 - -3. Let r = j - -6. Let x = -1 - -1. Which is bigger: x or r?
r
Let p be (-2)/(-1 + -1) + 154/(-418). Do 1 and p have the same value?
False
Let t = -5 - -10. Suppose -2*g = -t*d + 7 + 54, 32 = 4*d + 4*g. Let p be 6/4 + d/(-6). Which is bigger: 0 or p?
0
Let h be ((-1)/(-2))/(6/4). Let c = 516 + -6197/12. Let f = c + 1/6. Is f bigger than h?
False
Let t = -42 + 41. Let s = -3/89 + -786/445. Let j = s + 7/5. Which is smaller: j or t?
t
Let w be (-297)/(-935) - 2/17. Is 0 <= w?
True
Let a be (-4)/(-6) + 33/(-9). Is 0.1 equal to a?
False
Let l = 10 - 14. Is l less than or equal to -2?
True
Let k = -78/7 + 716/63. Suppose -3 = -3*l, 5*s - l - l - 13 = 0. Let w be s/(-1) + 14 + -10. Is w greater than k?
True
Let b(n) = 3*n**3 - 4*n**2 + 5*n - 4. Let a be b(2). Is 11 smaller than a?
True
Let x = -0.4 + 2.4. Let t = -2 + x. Let g = 10.8 + -11. Is g bigger than t?
False
Let x be (-8