 = -p + 2 + 7. Which is bigger: o or p?
o
Let t = 1 - 1. Let n be 0 - -4*(-1)/(-2). Is n not equal to t?
True
Let l = 2.6 + -2.6. Is 0.02 at least as big as l?
True
Suppose 3*r = 9*r - 18. Suppose 4*l - 15 = -3*q, -l + 1 = q - 4. Suppose l = r*g + 10 + 2. Which is smaller: g or -2?
g
Let w(q) = 4*q - 1. Let x be w(-5). Let f be 6/9 + x/45. Which is greater: f or 1?
1
Let b(w) be the second derivative of w**3/6 + w. Let u be b(-1). Is u smaller than -1/2?
True
Suppose 2*b + 9 = 5*b. Let m be (-2)/(-4) + (-30)/(-12). Do m and b have different values?
False
Let p(k) = -k**2 - 3*k + 1. Let d = 3 + -6. Let y be p(d). Let g be ((-4)/(-1) - 1)/y. Is g >= -3?
True
Let d(m) = -m**3 - 5*m**2 + 6*m + 1. Let n be d(-6). Suppose g = -c + 3*c + 4, 2*g - 29 = -3*c. Suppose 0 + g = 5*x. Is x smaller than n?
False
Let r(p) be the third derivative of -3*p**2 - 1/6*p**3 + 0*p**4 + 0*p + 1/60*p**5 + 0. Let m be r(0). Is m at most as big as 0?
True
Let n be 10/(-15)*(1 - 7). Which is greater: -6/5 or n?
n
Suppose -4*i + 5*d + 59 = 0, -3*i + d + 35 = -23. Which is smaller: 43/2 or i?
i
Let f be (12/182)/((-50)/308). Let t = f + 2/325. Let m = 50 - 51. Which is greater: t or m?
t
Suppose -5*w + 10 + 0 = 0. Let v = -9 + 14. Suppose v*j + 16 + 8 = 2*t, 0 = -4*t + 5*j + 28. Is w at least as big as t?
True
Suppose 3*x + 2*t - 5 = -14, 0 = 5*x + 2*t + 15. Is x less than -5?
False
Let h = -17.3 - -16.37. Let x = h - 0.07. Which is bigger: 2 or x?
2
Let n = 14.6 + -2.6. Let b = n + -11.8. Is -1/4 >= b?
False
Let b = -9 + 4. Suppose 4*q - 4*r = -32, 0*q - 5*q - 5*r - 20 = 0. Which is smaller: b or q?
q
Suppose 30 = -3*h - 2*h - 5*m, -2*h + 2*m + 4 = 0. Is h less than -3?
False
Let k be ((4 - 1) + -4)*12. Let n = k - -13. Which is bigger: 2/21 or n?
n
Let t be ((-2)/(-20))/(1/2). Suppose 0 = -4*b + 6*b. Which is smaller: t or b?
b
Let l = 12 - 13. Which is greater: 3 or l?
3
Let x(c) = 12*c + 5. Let q be x(-2). Which is bigger: -5 or q?
-5
Let x = 113 - 4179/37. Let l = x - -21/296. Which is smaller: l or 1?
l
Suppose -7 = v - 11. Let x be (30/25)/(v/(-10)). Is -2 < x?
False
Let l = 0.1 - 0.2. Suppose 5*n + 1 = 16. Suppose -n*k - 5*g - 1 = 20, 2*k + 5*g + 19 = 0. Which is smaller: k or l?
k
Suppose 9*j = 4*j - 20. Let i be -2 + j/(8/(-6)). Suppose 3*y - i - 2 = 0. Is y at most 1?
True
Let c = 8 + -7. Which is smaller: -6 or c?
-6
Let p(v) = v + 1. Let y be p(-4). Let c be 10/25*(-10)/2. Is y >= c?
False
Let w = 12 + -9. Let l be 15/(-12) + w/12. Which is greater: -1/7 or l?
-1/7
Suppose -l - 3*l = -3*l. Which is greater: 2/47 or l?
2/47
Suppose y + 0 = 2. Let r be (-2)/y - (-1)/1. Is r at least as big as -3/5?
True
Let y(c) = -5*c**2 + 2*c - 3. Let z(k) = -6*k**2 + k - 3. Suppose -28 = -4*u - 4*s, 0*s + 16 = 4*u - 2*s. Let m(h) = u*y(h) - 4*z(h). Let b be m(6). Is -4 < b?
True
Let z be 132/260 - (-2)/(-10). Suppose -16*b + 6 = -22*b. Which is bigger: b or z?
z
Let m be 6*1*(-5)/20. Which is smaller: m or -2?
-2
Let m = 131 + -270. Let u = -2087/15 - m. Is u smaller than 0?
True
Let u = 0 + 3. Suppose 2*l - 2 = -0*t - 3*t, 0 = 5*t + u*l - 5. Let i be 2/t*0/(-1). Which is greater: 2/7 or i?
2/7
Let q be (-1 + 4)*4/(-6). Let p = 2.6 + -2.6. Which is smaller: q or p?
q
Let h = -1.21 - -0.11. Let s = h + -5.1. Let c = s + 6. Which is greater: c or 1?
1
Suppose -3*r = -0*r. Suppose 3*p + t = 6, r*t - 3 = -t. Let z(s) = 2*s - 4. Let u be z(3). Are p and u equal?
False
Let t be 2/9 + (-912)/(-27). Is t >= 33?
True
Let k = -43 + 50. Does 4 = k?
False
Let v(m) = -m - 5. Let g be v(-7). Suppose g + 1 = -3*f. Which is smaller: f or 2?
f
Let x(f) = f**3 + 10*f**2 + f. Let q be x(-10). Let j = q + 18. Is 8 at least as big as j?
True
Let b be (-12)/10 + (-2)/(-5). Suppose -12*y = 3*n - 11*y + 4, 2*n + 10 = 3*y. Which is greater: b or n?
b
Let u be 3 + 2/6*21. Is u bigger than 12?
False
Let q be 3/(-2) - (-52)/8. Suppose -51 = q*v - 6. Let l = v - -14. Do 6 and l have the same value?
False
Let t be (-30)/9*(-6)/(-12). Does t = -2?
False
Suppose 2*i - 3 = -5. Let w = 3.07 + -0.07. Which is bigger: i or w?
w
Suppose -4*j + 5*j + 1 = 0. Is 2/89 <= j?
False
Suppose -4*h + 25 = -5*h + 5*u, 2*u - 10 = 2*h. Let x = -8 + 9. Is x >= h?
True
Let g = -28 + 3. Let h = -13 - g. Let z be 2/(-8) + 3/h. Which is bigger: -2/5 or z?
z
Let y(l) be the third derivative of -l**5/30 + l**4/8 + 2*l**3/3 - l**2. Let z be y(3). Let t(c) = c**2 + 6*c + 2. Let k be t(z). Are k and -3 nonequal?
False
Suppose 46 = 2*v + s + 5, 4*v + 5*s = 85. Let i = v - 21. Is -1 at least as big as i?
True
Let h be 396/165*(-2 + (-8)/(-6)). Let v be (2/5)/(3/(-15)). Which is smaller: v or h?
v
Let d be 112/(-18) + 2/9. Is -6 less than or equal to d?
True
Let v be (-2)/(-6) + 2/30. Let f = -21 - -21.06. Let w = f + -5.06. Is v at most as big as w?
False
Let x(f) = f**3 + 8*f**2 - 9*f - 4. Let z be x(-9). Are z and -4 nonequal?
False
Let z(m) = -m**2 - 4*m + 2. Let i be z(-5). Let r be 2/6 + 1/i. Let p be ((-2)/18)/(2/(-12)). Which is greater: r or p?
p
Let v(j) = 5*j**2 - 3*j - 1. Let m be v(-2). Let s = m - 25. Let f = 1 + -2. Is s less than f?
False
Let h(n) = -n. Let k be 18/(-15) - 2/(-10). Let g be h(k). Is g bigger than 4?
False
Suppose -i = -0*i + 3. Let l = -6 - -6.1. Is l at least i?
True
Let r = 33 - 12. Let s = -22 + r. Which is smaller: -0.03 or s?
s
Let t = 18 - 24. Is 2/5 != t?
True
Suppose 5*o + 0*h = 4*h + 35, -2*h - 45 = -5*o. Let r = o - 9. Suppose r*t - 6 = -t. Is t smaller than 0?
False
Suppose -15 = q + 2*q. Let z(d) = -4*d - 6. Let h be z(q). Is h equal to 14?
True
Let m = 1.93 - 1.93. Let d = 31/15 - 12/5. Which is smaller: m or d?
d
Let j be (2/4)/((-10)/(-60)). Which is smaller: j or 2?
2
Let p be (-3)/(2 + 21/(-6)). Let k = -0.04 - 0.16. Is p bigger than k?
True
Let a = -322/117 - -3242/819. Let x = -16/9 + a. Which is smaller: x or -1?
-1
Suppose n - 18 = -19. Let a = -4 - -6. Let g be 1 + a + -5 - -2. Which is bigger: n or g?
g
Suppose -l - 3*w = 14 - 1, 0 = 3*l - 4*w - 26. Let k = 11 - 11. Which is bigger: k or l?
l
Suppose 6 = -2*h, 2*t - 3*h - 8 + 3 = 0. Which is smaller: -9/7 or t?
t
Let s(d) = -d**3 - 16*d**2 + 17*d + 3. Let v be s(-16). Let o = v - -5647/21. Is o >= 1?
False
Let d(p) = -p**2 - 5*p. Let k be d(-4). Suppose 2*r = k*a - 2, 4*a + r = -a - 8. Suppose -1 + 4 = -3*l. Is l <= a?
True
Let i = -0.04 + -0.06. Let a = -0.2 - -0.2. Let c = a - -0.1. Which is smaller: i or c?
i
Let f = -3 + 3.01. Let y = 0.99 + f. Is y > 4?
False
Let z(a) = -7*a. Let l be z(-2). Let p be ((-16)/(-4))/(1*l). Which is smaller: p or 0.4?
p
Let f(i) = -8 - 5*i + 0 + 3. Let g be f(-4). Is g greater than or equal to 15?
True
Suppose -7*a = -10*a - 3. Let h be (-12)/9*(-2)/(-4). Is h less than a?
False
Suppose -2*d = -32 - 6. Is 19 equal to d?
True
Let i be ((-3)/6)/(1/(-2)). Let n = -20 + 23. Which is greater: n or i?
n
Let p be -2 - -3 - (0 - -1). Let x(u) = -u + 4. Let f be x(p). Is 5 less than f?
False
Let l(v) = 2*v**2 + 42*v. Let z be l(-21). Is 0 smaller than z?
False
Suppose 0 = -5*o - 4*t - 12, 5*o - t - 2 = 1. Let c(a) = -a**2 - a + 2. Let u be c(2). Let z = u + 4. Is z at least as big as o?
True
Suppose -i + 4 - 2 = 0. Suppose k + 0*x - 3*x = i, -k = -4*x - 2. Let l = 18 - 18. Is l equal to k?
False
Let c = -8 + 9. Suppose 0 = b - 0*b - c. Is 3/7 < b?
True
Suppose g = 5*a - 26, 2*a - 16 = -a + g. Let u(c) = -4*c - 3. Let m be u(-2). Is m less than or equal to a?
True
Let r = 34 + -31. Is 3 greater than or equal to r?
True
Let o(m) = -m + 4. Let y be o(5). Is y <= 0?
True
Suppose g + 1 = -0*g. Let j be (-1)/(-3)*3*g. Let q = -139/3 + 46. Which is smaller: q or j?
j
Suppose -3 = -3*v + 3*y - 6*y, y = 1. Let x = -10 - 0. Are v and x non-equal?
True
Suppose d = -d. Suppose -4*i - 16 = -d*i. Let t = -5 - i. Which is bigger: 0 or t?
0
Let n = 25.1 - 24. Let c = n - 0.1. Let k = -6 - -4. Is c <= k?
False
Let n(p) = -p. Suppose -2 = 3*h - 5*i + 13, h + 3 = i. Let f be n(h). Which is greater: 1 or f?
1
Let n be -4*120/235 - -2. Is 1 <= n?
False
Let o = -29 + 41. Let h = 12.1 - o. Let s = -3 + 0. Is s < h?
True
Let w(z) = -z + 2. Let f be w(-2). Suppose -f*i - 20 = -2*y, 4*y = -0*y. Let m = 2 + i. Do m and -4 have the same value?
False
Let v be 362/8 - (-1)/(-4). Is 43 <= v?
True
Let m = 0.4 + 0.6. Does m = 3/7?
Fals