 -20138/3 - -13553/2. Suppose -318 = 5*s - 2*y, 108*s + 187 = 105*s + 5*y. Let d = s + w. Which is bigger: d or -8?
d
Let x = 434 - 426. Let q be x/(2 + 6) + 105. Which is smaller: 103 or q?
103
Let i = 2/1011 - -4981/37407. Suppose 12*k = 164 - 152. Is k equal to i?
False
Let w be (-6)/(-27) + 15*(-10)/(-54). Suppose -w*r - b = 340, 5*r + 419 = -5*b - 161. Which is smaller: r or -111?
r
Let d = 233 - 235. Let z be (-1)/d*(170/(-25) + 6). Let o = -0.1 - 0.9. Which is smaller: z or o?
o
Let b(k) = 19*k**2 - 469*k + 445. Let a be b(39). Is 11054 smaller than a?
False
Suppose 2*v = -5*t + 56, 0 = -t + 5*t - 2*v - 52. Suppose z = n - 35, 5*n + 4*z - 187 = 5*z. Let c = n - 25. Which is smaller: t or c?
t
Suppose 184*h + 77*h - 15*h = -246. Which is greater: -1/5605 or h?
-1/5605
Let j = -3 - 0. Let d = 405 - 411. Let m = d - j. Which is greater: 0.4 or m?
0.4
Let j be (-6)/(-15) + 52/(-5). Let v be (-1*4/j)/(-4). Let s = 0.16233 + -0.26233. Does s = v?
True
Let w = -10918 + 10934. Which is smaller: w or -112?
-112
Let l = -105 + -50. Let z = -154 - l. Which is smaller: z or 3/11?
3/11
Let i = -0.12555 + 0.02555. Is -4.96 less than or equal to i?
True
Let l = -350 + 349.19. Let g = -0.71 - l. Is 8/3 greater than g?
True
Suppose a = 0, -2*v - 4 = -a - 0. Let x(z) = -3*z**3 - 4*z**2 - 3*z - 2. Let w be x(-2). Do v and w have the same value?
False
Suppose -30 = -3*w - c, 15 = -c - 4*c. Suppose w = -2*v - 5*x, -3*v = v + x - 23. Let g = 67591/8155 + -3/1165. Is v greater than g?
False
Suppose n - 156 = 4*n. Let q = 505 + -489. Suppose q*s + 1196 = -7*s. Is s equal to n?
True
Suppose -1467 - 2621 = 73*x. Which is smaller: -610/11 or x?
x
Suppose -2*v = 3*m + 129, 0 = 2*v + m - 3*m + 134. Suppose 12*u - 445 + 61 = 0. Let r = -35 - u. Which is smaller: r or v?
r
Let t be (-14 - -9)/(10 - (-6525)/(-652)). Is t less than 651?
False
Let f = -0.1 + 0. Let r = 1.84727 - -0.96273. Which is smaller: r or f?
f
Let z = 31 + -25. Let k be 15/45 - 128/z. Let g = k + 18. Which is smaller: g or 0?
g
Suppose 15378 = -5*p - 4*r, -7*p + 12327 = -11*p + 5*r. Let v = p - -138496/45. Is 1 > v?
True
Suppose -4*k = -v - 255 - 2524, -5*k = -5*v - 13910. Let a be (1 - v/1375) + -2 + -1. Which is smaller: 1 or a?
a
Suppose 4*t - 5*h = -3*h - 11320, 2*h = -3*t - 8469. Which is bigger: t or -3?
-3
Let r = 56.517 - 10.487. Let h = 0.019 - 46.019. Let w = h + r. Do w and -8 have the same value?
False
Let l = -85 - -99. Let y be (8/l)/(6/42). Let p be (y/(-50))/((-57)/15). Which is smaller: p or -2/5?
-2/5
Let k(x) = x**3 - 6*x**2 - 95*x + 175. Let f be k(20). Is 3876 at least f?
True
Suppose 3 = 2*p + p. Suppose 3*c + 32 = -c + 3*s, 0 = 4*c - s + 24. Let h be (-6)/837*((c - 1) + 3). Which is bigger: p or h?
p
Let d = 19269.04503 + -19269. Which is smaller: 3 or d?
d
Suppose t + u = -50 - 8, 2*t - u = -125. Let y = 64 + t. Let g be ((1/y)/(-1))/(19/(-57)). Is g < -5?
False
Suppose 93*x + 85 = -8. Is x greater than 2/22105?
False
Suppose 5*b - 340 = -5*o + 3*o, 2*b = -o + 168. Let c = -365 + o. Let l be (902/c)/(-3*1 + -1). Is l greater than or equal to 2?
False
Let a(l) = l**2 - 12*l - 88. Suppose 6*t = 11*t, -2*o - 10 = 4*t. Let g be a(o). Which is smaller: -57/13 or g?
-57/13
Let y = 12139.02 + -12139. Which is smaller: 32.2 or y?
y
Let y be ((-264)/272)/(14/(-84)). Which is smaller: 7 or y?
y
Let w(v) = 10*v - 5. Let h be w(6). Let x = 566270/10173 - -9/3391. Which is smaller: h or x?
h
Suppose -4*g + 61*t = 64*t - 639, -3*g + 492 = -2*t. Which is smaller: g or 135?
135
Suppose 4*a - 43 + 299 = 0. Let w be -6*a/324*-3. Which is smaller: -4 or w?
-4
Let r = -0.004 + -1.096. Let m = -0.9 - r. Let t = 44.6 - 41. Which is greater: m or t?
t
Suppose -2*f - 49 = -53. Suppose 195 - 201 = -f*a. Suppose -2*p + 12 = 3*l - 34, 5*l = a*p + 83. Are 114/7 and l nonequal?
True
Let a be (16/(-140))/(4/10). Let f = 129 + -268. Let h = 139 + f. Is h > a?
True
Let i(d) = d - 3. Let y be i(4). Let l be ((-7)/(-3))/(16*(-496)/96). Let c = l + 379/31000. Which is greater: c or y?
y
Let a(n) = 25*n + 1419. Let b be a(-57). Which is bigger: -289 or b?
b
Suppose -2*h + 32 = 2*f - 0*f, 4*h + 32 = 2*f. Suppose 5*u = 51 + 14. Does f = u?
False
Suppose 0 = 2*d - 5*v - 509, -4*d + 1018 - 15 = 5*v. Let j(q) = 8*q**2 + 6*q. Let x be j(-6). Is d <= x?
True
Suppose -181*g - 19370 = -227158. Which is bigger: 1147 or g?
g
Let p = -130 - -114.2. Let r = p - -16. Let s = 81 + -67. Is s greater than r?
True
Suppose 0 = 32*z - 30*z. Suppose z = -4*g + 130 - 434. Which is greater: -77 or g?
g
Suppose 0 = -2*f + 4, -65*f + 69*f - 8 = 4*z. Which is smaller: 64/203 or z?
z
Let r be 38 + -279 + (-5 - -1). Let l be (-105)/r - (6/14 - -1). Let y = 13 - 2. Which is smaller: l or y?
l
Suppose 648 = -4*z + 5*p, z - 4*p + 172 = 21. Let h = z - -3181/19. Is -1 equal to h?
False
Let g = 18204 - 18861. Is g less than -5259/8?
False
Let k be 1*-2*31/(-2). Let h = 69014 - 68984. Is k <= h?
False
Let t = -907 + -2453. Is t greater than -3360?
False
Let a(y) = 4*y**2 - y - 6. Suppose -34 + 28 = 2*q. Let g be a(q). Which is smaller: g or 35?
g
Let t(z) = -z**2 + z - 1. Let h(m) = 3*m**2 - 16*m - 26. Let n(k) = h(k) + 4*t(k). Let y be n(-8). Let q be 1*y + 0 + -1. Which is smaller: q or 3/13?
3/13
Let t = 191.62 - 191. Let q = t + 1.38. Let u = 4 + -4.08. Do u and q have the same value?
False
Suppose -m + 2*h - 274 = 7*h, 4*m - 3*h + 1027 = 0. Let f = -259 - m. Which is bigger: 13/9 or f?
13/9
Let s = 1.5725 - 1.5725. Which is smaller: -645.6 or s?
-645.6
Let c(m) = -m**3 + 5*m**2 + 17*m + 13. Let p be c(7). Let d be p/138 + 4/(-12). Which is smaller: d or 7?
d
Let y = -31526631/725 + 43485. Is y at most 1?
True
Let a = 11874/7 - 1698. Which is smaller: a or -1.11?
a
Let q = 444 - 395. Let b = -50 + q. Which is bigger: b or 1.4?
1.4
Let u be (7/63)/((-18)/(-12)). Suppose 2*i - 8 = 2*o, i = -4*i + 4*o + 16. Let r be -1*(i - -2) + 1. Which is greater: u or r?
u
Let d(c) be the third derivative of c**6/120 - c**4/8 + 37*c**2. Let o be d(0). Is 134 at least as big as o?
True
Suppose -2*y - 118 = -2*k, 0 = -5*k + 2*y - 184 + 467. Let r be (-90 - 0)*(-66)/k. Is r greater than 108?
False
Let y(v) = -v**3 - v**2 - 3*v - 3. Let k be y(-3). Let r = 26 - k. Suppose x + 48 = r*p, 3*p + 4*x + 100 = 7*p. Is 22 at most p?
True
Let z be (2 - 6)*8340/(-720)*-3. Suppose -2*q + 0*j - 269 = j, -2*j - 264 = 2*q. Does q = z?
False
Let f(v) = -30*v**3 + 8*v**2 - 15*v - 22. Let r be f(4). Which is smaller: -2 or r?
r
Let x = -62 + 680/11. Let l = -0.089 - -36.089. Let u = -23 + l. Is u less than x?
False
Let b be 17/5 + (-8)/20. Suppose -b*m - 4 = -25. Is 1 at least as big as m?
False
Let v(j) = 3*j**2 - 4. Let z be v(2). Suppose -21 + 5 = -z*f. Suppose 3*c = f*c + 27. Which is bigger: 26 or c?
c
Suppose 6*h - 3*g = 2*h - 131, 3*h + 67 = -4*g. Let u = 34 + h. Suppose -x - 7 = -5*z - 2, -u*z + 5 = -4*x. Which is smaller: z or -2/15?
-2/15
Let a(u) = u**3 + 126 + 30*u**2 + 29*u + 121 - 239. Let h be a(-29). Which is bigger: -5/6 or h?
h
Let v(p) = p**2 - 6*p + 5. Let f be v(6). Suppose 0 = -f*a + 17 - 62. Let o be 930/(-120) + (-5)/4. Is o <= a?
True
Suppose -15*l = -8*l - 0*l - 7. Which is bigger: 2/5781 or l?
l
Let y(f) = 2*f**3 + f**2 + f - 1. Let v(c) = 7*c**3 + 7*c**2 - 2*c + 17. Let g(w) = -v(w) + 3*y(w). Let j be g(-6). Which is bigger: j or 15?
j
Suppose 0*o - 12 = -2*o. Suppose o*u - 968 = -8. Suppose 5*d - u = -155. Is d at least as big as 2/45?
True
Suppose 0 = 194*u - 140 - 54. Let q be 2/(-2345)*5/(-3). Which is bigger: q or u?
u
Let c = -566 - 2366. Let v = c + 1562759/533. Do v and -1 have the same value?
False
Let u(n) = -n - 22. Let f be u(-19). Let b be (12 + 0)/(f - 1 - -6). Let d be b/(-3 - (-12 - 1)). Is 0 less than or equal to d?
True
Suppose 114 = 590*f - 647*f. Which is smaller: f or -84/59?
f
Let a(u) = -u**2 - 15*u + 10. Let x be a(-8). Let w = 196 + x. Is 263 > w?
True
Let w(u) = -u**2 + 7*u - 7. Let y be w(5). Let p = -937/47214 + 7/258. Let g = 14/61 - p. Is g at least y?
False
Let o be 430/(-301) - 25560/(-1036). Which is smaller: o or 24?
o
Let g = 5300 - 5303. Is -17 equal to g?
False
Let m = 720 + 76. Which is smaller: m or -5?
-5
Let x = -286 - -631. Suppose 8*n - 329 = -x. Which is smaller: n or 20/29?
n
Let g = 3 - -6. Suppos