- n. Which is greater: p or -2/7?
-2/7
Let u = 7 + -3. Suppose h - u = -h. Suppose -h*g - 13 = -4*m + 5, 0 = -g + 5*m - 21. Is -1 bigger than g?
False
Let k = -50 + 151/3. Let d = -0.9 + 0.5. Is k > d?
True
Suppose -3*s - 20 = -8*s. Are s and 6 non-equal?
True
Let p = 10 + -17. Let l = p - -9. Is l at least as big as -3?
True
Let v = -1 - -7. Let r be v/(30/4*-1). Suppose -2*g - 5 = -1. Is g less than or equal to r?
True
Let r(b) = 0 - 1 + 1 - b. Let a be r(-1). Which is smaller: a or 6/5?
a
Suppose 12 = -0*o - 4*o. Let l = 8 + o. Which is greater: l or 4?
l
Let f = -23 + 24. Which is smaller: f or 14?
f
Let a(v) = -v**2 + 8*v. Let x be a(8). Let w = 583856 - 320537084/549. Let g = w + 2/61. Which is bigger: g or x?
x
Suppose -3*w + 4 = -2. Which is greater: w or 0?
w
Suppose -15*p + 7*p = 80. Is p less than -10?
False
Suppose -5*x = -5*v + 400, 2*v + 5*x = -0*v + 181. Suppose 662 + v = -5*u. Let q = u + 1343/9. Is 0 >= q?
False
Let j be -1 + 1/(1/(-2)). Suppose 0 = -13*r + 6*r - 35. Which is greater: j or r?
j
Suppose 5*d + 79 = 3*z, -3*z - 2*z + 5*d = -115. Let p be z/(-27) - (-14)/6. Which is greater: p or 3?
3
Let l(u) = u**3 - 3*u**2 - 4*u + 3. Let a be l(4). Is 7/4 != a?
True
Let h = 10 + -10. Suppose 2*a - 14 = 2*y, h = a - 3*y + y - 11. Is 4 > a?
True
Let m = -229 - -449/2. Which is smaller: -5 or m?
-5
Let b(k) = k**2 + 10*k + 10. Let g be b(-9). Which is smaller: 3/22 or g?
3/22
Suppose -3*m + 5*b = -43, 33 + 0 = 3*m - 3*b. Suppose -4*d - 10 = -k + m, -5*d - 20 = -4*k. Let z be k + (2/7)/1. Is z > -1?
True
Let j = -155 - -108. Is j > -49?
True
Let m = 5.62 + 0.48. Let s = 6 - m. Is -0.6 greater than s?
False
Let k be 3/(-6)*(4 + -4). Is 1/3 less than or equal to k?
False
Let o be (-1 + 1)*2/(-2). Suppose c = 4*c + y - 11, -c - 2*y + 7 = o. Is c equal to 3?
True
Let c(p) be the second derivative of p**6/720 + p**5/10 + p**4/12 + 2*p. Let x(a) be the third derivative of c(a). Let w be x(-10). Which is smaller: 2/3 or w?
2/3
Let n(c) = -5*c + 17. Let i be n(7). Let m = -24 - i. Is m at most as big as -14/3?
True
Let c be -2 - 3 - (0 + -1). Let n be (c - -3)/(-2)*3. Let y(x) = -x + 1. Let p be y(1). Is p > n?
False
Suppose u = -3*u + 116. Suppose -3*w - 8 = -u. Suppose w = 4*s - 13, -3*s = -r - 18. Is r equal to -3?
True
Suppose 5*m = 2*n + m - 10, 35 = -5*n - 5*m. Let i = -2 - 3. Let v = i - -2. Is n > v?
False
Let g = 19 + 3. Which is bigger: 23 or g?
23
Let u = 0.08 + -0.08. Suppose f + 4*f + 5 = 0. Which is bigger: u or f?
u
Suppose 3*y - 2*j - 5 = 0, 6*y - 3*y + 2 = -5*j. Which is smaller: 2 or y?
y
Suppose 6*m + 3 = 3*m. Which is bigger: 0 or m?
0
Let c(r) = -r**2 + 10*r + 4. Let f be c(10). Suppose -f*k - 12 + 8 = 0. Which is smaller: k or -9/4?
-9/4
Let r = -5/28 - -59/644. Suppose 0*d + 4*d = 0. Suppose d + 2 = -2*a. Which is bigger: r or a?
r
Let r be (0 - 1)*(-1 - -1). Let j be (2 - -8)*7/(-2). Let a = j - -279/8. Which is bigger: r or a?
r
Let x = 7/155 + -20/31. Let t(k) = -k + 3. Let o be t(5). Which is bigger: o or x?
x
Let d = 15/7 - 41/21. Which is smaller: d or 1?
d
Let w = -0.13 - 0.87. Which is smaller: 15 or w?
w
Suppose 0 = -0*y - y + 2. Suppose 3 + 3 = 2*n, 2*n - y = 2*a. Let t be a + -3 + (0 - 0). Which is smaller: t or -1/3?
t
Let k = -1 - -1. Let m be 0 + 1/((-1)/(-14)). Let u be (-4)/30 + m/30. Is k less than or equal to u?
True
Suppose 2 = 2*s - 0*s, -5*s = 3*k - 14. Suppose 3*w + k*v = -93, -3*w = -0*v - v + 109. Let a be (-24)/w + (-4)/14. Which is smaller: 0 or a?
0
Let s(a) = -a - 3. Let o be s(-3). Suppose -2*r + 15 = 3*r. Which is smaller: r or o?
o
Suppose 5*t + 9*t - 98 = 0. Which is bigger: t or 8?
8
Let y(t) = -t + 15. Let h be y(15). Is -4/17 at least as big as h?
False
Let a = -0.9 - -1.9. Which is smaller: a or 2/5?
2/5
Let h be (4/(-2))/((-2)/4). Suppose -4 - 4 = h*j. Which is smaller: j or -1?
j
Let b(p) = -p + 3. Suppose -5*n + j + 12 = 0, -4*n - j + 8 = -7. Let m be b(n). Is 1 at most as big as m?
False
Let u = -175.9 - -176. Which is bigger: u or -0.35?
u
Suppose 0 = -3*f - 3*n + 4*n + 333, -2*f = 4*n - 236. Let z be 6/4*f/(-24). Is z >= -6?
False
Suppose -5*p + x = 48, -8 = p + 2*x - 3*x. Let c = -6 + 8. Let r be (2 - (-44)/p) + c. Which is smaller: 0 or r?
r
Let i be ((-18)/27)/(3/((-81)/30)). Let o(r) = -r - 1. Let z be 1*0/(-1) - 3. Let c be o(z). Which is bigger: c or i?
c
Let v be (80/(-15))/(2/(-6)). Suppose -4 = -2*t - v. Is t > -7?
True
Let g = -0.15 - 0.75. Let q = 0.3 - 0.2. Let c = q - g. Do -1 and c have the same value?
False
Suppose -10 = 3*h - 31. Which is greater: 8 or h?
8
Let j = -19 - -19. Is -1 at least j?
False
Let w = 79/4 - 20. Let s be -7 - -2 - (1 + -5). Are s and w non-equal?
True
Let n = 51 - 36. Let j(w) = -w + 10. Let v be j(n). Which is greater: v or -6?
v
Let w be ((-14)/(-3))/(6/9). Suppose r = 2*i + w, 4 = -3*r + i + 15. Suppose -2*l + 3*v + 2 = 0, 4*l - 3 = r*v + 1. Is l not equal to 1?
False
Let k = -4 - -6. Are 2/11 and k non-equal?
True
Let t be (-6 - -1)/(-5 + 4). Let d(i) = i + 3. Let b be d(0). Which is smaller: t or b?
b
Let v = -0.2 - -0.27. Suppose -5*i + 11 = -r, -3*r + 4*r - i = -3. Which is smaller: v or r?
r
Let p = 19 - 28. Let u = -6 - p. Suppose -8 = u*i - i - 4*d, 0 = -2*i - 3*d + 6. Does 0 = i?
True
Let z(l) = l**2 + 3*l - 3. Let q be z(3). Suppose 2*o + q = a, 17 = -5*o + 3*o - a. Let m be 37/(-22) + o/(-44). Do -2 and m have different values?
True
Let b(u) = -u**3 - 15*u**2 + 4. Let g be b(-15). Suppose 5*t - 5*s = -15, 0 = g*t - 2*t - s + 6. Let z = -3 - 0. Do z and t have different values?
False
Let a be 2 + -5 + 3 + 0. Suppose k + u + 5 = a, 3*k - 2*u + u + 7 = 0. Let n be (-64)/(-12) + 1/k. Which is greater: n or 6?
6
Suppose 2*a = -2*a + 12. Let t be 4/((-5)/((-5)/2)). Let j = t - 0. Which is smaller: a or j?
j
Let n = -13.9 - -8.8. Let j = -5 - n. Is j bigger than 5?
False
Let j be (-120)/(-36)*3/(-2). Which is greater: -3 or j?
-3
Suppose 2*b = 5*b - 5*z + 17, 0 = -4*z + 16. Is -2/23 >= b?
False
Suppose -5*u + 6 = -n - 24, -5*u - 4*n + 5 = 0. Suppose -4*t - t = -o - 25, -t + 5 = 4*o. Suppose 2 = 4*a - 2*z, -a - 5 = u*z - o. Which is smaller: -1/9 or a?
-1/9
Suppose -2*m + 5 = 1. Let a = m - 5. Suppose -3*y = -5*u - 3 - 7, -y = -3*u - 6. Is a smaller than u?
True
Let g = -150 + 154. Is 12 equal to g?
False
Suppose -g + 24 = -3*d, -4*d + 39 = 4*g - 121. Are 36 and g non-equal?
False
Suppose 2*i - 3 - 1 = 0. Let p be (0 + 15)*20/6. Let s = p - 352/7. Is s < i?
True
Let j = -191 - -2103/11. Let p be 0/(5 - (-3)/(-1)). Is j bigger than p?
True
Let q = 19 - 32. Let d(s) = s**3 + 12*s**2 - 14*s - 10. Let b be d(q). Is b less than 4?
True
Suppose 3*a - 2*m + 10 = -a, -5*a = -m + 14. Which is bigger: -19/6 or a?
a
Let f(t) = t**2 - 8*t. Let j be f(5). Let b be j/(-8) + (-3)/2. Which is smaller: b or 1?
b
Let n be (-1)/(-6) + (-406)/(-84). Is n at most 2?
False
Let s = -34 - -15. Let q = s + 15. Is q at least -1/3?
False
Let j be (-2)/(-12)*(271 + -3). Let n = -267314/627 - -8956/19. Let p = n - j. Are p and -1 equal?
False
Suppose -4*t = -8, 3*p = p - 3*t - 74. Which is smaller: -41 or p?
-41
Let w(d) = 2*d**3 - 12*d**2 + 10*d. Let s be w(5). Which is smaller: 1 or s?
s
Suppose -f + 2*f - 1 = 0. Let n be -3 - (-3 - (-6)/20). Which is smaller: f or n?
n
Let n(d) = -15*d**3 + d + 1. Let s be n(-1). Suppose 4*j - 2*j = -3*q - s, -4*j + 5*q = -25. Let b = 0 + j. Is 2/9 > b?
True
Suppose 35*y + 64 = 39*y. Does 33/2 = y?
False
Let j = 17 - 17. Which is smaller: 1.2 or j?
j
Let y(g) = -2*g**2 - 4*g. Let q be y(-5). Let u = q - -21. Let c = 7 + u. Do c and -1 have different values?
True
Let i = -58 - -68. Is i >= 9?
True
Suppose -n - 3*n = 8, -b + 5*n + 1 = 0. Let s be (b/(-6))/((-6)/(-8)). Let l = 3.2 - 3. Which is smaller: s or l?
l
Let v = -48 - -45.96. Let n = -0.04 - v. Are n and -2 equal?
False
Let n(i) = i**3 + i**2 + i + 3. Let q(o) = -o**3 - o**2 + o - 3. Let z be q(0). Let l be n(z). Let h be (2 + -4)*2/l. Which is smaller: h or 1?
h
Let a be 3*14/(-9)*-3. Suppose 2 - a = -4*s. Is -2/5 greater than or equal to s?
False
Let c = -8 - -7.96. Let w = c + 0.14. Does w = -3?
False
Let j = -395/84 + 128/21. Let d = j + 3/28. Let y = 8 + -5. Which is smaller: y or d?
d
Let q = 66 + -66. Is q > -3/8?
True
Let i = -1/20 - 9/20. Is -1 at least i