be r(11). Which is greater: y or b?
y
Suppose 30 - 12 = 3*y. Suppose 0*b - 1 = 3*l + 2*b, l = 5*b - y. Let f = 41/39 + -3079/3003. Is l greater than or equal to f?
False
Let h be ((-15)/9)/(91784/(-264)). Which is smaller: h or 0?
0
Let r(c) = 2*c**2 - 9*c - 11. Let y be r(8). Suppose y = 4*t - 2*k + 173, -2*t + 4*k - 52 = 0. Are t and -27 equal?
False
Suppose 26*x = 25*x. Suppose x = -36*k + 31*k + 20. Suppose 10 = -k*o - 6*o. Which is smaller: o or -4/5?
o
Let q = 6216758 - 26408788351/4248. Let l = -5/72 - q. Is l at most -1?
False
Let d be (4/(-6))/((-1946)/(-3570)). Which is smaller: -1 or d?
d
Let o = -11946 - -11946. Is 60/1273 smaller than o?
False
Let b = 2527 - 3593. Which is smaller: b or -1?
b
Let f = 582 + -582.251. Let j = -1.251 - f. Which is bigger: j or -2.45?
j
Let j = -483 - 185. Let h = -8017/12 - j. Is h at least 1?
False
Let n = -0.206 - 225.794. Let m = n - -227. Is m >= -3/5?
True
Let z(m) = 2*m**3 + 44*m**2 - 45*m + 34. Let q be z(-23). Which is greater: 174/17 or q?
q
Suppose 0 = 10*j - 9*j - 97. Suppose 0 = -5*h + j + 18. Let q = 26 - h. Which is smaller: 5/3 or q?
5/3
Suppose -5*p + 33 = -4*q, 1 = 4*q - 7*q - p. Let h be q + (0 - 1 - -2). Let i be 16 - -2*(-3)/(-12)*(-21 + 15). Is h < i?
True
Let s = 175 + -172. Suppose 4*k = -0*m + 3*m - 8, 5*m - 19 = k. Which is smaller: k or s?
k
Let p(d) = 52*d - 34. Let s be p(-2). Let t be 12/36*2/(s/333). Is t smaller than -2?
False
Suppose t + 5*o - 2 = 0, 3*t - 10 - 10 = -o. Suppose 8*f - t = 9. Does 14/5 = f?
False
Let z be 198/(-6446)*225/54. Which is bigger: z or -1?
z
Let f be -2 - ((-432)/68 - -4). Let r = f + -744/85. Suppose 2*c + 8 = -6. Which is smaller: r or c?
r
Suppose 2*s = -3*a + 489, 5*s - 1347 + 116 = a. Suppose 37*m + 4*m = s. Is m >= 5?
True
Let w = 19 - 19.002. Let t = -7 - -7.053. Let l = t - 0.153. Which is smaller: l or w?
l
Suppose 92 - 36 = -4*u. Let o = u - -17. Suppose o*f = 2*f. Is f bigger than 5?
False
Let t = 51774190/1399 - 37008. Which is bigger: t or 0?
0
Let v be 192984/1290*22/(-8) + 4/10. Which is bigger: v or -1235/3?
v
Let w = 3668 + -3667. Is 1/30348 at least w?
False
Let d = 194.573 - -0.427. Let f = d - 201. Which is smaller: -2 or f?
f
Let v be (1118/416*-8)/((21/(-6))/7). Let r be (-2)/(-9) + (-1396)/(-36). Which is greater: v or r?
v
Suppose -10*c = 3*c. Suppose y - q + 1 = 0, 36*q - 41*q + 5 = c. Is y not equal to -8?
True
Suppose -2*v - 2*v = 0. Let k(c) = -82051*c + 738336. Let l be k(9). Which is smaller: v or l?
l
Let m = 6006 + -5616. Are 7 and m unequal?
True
Suppose 7*g + 48 = 76. Let p be g/10*(1238/614 + -2). Suppose 3*a = 24 - 21. Which is smaller: p or a?
p
Let b be (35/21)/((-2)/4)*-3. Let s be (b/5 - -31) + -2. Let d = s + -56. Which is smaller: -23 or d?
d
Suppose 3*k - 21 = -3*r, 13 = 3*k + r - 2. Suppose -k*m - 5*w = -4, -1 = -m - w + 5*w. Let a be (-252)/(-21)*m/3. Is 8 less than or equal to a?
False
Let a be (4/(-6))/(69315/(-4950) - -14). Suppose 0 = -3*v + 3*w + a - 721, 3*w - 669 = 4*v. Is v not equal to -167?
True
Let i(c) = -c + 4. Let t be i(3). Let u be 4 + -4 - 0 - t. Let q be ((-10)/(-120))/(u/(-15)). Which is greater: 2 or q?
2
Suppose 0*u - 3*u - 5676 = -3*f, 5*f - 2*u = 9475. Let n be f/91 - (-4)/26. Let i(w) = w**3 - 19*w**2 - 43*w + 24. Let g be i(n). Are 8 and g unequal?
True
Suppose -5*q + 83*w - 380 = 88*w, 0 = -2*q - 5*w - 149. Do -53 and q have the same value?
False
Let i be 864/3240*(-10)/138. Which is greater: i or 1?
1
Let l be 20/3*2340/(-325). Let u be (-8)/l - 455/2790. Which is bigger: u or -1?
u
Let t be (1 + -4)/((-1)/15). Let d be 174/4*(16 - 7*195/91). Is t >= d?
True
Let l be (15/6 - 1)*2. Suppose l*f = 6*f - 3. Is f at least as big as 5/38?
True
Suppose -3*y = u + 12, 18 = -6*y - 3*u - 12. Which is greater: -70/41 or y?
-70/41
Let p = -57 + 89. Suppose 5*f = -r + 4*r - p, 3*f = r - 8. Which is smaller: r or 11?
11
Let f be (-3 + -10 + 9)*3406. Is f equal to -13624?
True
Suppose 246 = 5*a + 81. Let q(k) = 5*k - 146. Let o be q(a). Is 12 >= o?
False
Let r be (834*(-2)/(-8))/(-3) - 2. Let y = -63 - r. Which is smaller: 8 or y?
8
Let s(a) = -5*a**2 + a - 3. Let d be s(2). Let i = -4/103 + -178/721. Which is smaller: d or i?
d
Let a be 1/((22 - 13) + 13286/(-1480)). Which is smaller: 0.1 or a?
0.1
Let k = 508632.0017 - 508725. Let v = 0.0017 - k. Which is greater: v or 4?
v
Let m = -0.54 + 2.24. Let n = m - 6.7. Let l = 0.1 + -1.1. Does n = l?
False
Suppose i + 1 + 1 = -c, 2*c + 2 = 0. Let r(p) be the third derivative of p**6/120 - p**4/24 - p**3/6 - p**2. Let f be r(i). Which is smaller: -12/11 or f?
-12/11
Let u = 157.7 + -156.7. Is 183 greater than u?
True
Let h(p) = p**2 + 34*p + 272. Let t be h(-21). Is t bigger than 12/487?
False
Suppose 0 = 17*d - 110 + 8. Suppose -d*q - 16*q = -374. Are 78/5 and q equal?
False
Suppose 4*c + 4 = -4. Let m be (5/150)/(c/5). Let l = 447 + -448. Which is bigger: l or m?
m
Suppose 2*d - 904 + 900 = -2*k, 4*d - 14 = -3*k. Does d = 418/47?
False
Let k(m) = m**3 + 21*m**2 + 22*m + 14. Let p be (-524)/26 + 14/91. Let f be k(p). Let a be (8/(-20) - f/(-10)) + 3. Is 15 greater than a?
True
Let d(x) = 19*x + 5. Let z be d(4). Suppose -4*j + 279 = -53. Which is bigger: z or j?
j
Let w = -349746 + 349744. Let f = 34 + -34.21. Which is greater: w or f?
f
Suppose 5*s + 114 = 7*s. Let f = s + -57. Let w be (f - (-21)/(-35)) + 18/(-170). Which is smaller: w or -2?
-2
Let l = 1/602 - -41623/602. Is 70 at most l?
False
Let z = -935 - -79477/85. Suppose 22*m = 32*m - 2040. Let d = m - 203. Which is greater: z or d?
d
Let i(w) = -42*w - 5 + 25*w - 8 - 20 + 6. Let k be i(-4). Let d(x) = -12*x + 4. Let q be d(-3). Which is greater: k or q?
k
Let u = 144 - 101.9. Let r = u - 32.1. Is 11 at most r?
False
Let m be ((-18)/(-27))/((-628)/(-630) - 1). Let a be -5*(-80)/(-32)*168/10. Is m <= a?
True
Let j be 106/(-30) - (-2)/(-10). Let q = 1463 + -1467. Is j less than or equal to q?
False
Let h be -11 - 55654/1848 - 2/(-8). Let y = 460/11 + h. Is 2 at least y?
True
Suppose 14*u - 34*u = 20. Which is smaller: u or -5/694?
u
Let x = 552 + -528.1. Let p = x + -24. Let z be 2/(12/78*1). Which is greater: p or z?
z
Let d = 16/1055 - -1998/7385. Which is smaller: 652/79 or d?
d
Let f(u) = -u**3 - 7*u**2 - 14*u - 4. Let m be f(-3). Suppose 2*c = -4*r - 276, 0*c = -m*c - 5*r - 271. Is c smaller than -148?
False
Let c = -86793 + 4079005/47. Which is bigger: c or -5?
-5
Let y = 331753/138 - 2404. Is y >= 1?
False
Let v = 753 - 749.41. Let s = -3.6 + v. Is s at least as big as -2?
True
Let t = -52916 + 21007637/397. Which is bigger: -1 or t?
t
Suppose 70 = k - 5*t, -5*k + 134 = -t - 336. Suppose 9*r = -191 + 86 + 1005. Which is smaller: k or r?
k
Suppose 3*m - 4*d = 16, 0 = -2*m - 3*d + 7 - 2. Suppose 0 = -2*c - 2*c + m, 0 = 3*y + 3*c - 135. Which is smaller: 41 or y?
41
Let g(i) = 5*i**3 - 3*i**2 - 5*i + 21. Let s be g(9). Which is smaller: 3377 or s?
3377
Let l(i) = 7*i**2 + 8*i - 4. Let v be l(-2). Let k be 982/v - (-3)/12. Is k > 124?
False
Let i(r) = 4*r**3 + 8*r**2 - 25*r + 27. Let j be i(-4). Which is smaller: j or 2/8933?
j
Let y = -327 + 364. Let m = -121 + 191. Let x = m + -35. Is y at most x?
False
Suppose 4*o - 2*o = 3*d - 1, -2*o - 5*d = -7. Suppose -103012 = 19*v + 33*v. Let u be (-835)/v + ((-48)/14 - -3). Which is smaller: o or u?
u
Let v(q) = 4352*q - 1. Let n be v(0). Let p be 5/58*2*-5. Which is bigger: n or p?
p
Let l be 6746/15*2*(-3)/16. Let s = l + 661/4. Which is smaller: s or -0.2?
s
Let o(g) = -5*g + 6. Let z be o(-4). Let q(k) = -k**3 + 11*k**2 + 3*k - 161. Let m be q(9). Is m bigger than z?
True
Let g = -1972 + 165665/84. Is g not equal to -1?
True
Let o be ((64/(-20))/4)/(24/540). Let c = o - -5. Which is bigger: c or 0.3?
0.3
Let b be (3822/(-28))/(-13) + -10. Which is bigger: -2/3467 or b?
b
Let c = 26161/27 - 969. Let s(w) = 4*w + 4. Let x be s(6). Let j = -28 + x. Which is greater: j or c?
j
Suppose -1263 = 5*l - 3*m - 209, m + 214 = -l. Let s be 12/(-24) - 134/l. Which is greater: -1 or s?
s
Let u = -19253 - -15768205/819. Which is smaller: 1 or u?
u
Suppose 4*k + 17725 = -15*i + 20*i, -2*k + 2*i - 8860 = 0. Is -4425 at most as big as k?
True
Let r(o) = o**3 + 7*o**2. Let f be r(-7). Suppose 14 = -2*g + 2*u - f, -4*u - 26 = 5*g. Let c be g/18 + (5