 10. Let r be j(5). Let a be (-18)/27*(6 - r). Are -2 and a nonequal?
True
Let d = 0.0188 + -0.0088. Is d less than 11?
True
Let a = 0.526 + 0.474. Which is bigger: a or -4/71?
a
Let o(z) = z**3 - 9*z**2 + 9*z - 8. Let f(w) = w**3 - 6*w**2 + 5*w + 8. Let c be f(5). Let m be o(c). Let k be -3 + 2 + 3/(-6). Which is smaller: k or m?
k
Let u = 0.1 + 0.1. Let p = 68 - 53. Which is smaller: p or u?
u
Let c(v) = -v**2 + 5*v + 6. Let o be c(6). Suppose o = -6*g + g - 35. Let h be (g - -7) + 8/10. Which is smaller: 0 or h?
0
Suppose 152 = -14*j + 502. Which is greater: j or -5?
j
Let h(g) = -g**2 + 18*g - 75. Let q be h(7). Which is smaller: 0 or q?
0
Let s(f) = -6 + 6 + f. Let r be s(2). Let y be r/12 + 19/(-42). Is y greater than -1?
True
Let q be ((-1670)/272)/(1 + 51/(-50)). Let d = 307 - q. Which is smaller: 1 or d?
d
Let c = -224 - -225. Which is smaller: c or 3?
c
Suppose 8*s + 9 = 9*s. Is s less than or equal to 10?
True
Let c be (-1)/6*(-18)/(-726). Is c at least 1?
False
Let u = -29/104 - -2/13. Let p(z) = z + 2. Let t be p(8). Let q = -10 + t. Which is greater: u or q?
q
Suppose 0 = -2*r - 4, m + 2*r + 3*r = -11. Which is smaller: m or -3/62?
m
Let x = 0.214 - -103.786. Let o = -104.044 + x. Which is greater: o or -1?
o
Let z = -158/7 - -173/21. Let x be 2*4 + (-133 - -110). Are x and z equal?
False
Let x(h) = h**2 + 1. Let f(m) = -6*m**2 - 2*m - 3. Let c(u) = f(u) + 5*x(u). Let n be c(0). Which is smaller: n or 20/9?
n
Let w(t) = -136*t. Let u be -3*3*2/(-18). Let p be w(u). Let i be 16/p - 284/(-102). Is i != 3?
True
Let x = 671 + -30196/45. Let m = x + -13/90. Which is smaller: m or 6?
m
Let o(l) = -5*l - 1. Let r(c) = -4*c - 1. Let h(m) = -3*o(m) + 4*r(m). Let y be h(-3). Let f be (-98)/(-315) + y/(-10). Which is bigger: f or 0.2?
0.2
Suppose -2*u + 1 + 3 = 0. Suppose -u*p = 5*t - 10 - 15, -4*p = t - 5. Which is smaller: 27/5 or t?
t
Let q = 85 + -67. Let w be (27/36)/(q*2/32). Which is greater: w or 0.09?
w
Let f be (8/80)/(1/78). Let o = f - 697/90. Which is smaller: o or -2/7?
-2/7
Let i be (-109 + 114)*2/10. Which is greater: i or -5/148?
i
Let c be (-5)/(47 - 2) - 30/(-27). Is 2/515 greater than c?
False
Let b = -30 - -17. Let l be 6/105*b*5. Are l and -4 non-equal?
True
Suppose 2*q = -2*f + f + 18, -3*q - 38 = -5*f. Let n be (4/(-10))/(5/(-200)*4). Which is smaller: f or n?
n
Let i be 1 - 3/((-27)/114) - 1. Let a = -13 + i. Is a > 2/5?
False
Suppose -y + 6 = y. Suppose -y*t - 4 - 2 = 0. Let x(o) = o**3 - 6*o**2 + 10*o - 29. Let f be x(5). Is t greater than f?
True
Let j be ((15/9)/5)/(-20). Let l be (1/2)/(((-21)/(-14))/(-3)). Is l greater than j?
False
Let o be (-4)/(-26) + (-8)/52. Let w = o - -8. Let j be 2/w + 74/(-8). Which is bigger: j or 0.1?
0.1
Suppose 12*g = 13*g + 4. Let t = -10 + 5. Let u be -4 + (4 - (-2 - t)). Is g less than or equal to u?
True
Let z(w) = w**2 - 2*w - 4. Let k be z(3). Let h(y) = 6*y + 2. Let j be h(1). Suppose -4*r + 2*g - j = -0*g, 0 = -3*g - 6. Which is bigger: k or r?
k
Suppose -2 + 6 = b. Let d be 10/4 + 2/b. Suppose d*k - 4 = 8. Are 6 and k nonequal?
True
Suppose 3 + 0 = c. Suppose 5*d - 3*m - 16 = 0, -3*d - 2 = 2*m - 4. Let i be (6 - 19/3)*(-6)/d. Is i >= c?
False
Suppose z - 5*o = 15, 3*o = z + 1 - 12. Let v = 0 - 17. Let s = -12 - v. Are s and z unequal?
False
Suppose 5 = 3*a - 1. Suppose 0 = c + a*v + 5 + 6, v + 7 = -2*c. Which is greater: c or -6/31?
-6/31
Let r = -36532 - -329315/9. Suppose -2*v - 295 = 3*v. Let b = v + r. Is 1 < b?
False
Let f = 17 + -15. Suppose -f*m - 20 = -y, m - y = y - 7. Do m and -12 have the same value?
False
Let c be (-6)/1 - (-5 - -8 - 12). Which is smaller: 58/21 or c?
58/21
Let l(t) be the third derivative of -t**4/12 + 5*t**3/6 + 3*t**2 + 3. Let n be l(2). Let k be (-23)/76 + 2/8. Is n at least as big as k?
True
Let z = 655/4 + -163. Suppose 2*h = 5*a - 9, 5*h + 5 = -3*a + h. Is z less than a?
True
Let r = -16/37 - -198/629. Let s = -1407 + 1404. Are r and s equal?
False
Suppose 32 = -3*t + 11. Let q(b) = b**3 + 3*b**2 - 6*b + 3. Let i be q(t). Let d = i - -2267/15. Which is bigger: 0 or d?
d
Let t = 8 - 7. Let l be ((-30)/24)/(t/(-4)). Which is smaller: 4 or l?
4
Let u = -0.45 + 0.05. Let v be ((-1482)/495)/((-44)/6). Let m = v - 1/121. Which is smaller: u or m?
u
Let a = -16 + 26. Suppose 5*m - 3*h = -6, 17*h - a = -2*m + 12*h. Are m and -1 unequal?
True
Let t be (14/(-28))/((-9)/(-4)). Let i be -2*(-3)/(-12)*4. Let a be (1*2/i)/(-1). Which is greater: t or a?
a
Let l be (8/(-12))/(16/24). Which is smaller: l or -205?
-205
Let w = -730 + 743. Is 9 >= w?
False
Let s be (-376)/12 + (-6)/9. Let i = -2688 + 7967/3. Let r = s - i. Is r < 0.7?
True
Let y = -33 - -36. Suppose -3*m - 3 = 4*t, -5*t + 4 = -m - y*m. Which is smaller: 2/49 or m?
m
Suppose 10*c = -6*c + 16. Let s be (-1)/(-6)*-3*c. Does 3/11 = s?
False
Let k = -732.1 - -732. Which is smaller: k or -0.13?
-0.13
Suppose -2*q - 2 = 10. Let t = -7.2 - -2.2. Which is smaller: q or t?
q
Let i = 45 - 73. Which is bigger: i or -26?
-26
Let n = -19.7 + 24. Let m = n - 4.8. Which is bigger: 1 or m?
1
Let t be ((1 - -4) + -5)/2. Let c = -0.14 - -0.09. Is c at most t?
True
Let j = -10678 - -181436/17. Is j less than -4?
True
Let n be (3/6)/(6/(-18)). Is n at least 4.3?
False
Let l = 1.827 - -0.173. Which is smaller: l or -4/57?
-4/57
Let p = 16639379/995 - 16723. Which is greater: p or 0?
0
Let k(i) = -7*i**2 - 30*i - 26. Let b be k(-4). Let a be (0 + -1)/2*34. Is a at most b?
False
Let v = -44 - -45. Is v smaller than 19?
True
Let m = 5318 + -10369/2. Let c = -139 + m. Let p be 17/(-2) + 6/4. Which is greater: c or p?
c
Let w = 1379 + -209609/152. Which is smaller: w or 0?
w
Suppose 15 = 5*x - 25. Suppose 80 - 451 = -53*h. Which is smaller: h or x?
h
Let y = 0.13 - 0.03. Let v = -5.9 - y. Let d = -14 - v. Do -1 and d have the same value?
False
Let i = -29 - -35. Is 0 smaller than i?
True
Let p = -183 - -182. Let l = 142 - 431/3. Which is greater: l or p?
p
Let f = -595/52 - -47/4. Is 0 less than f?
True
Suppose 4 = -x + 1. Let l be ((-9)/(-174))/x*-5854. Let j = l + -101. Which is smaller: j or -1?
-1
Let j = -65 + 60. Let g be 3 + 1 + -2 + j + 14. Does g = 11?
True
Let i be (-15)/(-40) + (-108)/32. Which is smaller: -5 or i?
-5
Let g = 8.45 + -4.45. Let a = 0.026 - 0.426. Which is bigger: g or a?
g
Let p = 131.89 + 0.11. Let i = 119 - p. Which is bigger: 3 or i?
3
Let b(q) = -q**2 + 4*q. Let s be b(6). Let u(t) = t**2 + 12*t - 3. Let n be u(s). Let z(w) = w + 2. Let o be z(-6). Is o less than n?
True
Suppose -2*d + 5 + 5 = 0. Let y be d/(-20) + 417/4. Let m be (-4)/y - 1/(-2). Which is greater: 1 or m?
1
Suppose -18 = 12*s - 390. Is 31 < s?
False
Let j(a) = -4 - 4 - 2 + 4*a**3 + 7*a - 2. Let w(k) = k**3 - k**2 - 1. Let h(u) = -j(u) + 5*w(u). Let p be h(6). Which is greater: -2/27 or p?
p
Let z = -7.5 - -5.5. Let b = -25 - -17. Let p = b - z. Do 2 and p have the same value?
False
Let k be 50 + ((-4)/12)/(2/6). Suppose 5*w + k = -2*p + 4*p, 3*p - 3*w - 51 = 0. Which is bigger: p or 15?
15
Let m be 4/10*(-29 + 44). Let j be (15/(45/14))/((-10)/m). Does 1/2 = j?
False
Let d(m) be the third derivative of -m**6/120 - 11*m**5/60 + m**4/24 + 2*m**3 + 13*m**2. Let a be d(-11). Which is bigger: -1 or a?
a
Let d = 2/7315 - -148/21945. Is 0 > d?
False
Let i be (-2)/(-3) - (-224)/6. Let g = i - 54. Let y = -43 - g. Is -27 greater than or equal to y?
True
Let y = 0.3 + -6.3. Let g = -3 + 3.2. Is y <= g?
True
Let h(b) = -b + 8. Let m be h(0). Suppose -34 + 63 = 13*d - 49. Is d > m?
False
Let h = 69 - -4. Let p = h + -72. Is -10 not equal to p?
True
Let h be -2 - -3*(-9608)/36. Let c = h - -796. Which is bigger: c or 0.3?
0.3
Let r = 0.447 - 0.347. Which is bigger: -0.016 or r?
r
Suppose -3*c - v = -8*c + 13, 4*v = c - 14. Suppose 0*q - 3*q + 3 = 3*z, -6 = -c*z - 4*q. Which is smaller: -2/161 or z?
z
Let g = -72 + 93. Let u = g + -26. Is u greater than or equal to 1?
False
Let v = -9 - -2. Let l be ((8 + -4)*-3)/v. Which is bigger: 3 or l?
3
Let x = 5891/130 + -226/5. Let y = 137 + -136. Is x != y?
True
Let i be 26*(-1)/(-4)*-2. Is i not equal to -2/5?
True
Suppose -4*d + 4 = -3*d. Let a be 7 - (4 + d/(-4)). Which is greater: 6 or a?
6
Suppose -31 + 38 = -7*x. Which is smaller: -16/35 or x?
x
Suppose 0 = 3*q - 6, 3*g - 898 