). Is 85 > g?
True
Let d(z) = z**2 + 19*z - 21. Let c be d(-20). Are -9/35 and c unequal?
True
Suppose 0 = 3*u - 63 + 72, 5*u = 5*f - 125. Do 108/5 and f have the same value?
False
Suppose 3*x - 6*r - 13 = -2*r, 5*x = r - 1. Which is bigger: x or 9/95?
9/95
Let j = 75.105 - 0.105. Let w = j + -77. Do -7 and w have the same value?
False
Let o = 343 + -345. Are o and 0.185 equal?
False
Let m = -691 - -1258. Let l = m + -592.1. Let x = -25 - l. Which is bigger: x or -4?
x
Let y = -11 + 12. Let w = 3338/5141 + -52/97. Which is smaller: y or w?
w
Let v = -51 + 28. Let r = 28.3 + v. Let s = 5 - r. Are s and 4 nonequal?
True
Suppose -4*f = -2*m + 24, 0 = -12*f + 7*f - 4*m - 17. Are f and -1.4 equal?
False
Let q = 17 + -11. Let p(i) = -i**2 + 13*i - 25. Let v(t) = 9*t - 26. Let o be v(4). Let a be p(o). Which is smaller: a or q?
a
Let x = -19 + 26. Suppose -3*i = -x*i + 48. Let r be i*((-8)/(-3) - 3). Are r and -6 non-equal?
True
Let v = 416 + -540. Which is greater: v or 3?
3
Suppose w - 31 = 5*d - 601, -114 = -d + 3*w. Is d < 115?
True
Suppose -11*u + 13*u - 102 = 0. Suppose 5*m + u = -3*d, m + 45 = -3*m - d. Let s(c) = -c - 14. Let z be s(m). Which is smaller: -10 or z?
-10
Let k = -2011 + 2004. Which is bigger: k or -90/13?
-90/13
Let f = -79 - -85. Let j be 152/f - (7 + -2). Which is bigger: 21 or j?
21
Let m be (4 - 13/(13/178)) + -3. Are -179 and m equal?
False
Let q be 351 + 17 - -2*1. Let v = q + -2225/6. Which is smaller: v or -1?
-1
Let b(q) = -q**3 - 22*q**2 - 47*q - 38. Let s be b(-20). Which is smaller: -2/11 or s?
-2/11
Let o = -558 + 550. Is 0 at least as big as o?
True
Let q(n) = n**3 - 6*n**2 + 7*n. Let b be q(3). Let k be (b/(-2) + 324/(-117))*10. Which is bigger: k or 2?
k
Let s(a) = -a - 10. Let w = -5 - -16. Let x = -18 + w. Let j be s(x). Is -2 less than j?
False
Let k be 36/(-8)*(-304)/36. Is k at least as big as 42?
False
Let d = 44 + -52. Let u(h) = h**3 - 10*h**2 - 10*h + 1. Let c be u(11). Suppose -3*w = -3*t + c, -5*w - 3*t - 29 - 15 = 0. Are d and w equal?
False
Let d be ((-15)/2)/((-12)/32). Let f = -17 + d. Suppose -3*q = -0*q + p + 23, -q - f*p = -3. Which is smaller: -8 or q?
q
Suppose 295 + 161 = n. Let f = n - 211. Let s = -1720/7 + f. Is s smaller than 0?
True
Let b be (2 - (-1)/2)*10. Suppose -f - 5*p + 0*p + b = 0, 5 = -5*f + p. Which is greater: f or 6?
6
Suppose 0 = 4*j + 24 - 28. Let w(s) = s**2 + 3*s - 3. Let z be w(j). Is 4/43 at least z?
False
Suppose -7*r + 452 = -731. Do r and 168 have different values?
True
Let n = -1163186/643 - -1809. Is n at least -1?
True
Let w(v) = -4 - 3*v**2 + 7 + v**3 - 2 - 3*v. Let l be w(4). Let o = l - -1. Is 6 < o?
False
Let k be ((-20)/(-12))/((-60)/(-288)). Which is greater: k or 12?
12
Let m(i) = -i**2 - 7*i - 6. Let u be m(-3). Let b be u + -8 + (-833)/(-345). Let d = b - 1/69. Is d equal to 4?
False
Let p = 14 - 5. Let a = -11 + p. Is -3/5 greater than a?
True
Let p be (8 - 3) + -16*5 + 2. Which is bigger: p or -1?
-1
Let h be (-16)/32 - (3 + 0 + -4). Suppose 0 = -2*u + 4*u. Which is smaller: h or u?
u
Suppose -5*r - 205 = -5*p, -3*p + 117 = -0*r - 5*r. Suppose -2*n + 104 = -2*o, 2*o = -o - 3*n - 174. Let w be (o/p)/(2/(-16)). Is w != 10?
False
Let k = -0.07 + -1.13. Let u = 4.46 + -2.26. Let m = u + k. Which is bigger: m or -1?
m
Let a be (-1282)/2 + (-78)/((-26)/2). Does a = -637?
False
Suppose -108 = -4*j + 3*d, 0 = j + j - d - 54. Suppose -14*a = -11*a - j. Which is smaller: a or 3?
3
Let p = 70/607 + 166622/7891. Is p >= 21?
True
Let o = 17838/49115 + 2/4465. Which is greater: 0 or o?
o
Let z = -750 - -584. Is z equal to 2/7?
False
Let r(q) = 2*q - 6. Let k be r(5). Suppose -3*d + d = -k*o + 44, -2*o - d = -18. Suppose 2 = y + o. Are y and -8 nonequal?
False
Let d be -2 - (-6 + 6/3). Let u be (d/(-3))/(2/(-9)). Suppose 0 = u*z + 4*g + g - 18, -3*g + 12 = 3*z. Which is greater: -2/9 or z?
z
Let j = 65 - 64. Which is bigger: -2/449 or j?
j
Suppose -5 = -v - 5*k + 13, 4*v + 3*k - 21 = 0. Suppose -u - 2 = -v. Let a be 0/(-2) - ((-204)/(-33) + -6). Is a greater than u?
False
Suppose 0 = 3*m - 6 - 3. Let z be (-1 + 0 + -3)*-1. Suppose -o + z = 3*o. Is o != m?
True
Let v = -164 - -143. Let q = v + 17. Is q bigger than -6?
True
Suppose -z + 14 - 2 = n, -3*n = -3*z + 12. Let h be (-4)/(-4 + z + -6). Let b be (h/(-10))/((-1)/5). Is -2/7 < b?
True
Let c = -18/11 + 258/77. Which is greater: 3 or c?
3
Let i = -1377 + 1370. Is i less than or equal to -107/13?
False
Let i = -157 - -157. Which is smaller: -3/239 or i?
-3/239
Let v = -110 - -107. Which is bigger: -7/2 or v?
v
Suppose -344*d = -349*d + 195. Which is bigger: d or 40?
40
Let c = 1199/7 + -51879/301. Which is bigger: -1 or c?
-1
Suppose -792 = -75*t + 42*t. Which is greater: 27 or t?
27
Suppose 0*y + 4*y - 32 = 0. Let u = -273 - -559/2. Which is smaller: y or u?
u
Let m = 7.1 + -7. Let g = -8.1 + m. Let v = -9 - g. Which is smaller: 2/5 or v?
v
Let c = 25.882 + 0.118. Is c not equal to -2?
True
Let q = -0.04954 - -4.04954. Let m be (1/(-59))/((-1)/(-2)). Let f = -124/177 - m. Is q at least as big as f?
True
Let m be (-6 - 679/(-105))*-5. Suppose 3 = o + 6. Which is smaller: o or m?
o
Suppose -5*h + 12 = 4*r, -2*r = 6*h - 2*h - 12. Suppose -y = -0*y - 5*i - 23, -20 = h*i. Is 0 bigger than y?
True
Suppose -3*f + 1200 = -9*f. Is f bigger than -200?
False
Suppose d + 9 = -2*q - q, -4*d = 0. Let o be 6 + -5 + 5 + q. Let c be 2 + o*(-1 + 0). Which is bigger: 2 or c?
2
Suppose 0 = -4*a + 4, 61*m - 63*m + a = -11. Which is smaller: -3/5 or m?
-3/5
Suppose -34*l - 5*s - 16 = -38*l, -2*l + 14 = -4*s. Is 4/157 at most l?
False
Let v be (2/(-12))/(((-16)/(-12))/4). Which is bigger: v or -0.43?
-0.43
Suppose -3*t - 14 = -5*t - 3*b, t = -4*b + 12. Let u be 24 - (6 - (t + -2)). Let z be 2/u + 4/(-8). Is 0 < z?
False
Suppose 4*j = j. Suppose -l + 7 = -0*l + s, j = 3*l - 3*s + 3. Let x(w) = -w**3 + 7*w**2 - 6*w + 5. Let n be x(6). Is l bigger than n?
False
Suppose -5*m - 2*c = -39, -6*m - 4*c = -3*m - 15. Are 4 and m equal?
False
Let y = -125.067 + 0.067. Let o = y + 133. Which is smaller: -2/7 or o?
-2/7
Let o be 1696/24*3/18. Which is bigger: o or 12?
12
Let z(h) = -4 + 3*h - 2*h**3 + h**2 - 4*h**3 + 6 + h**3. Let q be z(-1). Is q equal to 6?
False
Let l = 26/51 - 3/17. Is 1/10 less than or equal to l?
True
Let v be 6/2 - 17/(34/24). Is v > -3?
False
Suppose -4*w = 68 + 28. Let i be (2/(-3) + 8/w)/(-16). Which is bigger: 0 or i?
i
Let w = -1091 - -948. Which is smaller: -142 or w?
w
Suppose 5*o + 8 = -2. Let l = 0 - o. Suppose -2*r + 14 = 3*v + 1, -5*v + 11 = -l*r. Is 2 at least as big as r?
True
Let y = 287 + -177. Let n = 109.8 - y. Is -27 less than n?
True
Suppose 4*f - 14 = -p, 3*p + 3*f = -p + 30. Suppose i - p = -7. Is i less than or equal to -3/14?
True
Let v = 185 + -186. Is v greater than 1/124?
False
Suppose -3*b + 93 = -3*n - 8*b, -67 = 2*n + 5*b. Let v(a) = -a - 106. Let r be v(n). Which is greater: r or -81?
r
Let o = -1 + 1. Let l be (-255)/(-2145) - (4 + (4 - (-424)/(-52))). Which is greater: l or o?
l
Let o be (-2)/(-5)*748/(-85). Is o equal to -4?
False
Let s = 60 - 40. Let y(v) = -2*v + 28. Let w be y(s). Which is smaller: 2 or w?
w
Let z be 4*((-3)/(-2) + -1). Let u be (0 + z)*1*1. Let c = 329 - 326. Which is smaller: u or c?
u
Let z(m) = -9*m + 20. Let y(q) = 3*q - 7. Let u(l) = -17*y(l) - 6*z(l). Let g be u(2). Is 4 less than g?
True
Let s be 12/(-8)*(-3)/(-9)*94. Which is greater: s or -42?
-42
Let h = -5 - -9. Suppose 15 = -h*y + 2*y + 3*q, 0 = 5*q - 25. Suppose 0 = -5*a - 5*g, -3*a = -y*a - 4*g + 14. Which is smaller: -4 or a?
-4
Suppose -j + 5*j = -8. Let k = -12 - j. Let d be (-25)/2 + (-2 - 6 - -11). Which is greater: k or d?
d
Let t = -17.8 + -5.2. Let r = t + 24. Which is smaller: -0.15 or r?
-0.15
Let h = -1376/7 - -198. Which is greater: -0.3 or h?
h
Let g = -0.0518 - 16.1082. Let t = 14 + g. Let r = t + 0.16. Which is smaller: r or -3?
-3
Let u = -24 + 0. Let p = 33 + u. Suppose -2*s = -3*b + 2*b - 25, -3*s + b = -35. Which is smaller: p or s?
p
Let h be 1/(-2) - (-1)/(-2). Let q be 20/(1 + 9) - 95/35. Which is bigger: q or h?
q
Let c(j) be the second derivative of j**4/12 + 11*j**3/6 + 9*j**2/2 - 9*j. Let y be c(-8). Which is smaller: y or -16?
-16
Suppose 41 - 9 = -4*w. Let l = w - -6. Let x be (