ppose -3*o + 30 = -r*p, -6 = 2*p - o + 6. Is p smaller than -7?
False
Let m = 10 + -21. Let s = -8 - m. Let v be 4 + (-4 - -1 - 0). Which is smaller: v or s?
v
Let s = 0.6 + 3.5. Let h = -4 + s. Which is smaller: -2/7 or h?
-2/7
Let y = -7/82 - -209/1968. Is 0 at least y?
False
Let v be (3 - (1 - 0))*11. Which is smaller: v or 21?
21
Let x be -2 + -5 + 3 + 0. Let i be 9/3 + x - 0. Is i > -1?
False
Let t(i) be the third derivative of -i**4/8 - 2*i**3/3 - 2*i**2. Let n be t(-3). Let o(m) = m**2 - 3*m - 6. Let u be o(n). Are 4 and u equal?
True
Suppose -u - 2*t + 0*t = -54, 4*t + 148 = 2*u. Let i be (10/8)/((-4)/u). Let k = -11 - i. Which is smaller: k or 8?
8
Let w(m) = 2*m**2 - 12*m + 11. Let q be w(5). Is q at least as big as -1/34?
True
Let l = -32 - -18. Is -15 less than or equal to l?
True
Let m be -3*(28/(-12) + -1). Is m bigger than 10?
False
Let b be 5/(-1) - (-1 + 3). Let a = -13 - b. Let c be 32/14 - a/(-21). Is c at most 2?
True
Let p(v) = v**3 - 7*v**2 - 3*v + 5. Let o be p(7). Let q = o + 15. Which is bigger: -10/9 or q?
q
Let c = -91.12 - -91. Do -2/11 and c have the same value?
False
Let k = -4.8 + 3.8. Is k less than or equal to 2?
True
Let l(p) = -p + 2. Let m be l(9). Let c = -5 - m. Suppose -4*y - 18 = -c. Are y and -3 nonequal?
True
Let r be 51/6*(-6)/(-15). Which is bigger: 4 or r?
4
Let i = 3/4 + -3/20. Which is bigger: i or 0?
i
Suppose 0 = -2*j + 2 + 4. Suppose p - 1 = -4*a + 3*a, -18 = 2*p - j*a. Is p < -3?
False
Let q(u) = -u - 5. Let l be q(-7). Is 3/2 less than l?
True
Let a = 0 + -1. Let i be (-26)/(-40) - 8/20. Which is greater: a or i?
i
Let h = -36 - -247/7. Which is smaller: -2 or h?
-2
Let y = 0 - 0. Let w be (57 - -1)*(-2)/8. Let l = w + 147/10. Are y and l unequal?
True
Let q(i) = -i**2 + 6*i + 8. Let v be q(7). Which is greater: 2/9 or v?
v
Suppose -5*q + 2 = -18. Let p = q + -2. Suppose 4*v - 4*u - 12 = 0, v + 7 = p*v - 3*u. Which is smaller: -1 or v?
-1
Let d be -3 + 6/(-3) - -2. Let f = 2.56 - 0.56. Which is smaller: d or f?
d
Let o be (-4)/12 + (-8)/(-6). Is o less than -1/8?
False
Let z = -0.09 + -0.41. Let f = z - -0.1. Which is bigger: 2 or f?
2
Let x be (-2)/(-1)*(4 - 0). Let l = x + -8. Which is smaller: l or -3?
-3
Suppose -5*g + 3*g = 2. Let u = 5/3 + -28/15. Is u at least g?
True
Let o = -18 - -29. Is 11 at most as big as o?
True
Suppose 2*a + v = -4 + 7, 4*a - 2*v - 10 = 0. Suppose 0*n = n. Let p be n - 0 - (-4 + a). Are -0.2 and p equal?
False
Let y(f) = -f**2 + 5*f. Let s be y(4). Let q(m) = -m. Let h be q(s). Let r be h/42*-3*7. Is 2 at least as big as r?
True
Suppose 0 = -u - 2*u. Let q be -2 + 3/((-12)/(-7)). Is u greater than q?
True
Suppose -5*y + 11 = 2*h, 2*y - 6 = -5*h + 11. Suppose -s + 3*o = -20, 0 = -4*s - 0*s - h*o + 5. Suppose -4*m - 3*x = 0, 5*x - 17 = -s*m + 4*m. Does -3 = m?
True
Let s = 16 + -135. Let b be 1 + 3 + s/35. Which is bigger: 2 or b?
2
Suppose -3*x - 13 = -2*p, 0 - 8 = -p + 2*x. Is p greater than or equal to 10/17?
True
Let w = 16 - 30. Let u be (-30)/(-35) + 4/w. Suppose -5*y + 1 + 4 = 0. Is y at least as big as u?
True
Let v = -1199/16 + 75. Is 0 at most v?
True
Suppose -3*s - s = -2*s. Let t = 103/100 - 7/25. Is s at most t?
True
Let f = 23.44 - -0.56. Which is smaller: f or 0?
0
Let m(l) = 7*l + 3. Let u be m(3). Let i be u/44 - -1 - 1. Do i and 2 have the same value?
False
Let a be 6*(1 - 3/2). Let o be ((-111)/(-18))/(a/66). Let r = o - -137. Is r less than 0?
False
Let n = 3 - 3. Is 2 at most n?
False
Let b be (-6)/(-33) - 1545/8195. Which is smaller: 0 or b?
b
Let y be ((-5)/(-2) - 2)*(0 + 0). Which is smaller: 2/7 or y?
y
Let a be 4/1 + (1 - -7). Which is bigger: a or 2?
a
Let g = 5 + -2. Let u = -3 + g. Let d = 0 + u. Is d at least -0.1?
True
Let u = -0.01 - 6.99. Which is smaller: -2/5 or u?
u
Let w be ((-1)/(-3))/((-1)/3). Let o(g) = g**3 + g**2 - 2*g - 2. Let z be o(-2). Let x be ((-48)/(-22) - 0) + z. Is w greater than x?
False
Let f be (-57)/51 - 10/(-85). Do f and -2/11 have the same value?
False
Let s be -2 + (3 - (-67056)/(-70)). Let g = -957 - s. Which is greater: g or 0?
0
Let u = -137 + 120. Which is bigger: u or -15?
-15
Let t = 39 - 103. Are t and -63 equal?
False
Let j = -0.6 + 0.54. Let s = j - 6.94. Let q = s + 7.1. Which is smaller: q or 4/3?
q
Suppose 42 = -3*l + 4*v - v, 0 = -2*l + 5*v - 28. Which is smaller: -2 or l?
l
Suppose -16 = m - 3*m. Suppose 0*j + 4*j = -m. Is -4 less than j?
True
Let i = -4 - -4.41. Let x = i + 0.09. Let a = 11.1 - 11. Which is smaller: a or x?
a
Suppose -3*a = -6*a. Let f be (4 - 3)*a/2. Do 0.2 and f have the same value?
False
Let r be (-1)/((-5)/((-15)/(-54))). Let n = r + -5/9. Is -2 != n?
True
Let k(y) = -2*y - 2. Let b be k(-2). Suppose 5*j - 35 = -10. Suppose j*a - b*a - 8 = -q, 5*q - 2*a + 11 = 0. Which is greater: -1/12 or q?
-1/12
Let p = 0 - -1. Let q(u) = 2*u - 2. Let a be q(p). Are -2 and a equal?
False
Let v = 3 + -1. Suppose 2*i = -v*z + z - 5, 3*z - 4*i = 5. Is 2/49 less than z?
False
Let k be 5/10 + (-9)/2. Let o = 6 + k. Suppose -o = i - 1. Is i bigger than 1/4?
False
Let t(z) = -3*z**2 + 6*z - 7. Let r(h) = 13*h**2 - 23*h + 28. Let x(k) = -2*r(k) - 9*t(k). Let j be x(5). Let v be 1/3*(-6)/j. Is v greater than -1/3?
True
Suppose 4*z - 5*u = 2, -2*u - 8 = -0*z - 4*z. Suppose 4*l = -z*j - 47, 2*j + 3*j + 1 = 3*l. Let m = l + 7. Is m smaller than -2/21?
True
Suppose 5*t - 8*t + 3 = 0. Let k be (-1)/t + (-7)/(-6). Which is greater: 0 or k?
k
Suppose -2 = m + 3. Let z(r) be the second derivative of r**4/12 + 5*r**3/6 - r**2 - 44*r. Let h be z(m). Do h and -1 have the same value?
False
Let y(x) = -7 + x**2 + 0*x**2 - 5*x + 3*x. Let t be y(5). Let l be (4/(-24))/((-6)/t). Which is smaller: 0 or l?
0
Suppose -2*f + 5*t - 8 = 0, 0*f - 3*t = 2*f - 8. Is f greater than 2/45?
True
Let v = -23 + 37. Let j be -2 + 1 - v/(-10). Suppose 4*p + 3*g + 10 = 26, -g + 2 = -2*p. Is j bigger than p?
False
Suppose -i - 3*i = -3*v - 20, -3*i - 2*v - 2 = 0. Let a = 1 - i. Let x = -282/11 - -26. Is a != x?
True
Let n = 13 + -9. Suppose 0 = 3*h - 3, z + 2 + n = 5*h. Is z greater than -2/21?
False
Let u = 0.03 - 0.13. Let m = 5 - 4.4. Let k = 1 - m. Is k bigger than u?
True
Let z = 53/36 + -20/9. Are -2 and z nonequal?
True
Let n = 2 - 1. Let k = 16 + -16. Which is bigger: k or n?
n
Suppose 3*n - 24 = 4*n. Is -25 at least as big as n?
False
Suppose -v = -6*v + 15, 4*l = v + 33. Let t = l + -9. Let k be t + 1/19*2. Is 1 equal to k?
False
Let a(m) = m - 4. Let p be a(2). Let t be (12/((-6)/(-2)))/(-2). Let d be -3 + -1 + (t - -3). Which is smaller: d or p?
d
Suppose -13 = -3*v - 4. Let r(c) = -c**3 - 4*c**2 - 2*c. Let l be r(-3). Let t be l/((-2)/((-8)/v)). Are -5 and t equal?
False
Let n be 4/(-6)*(8 + 1). Let y(q) = -3*q + 2. Let m be y(3). Is n < m?
False
Suppose 1 = 5*r - 154. Which is smaller: 30 or r?
30
Let i be (1 - 5) + 2 + 0. Let a be (-4)/9*1/i. Is -0.1 at most as big as a?
True
Let p = 115817/5 + -23066. Suppose 0 = -3*x - 5*s - 291, -2*x + 194 = -4*x - s. Let q = x + p. Which is bigger: 0 or q?
q
Suppose 22 = 3*q - 20. Suppose -2*p - 4*v = -12, q = 4*p + 5*v + 2. Let m be 1/(-11*1/p). Are m and -0.1 non-equal?
True
Suppose 19*i = 23*i + 40. Which is bigger: -11 or i?
i
Let m = 22 + -24. Let c = 2 + m. Is c greater than or equal to 7?
False
Let r = 51.2 - 51. Is -0.3 > r?
False
Let l = -17.09 - -1.09. Which is smaller: l or -1/5?
l
Suppose -12*x + 20 = -17*x. Is x not equal to -5?
True
Let a be 44/12 + 2/(-3). Let k(y) = y. Let p(h) = h**3 + h**2 - 5*h + 2. Let b(f) = 6*k(f) + p(f). Let z be b(0). Which is smaller: a or z?
z
Let q(s) = s**3 - 6*s**2 - s + 5. Let t be q(6). Let n(x) = -x**3 + 10*x**2 + 1. Let m be n(10). Is t <= m?
True
Suppose 0 = -4*p - 4. Which is smaller: p or -15?
-15
Let f(t) = -t - 4. Let u be f(-5). Let z = -3 + u. Suppose 0*n - 4*n = 4. Which is greater: z or n?
n
Let l = -104 - -105. Let r be ((-1)/(-10))/((-8)/(-10)). Which is smaller: l or r?
r
Let l = -90 + 90.03. Is 0.4 less than l?
False
Let u be 0 + (-3)/(-1) + -1. Suppose -u*w - 4 = 2*a - 2, -w - 4*a + 11 = 0. Are w and -4 non-equal?
True
Let i be ((-6)/(-135))/(7/(-35)). Is 0.1 < i?
False
Let x = -8 - -11. Let k(t) = t**3 - t**2 - 3*t - 2. Let l be k(3). Let f be (5/10)/(l/4). Which is bigger: f or x?
x
Let d = 38 + 19. Is 59 