+ 15. Let r = -6.6 + n. Which is smaller: r or o?
r
Let n = 43375/316 - 85/474. Let g be (-687)/5 + (-4)/(-10). Let a = g + n. Are 1 and a equal?
False
Let l(u) = -u**3 - 9*u**2 + 29*u + 3. Let f be l(-12). Suppose 93*h - 138 = f*h. Is 22 at least h?
False
Let a(u) = 5*u**2 - u + 1. Let f be a(1). Let m be (48/60)/(2/f). Suppose -m*i - 6 = -5*i. Which is greater: -3 or i?
i
Let u = 187/4 - 569/12. Let q = -1 + 2.4. Which is smaller: q or u?
u
Suppose 2*u = 3*d - 6, -4*d = u - 0*u - 19. Let c(q) = 2*q**2 - 6*q + 6. Let p be c(d). Which is smaller: p or 9?
9
Let p = -131 + 918/7. Suppose -10*c - c = 11. Which is smaller: c or p?
c
Let s be 1/(-6)*3*-10. Let y(x) = -x**3 + 6*x**2 - 3*x - 10. Let m be y(s). Do m and -4 have the same value?
False
Suppose 0 = 3*q + q - 72. Suppose -2*d = -8 + q. Let h(x) = -x - 5. Let g be h(d). Are g and -2 nonequal?
True
Let a(r) = -10*r**2 - 2*r + 1. Let t be (-35)/28 + (-3)/4. Let g be a(t). Let u be (-100)/(-126) - (-20)/g. Are 1 and u non-equal?
True
Let r be ((-15)/12)/(3/(-228)). Which is smaller: 473/5 or r?
473/5
Let h = -731 + 734. Is 130 smaller than h?
False
Let u be (-10)/30 - 2/3. Let a be -17 + (u + 4 - -1). Let q = a + 9. Is -1 at most as big as q?
False
Let h(v) = -7*v + 134. Let f be h(20). Which is smaller: -38/7 or f?
f
Let z(c) = c**2 + 4*c - 5. Let s be z(-6). Let i(f) = -f**2 + 9*f - 5. Let y be i(s). Which is smaller: 0.2 or y?
0.2
Let y = 8143550/263 - 30964. Which is smaller: y or -1?
-1
Let u = 1642 - 1638. Is -1/98 >= u?
False
Let m(g) = 16*g + 1 + 0 - 18 - g**2. Let l be m(13). Suppose 4*d + l = 6. Which is smaller: -3 or d?
d
Let g(s) = s**3 + 10*s**2 - 12*s - 11. Let u be g(-11). Let t = -5 + 17. Let f = t - 11. Which is smaller: u or f?
u
Let f be (-3675)/231 + (-3 - (-96)/33). Which is bigger: -17 or f?
f
Suppose -x = 4*s + 11, -4*x + 2*x + 30 = -5*s. Suppose 2*q - 2*u = -4*u, 2*u = -x*q. Are -10/7 and q unequal?
True
Suppose s - 4 = 0, 4*r + s - 1 - 31 = 0. Is r bigger than 2?
True
Let l(q) = q**3 + 4*q**2 - 2*q - 6. Let h be l(-4). Suppose 3*b + 6 = 4*t, -4*b + h*t = -9*b - 36. Which is greater: -7 or b?
b
Let o = 301 + -300.9. Is 11/2 less than or equal to o?
False
Let v(r) = -3*r**2 + r - 1. Let k = -9 + 9. Let c be (k - 2)*1/(-2). Let t be v(c). Which is smaller: -1 or t?
t
Let j(k) be the second derivative of -k**5/20 - k**4/12 + 8*k. Let v be j(1). Let w be (v/(-18))/(3/(-6)). Is 0 bigger than w?
True
Let d = -21/278 + 5171/64774. Are 0 and d equal?
False
Let t = 384 - 391. Is -17 less than or equal to t?
True
Let c = -1/159 + 1115/318. Is -1/5 less than c?
True
Let q be (-1 - (-10 + 2))/(-1). Is -1/4 bigger than q?
True
Let v be 27/12 + 3/(-12). Suppose -259 + 20 = -5*i + v*r, 15 = 5*r. Which is greater: i or 1?
i
Let l = 3 + -19. Let p be 28/21*(l - -1). Let f = -17 - 4. Which is smaller: f or p?
f
Suppose l = n + 1, 0 = 3*n - 8*n + 20. Suppose 3*b + 4*c - 25 = 0, 5*b = -3*c + 55 - 17. Suppose -q - 5*s + b = 3*q, -q = l*s - 13. Is 4 bigger than q?
True
Let u(v) = v**2 + 10*v - 11. Let n be u(-11). Suppose 3*c + 12 - 15 = n. Let m be -2 + -6*c/(-2). Which is smaller: 16/7 or m?
m
Let c(o) = 14 - 8*o**2 + 11*o**2 - 13*o - 2*o**2. Let q be c(11). Let l be (8/162)/(q/(-12)). Which is greater: l or -1/4?
l
Let s = -6799/6111 + 1/679. Let d = -0.2 - -0.1. Is d < s?
False
Let a be -1 - (-7)/(28/24). Suppose 19 - 144 = 5*y + 5*t, 3*t - 117 = a*y. Let o = y + 30. Is 7 at least o?
True
Let p = 259/153 + -25/17. Let w = -0.4 - 4.6. Let v = w - -5.4. Is p < v?
True
Let x = -4 + 14. Suppose x = 2*p, l - 14 = -p + 3*p. Suppose 5*f + 9 = l. Is 3 >= f?
True
Suppose -j + 4 = -3*j. Let b be -1 + (-14 - -9) + -2. Is b < j?
True
Let x = 361 - 360. Let r(h) = h**3 + 4*h**2 + 2. Let t be r(-4). Let a be 9*(t + -3) + 1. Is a not equal to x?
True
Let q = 2 - -8. Let o = q - 22. Let x = 11.9 + o. Is x not equal to 5?
True
Let s = -56 + 22. Let k = s + 22. Let x = 9 + k. Which is smaller: -4 or x?
-4
Let n = 2454 - 453988/185. Let v = -9/148 + n. Let m be 2/3 - 4/(-12). Is v at least as big as m?
False
Let o = -282.1 - -282. Is 47 <= o?
False
Let x = 1276 - 274343/215. Which is bigger: 1 or x?
1
Suppose -18*k = -4*a - 14*k + 44, 5*k = 0. Which is bigger: 0.3 or a?
a
Suppose -21 + 31 = -5*a. Which is smaller: -20/7 or a?
-20/7
Let c be 12/78 + 125725/(-1365). Let t = c - -92. Which is smaller: t or 0.3?
t
Suppose -3*q + 5*n = -0*q + 1, 0 = 2*q - 4*n. Which is bigger: q or 41?
41
Let w = -82.1 - -82.1. Let y = 4507/42 + -736/7. Is w <= y?
True
Suppose -15 = -2*n - 17. Let w = -3 - -4. Let m be 22/(-6) - (n - w). Which is greater: m or 0.1?
0.1
Let g be -3*4/(-84) + 12/14. Suppose -x + 0 = -4. Is x at most g?
False
Let f = 0 + -7. Let y be 12/10 - (-14)/f. Let c = -49 - -47. Is c not equal to y?
True
Let f = -38 - -44. Let o be (9*4/f)/3. Suppose w + q = 2, 4 = 4*w + o*q + 2. Are 2/11 and w nonequal?
True
Let t(j) = -j + 38. Let p be t(38). Is 1/1837 greater than p?
True
Let m(c) = -2*c + 6. Let q(o) = o**2 + 4*o + 3. Let j be q(-4). Suppose -5*l + 36 = 4*k, -2*l = -k + j*l + 9. Let n be m(k). Which is smaller: n or -11?
n
Suppose -2*s = 2*s. Suppose 2*c - 8 + s = 0. Suppose -2*m - 4 = 3*z, 5*m - 5 = 2*z + c. Is 3/5 less than or equal to m?
True
Let s be (12/(-45))/((-1010)/25). Let v = -596/1515 - s. Is v equal to -0.2?
False
Let d be (((-40)/324)/5)/((-4)/6). Let r = d - 7/27. Is 0 >= r?
True
Let a(t) = -2*t**2 - 13*t + 2. Let p be a(-7). Let r be 2 - p/((-60)/27). Let l = 0.2 - 0. Which is smaller: r or l?
r
Let u be (15/(-210)*-12)/((-2)/(-21)). Suppose 0 = 4*s + 1 - 21. Is u < s?
False
Suppose -22*p = -18*p + 20. Let b be p*1/(-1 + 0). Suppose -2*s = -3*h + b*h - 18, 0 = -4*h + 4*s + 36. Is h at most as big as 9?
True
Let i = 101/4 - 25. Let u = 43 - 33. Which is greater: i or u?
u
Suppose 4*s + 2*i + 96 = 0, -3*s - 2*i = i + 72. Let p be 5/(45/s) + 2. Let g = 123/148 - 3/37. Are p and g nonequal?
True
Suppose -4*u = 4*v - 2*u - 14, v = u + 11. Let d be v/1 - 3/3. Suppose 0 = 4*k + 12, 2*a - d*k - 33 = -a. Does a = 5?
False
Let n(c) = 5*c + 19. Let u be n(-5). Let p be (u/(-8))/((-4)/32). Which is smaller: p or 4?
p
Let v = 0.29 - -0.01. Let u = -3.3 + 1.3. Let y = u - -3. Which is smaller: v or y?
v
Let k = -135 - -131. Is 37 < k?
False
Let q(p) = 9 - 9 - 3*p - 7. Let v be q(-3). Suppose 5*u - 3 = v*u. Which is smaller: 2/65 or u?
2/65
Let w(m) be the second derivative of -m**4/4 - m**3/3 + 2*m. Let b be w(-1). Do 2/41 and b have different values?
True
Let f = -602 - -609. Let r = 3049/12 - 745/3. Is f at least r?
True
Let p be (1/(-17))/((-3)/(7416/(-1202))). Let a = 2/601 + p. Which is greater: a or 0?
0
Let y be 2 + (-352)/(-12) - (3 + -8). Which is smaller: y or 1?
1
Let x = 14 - 9. Let c = x + -5.8. Let d = c - -0.4. Is -2 >= d?
False
Let j be 2/((48/(-60))/((-6)/(-855))). Which is smaller: j or 0?
j
Let c = 0.241 - -106.759. Let w = c + -107.1. Let v be 6/21*2/(-4). Is w less than or equal to v?
False
Let l be (3/15*-3 - -1)/(-68). Let c = -321/3230 + l. Is c < -1/4?
False
Let s(q) = q + 4. Let p be s(-5). Let r = 159 - 159. Let h be (20/(-240))/(r + 1). Is p greater than or equal to h?
False
Let p = -7903/19 - -416. Is 25 greater than p?
True
Let j = -219 + 143. Let x = j - -76.1. Which is smaller: x or 4?
x
Let j = -65 + 69. Let f = 4 - j. Which is smaller: f or -2/37?
-2/37
Let q be ((-1)/21)/(2 - -2). Let g = -28 - -27. Is q < g?
False
Suppose 0 = -4*t - 3*y + 3 + 8, 3*t + 5*y = 0. Let g be (3/2)/((-9)/(-12)). Let h = 4 + g. Which is smaller: t or h?
t
Suppose -20*c - 48 = -1068. Is c smaller than 51?
False
Suppose 3*p + 4 = 5*j - 4, 3*p + 28 = j. Which is greater: -5 or p?
-5
Let x = 44 - 43. Let q be (-7)/(28/(-40)) + x. Which is greater: 10 or q?
q
Let c be (-128)/160*(2 - 2/(-4)). Is 6 smaller than c?
False
Let d = -24.1 + 26. Let z = 2.2 - d. Are z and 2/35 non-equal?
True
Suppose 0 = n - 2*b - 3*b + 45, -3*b = 3*n + 135. Which is smaller: n or -44?
n
Let l be (1/42)/(-1 - (-23 - -15)). Which is smaller: -1 or l?
-1
Let g = -186 + 186. Are 1/1006 and g equal?
False
Let k = -4975/17 + 293. Which is smaller: k or 1?
k
Suppose -8 = -3*f - f. Let t be (f/2)/(12/56). Let c = 81 + -75. Which is smaller: c or t?
t
Suppose n + 3*n - 100 = 0. Suppose 8*z + n = 13*z. Is 3 bigger than z?