+ 15. Let d be q(-6). Which is smaller: d or r?
d
Let h = 0.18 + -0.2. Let n = -0.12 - h. Let p = 0.5 + -0.49. Which is bigger: n or p?
p
Let c(j) = j**3 + 5*j**2 - j - 2. Let k be c(-5). Let d(m) = m**k + 5*m - 3 - 6 - 7*m**2 + 3*m. Let n be d(6). Which is smaller: n or 2?
2
Let y be (-12)/(-10)*(-40)/12. Which is bigger: y or -24/7?
-24/7
Let a = 7 + -6. Let m be 6/(-14)*-1 - a. Which is smaller: -1 or m?
-1
Let n(r) = 5*r**3 - r**2 - 2*r - 1. Let d be n(-1). Let q be ((-2)/d)/(2/(-6)). Are q and -2 equal?
False
Let p = 59 - 58. Is p bigger than 0?
True
Let n(y) = -y + 43. Let f(t) = -21. Let w(a) = -5*f(a) - 2*n(a). Let o be w(-10). Let x = 0 + -2. Are o and x unequal?
True
Suppose -2*u + 8 = -0*u. Suppose 2*g + 2*g + u = 0. Is g < 0?
True
Let i = -5 - -8. Suppose i*n = -0 - 6. Is 0.4 > n?
True
Let w = 1691 + -8518/5. Let u = w + 461/35. Let j = 3 + -2. Is u >= j?
False
Let n be (59/1)/(3/(-51)). Let x = 7033/7 + n. Are x and 2 equal?
False
Let p = 0.1 + -1.1. Let g = -1 + -5. Let o be 1*(2 + 10/g). Is p < o?
True
Let q = 3 - 3. Let g = -0.3 - q. Let j = -0.04 - 0.96. Which is smaller: g or j?
j
Let i be (6/(-10))/((-14)/(-10)). Is i less than -0.1?
True
Let f = -2.3 - 0.7. Let d = 2.9 + f. Which is smaller: -2/11 or d?
-2/11
Suppose 10*p - 5*p - 40 = 0. Is p greater than or equal to 8?
True
Let h(g) = 4*g**3 + 5*g - 3. Let b(t) = -5*t**3 + t**2 - 6*t + 4. Let q(y) = 5*b(y) + 6*h(y). Let p be q(5). Let d be 6/(-30) + 6/5. Which is bigger: d or p?
p
Let r(l) = -2*l + 8. Let w be r(6). Let u = w + 5. Which is greater: 2/9 or u?
u
Suppose 0*i + 2*d - 41 = -5*i, -4*i + 44 = -4*d. Which is smaller: i or 8?
8
Let h = 22 + -34. Let k = -0.204 + 0.104. Is h less than k?
True
Let o(q) = q**3 - 7*q**2 + 5*q + 7. Let s be (-1)/(2*2/(-12)). Suppose -2*x + 30 = s*x. Let p be o(x). Is p bigger than -2/7?
True
Let c be (2/7*-2)/(423/(-329)). Which is smaller: c or -1/2?
-1/2
Let w = -6 + 8. Suppose -4*b - 2*l - 65 = -153, -4*l + 116 = 5*b. Let d be (-4)/6 - b/(-15). Which is greater: w or d?
w
Let t be 122/(-549) - (1 + 13/(-18)). Let l = 0 - -1. Which is smaller: t or l?
t
Suppose 50 = 4*p + 3*h + 3, 3*p = 4*h + 54. Suppose 3*a + 1 = -p. Let y = -6 - a. Which is greater: -2/25 or y?
-2/25
Let c = 2 + -3. Let k = c + -2. Let w be 2/k + 4/(-12). Are w and -1/4 unequal?
True
Let j = 4 + -4. Let n = j + 3. Let c be 6/21 + 38/14. Is c bigger than n?
False
Let j be (-3 + 2)/(3/(-9)). Suppose -3*g = -j*d + 72, d + 9 = 4*d. Let p be 6/g + 30/7. Are p and 3 equal?
False
Let p be 8/(-3) - -3 - (-1004)/12. Is p greater than 83?
True
Let z be ((-23)/4)/((-9)/36). Suppose -u - z = -5*o, 0 = 4*u - 3*o + 2*o - 3. Let h be (1/3)/(2/12). Is h smaller than u?
False
Suppose z - 4*c = 7, -2*z + 1 + 2 = 3*c. Suppose z*m + 5 = -2*m. Let x be (2 + -3)/(m - 0). Which is bigger: x or -2/11?
x
Let r(k) = -k. Let m be r(0). Let w be (-7)/(-5) + m + -1. Which is greater: w or -1?
w
Let n = 0.1 + -0.1. Let h = 0 - -0.1. Let k = h + n. Is 1 at most k?
False
Let n = -25 - -27. Which is smaller: 0.05 or n?
0.05
Let y(h) = h + 3. Let k be y(-3). Let c(s) = -s**2 + 6. Let f be c(k). Which is bigger: 8 or f?
8
Let i(u) = u + 6. Let t be i(-4). Suppose 2*l + t*l = -4. Is l at most as big as 1/32?
True
Let s = -1/520 + -723/164840. Is 0 less than or equal to s?
False
Let t(r) = r + 6. Let v be t(-5). Suppose 0 = 4*l - 3*l + v. Are 1/3 and l equal?
False
Let d = 102/115 - 48/23. Let m(x) = x + 5. Let s be m(-7). Which is greater: d or s?
d
Let r(w) = 2*w**3 - 16*w**2 + 10*w - 16. Let y be r(8). Which is smaller: y or 62?
62
Let w = 173129/52 - 13093/4. Let t = w - 56. Let j be (2/4)/((-2)/4). Which is smaller: t or j?
j
Let q(a) = a**2 - 6*a - 2. Let k be q(7). Suppose 0*h = k*h + 60. Let v be 2/5 - h/70. Which is bigger: v or 2?
2
Suppose 5*y - 3*v - 7 = 0, y + 2*v = 5*y - 6. Suppose 0 = -2*n + o + o - 6, 6 = y*n + o. Is n equal to 0?
False
Let f = -12.9 + 4.9. Which is smaller: f or -5?
f
Let s be ((-216)/(-4))/(-6) - 2. Suppose 2*g = -6, -d - 3*g - 21 = -0*d. Which is greater: d or s?
s
Let q = -56 + 50. Which is smaller: q or -11?
-11
Suppose 3*v - v = 10. Is v equal to 6?
False
Let z(m) = m**3 - 8*m**2 + 8*m - 3. Let h be z(5). Let t be (-4)/14 + h/14. Let v = t + 4. Are v and 1/2 non-equal?
True
Let o = -2455/11 - -223. Is -1 less than o?
True
Let p = 2627 + -443961/169. Is -1 at least as big as p?
False
Suppose -2*i + 16 = 44. Which is smaller: -13 or i?
i
Let z = 65 + -72. Which is greater: -20/3 or z?
-20/3
Suppose -4*s + w - 3*w + 2 = 0, 2*w - 7 = s. Is 2/13 < s?
False
Let o be 2 - 47*29/7. Let q = 193 + o. Let l be (-3)/2*(-2)/(-6). Which is greater: q or l?
q
Let c = 48 - 287/6. Let g(q) = -q + 5. Let z be g(6). Let v be 2/(1 + (0 - z)). Which is smaller: c or v?
c
Let c = 0.23 + -3.23. Which is greater: 1 or c?
1
Let r(f) = f**2 - 9*f + 7. Let s be r(8). Is s greater than or equal to -3/2?
True
Let a = -26 + -22. Do -49 and a have the same value?
False
Let v(a) = -a**2 - 5*a - 3. Let z be v(-3). Suppose -z*x + 4 = 1. Which is bigger: x or -1/17?
x
Let l = 2607/10 + -261. Let k = -59/130 - l. Is 0.2 bigger than k?
True
Let q(m) = -3*m + 23. Let w be q(8). Is 1 bigger than w?
True
Let a(s) = -s**3 - 8*s**2 - 20*s - 6. Let r be a(-6). Are r and 43 non-equal?
True
Let k = -23 + 47/2. Let q be ((-4)/(-15))/(-1 - 15/(-25)). Are q and k equal?
False
Suppose 3*s + s - 4 = 0. Let m = 1/21 + -107/42. Let k = -1 - m. Which is bigger: k or s?
k
Let v be (-45)/10*(-4)/6. Let d = -2 + v. Is d bigger than 2/15?
True
Let c = 12.9 + 3.1. Which is greater: 1 or c?
c
Let v(l) = 6*l + 77. Let s be v(13). Which is bigger: 154 or s?
s
Suppose -9 = 4*k + 7. Let i be (k - -1)*4/(-6). Let x be i*(-3 + -1 + 3). Which is greater: x or -1?
-1
Suppose t = z, -14 = 3*t + 5*z - 6. Let f = -9 + 13. Suppose -f*w = 5*d + 12, w + 6 = -d + 3. Is t at least as big as w?
True
Suppose 0 = 5*c - 15, -3*k - 9 = -c - 2*c. Let b = k - -7. Is 7 > b?
False
Let x = 19 - 16. Let d = 0.688 + 2.322. Let u = d - x. Which is smaller: u or -1?
-1
Let u be (-39)/(-6)*12/(-30). Is u less than or equal to -3?
False
Let l be ((-3)/3 + 4)/(-1). Let q be (l/(6/(-10)))/(-1). Let i be (-2)/q + (-4)/10. Which is bigger: -1/4 or i?
i
Let s(w) = w**2 + 6*w + 7. Let f be s(-4). Which is smaller: f or 3?
f
Let b be (-2 + (-16)/(-12))*-9. Which is greater: b or 14/3?
b
Let v(w) = -5*w - 1. Let a be v(-1). Suppose -a*t = 5*q + 9, 2*t = -3*t - 2*q - 7. Let i = -0.3 - -0.2. Which is bigger: i or t?
i
Let n(b) = -b + 2. Let w be n(1). Which is bigger: w or 2?
2
Let q = -1.38 + 0.28. Let y = q + 1. Let m = -0.11 - 0.89. Is y less than m?
False
Let s = 0.42 - 0.22. Which is bigger: 15 or s?
15
Let v be 2/(-11) - 79/(-11). Let o = -5 + v. Suppose 5*z - o*m + 1 = 0, 5*z + m + 2 = 10. Which is greater: -1/10 or z?
z
Let c(p) = 2*p**2 - 20*p + 21. Let j(f) = -f**2 + 10*f - 11. Let s(q) = 3*c(q) + 5*j(q). Let x be s(9). Do -1 and x have different values?
False
Suppose 0*f - 9 = 3*f - 3*s, 5*f = 2*s - 3. Let d be (-4)/(-14)*(0 + f). Which is bigger: -1 or d?
d
Suppose 0 = m - 8 + 1. Are 6 and m equal?
False
Let h(b) = -b**2 - 11*b - 22. Let y be h(-9). Which is bigger: y or -5?
y
Suppose 2*b - 5*b - 18 = 0. Let o(w) = -3*w - 8. Let z be o(b). Let i be (4/z)/((-30)/(-25)). Is -1 not equal to i?
True
Let j = -4.08 - -3.78. Suppose 0*m - 3*m - 4*s + 8 = 0, -4*s = 5*m. Which is smaller: j or m?
m
Let q = 81 + -154. Which is smaller: -72 or q?
q
Let j be -29 - (9/7 - (-2)/(-7)). Does -30 = j?
True
Let l = -89/36 - -20/9. Let f be (0 - 1)/(7/2). Is f at least as big as l?
False
Suppose -5*s + 1 = -4*n + 2, 5*s + 3*n - 27 = 0. Suppose s*u - 15 = q, 0 = 3*q - 0*q - 3*u + 51. Let h be ((-1)/3)/(21/q). Does h = 3?
False
Let n = -1.2 + 1.3. Let w = n - 0. Which is bigger: w or 1/7?
1/7
Let p = 25/18 - 7/5. Which is bigger: p or -1?
p
Let m = 3/10 - -6/5. Do 1 and m have different values?
True
Suppose -2*h + h + 55 = 4*r, 5*r - 85 = 2*h. Which is smaller: 14 or r?
14
Let g(v) = -2*v**2. Let r be g(-2). Let b = -9 - r. Which is greater: b or -2/23?
-2/23
Let g = 397/4 + -2785/28. Let q = 61 - 60. Is g at most q?
True
Suppose -16 = -j + 3*q, 2*j - 3*q = -3*j + 32. Let o(v) = v**2 + 5. Let d be o(j). Let y = d + -83/4. Which is smaller: -1 or y?
-1
Suppose -y = -3*