e ((-8)/(-12))/((-3)/9). Let b be (-2)/(i/(16/2)). Let h be 104/24 + b/(-2). Which is smaller: h or 0?
0
Let d(o) = -o - 1. Let h(m) = -3*m - 14. Let n(i) = -5*d(i) + h(i). Let j be n(8). Let k = j - 12. Is k at least 0?
False
Let b = 5.27 + -5.07. Is b != -0.054?
True
Suppose 0 = c - 431 - 194. Which is smaller: 624 or c?
624
Let s(k) be the third derivative of k**4/8 + 8*k**3 - 30*k**2. Let f be s(-15). Which is bigger: f or 21/10?
f
Suppose k + 2 = 4. Does k = -23?
False
Let u be (4/25)/(2/15). Let w = 7/10 - u. Let o = -4 + 4. Is w greater than o?
False
Let m be 1/(-2 - -1)*7. Let p = -55 - -34. Let n = 13 + p. Which is greater: n or m?
m
Let l = -356/5 - -16767/235. Let v = -233/329 - l. Is 0 at least v?
True
Suppose 0 = 11*y - 29 - 4. Suppose 66 + 78 = -y*m. Do m and -1/3 have different values?
True
Let n(f) = 6*f**2 - 5*f - 11. Let b(z) = -3*z**2 + 2*z + 5. Let m(a) = 13*b(a) + 6*n(a). Let u be m(-3). Let w be u/(-20) - 4/10. Which is greater: w or -1?
w
Suppose -7*h + 1 + 41 = 0. Suppose 5 = -d + h. Is d equal to 2/65?
False
Suppose -n + 5*n + 80 = 0. Let x = 170 - 191. Let c = x - n. Which is bigger: c or 1/2?
1/2
Suppose 83 = 4*b - 5. Suppose 4 = 3*o + 2*g - b, 0 = -2*o + 3*g + 13. Which is smaller: 7 or o?
7
Let y be (-6051)/12*(-8)/30222. Let s = y - 2/657. Is s greater than 0?
True
Let h be -12*(6/(-2676) + 0). Which is smaller: 1 or h?
h
Suppose -4*l + 24 + 12 = 0. Suppose 5*k + n = l, 4*k = -3*n + 2*n + 7. Is 11/7 != k?
True
Suppose 60 + 60 = 2*w. Let n = -66 + w. Is -29/4 greater than n?
False
Let t(n) = -n - 28. Let v be t(7). Is -174/5 less than or equal to v?
False
Let h = 10.24 + -19.98. Let s = -0.26 + h. Let t = -9.9 - s. Which is greater: t or 1/8?
1/8
Let x be 1 + 127 - (0 + (-3 - -6)). Let s = x + -72. Which is smaller: s or 54?
s
Suppose -25*l = -23*l - 4. Which is bigger: l or 7/4?
l
Let m(p) be the second derivative of -11*p**3/6 - 15*p**2/2 + 15*p. Let o be m(-4). Do o and 30 have the same value?
False
Let k = 52 - 42. Let g = k + 3. Is g < 0?
False
Suppose 6*j - 4*j = 2. Let p be (-9)/(-3)*-9*-9. Let m = p - 5590/23. Do m and j have the same value?
False
Suppose -3*x + 5*d = -x + 1779, -3*x - 2*d - 2678 = 0. Do -892 and x have the same value?
True
Let b be ((1200/(-474))/(-10))/(-1*2). Which is bigger: b or 1?
1
Suppose -3*y + 97 = 46. Suppose 2*c - r - 39 = 0, 6*r = 5*c + 3*r - 99. Which is greater: c or y?
c
Let b(u) = -u + 18. Let r be b(13). Let d be (46/6)/(r/(-375)). Let o be 280/d - (-6)/15. Which is bigger: o or 1?
1
Let g = 15 - 24. Let p be 8/12 - (-3)/g. Which is bigger: 2/5 or p?
2/5
Suppose z + 2 - 3 = 0. Let n(q) = 0*q + 3*q - 4*q - z - 2*q**2. Let c be n(-1). Which is greater: c or -8/3?
c
Let z = -4/45 - 17/315. Let k = 9/14 + z. Let o = 437 + -436.7. Which is greater: o or k?
k
Let n = -2.3 + 0.3. Let z = n - 0. Let r = 2.9 + -3. Is z >= r?
False
Suppose y - 2 = 0, 3*d = -y - 0*y + 17. Let r = d - -3. Let o be 3/(6/r) - 3. Is -2/15 at most as big as o?
True
Let m be 6/((-1)/2 - 1). Let h be -3 + 0 - (-1 + 15). Let b = h + 15. Which is greater: m or b?
b
Let h = -0.14 - -0.1. Suppose -4*p = 4*n + 24, 2*n = -p + 1 - 8. Which is smaller: n or h?
n
Suppose -18 - 15 = z - 4*q, 0 = -z - 4*q - 57. Is z != -48?
True
Let o = 157 + -160. Which is smaller: o or -47/11?
-47/11
Let w be (-1 + -48)/1 - 10. Is -51 greater than or equal to w?
True
Let r(j) = -21*j + 248. Let f be r(12). Let z be 16/(-6) - 2 - 0. Which is smaller: f or z?
z
Let v be -915*(-10)/(-9)*24/(-20). Is v smaller than 1220?
False
Suppose 2*m - 66 = -4*m. Suppose m*g = 16*g. Which is bigger: g or 1/37?
1/37
Let t = 5105/58188 - -3/1492. Which is bigger: t or 0?
t
Let l = 1576.65 + -1648. Let z = -0.35 - l. Which is smaller: z or -1?
-1
Let l = -47 - -59.8. Let h = -13.8 + l. Do h and 4 have the same value?
False
Let q be (-11)/(55/(-10)) - 1. Let x = -9498 - -5271419/555. Let a = x + 3/37. Is q greater than or equal to a?
True
Suppose 26*x - 150 = -670. Which is bigger: x or -13?
-13
Let g = 14.9 + -15.9. Is g at least 318?
False
Suppose 3*a + 0 = -2*c - 3, c - 1 = a. Suppose -6*j + j = c. Suppose 2*h - v - 12 = -j*v, -2*h + 3*v + 12 = 0. Which is bigger: 7 or h?
7
Suppose 27 = 3*z - 3*w, -5*z - 5*w + 2 = 7. Are 35/12 and z nonequal?
True
Let i be (17 + -27)*(-198)/12. Is i at most as big as 167?
True
Let t = -1304 + 1305. Is 6/835 != t?
True
Let v be 248/60 + (-1)/3. Let l be 3*(2 + 62/6). Suppose l*d - 33*d - 12 = 0. Which is greater: d or v?
v
Let c be (3*15/(-18))/(4/424). Is -266 bigger than c?
False
Suppose 0 = 11*r - 13*r. Suppose r = -a - 4 - 7. Let j = -2 + a. Which is smaller: j or -14?
-14
Let i be ((-8)/3)/(-4)*9. Let k be 0 + 0 - 58/(-8) - 0. Is k greater than i?
True
Let d(m) = m**2 + m - 10. Let a be d(-9). Let y = 62 - a. Suppose -3*l - 5*q - 6 - 11 = 0, -5*q = l + 19. Is l smaller than y?
False
Let c be ((-18)/5)/(-6) + 6/(-10). Is -6.8 < c?
True
Let k = 2.9 - 3. Let j be -1 + 3 + 912/(-192) + 3. Is k smaller than j?
True
Let u = -505 + 506. Which is greater: u or 1/79?
u
Let b = -75.7 + 79. Let g = 3.5 - b. Is -5 greater than or equal to g?
False
Let d = -1.87 - -79.87. Let o = d + -76. Is o less than or equal to 5?
True
Let g = -2558 + 17807/7. Is g at most -15?
False
Let l be (4/5)/(-2) - 96/(-3360). Does 1 = l?
False
Let j(v) = 7*v**3 + 3*v + 2. Let s be j(-1). Let c be (s/6)/(4/(-9)). Let i = -1 + 4. Is i at most c?
True
Let q = 39.9 - -9.1. Which is bigger: q or -3?
q
Let f be (456/(-171))/(2/(-30)). Is f smaller than 38?
False
Let g(z) = 6*z + 88. Let k be g(-12). Let r(i) be the third derivative of -5*i**4/24 - 5*i**3/6 - i**2. Let h be r(-4). Which is smaller: k or h?
h
Let v = 204 - 203. Which is greater: -5/18 or v?
v
Suppose 0 = 4*b + 2*n + 184, 0 = 8*b - 13*b + 2*n - 239. Is -228/5 > b?
True
Let c = -26 + -7.5. Let a = c - -4.5. Which is bigger: 2 or a?
2
Suppose 6*x + 0 = 30. Let v(c) = c - 2. Let d(u) = 1. Let q(s) = 6*d(s) + 2*v(s). Let h be q(x). Is h > 12?
False
Suppose 0 = 3*q - 6 + 24. Let o be q/21 - 6/(-21). Let l(d) = -d**3 + 7*d**2 + 9*d - 7. Let n be l(8). Is o less than n?
True
Let d be 4/(-1)*(-4)/(-8). Let q(l) = -l**2 + 14*l - 15. Let b be q(11). Suppose 5*f - 3 + b = 0. Is f bigger than d?
False
Let p = -185 - -69. Let l = p - -117. Let a be (-6)/(-44)*8/30. Is l >= a?
True
Suppose -3*j - 1 = f, 1 = -3*f - j + 6. Which is smaller: f or -41?
-41
Let s = -170 - -171. Which is smaller: s or -6/83?
-6/83
Let c = -367561/161 - -2283. Are 2 and c equal?
False
Suppose x = 5*o - 9, 4*o - 48 + 6 = -5*x. Suppose x*v - 3*v - 45 = 0. Suppose 6*s + v = 9*s. Which is smaller: s or 4?
4
Let g = -1537 + 400. Which is smaller: g or 1/3?
g
Let a(o) = -o**2 + 6*o + 21. Let m be a(8). Let r be m*-2 + -1 - -3. Suppose -8 - 4 = 2*j. Which is smaller: j or r?
r
Suppose s + 250 = 4*v, 2*s + 22 + 37 = v. Let d be 3*2*3/v. Suppose 2*x + 3 = -2*x - 3*q, -5*x - 1 = q. Do x and d have the same value?
False
Let j = 2.94 + 0.06. Let x = 273.7 - 271. Let g = x - j. Is g at most 0?
True
Suppose -25*n + 48 = 23. Which is greater: n or 2/3?
n
Let s = 0.024 + -1.024. Suppose -4*l + 20 = 0, 5*q - 20 = 2*q + 5*l. Which is bigger: q or s?
q
Let j = -3986/3 + 1328. Let m = 0.8 - 0.5. Is m >= j?
True
Let t = 11 - 8. Let p be 2 + -2 + 1 + t. Let y(g) = g**2 - 4*g + 3. Let x be y(p). Which is smaller: 2 or x?
2
Suppose 6*y + 16 = 2*y, -3*r = -5*y - 17. Let f be 10/6*(9 - 0). Let o = 15 - f. Is r <= o?
True
Suppose -27 = -4*f + 9. Suppose -f*t + 4*t + 75 = 0. Suppose -3*r - 36 = t. Which is greater: r or -16?
-16
Let r be (-1 - -4) + -102*(-6)/(-220). Let x = -472/55 - r. Which is smaller: -10 or x?
-10
Let k = -241 + 56. Is k smaller than 1?
True
Let c = 27 - 26. Suppose -1 = 4*y - 4*d + 3, 0 = -y + 5*d - 9. Is c not equal to y?
False
Let c(g) = g**2 + 23*g - 35. Let x be c(-25). Which is smaller: x or 18?
x
Let b = -0.241 + 5.241. Which is greater: b or 0.036?
b
Suppose -5 = 19*j + 52. Is -57/29 > j?
True
Suppose 5*y = 6*y + 21. Let j = y - -18. Let i be j - (-9)/(2 + 1). Is -1/7 equal to i?
False
Let q = 1 + 2. Suppose -q*w + 2 = 5. Let n be (4/132)/((-3)/(-6)). Is w less than n?
True
Let k be -1 - (1 + (-156)/76). Let c(j) = -j**3 + 20*j**2 + 21*j + 1. Let f be c(21). Are f and k non-equal?
True
Let s = 8 + -13. Suppose -3 = -0*