*p. Let y be n(4). Is a greater than y?
True
Suppose -4*c - 3*s + 5 = 0, 0 = c - 4*s + 2*s - 4. Which is smaller: 8 or c?
c
Let d be ((-4)/(-6))/(3/((-45)/10)). Which is smaller: 3/17 or d?
d
Let c be (-5 - -3 - -3) + -1. Let b be c/1 - (-27)/15. Which is smaller: 1 or b?
1
Let n(k) = 2*k - 7. Let r be n(6). Suppose j - 8 = c, -37 = r*c - 0*j - 2*j. Which is smaller: c or -13/2?
c
Let z = -0.08 - -5.08. Let x = z + -8. Is -2 at least x?
True
Let l be 6/(-28)*56/(-48). Which is greater: l or 4?
4
Suppose 12 = 3*t + 3. Suppose -2*c - 2*c = -20. Suppose t*j - 14 = -c*g - 0*g, 5*j = -5*g + 20. Which is smaller: j or 2?
2
Let k = 1 - 2. Are k and -2/11 equal?
False
Suppose r = -2*b - 3, 13 = b - 5*r - 13. Do 9/4 and b have different values?
True
Let k be 1/(3/10) + -2. Let s(v) = v**3 - v**2 - 2*v + 2. Let z be s(2). Is z > k?
True
Suppose -29*k - 3 = -32*k. Which is greater: 1/117 or k?
k
Suppose 13*r - 10*r = 0. Which is smaller: r or 4/13?
r
Let r = -10/11 + 72/55. Which is greater: r or 2/7?
r
Let u be (3/9)/((-2)/(-6)). Let w = u - 27. Let d = 105/4 + w. Are 0 and d equal?
False
Let y be (-3)/((6/(-4))/1). Suppose 5*j = 2*x + y*x - 5, 0 = 4*j + 5*x + 4. Let i(d) = -d**3 - 3*d**2 + 2*d - 9. Let g be i(-4). Is g less than j?
False
Suppose 5*r + 6 = 3*r. Let a = 4 + r. Which is bigger: 1/8 or a?
a
Let u be (-8)/(-70) + (-4)/(-14). Is 4/17 > u?
False
Let x = 167 - 151.4. Let r = x + -17. Let t = r - -0.4. Is t smaller than -2/3?
True
Let u be (-2)/12*(-1 + 2). Which is smaller: u or 2/3?
u
Let u(z) = 3*z - 7 + 5*z + 11*z + 6*z**2 - 11*z**2. Let p(i) = -i**2 + 5*i - 2. Let x(f) = -9*p(f) + 2*u(f). Let h be x(-7). Are h and 4 unequal?
False
Suppose -4*s - 24 = -j, -5*s - j = -s + 24. Let f be 2/3 - 8/s. Let x be 1 + (-3)/(-1 - f). Which is smaller: x or 1/2?
1/2
Suppose y = -2 + 7. Suppose 0*v = -y*v - 25. Suppose 3*b - 3*r = -4*r - 10, -3*b - 5 = 2*r. Is v at least b?
True
Let l(u) = -u**3 + 9*u**2 - 7*u - 2. Let b be l(8). Is b at least as big as 0?
True
Let h(k) = -k**2 + 8*k + 3. Let u be h(7). Suppose 5*n = r + 5, -3*n + 2*r = -0*r - u. Is 0 >= n?
True
Let p be 40/6*1/2. Let c be (-52)/(-14) + (-10)/15. Let t = p - c. Which is greater: 1 or t?
1
Suppose -f + 23 = 2*t + 4*f, t = -5*f + 24. Which is greater: -3/2 or t?
t
Let q be 9/6 + 13/(-6). Which is smaller: q or -1?
-1
Let u = -11 + 15. Is 4 at most as big as u?
True
Suppose -9 + 34 = 5*i. Which is bigger: i or 6?
6
Let q(h) = -h**3 - 2*h**2 + 1. Let s be q(-2). Let y be (-1)/((-1)/2*26). Which is smaller: y or s?
y
Let h = -91 - -84.3. Let a = h + 7. Which is bigger: 2 or a?
2
Let i be (-32)/14 - 10/(-5). Let t(h) = 2*h**2 + 3*h + 8. Let c(r) = 2*r**2 + 4*r + 9. Let g(q) = 6*c(q) - 7*t(q). Let s be g(1). Which is bigger: i or s?
i
Suppose -7*g + 40 = -3*g. Suppose 6 = 2*f - g. Let x be (1 - 0) + (5 - -1). Is x < f?
True
Let w = 76 - 76. Are 11.4 and w nonequal?
True
Let l be 1 + -2 + 215/(-1365). Let s = l + -5/39. Which is greater: s or -1?
-1
Let a = -0.2 - -0.2. Let i = a - 1. Suppose -5*b - x - 2*x - 1 = 0, b + 17 = 5*x. Are i and b equal?
False
Let w = 10 - 15. Let n = -4.9 - 0.1. Let b = w - n. Is -1 <= b?
True
Let q be 5/2*12/10. Suppose -4*a + 1 + q = 0. Let u = -1 + a. Are u and 2/11 equal?
False
Let j = 170 - 325. Let o = j + 778/5. Is o at most 2?
True
Let n be ((-21)/(-364))/((-1*3)/(-12)). Is n greater than or equal to -1?
True
Let a = -2.1 + 11.1. Let g = a - 10. Is -5 < g?
True
Suppose -4*w = -0*w - 16. Let o(j) = j - 1. Let v be o(5). Is w greater than v?
False
Let z = 16 + -13. Is 2 at most as big as z?
True
Suppose 2*f + 5*f - 14 = 0. Let b = 9 + -6. Let d be 16/6 - (-1)/b. Which is smaller: d or f?
f
Let m = 7604/21 - 362. Let z(n) = n**2 + 3*n + 1. Let u be z(-2). Which is smaller: u or m?
u
Let p = 0.31 - 0.51. Which is greater: -2 or p?
p
Suppose 5*b = -a + 18, -4*a + 3*b + b = 0. Which is smaller: 0 or a?
0
Let m be (-4)/(-10) - (7 - (-1)/(-5)). Which is bigger: -5 or m?
-5
Let g = 2 - 4. Let a be (0 + -1)*(-11 - 3). Let q = a + -15. Is q less than g?
False
Let b = -14.4 - -14.48. Which is smaller: b or -0.2?
-0.2
Let h = 0.098 + 1.202. Let i be -3*(-1)/(-2) + 2. Which is greater: i or h?
h
Let i = 23/60 - 2/15. Are i and -2 non-equal?
True
Suppose l = 5*l - 12. Suppose -15 - 9 = -l*f. Let c = 11 - f. Which is bigger: -0.1 or c?
c
Suppose 2*w = a + 5, w + a + 14 = -4*a. Let i be (2/(3 + w))/(-1). Let k = -9 - -8. Are k and i nonequal?
True
Let p be 0 + ((-2)/(-1) - 1). Suppose p = -j + 4. Suppose j*d + 0*d = 0. Which is bigger: d or -1?
d
Let x be -3*(1 + (-2)/6). Let z = -494/5 + 98. Is x bigger than z?
False
Let m = 4/141 + -71/846. Are m and -1 equal?
False
Let l(k) = k**3 + 14*k**2 + 9. Let h be l(-14). Is h less than or equal to 9?
True
Let w = -2 - -1. Let j be 1 + 2*w/2. Let z be (-2)/(-3)*(-6)/16. Which is bigger: z or j?
j
Let m = 16.2 + -15. Is m not equal to -1?
True
Let v be (-12)/(-9) - 4/(-6). Is v not equal to 2?
False
Let q = 22.81 + -23. Let w = -0.6 + 0.61. Let c = w - q. Which is smaller: 2/5 or c?
c
Suppose p + p = 8. Suppose p*j = j. Is j at least 1/6?
False
Let w be (1/(-10))/(-1 + 20/(-24)). Which is greater: -1 or w?
w
Let l(g) = -g**2 + 10*g - 5. Let y be l(9). Suppose 0 = y*i - 4*k, 2*k - 4*k - 5 = 3*i. Is i at least -2/25?
False
Let v = 14 - 7. Let u = v - 3. Let s = -5 + u. Which is bigger: s or -2/11?
-2/11
Let t = -208359/6818 + -11/974. Let m = -31 - t. Which is greater: m or -1?
m
Suppose -4 = -2*d + 4. Suppose 5*y + 25 = -5*v, -d*y - 4 + 0 = -4*v. Which is smaller: v or -7?
-7
Suppose 4*w - 5*o = -4, -4*w - o = -0*o + 4. Which is smaller: w or -6/5?
-6/5
Suppose 7*z = 4*z - 3. Which is smaller: 3/4 or z?
z
Suppose 151 = x - 5*n + 54, 3*x - 2*n = 265. Suppose x = 3*y - 4*y. Let f = y + 259/3. Do -2 and f have the same value?
False
Suppose -5*h + 137 - 42 = 0. Let f = 12 - h. Let d(v) = -v - 5. Let u be d(f). Is u greater than or equal to 2?
True
Let p be (5/2 + -3)*6. Let d = -4 - -2. Is d at most as big as p?
False
Let m be ((-2)/(-24))/((-21)/(-8)). Which is bigger: 0 or m?
m
Let t be 78/8 + (-2)/(-8). Which is smaller: 9 or t?
9
Suppose 3*n + 12 = 3. Let t = -4 - n. Is 1/4 less than t?
False
Let h = -21 + 13.8. Let f = h - -7. Let w = f - -0.4. Which is smaller: w or 1?
w
Let o = 0.19 - 0.08. Let u = -0.01 + o. Is u bigger than -5?
True
Let r be ((-9)/(-21))/((-1)/(-7)). Is r greater than or equal to 4?
False
Let r be -217 - (-4 - (1 - 2)). Let u = -1279/6 - r. Which is smaller: u or 1?
u
Let y = 119 - 268/3. Let n = y - 29. Let l(m) = m**2 + 2*m + 2. Let x be l(-2). Which is bigger: n or x?
x
Let x = -289/44 + 3/44. Let y = 3 - -3. Let t = y + x. Which is greater: t or 4?
4
Suppose 4*h = -9 + 25. Let q = 4 - h. Let a be -1 - 2/(-3)*3. Which is bigger: a or q?
a
Let h = -1 - -1. Let o be (2/(-14))/(1 - h). Let j(i) = -4*i - 24. Let q be j(-6). Is o < q?
True
Let x = -5 + -5. Let r = 13 + x. Is 3 smaller than r?
False
Suppose -7*f = -3*f - 128. Let b be ((-12)/(-40))/(12/f). Is b less than 1?
True
Let b = 8 + -2. Let j be (6/(-18))/(8/b). Is 0 at least j?
True
Let r(d) = -d + 5. Let z be r(5). Let p = 20.01 - 19.9. Is p at most z?
False
Let h be ((-6)/2)/((-8)/8). Suppose 4 = -q - 4*i, -h*i = 5*q + i - 28. Suppose -q*k + 14 = -6*k. Which is bigger: 6 or k?
k
Let g(n) = n**2 + 12*n + 5. Let z be g(-12). Suppose 2*a - c = -6, 2*a + z*c = -0*c + 18. Is a at least as big as 0?
False
Suppose w - 2 = -1, 0 = 4*n + 4*w - 8. Let b be n/(0 + 1/(-6)). Is -9/2 > b?
True
Let n = 0 - -9. Let v = -1.5 - -32.5. Let b = v + -31. Which is bigger: n or b?
n
Let h be ((-7)/(-322))/(2/4). Is -1 bigger than h?
False
Let k = 8 - 8.8. Let j = k - -1. Which is smaller: 2 or j?
j
Suppose -10*n + 5 = -5*n. Is -2/69 equal to n?
False
Let y = 19/46 + -47/782. Do 0 and y have the same value?
False
Suppose 3*l + 5*h + 7 = -4, 4*h = 8. Which is bigger: -8 or l?
l
Let g = -57 - -45. Do -13 and g have different values?
True
Suppose -31*t - 6 = -37. Let y = -3 + 2.8. Which is smaller: t or y?
y
Suppose 2*o - 7 = 4*c + c, o = -5*c - 4. Let q = 3/8 - -3/8. Is o smaller than q?
False
Let b(n) = n**2 - 5*n + 3. Let w be b(4). Let j = w + 4. Is j less than or equal to 1/4?
False
Suppose 7*v - 3*v = 152. Is v smaller than 38?
False
Let o(h) = -h**2 - 2*h. Let d be o(-2