Let y be p(-5). Let q = -1 - y. Which is bigger: q or -7?
q
Let g = 19 + -17. Suppose -4 = -2*c - g*c. Is 2 at most c?
False
Suppose 0 = -2*l - 0 - 2. Let i be -3 + 3 + -1 + l. Let g = -9 - -8.8. Which is greater: i or g?
g
Let p = -1.6 + 1.36. Let u = p - -0.2. Is 0.1 at most u?
False
Let b = -228 + 903/4. Let u = -53/20 - b. Is u > -0.4?
False
Let a = 5321/19 + -280. Is a less than or equal to 1?
True
Let n = -1 + 1. Let u(x) = -2*x**3. Let j be u(-1). Suppose 5*y + 7 = 2*y - 5*r, -j = r. Is n greater than or equal to y?
False
Let f = -0.6 - 2.5. Let n = f + 3. Are n and 5 non-equal?
True
Let x = -14 - -14. Suppose p = -p + 2. Let d = 0 - p. Are d and x unequal?
True
Let y = -13 + 18. Suppose y*c - 8 = -5*f + f, -c + 2*f - 4 = 0. Let a be (0 + c)/1 + 1. Is -0.6 less than a?
True
Let i = 81 - 731/9. Let k(v) = -2*v + 12. Let n be k(11). Let r be (-6)/(-21) + n/(-14). Which is bigger: r or i?
r
Let a = 0.1 + 0.1. Let h = 13 - 12.2. Let g = 0.7 - h. Is a < g?
False
Suppose 2*j + j = 5*l - 2, -5*j - 26 = 3*l. Do 1 and l have different values?
True
Suppose -f = -8*x + 3*x - 40, -x - 8 = -5*f. Is -8 greater than x?
False
Let a = -4 + 11/3. Let z = 6.97 + -7. Let r = z + 2.03. Which is bigger: r or a?
r
Let t = -289.6 - -290. Let v = -1 + 3. Which is smaller: v or t?
t
Suppose 4*z - 12 = -m, -m + 2*z - 19 = -1. Is -12 < m?
True
Let m be (-1)/2*7 + (-3)/(-2). Is 7 < m?
False
Suppose 5*g + 3 = 13. Let v be -1 + g - (-1 - -2). Which is smaller: v or 2/11?
v
Let k = -8 - -13. Suppose -5*y + k = -5. Let d be 0/(y/(0 + -2)). Is 2 != d?
True
Suppose -x - 4*h + 22 = 0, -h - 10 = -3*h. Suppose -x + 1 = -i. Let s = 0 - i. Which is greater: s or -2/25?
-2/25
Let k = 1 - 0. Let b = 27478/21 + -1308. Let f = b - 1/3. Which is smaller: k or f?
f
Suppose -3*d + 90 = 2*d. Let f = 17 - d. Does f = 1?
False
Suppose 0 = 10*m - 5*m + 435. Let v be ((-16)/24)/((-2)/m). Which is greater: -28 or v?
-28
Let c be 4/18 - (-3035)/(-9). Let y = c + 3037/9. Which is greater: 0 or y?
y
Let o = 9 + -8. Suppose -4*s + 11 + o = 0. Which is smaller: -2/9 or s?
-2/9
Let m = -2/67 - -140/201. Which is smaller: 19 or m?
m
Let b be (-5)/(40/12)*-2. Is 3 < b?
False
Suppose -2*p + 5*p = -k, 5*p = -k. Is k less than or equal to -3/13?
False
Suppose -7*h + 6*h + 25 = 0. Which is smaller: 3 or h?
3
Let q = 3 + -1. Suppose -i = -2*s + 3, -q*s = 2*i - 7*s + 9. Suppose 6*n + 3 - 27 = 0. Is n bigger than i?
True
Let i = -11.84 - -7.91. Let w = i - 0.07. Let b = 3 + w. Which is greater: 0.3 or b?
0.3
Suppose -2*c = 1 + 5. Let u be 8/36 + 16/9. Suppose -x - 2*o - 5 - 6 = 0, u*o = -3*x - 17. Is c > x?
False
Let n(i) = i**3 + 3*i**2 + i + 4. Let z be n(-3). Suppose -5*o = 4*d - 15, 6*d - 5*o = 2*d + 25. Let q = d - z. Is 5 at most as big as q?
False
Let g = -277/6 - -46. Which is bigger: g or 0?
0
Let j = 122 - 2072/17. Let z(s) = -9*s**2 + s. Let x be z(1). Let k = 7 + x. Which is smaller: k or j?
k
Let y = -0.09 - -1.09. Let t = y - -1. Suppose 4*w = -0*w + 8. Is t smaller than w?
False
Let y(v) = -2*v - v**3 - 4 + v + 4*v**2 - v. Let t be y(3). Is -2 not equal to t?
True
Let x = 10861/44 - 995/4. Is x at least as big as -1?
False
Let o = 11 - 8. Suppose 5*x - o*d + 17 = 0, 0 = 2*x - d + 2*d - 2. Let a be 4/(-14) + 24/(-210). Do x and a have different values?
True
Let a = -0.359 + -0.641. Let c = 0 - -3. Is a at most c?
True
Suppose 0*a = a - 5. Let n = 109.9 - 110. Which is greater: n or a?
a
Let a = 11 + -7. Suppose -2*q + 4*t + 19 - 3 = 0, 0 = -2*q - 4*t + 32. Let d = q + -8. Is a less than or equal to d?
True
Let c(d) = d**2 - 7*d. Let o be c(5). Let u(f) = f**2 - 19*f - 9. Let b be u(19). Is o <= b?
True
Let x be ((-2)/4)/((-1)/(-22)). Suppose -g + 7*g + 60 = 0. Is x bigger than g?
False
Suppose h - 10 = -h. Let w be 64/20 - 1/h. Suppose -4*x - 5 = -w*x. Is -4 at most x?
False
Let g = 6/49 - -135/98. Let o = g + -5/4. Is -0.2 at most as big as o?
True
Let i = 394 - 35461/90. Is i smaller than -1?
False
Let k = 0.183 - -0.017. Which is smaller: k or 3?
k
Let r = 42 - 125/3. Suppose -2*k - 3*k = 2*m - 17, -m = 5*k - 16. Is m at most r?
False
Suppose -6 = 3*y - f + 13, -4*f = -4*y - 20. Let l = -22 - -16. Which is smaller: y or l?
y
Let l = 18 + -17. Which is bigger: 4 or l?
4
Let y(h) = -h**3 - h**2 + 9. Let o be y(0). Let l = o + -9. Which is greater: -1/10 or l?
l
Let k(u) = u**3 + 13*u**2 + 11*u - 10. Let t be k(-12). Is t greater than 2?
False
Let f be (-3)/18*18/8. Suppose 5*k - 2*u = -1, -4*k + u = -4*u - 6. Let c = -1 - k. Which is bigger: f or c?
c
Suppose -12*s - 96 = 12*s. Let l = 4 - 7. Which is smaller: l or s?
s
Suppose d = -d. Suppose d = f - 3*f + 2. Suppose -3*u + 5*j = -21, -3*u - 4 + 1 = 3*j. Is f smaller than u?
True
Let f be 136/(-10) - (-2)/(-5). Which is smaller: f or -5?
f
Let y = -261/5 + 52. Let d be (-1)/4 + (-1)/28. Is y >= d?
True
Let r be (-348)/8*2/(-3). Let l = 265009/9060 + -1/2265. Let p = r - l. Which is smaller: 2 or p?
p
Suppose 7 = -2*k - 0*s - 5*s, 0 = 2*s + 6. Is 3 at most k?
True
Let n(w) = -w**2 - 8*w - 9. Let s be n(-6). Let l be 1/(-2) - 99/(-22). Suppose -4*r = 6*g - 3*g + l, -5 = 5*r + s*g. Which is greater: r or -1/7?
-1/7
Let b = -0.3 + 0.2. Let x = -5/2 + 89/34. Is b greater than x?
False
Let g = -0.17 + 0.03. Let f = 1.14 + g. Is -0.2 != f?
True
Let j = -8 - -13. Let t = 5.1 - j. Do t and -6 have different values?
True
Suppose 2*i - 6 = 0, -n + 4*i + 3 = 2*n. Suppose -n*f - 4*s + 10 = -6*f, -2 = -4*f - 5*s. Which is smaller: -14/11 or f?
f
Suppose -5*h = -3*c - 277, 5*h + 2*c - 160 = 97. Which is greater: 1 or h?
h
Suppose 2*a + 12 = -3*z, -a + 6 = 3*z + 15. Let r = -56/11 + 80/33. Which is greater: r or a?
r
Let b(h) = -h - 11. Let d be b(-12). Is d < 5/4?
True
Let i(l) = l**2 - 4*l - 7. Let t be i(6). Which is smaller: t or 1?
1
Let r(a) = -a**3 + 3*a**2 + 6*a - 1. Let n be r(4). Is 9 greater than or equal to n?
True
Let g = -2 + 2. Let s(b) = -2*b + 36. Let i be s(19). Does g = i?
False
Suppose 4*c - 5 = 7. Let u be (c/19)/(18/(-12)). Is 1 at most as big as u?
False
Let o = 41 - 41. Is -0.11 not equal to o?
True
Let l be -3 + -2 + (-129)/(-18). Which is smaller: l or 3?
l
Let y(t) = t. Let r(z) = z + 1. Let n(f) = 7*r(f) - 6*y(f). Let k be n(-7). Which is greater: -4/9 or k?
k
Suppose v + 4*v = 3*s - 20, 2*s = 10. Which is smaller: v or 2?
v
Suppose -5*p = -3*s + 6 + 11, 5*p - 4*s + 21 = 0. Which is smaller: p or -4/13?
p
Let s = -125771/1027 - -1595/13. Let x = -916/553 + s. Is -2 at most x?
True
Let q(z) = z - 2. Let h be q(1). Let r = -10 - -3. Let f be 2/(-8) - r/(-20). Which is greater: h or f?
f
Let r = -167 - -53. Let y = -346/3 - r. Is 0 greater than or equal to y?
True
Suppose 0 = -5*u + 4 - 14. Let y be (-1)/10*(-1688)/12. Let r = 67/5 - y. Is u at most r?
True
Let m = 2/45 + 11/765. Are m and 0 nonequal?
True
Let c(l) = l**3 + 5*l**2 + 1. Let z be c(-5). Is z at most -0.25?
False
Let u(f) = -f**3 + 6*f**2 - 5*f - 6. Let j be u(5). Let m be (-15)/j*12/(-15). Are -2 and m nonequal?
False
Let p = -10/31 - -257/124. Is p >= 1?
True
Let q be -2*((-44)/248)/(-11). Which is smaller: q or 0?
q
Suppose -2*n = 1 - 5. Do n and 12/7 have different values?
True
Let f = 17 - 33/2. Which is greater: f or -1/3?
f
Let i be ((-14)/(-8) + -1)*-8. Let l = i - 3. Let x be 2*(0 - (-3)/l). Which is smaller: -2 or x?
-2
Let d(c) = -c**3 + 2*c**2 + c + 1. Let s be d(2). Suppose 0 = -w - s + 6. Suppose -17*h - 42 = -38*h. Is h at least as big as w?
False
Let p(a) = -a**2 + 8*a - 3. Let z be p(7). Let s be ((-12)/z)/(33/(-4)). Is s less than -1?
False
Let q = -4 - -3. Let b be 802/(-602) - 4/(-4). Let m = 2/43 + b. Is q at least m?
False
Let v be 86/7 - 8/28. Is v not equal to 13?
True
Let p(f) = -f**2 + 4*f + 2. Let x be p(4). Suppose 5*a = -x + 7. Let y be (2/15)/(12/(-18)). Which is smaller: a or y?
y
Let j be 1/15 - 2/5. Let w = -10.9 - -15. Let l = -4 + w. Is j > l?
False
Let u be -2 + 4 + (-1 - -2). Suppose u*l + 15 = -3*v, 3*l = v + 6*l + 11. Which is greater: -3 or v?
v
Let l = -0.13 - 1.57. Let z = l + 3.9. Let b = 2 - z. Do 2/9 and b have the same value?
False
Let l = -3 + 1. Let j be l*((-14)/(-12) + -1). Which is smaller: j or -0.1?
j
Let f = -7.9 - -8. Is -1/4 at most as big as f?
True
Let f be (21/(-3))/1 - 1. Let y = f - -22/3. Let i = 19