p
Let v = -1 - 1. Let m be (v/5)/((-12)/15). Is 4 greater than m?
True
Let u be (-12)/3 + 2 + 3. Is 3/2 equal to u?
False
Let x = 22 + -15. Let f = x + -7. Is 0.9 <= f?
False
Suppose -41*v - 6 = -47*v. Which is greater: 0.1 or v?
v
Suppose 2*i = i + 2. Suppose i*p = 3*p. Is -1 <= p?
True
Suppose -4*i = -2*i + 24. Is i at most as big as -10?
True
Let b = 54 + -32. Which is bigger: b or 21?
b
Let m = 14 + -10. Let v = m + -6. Let k = -482/5 - -96. Which is bigger: k or v?
k
Suppose -b = -2*b - 6. Which is bigger: b or -11?
b
Let r = -572 + 6282/11. Which is smaller: 0 or r?
r
Suppose 2*p + 0*p = -146. Let d = p - -119. Let n = d - 140/3. Is n greater than 1?
False
Let n = 1/21 + -25/231. Is -1 != n?
True
Suppose 0 = -a - 4*a. Is 2 at least a?
True
Let c(v) = -v**3 + 10*v**2 - 8*v - 8. Let d be c(9). Which is smaller: -1 or d?
-1
Let k be (9/(-15))/(3/15). Let f = -1 + 0. Which is greater: k or f?
f
Let n = 21 + -13. Which is bigger: n or 2/5?
n
Let g be (-2)/8*-10*6. Is 16 >= g?
True
Let u = 35 + -21. Let g = u + -16. Is 0.3 at least as big as g?
True
Let g be -1*-1*(1 - 0). Suppose 2*i + 3*i - d = -19, 2*d = -3*i - g. Let t(u) = -u**3 - 3*u**2 - u + 1. Let y be t(i). Which is smaller: y or 3?
3
Let o = 1 - 3. Let r = 1 + o. Are 1/6 and r equal?
False
Let x be 0 + 4*(-1)/(-4). Which is smaller: x or -2/7?
-2/7
Let s(y) be the second derivative of -y**4/12 + y**3/6 - y**2 - y. Let p be s(0). Let d = -9 + 28/3. Which is smaller: d or p?
p
Let v(p) be the third derivative of -p**5/20 + p**4/8 - 7*p**2. Let g be v(2). Is g at most -6?
True
Let y = 3 - 2. Let q be 1/(y/1 - 0). Let k = -1/334 + 837/668. Which is bigger: q or k?
k
Let c(n) = n**3 + 3*n**2 - 6*n - 1. Let m be c(-4). Let i be 2 - (m - (1 - -1)). Suppose -t = t + 8. Which is bigger: t or i?
i
Let w(z) = -z**2 - 3*z + 4. Let d be w(-5). Let y be ((-1)/(-3))/((-1)/d). Is 5 equal to y?
False
Suppose i = 3*c - 21, 2*i = 3*i. Suppose c*s - 20 = 2*s. Suppose 3*n - 2*n + 19 = 5*k, s*k = 4*n + 12. Is -1/4 < n?
True
Let d(h) = -h**2 - h + 1. Let s(p) = -p**3 + 12*p**2 + 4*p + 5. Let v(q) = -4*d(q) - s(q). Let i be v(8). Which is smaller: -10 or i?
-10
Let s be ((-25)/15)/((-2)/6). Let j(a) = a**3 - 5*a**2 - a + 7. Let q be j(s). Is q bigger than 0?
True
Let r be 3*4/(-60)*16. Which is smaller: -2 or r?
r
Let k = -9.3 + 5. Let d = k + 4. Which is bigger: d or 1/2?
1/2
Let s = 0.2 - 0.1. Let f = 4 - -9. Let q = -16 + f. Which is smaller: q or s?
q
Let n = -163 - -8314/51. Which is greater: n or 1?
1
Let g = 5809 - 168441/29. Let f = g + -2/87. Which is smaller: 1 or f?
f
Let m be (-2)/8 + 17/4. Let x be m/14 + (-464)/(-1610). Let c = -4/23 + x. Is 0 greater than or equal to c?
False
Let f be 0 + 3 - 44 - -6. Is f less than or equal to -103/3?
True
Let l = 17 + -10. Suppose 7 = 2*n + 9. Is n less than or equal to l?
True
Let i be ((-4)/10)/(2/10). Let m be (0/i)/(-5 - -6). Is -0.2 at most m?
True
Let a = -4 + 10. Which is bigger: a or 0.1?
a
Suppose -4*x = 2*h - 124, -2*h - 5*x = 28 - 147. Which is smaller: h or 73?
h
Let f = 2/97 + -304/5335. Which is greater: f or 1?
1
Let s(i) = -i - 4. Let p be s(-10). Suppose -2*v - p = t, -t = 3*t + 4*v + 24. Is -6 > t?
False
Let y = -11 - -7. Let i = 5 + y. Is -3 > i?
False
Let r be (56/(-30))/((-78)/(-65)). Which is bigger: r or 2/3?
2/3
Let q be (108/10)/(2/10). Let p = q - 160/3. Which is bigger: 0 or p?
p
Let p = -79/284 + 2/71. Let y = -3.06 + 3. Is p <= y?
True
Let o = 0.08 + 1.22. Let f = 2.3 - o. Are -0.02 and f non-equal?
True
Let j be -1*4 - (-1395)/351. Does j = -1?
False
Let i(k) = -k**3 - 2*k**2 + 3*k - 2. Let m be i(-3). Which is greater: -1 or m?
-1
Let o be (32/(-3))/4 - -2. Let f = 1/12 + 1/6. Are o and f equal?
False
Let x = -39 + 48. Are x and -1/4 non-equal?
True
Let p = -7 + 12. Suppose 5*b + 5*u = 10, -7*b - 30 = -2*b - p*u. Does -1 = b?
False
Let l be 2/(2/3 + 2). Let m(f) = 1 + 0 - 2*f**3 + 0*f**2 - f**2. Let v be m(-1). Does v = l?
False
Suppose -3*r + 3 = -0*r. Suppose 4*o - r = 15. Suppose -u + o = -5*u. Is 2/5 less than or equal to u?
False
Suppose -3*p - 4*k - 13 = -33, 4*p - 3*k = -15. Is p not equal to -6/19?
True
Let b(q) = -q + 2. Let c be b(-2). Suppose o + o - 54 = 0. Let k be o/10 + 2/(-10). Is k at most c?
True
Let o = 51219/65 + -788. Is o < 0?
True
Suppose 3*t = 4*t - 2. Let a be 1*(t - 3)*4. Let x = a - -7. Which is smaller: x or 1?
1
Suppose f - m - 14 = 0, -2*f = 3*f + 3*m - 30. Let q(b) = b**2 - 9*b. Let s be q(f). Which is greater: -7/5 or s?
s
Let w be (-2)/(-2) + -3 + 4. Is w less than 3?
True
Let h = -7 + 8. Let l be ((-1)/4)/((-5)/4). Is l != h?
True
Suppose 4*r = 5*r + 5*g - 9, 5*r + 13 = 4*g. Which is smaller: r or -1/6?
r
Let n(u) = -6*u - 12. Let p(i) = -2*i - 4. Let v(h) = 5*n(h) - 16*p(h). Let q(l) = -2*l - 24. Let s be q(-10). Let o be v(s). Is -3 <= o?
False
Let d = -13 + -31. Let u be (-30)/d - 16/88. Let k be (-16)/(-3) - (-1)/(-3). Which is greater: k or u?
k
Let w(x) = -x - 4. Let l(u) = 6*u. Let d be l(-1). Let c be w(d). Let a be (-18)/4 - (-6)/c. Which is smaller: -3 or a?
-3
Let f = -8 + 11. Is f smaller than 2/5?
False
Let f = -10.7 - -10. Is f not equal to 1?
True
Let t be ((-918)/(-5))/(-1) + -2. Let v = 185 + t. Is v > -2?
True
Suppose -9 = c - 5*v, -2*c - 2*v + 6*v = 12. Let a = 14 + -16. Which is smaller: a or c?
c
Let n(i) = -i**3 + 10*i**2 + 2*i - 3. Let r be n(10). Let x be (-2)/(-5) + r/(-5). Is -1 greater than or equal to x?
True
Let o be (-3)/(-9) - (-19)/(-3). Are -4 and o non-equal?
True
Let v be 1 - (-1 - (-33)/15). Is -2/5 equal to v?
False
Let v(c) = -2*c + 3*c - 2*c. Let u be v(-5). Is u greater than 6?
False
Suppose 4*h + 2*i - 94 = 0, 6 = 4*h - 5*i - 109. Suppose h = 8*n - 3*n. Suppose 2*b + 3*w = -13, b = 2*b - n*w - 13. Is b at most -1/4?
True
Let z be (-172)/(-20) - 4/(-10). Let l be z/6 - (-1)/(-1). Which is smaller: 1/5 or l?
1/5
Let f = 655 + -5905/9. Is -0.1 < f?
False
Suppose 0 = 7*a - 28 - 0. Which is bigger: a or 1?
a
Let l = 1 + -12. Let d = -10.9 - l. Which is smaller: d or -0.5?
-0.5
Suppose 2*r + 5*h + 20 = 7*r, 5*r + 7 = -4*h. Do 1/24 and r have the same value?
False
Let k = 79 - 81. Let l = -0.8 - -0.2. Let d = l - -2.6. Which is smaller: d or k?
k
Suppose 3*l - 111 = 6*l. Let f = l - -110/3. Which is smaller: f or 0?
f
Let o = 27 - 18. Suppose -m - 10 = 3*z - 4, 2*z + o = m. Do m and 1 have the same value?
False
Suppose 4*k - 1 = -5. Suppose 7*j - 6*j = -4. Is k bigger than j?
True
Let x be ((-7)/14)/((-2)/8). Is x < -0.05?
False
Let z be -23 + -3*12/(-9). Is z equal to -18?
False
Let o = -3.7 - -18.7. Let r = o - 13. Is r not equal to -1?
True
Let a = 8 + -6. Suppose -2*n + 5 = -r - a, 4*n - r = 17. Suppose n*h + 5*y + 20 = -0*h, 5*y = -2*h - 20. Is h <= 0?
True
Let f(q) = q**2 - q - 5. Let w be f(11). Let t = 527/5 - w. Is 1 > t?
True
Suppose -m + 2 = -3*m. Let a = -5/6 - -11/18. Is m at most a?
True
Let y = -145/3 + 51. Are y and 2 non-equal?
True
Let z be (-84)/26 - (-1 + -2). Let h = z + -7/26. Suppose t + 4 = -t. Is h less than or equal to t?
False
Suppose -10 = -2*v + 8. Is 10 at least as big as v?
True
Let i be (-30)/27 - (-6)/(-27). Let d(t) = -t**3 + 2*t**2 + 3*t. Let l be d(3). Which is smaller: i or l?
i
Suppose -5*k - q = -13, -4*k = 3*q + 2*q - 2. Suppose 0 = 2*t - k*t + 4. Let m be (-2 + -1)*-1*1. Which is smaller: m or t?
m
Suppose 2*j = 3*a - 5, 2*a - 4*j = 3*a - 11. Let u be -2 - 1 - 46/(-8). Is u > a?
False
Let i = 57/130 + -1/26. Let t = 2.92 + -3. Is i smaller than t?
False
Let c(a) = 2*a + 14. Let l(m) = m + 7. Let o(s) = 3*c(s) - 5*l(s). Let b be o(-4). Which is bigger: b or 0.2?
b
Suppose -3*q - 10 = 4*z - 2*q, -5*q + 19 = -3*z. Let l be (-2)/(z + 1) - 3. Which is greater: l or -1?
-1
Let g = -2771 + 146857/53. Let n = g - -183/212. Is 1 <= n?
False
Suppose 6*k = k. Is 2/39 at least k?
True
Let y = -20 + 11. Let m be (2 - 3/6)/y. Is m < 2?
True
Suppose -6*i - 7 = -13*i. Let g(r) = r + 1. Let d be g(-3). Let f be d/(-12)*2*3. Is f at most as big as i?
True
Let m be (-4)/(-2) - (-5 + 9). Are m and -3 unequal?
True
Let g be -1 - -3 - (-1 + 3). Suppose -4*a = u - 6, -5*a - 3*u + 4*u + 12 = g. Which is bigger: 3 or a?
3
Let h be 5 + -3 - (-4 + 0). Let y be -1 + h - 4/(-4). Is 9/2 at most y?
True
Let n(q) = -q**3 + 5*q**2 - 4*q - 3. Let l