ich is greater: a or d?
d
Let i = 116 + -18. Let m = i - 15. Let o = m + -92. Are -0.1 and o unequal?
True
Let k(s) = 2*s - 6*s**2 + 8*s + s**3 - 13*s - 9*s - 2. Let m be k(7). Do -2 and m have the same value?
False
Let p be (5742/203)/(-33) - 17205/(-7). Which is smaller: p or 2452?
2452
Let k(t) = -8*t**2 + 25*t + 16. Let l be k(5). Let r(b) = -2*b**3 - 11*b**2 + 2*b - 14. Let c be r(-8). Suppose 3*w = 8*w + c. Which is smaller: l or w?
l
Let a = -3.952 + -62.048. Which is bigger: -4/35 or a?
-4/35
Let v = -2780/23 + 43069/253. Is 48 equal to v?
False
Let k = -8 + 79/10. Let n = -5/58 - k. Is -0.1 greater than or equal to n?
False
Let t(z) = 14*z**3 - z**2. Let y be t(2). Let m(b) = -2*b + 223. Let i be m(58). Is y less than or equal to i?
False
Let d = -4639 - -4638. Which is smaller: 10/719 or d?
d
Let s be (-696)/(-350) - (-2)/(-1). Let p(j) = j**2 - 21*j - 947. Let u be p(-22). Which is smaller: u or s?
u
Let d = -47110/3 + 15866. Let k = d + -164. Let r = 1 - 1.2. Are k and r nonequal?
True
Suppose 5*l - 4*w - 10 = 0, -8*w + 3*w = 0. Which is smaller: l or 76/31?
l
Suppose 2*s + 5 = 3*s, 0 = 2*x - 3*s + 41. Suppose 5*n + 2*y = -46, -3*n + 3*y = y + 18. Which is bigger: x or n?
n
Let o be (-170)/34 + (-93473)/(-18126). Let t = 1/954 + o. Are 0.06 and t non-equal?
True
Let a = -678 - -1736. Suppose a - 158 = -4*v. Let u be v/30*(-4)/(-6). Is -5 less than or equal to u?
True
Suppose -5 + 17 = 3*y. Suppose -3*q = -y*z - 252, 0 = 4*z - 5*q + 274 - 30. Let i be -5 - (5 + 5) - 50. Is i bigger than z?
True
Let y be (6/5)/(14 + -7 + -4). Are y and -659 equal?
False
Suppose s - 7*h + 17 = 0, 0 = -s + 2*h - 10 + 8. Suppose -p = 5*g + 22, 0 = -p + 2*g + 11 + 2. Suppose -n = -p*y, -n = -4*y - 0 - 1. Are y and s unequal?
True
Let j = -1.4 - 21.6. Let p be (6/48)/(7/224*-12). Which is bigger: j or p?
p
Let o = -40 - -60. Let g be (((-15)/o)/(-1))/(-1 - 1). Let t(x) = -x**2 + x + 2. Let c be t(2). Which is greater: g or c?
c
Let c = 42 - 38. Suppose -4*q + 4*s - 168 = 0, c*q - 18*s + 15*s = -173. Is q less than 1?
True
Suppose 4*r + 9920 = 4*p, -7*p + 2*p + 12400 = 3*r. Suppose p + 12472 = -56*c. Is -269 at most as big as c?
True
Let j(n) = -49*n**2 + 181*n + 552. Let x be j(-3). Is -431 at most as big as x?
False
Let u = 214 + -199.7. Let f = u - 14.442. Let j = 0.002 + f. Which is smaller: 0.2 or j?
j
Let g = -340723/11 - -30975. Which is smaller: g or -1102?
-1102
Let v = 18 + -18. Suppose q + 3*p - 39 = v, -119 = -4*q - 4*p + 5. Let j = -155 - -181. Does j = q?
False
Let a = -15 + 7. Let p be (1/9)/(5/2715). Let j = 61 - p. Which is smaller: a or j?
a
Let i be 12*(-4 - 164/(-56)). Let x = 292 + -305. Which is smaller: i or x?
x
Let m be (0 - 3)/(6/(-4)). Suppose 38 = -z + 2*z + m*r, 3*r = 3*z - 159. Is z smaller than 49?
True
Suppose 189 = -t + 196. Suppose t*z - 13*z + 18 = 0. Is z at most as big as 29/9?
True
Suppose 0 = -3*r - 2*m + 7, 3*r + 6*m = m - 5. Suppose 65 = r*n + 5. Let x be n*(4/(-3))/4 + -2. Is -24/5 > x?
True
Let p(k) = -3247*k - 10403. Let x be p(-7). Which is greater: x or 12325?
x
Let z = -9578.15 - -9581. Is z at least as big as -0.02?
True
Let r = -7943 - -39814/5. Let s = 58 - 39. Which is smaller: r or s?
s
Suppose 24 = 4*b - 320. Let r = -86 + b. Let g be (-2)/(-50)*9/(-3). Which is smaller: r or g?
g
Let i = 261 - -71.8. Let p = -275 + i. Let y = 58 - p. Do y and -1/3 have the same value?
False
Let w be 2/(-2)*-3 + -19 + 45 + -28. Does w = 2/19871?
False
Let a = 11025 - 11025.1. Which is bigger: -3752 or a?
a
Let q = -21800/933 - -7119932/306335. Let j = q + -2/197. Which is greater: j or 3?
3
Let p be 53/159 - 82/(-6). Let s be ((-2)/4)/(p/672). Which is greater: -21 or s?
-21
Let v(r) = r + 35. Let l = -153 + 117. Let y be v(l). Let w = -3 + 5. Is w less than or equal to y?
False
Let j = -1980/6587 - -14/941. Is -4790 at least as big as j?
False
Let w be (69/15 + -4)/((-2)/(-1330)). Let y = 401 - w. Is y < 19/8?
True
Let r = 34 + 179. Suppose -19*u - 2 = -2. Which is greater: r or u?
r
Let r be -2*((-6)/(-16))/(-3). Let h(m) = m**2 - m - 22. Let j be h(-5). Suppose 0 = j*w + 6*w + 14. Which is smaller: r or w?
w
Suppose -282*b - 395 = -113. Which is greater: b or -4/13929?
-4/13929
Let k = 32/29 + -6054/5539. Let u(f) = f**3 + 30*f**2 + 187*f + 598. Let l be u(-23). Which is smaller: l or k?
l
Let g(d) = -2*d**2 + 15*d - 1. Let u be g(6). Let v = u + -8. Suppose 0*p + 3*p = -v. Which is smaller: 2 or p?
p
Suppose 3*n + 2*c - 6 + 55 = 0, 4*n + c + 57 = 0. Suppose 0 = 5*p + 2*q + 57, -443*q + 447*q - 51 = 5*p. Is n smaller than p?
True
Let y be (-14 - 56/(-16))/(1/(-98)). Are y and -1 nonequal?
True
Let h = 0.996 + 12.004. Are 106.2 and h equal?
False
Let o = -3676 + 4259. Which is greater: o or 580?
o
Let t = -1/3374 - 22099689/37114. Which is smaller: t or -594?
t
Let v = -0.0262 + 2.4962. Let g = 39584 - 39583.9. Is v equal to g?
False
Let a = -148 - -114.4. Let u = a - 11.4. Let d = -40 - u. Which is smaller: d or 0.2?
0.2
Let t = 3663 - -4190. Which is greater: 2/5 or t?
t
Let d = 967 - 625. Let q = d + -318. Which is smaller: -0.05 or q?
-0.05
Suppose -3*t + 3*k = -2*t + 1, 4*k - 2 = 2*t. Let b be (t - 1 - 16) + (1 - 5). Let u = -19 - b. Is 7 at least u?
True
Let k be 13*((-72)/(-39))/(-4). Which is greater: k or -25/4?
k
Let s(r) = -r**2 + 500*r + 4581. Let q be s(-9). Is -47/116 greater than or equal to q?
False
Suppose 0 = -29*u + 30*u + j - 542, 4*u - j = 2153. Which is bigger: u or 4?
u
Suppose 0 = 2*j + 4*o - 17940, j + o = 5414 + 3555. Let s be (-4)/(-38) - (-24839)/j. Which is smaller: s or 3?
s
Let q = 39979/2 - 19983. Let d(r) = r + 6. Let s be (-2)/8 + 4/16. Let m be d(s). Is q at most m?
False
Suppose -6*z + 5 = -z. Let r = -1 + z. Let v = -649 - -649.4. Which is greater: r or v?
v
Suppose 1680 = 132*s - 144*s. Let c(q) = q**3 - 3*q**2 - 4*q + 1. Let d be c(4). Let y be -7*d*(-40)/s. Which is greater: y or -12?
y
Let l = 20/6751 - -16546301/135020. Let q be (34/(-4))/((-6)/(-93)). Let g = q + l. Is g bigger than -10?
True
Let z be -1 + (-1 - 32/(-14)). Let u = 2.8296 + -2.9796. Is u at least as big as z?
False
Let b = 232 + -282. Let j = b - -50. Is 111 equal to j?
False
Let y = -13971.4 + 13971. Which is smaller: y or 0.1462?
y
Suppose 2211 = 6*o + 17509 - 376. Which is bigger: o or -2486?
-2486
Let m be 362/(3*-1 - (1 - 2)). Let b = 231 + m. Are 53 and b non-equal?
True
Let z(w) = -2*w**2 - 3*w - 2*w**3 + 3*w**3 + 5 + 6*w. Let x be z(2). Do 13 and x have different values?
True
Let d(l) = -l**2 - 65*l - 118. Let r be d(-27). Suppose -4*o + r = -48. Do 238 and o have the same value?
False
Suppose -2*x + 3*n + 81 = 0, -4*n - 43 = -18*x + 17*x. Let z be 1/(-3 - -2) + 4. Suppose -30 + x = -z*p. Which is greater: p or -18/11?
-18/11
Let y be 3 - 7/3*(-2 - (-6940)/2112). Which is greater: y or 0?
0
Let f = -1/5260 + -757433/36820. Which is smaller: f or 4?
f
Let k be (-147)/94101*16/56. Which is smaller: k or 0?
k
Suppose -159*d - 1075174 = 211931. Is d less than or equal to -8094?
True
Let w(o) = -o**3 + 6*o**2 + 13*o - 46. Let v be (14/12)/((-44)/24 + 2). Let h be w(v). Let x(r) = 2*r + 4. Let g be x(-4). Is h at least g?
True
Suppose -3*q + 4*l + 12 = 0, q - 7 = 4*l + 5. Let c = -57/130 - -1/26. Is q at least c?
True
Let z = 22.67 + -6354.67. Which is smaller: z or -2/5?
z
Let g = 237826770/2993 + -79461. Is -1 greater than g?
False
Let j = -5.34 - -4.3. Let d = -275.2 + 274.56. Let s = j - d. Which is bigger: -0.01 or s?
-0.01
Let i = -270 + 284. Let y be (-749)/i - 17/(-34). Let l = -120 - -66. Which is bigger: l or y?
y
Let u(j) = -139*j - 420. Let g be u(-3). Let b be 7/(-5)*-5*1. Suppose 4*n - 8 = 4*p, 2*p = b*p - n + 14. Are g and p equal?
True
Let d be (2 + (-14272)/7146)*(297/(-45) + 15). Is d less than -1?
False
Let u be 1 + 7/(-11) - 12254999/(-3817). Is u smaller than 3211?
False
Let z = -8 - -17. Suppose 5*i = -3*q + 20, -5*i - 3*q = -8*i + 36. Which is smaller: z or i?
i
Suppose 304 = 4*q + 76. Let w = -61 + q. Let r be ((-123)/(-30) + w)*68. Which is smaller: r or 7?
r
Let p = -135 - -154. Let v(n) = -n**2 - 15*n + 3. Suppose -84 = 8*r - 2*r. Let x be v(r). Are x and p equal?
False
Let v be 2/(-4)*(-16)/(-2). Suppose -22*w + 300 = -7*w. Suppose -4*u + 8 = w. Which is greater: u or v?
u
Let