or a?
14939
Let p = -99/74 + 14937/11248. Let d = 4849/1520 - p. Let t be (-16)/(-6) - (60 + -61 + 5/3). Which is greater: d or t?
d
Let q = -1299 - -12518. Is q greater than 22435/2?
True
Let m(q) = 101*q + 1117. Let l be m(-9). Which is bigger: l or 2686/13?
l
Suppose 253 = -5*s + 2*a, 4*s - 21 + 221 = a. Which is smaller: -42 or s?
s
Let w = 1685241 - 1671046.09. Let s = -14132 + w. Let r = 63 - s. Which is smaller: r or 0.1?
r
Let l(v) = 6*v**2 + 4*v - 2. Let p(r) = r**2 - r + 1. Let g(z) = -l(z) + 5*p(z). Let y be g(-9). Suppose 0 = 46*n - 272 - 4. Which is greater: y or n?
y
Let n = 2173 - 23905/11. Let l(g) = -g**3 + 3*g**2 - g - 3. Let u = 24 - 22. Let d be l(u). Which is smaller: n or d?
d
Let r = 36323/5759 - -3/5759. Which is smaller: r or 7?
r
Let w = -391 - -358.7. Let t = -30.3 - w. Are t and -0.017 unequal?
True
Let s = -66 - -193/3. Suppose -3*r - 4*b = 2, 2 = -0*r + 2*r + 2*b. Suppose -16*z - r = -13*z. Is s >= z?
True
Let w = -27962308/215 - -130057. Is 1 < w?
False
Let c = -19417 - -7708553/397. Which is greater: -1 or c?
c
Let f(z) be the third derivative of -z**6/120 - z**5/15 - z**4/24 - 13*z**3/2 + 77*z**2. Let n be f(-5). Is n at most -9?
True
Suppose 0 = -1134*p + 1158*p - 75552. Are p and 3148 equal?
True
Let q = -4/1201 - -261902/25221. Do 10 and q have different values?
True
Let t = 141349/275 - 514. Suppose -9075*x = -9061*x. Which is greater: t or x?
x
Let o(v) = -v**2 - 158*v - 3290. Let l be o(-21). Which is greater: -414 or l?
l
Suppose -2*v - 240 = -u + 781, 4*u - 4076 = 4*v. Are 1014 and u equal?
False
Suppose -40 = k + 4*m + 33, m - 292 = 4*k. Let w = k - -75. Let i be 55/(-1) + -2 + w. Do -54 and i have the same value?
False
Let h = -24.5 + 211.5. Let w = h + -184. Is -2/15 less than w?
True
Let n = 1635097/403 - 60366/13. Let y = n + 587. Which is bigger: 1 or y?
1
Let n be (-540)/216 + 5/(-2). Let w(x) = x**3 - 8*x**2 + 14*x - 11. Let o be w(6). Let s be o/11*-3*14. Which is smaller: n or s?
n
Suppose -3*c + 305 = 5*l, 0 = 2*c + 17*l - 174 - 84. Which is smaller: c or 85?
85
Let v be (-4 + 10/4)/(2/(-212)). Let w = v + -180. Is -125/6 at most w?
False
Let h = 191/544 - 13/34. Suppose -12*s = -3*u - 7*s - 1444, 4*u = -3*s - 1964. Let l = u + 488. Which is smaller: l or h?
h
Let c = 388 + -910. Let d = -523 - c. Which is bigger: d or 1/177?
1/177
Let w = -330 - -332.06. Let n = w + 11.94. Is n > 5?
True
Suppose -m - 4*y = -27, 12*m - 10 = 8*m - 2*y. Let u = -70 + 213. Which is smaller: m or u?
m
Let y = 13.9 + 43.1. Let l = y + 17. Let h = 78 - l. Is 8 at least as big as h?
True
Let t(p) = p**2 - 3*p + 3. Let s be t(2). Let i = 4.18 + 0.82. Let y = i - 5.08. Is y at least s?
False
Let a(q) = q**3 - 17*q**2 + 18*q - 11. Let k be a(7). Which is bigger: k or -4/7?
-4/7
Let q = 8688 + -6915. Which is bigger: 8862/5 or q?
q
Suppose -615 = 19*i + 12. Let q(z) = -z**3 - 8*z**2 + 9*z - 34. Let b be q(-9). Which is smaller: b or i?
b
Let h(c) = 114*c - 2023. Let v be h(19). Is v at least as big as 153?
False
Let y = 59 + -410/7. Is y < -151?
False
Let i = 325 - -1433. Suppose i + 3156 = -26*x. Are -192 and x nonequal?
True
Let r(l) = -l**2 - 2*l + 47. Suppose 2*b = -3*t + 25, 0*t + 4*b - 14 = -2*t. Let z be r(t). Which is smaller: z or -51?
z
Let n = 3247871755/4111187 - -408/61361. Suppose 0 = 2*w + q + 1581, -5*q - 1585 = 2*w - 0*w. Let p = n + w. Which is greater: p or -1?
p
Let i = -13 + 14. Let d be 2 + -1*(i - 1). Suppose 5 = 2*g - j, 3*j + 9 = 6*j. Which is bigger: g or d?
g
Let o = 1197.5 + -1197.6. Which is bigger: 4985 or o?
4985
Let s be (144/32)/(-3 + 2 - 32). Let n(i) = -i**2 - 6*i - 17. Let r be n(-8). Let w = -34 - r. Which is smaller: w or s?
w
Suppose 2*u - 3*n - 1576 = 0, 2364 = 3*u - 0*n - 5*n. Let c = 8650/11 - u. Let x(l) = 3*l**3 - 4*l**2 - 61*l - 56. Let t be x(-1). Which is smaller: t or c?
t
Suppose -s + 4*v = -1, -8*s = -3*s + v - 5. Let c = -24 + 2. Let j be 552/(-858) - 4/c. Is s less than j?
False
Let j(f) = f**2 + 6*f + 5. Let k be j(-5). Suppose -5*s - 46 = 3*i - 3, k = i - 4*s + 37. Which is greater: i or -16?
-16
Let b = 29904/5 - 6001. Suppose -5*i - 9*j - 111 = -6*j, -2*j = -5*i - 101. Which is greater: b or i?
b
Let y be 64/(-40)*5/2. Let w be (10/(-9))/(6/y). Let u = -436/297 + w. Is u at most as big as -2?
False
Let v = -5.9 + 5.851. Let s = v - -6.049. Let o = s + -3. Is -0.07 <= o?
True
Let v(x) = 13*x + 137. Let i be v(13). Let o = 267 - i. Is o greater than or equal to -38?
False
Let s = 59.54 - 59.468. Which is smaller: s or 5.3?
s
Suppose 745 - 46 = 3*x. Let y(u) = -13*u - 39. Let k be y(-21). Which is smaller: k or x?
x
Let b(o) = -100*o - 2708. Let u be b(-10). Is u < -1708?
False
Suppose 5*p = 10, -3*p = -4*y - 2*p - 10. Which is smaller: 88 or y?
y
Let d be 1232/12*(2 - 20/16). Suppose -3*n = -l + 62, 4*l = l - 5*n + 256. Is d at least as big as l?
True
Let f(w) = -w**3 - 10*w**2 - 17*w - 1. Let r be f(-8). Suppose -r*l = -23 + 93. Suppose 0 = 2*y - 0*y - 4*x + 40, y - 4 = -4*x. Is l less than or equal to y?
False
Let f(c) = c + 1. Let k(m) = m**2 + 14*m - 9. Let n(g) = -5*f(g) + k(g). Let l be n(-9). Let b be 2 + 15/(-21) + 4/l. Is b at least as big as 0.22?
True
Suppose 7*r = 713 - 671. Suppose 0 = -12*n - 78 + r. Is -1 bigger than n?
True
Let j(z) = z**2 + 2*z + 1. Let h be j(-2). Let p = 246 - 248. Let l be p/7 + 1744/5712. Is l smaller than h?
True
Let d = -8832.909 - -8833. Which is greater: 4 or d?
4
Suppose 0 = -2*r + r + 1. Suppose 70*u = 69*u - r. Which is bigger: 1/7 or u?
1/7
Let g be (7/28*-4)/(2 + -1). Let l = 50/16767 - 130582346/318573. Let h = l + 410. Which is smaller: h or g?
g
Let t = -60/5783 + -14086728/63613. Are -222 and t unequal?
True
Let j be (1 + -5)/(3 + -2). Let t(w) = -74*w + 328. Let f be t(4). Is f at least j?
True
Let d = -51423 + 51422.94. Let h = 14.23 + -14. Which is smaller: h or d?
d
Suppose 895*x + 5592 = p + 898*x, 2*x + 11176 = 2*p. Is 5589 smaller than p?
False
Let t be 165/45 + 4/(-6). Let r be t*(1/(-3))/(-21 - -22). Which is bigger: r or -3/161?
-3/161
Suppose 10 = -l - 52. Let v(k) = -6*k - 2. Let p be v(10). Is p at most as big as l?
True
Suppose -3*g - 50 = -5*c - 0*g, 3*c + 2*g = 30. Let f be (-1256)/40 - 6/c. Let w = f + 29. Does -1 = w?
False
Let v = 14558 - 14558.48. Which is smaller: 9.8 or v?
v
Let j = -2/863 + 1740/6041. Which is smaller: j or -1840?
-1840
Let h(k) = -7*k**2 - 5*k. Let l be h(-1). Let w be l*(-5 + 966/12). Which is smaller: 0.1 or w?
w
Let n = 49/2 + -149/6. Let i(d) = d**3 - 6*d**2 - 8*d + 7. Let o(k) = 2*k - 3. Let l be o(5). Let x be i(l). Is x at least as big as n?
True
Let m be ((-235)/10 - 2)*(-3 - 3). Let p = m + -100. Is p greater than or equal to 53?
True
Let f be (31168/(-1368) - 4)/((-1)/(-51)). Let d = 1366 + f. Does d = -2/7?
False
Suppose -2541 = 26*y + 3439. Which is bigger: y or -0.02?
-0.02
Let t = 39.6 + 15.4. Do t and -5/7 have different values?
True
Let y = -190 - -298. Suppose 14379 + 63133 = 744*d - 2840. Are y and d equal?
True
Suppose 318 = -3*y - 33. Let i be y/6*(-4)/6. Let d(p) = -1030*p - 422285. Let t be d(-410). Which is bigger: i or t?
t
Let u = 21.206 - 21.106. Which is smaller: 61.95 or u?
u
Let j = 76 - 74. Suppose 0 = -j*d + 90 - 74. Let x be (1 + -3)*(-10)/3. Is d less than or equal to x?
False
Let v be -15 - ((-869)/(-176) - 25). Is 6 < v?
False
Let g(d) = -7*d**2 + 21*d + 102. Let w be g(-7). Are -415 and w non-equal?
True
Suppose -2*d - 4 = -2*t, 18 - 14 = 5*t - 2*d. Does t = -3/358?
False
Let i be (-1)/2 + (-13407)/(-24). Let o = i - 559. Let b = o - -57/56. Which is smaller: b or -1?
-1
Let s(q) = -q**2 + 14*q - 11. Let g be s(13). Let o(z) = 7*z - 10*z**g - 33 + 12*z**2 + 8*z - z**2. Let f be o(-17). Is f at most as big as 16/9?
True
Let v = 0.17245 + -15.57245. Is 74 at least v?
True
Let x = 194 + -193. Let g = 466 + -549. Is x equal to g?
False
Suppose 3*r + 447 = -4*g, -2*r - 5*g = -122 + 420. Suppose 0 = 4*n - 2*n + 3*u + 285, -4*n = -4*u + 620. Which is smaller: r or n?
n
Let q = 57650 + -14008952/243. Suppose 0 = 3*m + 2*p - 15, -3*m - m + 3*p + 20 = 0. Let r(n) = n**2 - 6*n + 6. Let i be r(m). Which is bigger: q or i?
i
Let w be (-52)/91 + (1 - (-17)/(-56)). Which is bigger: w or 0.14?
0.14
Let k be (-28 - -96)*10/(-4). Let l = -170 - k. Let i 