+ 58. Suppose -i = -2*p - 47. Let k be 7*-1*(-12)/p. Is k > -5?
False
Let z = -142558/1935 - -3554/43. Let m = 46/5 - z. Is m less than 0.3?
True
Let l = -204662/45 + 4548. Let n be ((-3)/(-2))/3*0. Are n and l unequal?
True
Let z = -1006 + 1013. Is z greater than or equal to 47/6?
False
Let z(q) be the second derivative of q**2 + 7/12*q**4 + 0 + q**3 - 3*q + 1/20*q**5. Let b be z(-6). Which is smaller: b or 3?
b
Let p = 16/3 - 17/3. Let b = 0 - 14. Let f be (b/(-70))/(1/5). Which is smaller: p or f?
p
Let v(r) = -186*r. Let z be v(1). Let g = z - -6880/37. Which is greater: g or 0?
0
Let o be (-224)/40 + (-4)/10. Let i = o - -8. Suppose -4 = -4*b + i*b. Which is bigger: 2/3 or b?
b
Suppose -o = 3*p - 36, -4*p + 3*o + 0*o + 48 = 0. Let v be (-1 - -7)*(696/54 - 11). Which is smaller: p or v?
v
Let m = -43 - -31. Let w = 167 + -168. Which is smaller: m or w?
m
Let l = -17.99 - -18. Which is smaller: 40 or l?
l
Let i = 2137.029 - 2136. Let b = i + -0.029. Is b < -2/5?
False
Let x = -3722 + 606684/163. Which is greater: x or -1?
x
Let l(p) = 3*p + 6. Let g be l(-6). Suppose 15*q - 732 = 3*q + 73*q. Is q bigger than g?
False
Let t = -0.953 - -0.253. Which is smaller: 2/7 or t?
t
Let h = 2354 + -284832/121. Suppose v - 3 = -2*v. Which is greater: v or h?
v
Let q be 3 + 674/154 - (-2)/(-7). Let c = 746/99 - q. Which is smaller: 0 or c?
0
Let c = 11 - 8. Let u = c + -5. Suppose -133*w + 3 = -134*w. Are w and u nonequal?
True
Suppose -447*h = -430*h + 3366. Do h and -198 have the same value?
True
Let f be (9/(-15) + 0)/(-1). Let x = 64 + -66. Are f and x non-equal?
True
Let u = 5.89 - -0.11. Let k = -6.08 + u. Let z be (2/20*0)/(-1). Which is smaller: z or k?
k
Suppose 0 = -7*j - j + 8. Let c = -18/5 + 229/65. Is c greater than j?
False
Let g(z) = -z - 11. Let l(b) be the first derivative of -b**4/4 - 4*b**3/3 + b**2/2 + b - 4. Let t be l(-3). Let c be g(t). Is -3/5 greater than c?
False
Let j be -1*(-3 - -5) + 750/4. Let w = 186 - j. Let q = 1 - 2. Is q at least as big as w?
False
Let l be 4 + -9 + ((-116)/(-25))/1. Are l and 1 non-equal?
True
Let j be -2 + 10/6 + (-130)/(-30). Suppose -5*l = -5*w - 55, 5*l + 30 = -j*w + 2*l. Which is greater: w or -25/3?
-25/3
Let l = 435 - 410. Which is smaller: l or -2?
-2
Let a be (-2)/17 - (-31)/(3162/1134). Suppose 0*r - 21 = 3*r. Let n(y) = -y + 3. Let c be n(r). Which is bigger: c or a?
a
Suppose 0 = 2*y - 8, 1208 = -4*q - 7*y + 11*y. Is q equal to -299?
False
Let l be (-20)/16 - (-38)/(-8). Let s be 200/(-36)*l*3/2. Is 51 != s?
True
Let j = 12 + -20. Let r = j - -15. Is r <= -0.1?
False
Let v be 29390/(-225) - 2/(-5). Let p = -130 - v. Let h = -13 + 14. Is p not equal to h?
True
Let d be -2 - 92/(-12) - 2/3. Let u be (250/(-14))/d + 4 + -1. Is u less than -4/7?
False
Let n = 289 + -435. Let a be (-24)/n*3/(-6). Let j = 177/511 - a. Are j and 2/7 unequal?
True
Let g = 19 - 13. Suppose 11 = 9*i + 2*i. Suppose -i = -5*j - g. Are j and -2/7 equal?
False
Let l be (-1 + 2)/((-4)/(-5)). Let j(o) = -2*o + 46. Let c be j(21). Let q be 3/4 + 1/c. Which is bigger: q or l?
l
Suppose 0 = 2*z + 8 + 6. Let a = z - -21. Let q be 2/8 - 4/a. Which is greater: q or 1?
1
Let u = -39 - -38. Let w be u/4 + (-2)/(-8). Is w greater than 0?
False
Let d = 1045 - 1047. Which is smaller: d or 10.2?
d
Let g = 203/18 - 55/6. Let r = 1 - g. Which is smaller: 0 or r?
r
Let y = 15 - 69. Let q be (-2)/(-9) - (-3)/y. Let j = 1.9 - 2. Is q at most j?
False
Let t(x) = 4*x + 40. Let b(l) = l**3 - 14*l**2 - 16*l + 2. Let c be b(15). Let f be t(c). Are -11 and f nonequal?
True
Let k(n) = -n**2 - n + 5. Let a be k(0). Suppose l = 5*l + 16, 11 = -a*p - 4*l. Let q be (0 + p)*(-3 + 2). Which is greater: q or -3?
q
Let i(c) = c**3 + 6*c**2 + 4. Let v be i(-6). Suppose v = -5*k + 4*n - 3, -2*k = 3*n - 11. Let p = -117/5 - -24. Do k and p have different values?
True
Let q = 10 + -3. Suppose 3*b - 23 - q = 0. Suppose -b = -v - 2*x, 5*v + x + 3*x = 32. Is 4 less than v?
False
Let s = -0.18 - 0.32. Let a = s - -0.1. Is -3 < a?
True
Let c(h) = h**2 + 15*h + 44. Let s be c(-11). Is s at least as big as 2/821?
False
Let c(s) = -2*s**3 - 10*s**2 + 11. Let p(b) = b**3 - b**2 + b. Let w(n) = -c(n) - p(n). Let q be w(-11). Which is bigger: -1/8 or q?
q
Suppose 5*r - 25 = -0. Suppose -2*m = -6, -4*j - 18 = -r*m - 7. Which is bigger: j or -79?
j
Let n = 2.4 + -2. Let z = -0.35 + 0.05. Let a = z + n. Which is greater: 2/7 or a?
2/7
Let u(h) = 7*h**2 - 3*h + 2. Let s be u(7). Let b be 0/2 - (-18)/s. Let d(x) = x**2 - 5*x + 4. Let r be d(4). Which is smaller: r or b?
r
Let d = 1 - 1. Let z = 29.98 + 0.02. Let n = z - 33. Which is bigger: n or d?
d
Let c = -12/37 - 236/185. Suppose -37 = -5*t - 3*d, -t = -5*t + 3*d + 8. Let r be (6/t)/(21/(-15) - -1). Which is smaller: c or r?
r
Suppose -4*u = 5*l - 10, -2*l + 5*u = 2*l - 8. Suppose l = g, -3*s + 4*g + 14 = 52. Is s bigger than 0?
False
Let a be 4/(-5) + (-108)/90. Let c(g) = -g**2 + 3*g + 4. Let t be c(4). Suppose -3*u + 9 - 3 = t. Is a smaller than u?
True
Suppose -21 = q + i, 3*q = 3*i - 2*i - 67. Which is bigger: q or -25?
q
Suppose -11*a = -14*a - 9. Let f(i) = -i**3 - i**2 + 5*i - 7. Let q be f(a). Is q bigger than -4?
False
Suppose u + 2*u = 7*u. Suppose u = t + 42 - 41. Let m be (1 + 1)*(-2)/(-11). Which is smaller: m or t?
t
Let s be (-2272)/(-18) - (0 - -1). Let i = s - 125. Let n be 590/(-50) + 12 - 0. Which is smaller: n or i?
n
Let b be (-3)/((-99)/(-357)) + 0. Let s = b + 11. Let w = 39 + -40. Which is bigger: w or s?
s
Let o(q) = q. Let g be o(7). Suppose g*n = 5*n. Does -8 = n?
False
Let c = -63.9 - -63.36. Which is bigger: 18 or c?
18
Suppose 3*z - 5 = 8*z. Suppose -10*i + 13 = 23. Let q be i*(4/(-14) + 18/63). Which is smaller: z or q?
z
Suppose v + 3*u = -10, -3*v - u - 2*u = 0. Suppose -19 = -3*c - 3*n + 2, -v*c + 32 = 4*n. Let z be 2*(10/c - 1). Is 6 less than z?
False
Let f = -274222 - -1365638/5. Let p = 1090 + f. Do -3 and p have different values?
True
Let f = 377 - 12043/32. Which is greater: 1 or f?
1
Let o(l) = 15*l**2 + 119*l - 14. Let i be o(-8). Is -18 bigger than i?
False
Let v = 9512/5 + -1917. Which is smaller: -16 or v?
-16
Let y = -17.16 + 220.16. Is 0 > y?
False
Suppose 3*a - 44 = 2*n - 254, -5*n = -4*a - 511. Let g be n/168 - 2/(-7). Let k = 51/40 - g. Which is smaller: -1 or k?
-1
Let o = -542 - -337. Which is greater: 1/5 or o?
1/5
Let v be 7/((-119056)/(-119064)) - 7. Which is greater: v or 1?
1
Suppose -8 + 134 = -9*b. Which is smaller: -12 or b?
b
Let l = 78136/1551 - 554/11. Let j = -296/987 + l. Is j >= -12?
True
Let g = -145 - -59. Let u = -14 - g. Let i be (-68)/u*2*-3. Is i less than or equal to 7?
True
Suppose 0*b + 38 = 19*b. Which is greater: b or 21/23?
b
Let s(r) = 65*r - 466. Let d be s(6). Which is smaller: -79 or d?
-79
Let d = -10.15 - -0.15. Let m = -10.17 - d. Let i = -0.03 + m. Which is smaller: i or -4?
-4
Suppose 6*f - 20 = f, 49 = p + 3*f. Let v be p/(-2)*(-10)/(-15). Let k = v - -12. Is -7/6 < k?
True
Suppose 3*k + 48 = -4*b, -2*b + 5*b = -4*k - 43. Let h be (-1)/3 + (-120)/b. Is 8 greater than h?
False
Let w = -0.0266 + -4.9734. Do -72 and w have different values?
True
Suppose -j = -51 - 109. Let p be (-36)/j - (-15)/25. Which is smaller: p or -2/9?
-2/9
Suppose 7*o - 9*o = 168. Let a = o + 422/5. Which is smaller: a or 0.21?
0.21
Let a = -1.38 - -0.66. Which is smaller: a or 0.1?
a
Suppose n - s - 28 = -0*s, -2*n + 3*s = -59. Suppose 35 + 17 = 2*m. Which is bigger: n or m?
m
Suppose 97*j = 35*j + 248. Let w = -7 - -10. Is j at least as big as w?
True
Let c(j) be the second derivative of -j**5/20 - 11*j**4/12 - 4*j**3/3 - 13*j**2 + j. Let o be c(-10). Which is smaller: o or -47?
-47
Let r = -38.1 + 38. Let o = -17 - -12. Let n be 1/o*(-10)/3. Which is smaller: r or n?
r
Let t(y) = -36*y**3 + y. Let g be t(-1). Suppose 4*m - 24 = -3*k, 3*k + 2*k = -5*m + g. Let s be k/1 + 4/(-2). Is s at most as big as 0?
False
Let q = -0.04 + 37.04. Let r = q + -37.5. Let x = 0 + -1. Is x at least r?
False
Let g = -362.02 + 359. Let z = 38 - 38.02. Let h = g - z. Which is smaller: -0.4 or h?
h
Suppose -2*w = -3*v - 1, -2*v - 19 = -5*v - 2*w. Let p be v - (-8)/((-8)/4). Are p and 2/7 non-equal?
True
Let h = 287/2 + -144. Is -12 smaller than h?
True
Let j be (-20)/(-4)*-1