 (-12)/m + 177/(-348). Which is smaller: b or 0?
0
Let t = -90 - -92. Let a(n) = -n**2 - 2*n + 8. Let j be a(t). Which is greater: 1/76 or j?
1/76
Let v be (3 - 6)*(56/21 + -3). Which is greater: 2/9257 or v?
v
Suppose -6*h + 324 = 3*h. Let p be (-3)/9 + (-28)/h*-1. Is p bigger than -0.4?
True
Let y = 5300 + -5319. Is y bigger than -101?
True
Let i = 6159032/324617787 + -2/342063. Which is greater: i or 1?
1
Let d be 1/(-6)*(-2 + -1). Suppose 6*u + 98 = 158. Suppose 0 = 2*c + 3*k + 37, -2*c - 5*k + u*k = -3. Is d bigger than c?
True
Suppose 5*i + 59*i + 24*i = -79464. Is -903 > i?
False
Let b = 62 + -62.1. Let h = b + 0.108. Do -0.1 and h have different values?
True
Let t be ((-2)/(-16)*4 - -24)*2. Is t < 48?
False
Let z = 21583/83 + -260. Let c be (-7)/(-9) - (-4)/18. Suppose 5*s + 4 + c = 0. Which is greater: z or s?
z
Let d = -26270 - -37119508/1413. Is 0 >= d?
True
Let x = 0.3 + 0.7. Let g be 128/(-110)*10/(-75). Let j = 2/75 + g. Is j > x?
False
Let n = 5288.58 - 5289. Is -9.2 bigger than n?
False
Let g be (-23 - -19)*-1*4. Which is bigger: 764/47 or g?
764/47
Let w = -1184 + 23683/20. Which is greater: w or -0.3?
w
Let y be (-9 - -5)*206/8. Let c = -405 - -300. Which is smaller: y or c?
c
Let l = 10 - 9. Let s be (-322623)/185955 - (-5)/(50/(-4)). Let u = 2/253 - s. Which is greater: u or l?
u
Let y(r) = 36*r - 2280. Let d be y(69). Let w be 1 + -24*34/(-4). Is w smaller than d?
False
Let o = 73 + -39. Let k = -102857/3 - -34320. Which is bigger: k or o?
k
Let g = -1489 + 1008. Are -481 and g equal?
True
Let q = -3 - -2. Let i = 28437 - 28354. Which is smaller: i or q?
q
Let s = 8027 + -6713. Do s and 6572/5 have the same value?
False
Let n = -196 + 2347/12. Is 25 less than n?
False
Let k = -37 - -53. Suppose 3*l + k = 5*a, 4 = -2*a + 4*a - 2*l. Suppose -a*j = 3*t + 205, j + 43 = -0*j - t. Which is smaller: -37 or j?
j
Suppose -a = 2*p + 9, -5*p - 11 = 4*a + 10. Let n be (-2)/p + 180/(-325). Suppose -3*k + 2*k - i = 1, 4*i = 2*k + 2. Which is greater: n or k?
n
Suppose 20*i + 4229 - 3549 = 0. Which is smaller: -29 or i?
i
Let y = -3.7298 - 3.2702. Which is bigger: -417 or y?
y
Let t = -9796 - -7948. Which is greater: t or -1844?
-1844
Let a be (-9)/(-21)*(53286/5922 + -9). Which is bigger: -1 or a?
a
Let p(h) = 27*h - 155. Let c be p(-59). Is -1748 greater than or equal to c?
True
Suppose 3*t + 2 + 0 = -u, 0 = 4*u + 3*t + 8. Let h(d) be the first derivative of -d**4/2 + d**3/3 - 4*d + 1. Let z be h(0). Is z at most u?
True
Let d(o) = -o**3 + 17*o**2 - 23*o - 1. Let m be d(6). Suppose m + 157 = 18*h. Is 20 > h?
False
Let m be (-2)/3 - (-12 + (-85225)/(-75)). Is m not equal to -1124?
True
Suppose -6 = 3*o - 2*o. Let w(n) = -30*n**2 - 11*n - 5 + 4 + 32*n**2. Let d be w(5). Is o at least d?
True
Let d = 7355 - 7368. Let b = 2.94 - 3. Let a = b - -0.06. Which is smaller: a or d?
d
Let k(m) = 351*m + 2. Let v be k(4). Let r be (24/396)/(20/v). Let j = 21/5 - r. Which is bigger: j or -1?
j
Suppose -b = -z + 34, 0 = 5*b - 3*b - 8. Let i = z + -35. Suppose -2*a + i = -j + 1, -4*a - 4 = -4*j. Which is bigger: 6 or a?
6
Let j(b) = -b**3 - 5*b**2 + 3*b - 13. Let m(w) = -26*w - 178. Let h be m(-7). Let u be j(h). Is u bigger than -146?
True
Let j = 365216.851 + -365027. Let i = j + -190. Let g = 0.049 + i. Is 2/7 smaller than g?
False
Let p = -5 + 2. Let a = 0 - p. Let d = -3558 - -3561. Is d > a?
False
Let v(l) be the second derivative of 10*l**2 + 1/12*l**4 - 12*l + 0 - 13/6*l**3. Let n be v(11). Which is smaller: -14/5 or n?
-14/5
Let k be ((0 - -1) + 33)/((-4)/4). Let s = 34 + k. Suppose 5*x - 13*x - 16 = s. Which is bigger: -29 or x?
x
Let a be (-8)/28*(-5495)/10. Let x be (-9)/72 + (-5)/40*a. Which is greater: -19 or x?
-19
Let h = -0.019 + 0.019. Let w = 32.87 - 5.87. Which is greater: w or h?
w
Let y be -2*(1/8 + (-125)/8). Let m = y + -5. Is 26 at most m?
True
Let r(k) = -3 + 0*k + 8*k**3 - 4 + 12 - 3*k**2 - 5*k. Let j be r(-4). Let h be -12*(8/14 + j/1120). Is h less than -1?
True
Suppose n - 27496 = -2*j, -27516 = -3*j + 5*n + 13741. Let t = j - 178857/13. Which is smaller: t or -9?
t
Suppose -u + 9 = -6*a + 10*a, -2*a = -3*u - 15. Suppose 0 = -a*b - c + 12 - 17, -c = -3*b + 5. Which is bigger: b or -22/53?
b
Let g = 608025 + -27361123/45. Let f = 0.1 + -0.3. Which is smaller: g or f?
f
Let f be -2 + -1 - (-1 + -441). Is 433 at least as big as f?
False
Let w be 2/1*(-2)/16. Suppose 709*j = 711*j - 930. Let o = j + -421. Is w equal to o?
False
Let z = 2924 + -2924. Which is smaller: 87/119 or z?
z
Let f(u) = -10*u - 80. Let n be f(-10). Let d = 15 - n. Let m be 13/(-2) - (-5)/(-10). Is d smaller than m?
False
Suppose -27*m + 39*m - 48 = 0. Suppose -m*t = -2*r + 857 - 51, 5*r - 1950 = -3*t. Is r less than 393?
False
Let k be (-2 - -3) + 171/5. Let g(i) = 3*i**2 + 218*i - 489. Let v be g(-75). Is k greater than or equal to v?
False
Let c = -5925 + 5820. Suppose -312 = -k + 4*k. Which is greater: c or k?
k
Let w be ((-25344)/99)/(1/4 + (-6)/(-8)). Which is bigger: -1027/4 or w?
w
Let g = 20743.24 - 20401. Let u = 3.24 - g. Which is smaller: -1/2 or u?
u
Let i = 4075 - 4075.1. Is 22/25 less than i?
False
Let o be (4/3 - 1)/((-22)/(-33))*34810. Are 17406 and o nonequal?
True
Let t(c) = c**2 + 179*c - 545. Let v be t(3). Does -10/51 = v?
False
Suppose 108310 = 5*j + 5*r, 3*r = -288*j + 292*j - 86648. Which is smaller: j or 21661?
21661
Suppose 283*g - 13000 = 293*g. Which is smaller: g or -1298?
g
Let g = -16 + 19. Suppose 2*m + 22 = 3*u, 0*u = -g*u - 6. Let b be 12/18*(m/(-6) + -2). Which is bigger: 1/13 or b?
b
Suppose -6 = r - 21. Let p = r - 39. Let k = 25 + p. Is k less than -5/19?
False
Let p = -447 - -439. Let i be (p/(-16) - 2)*-32. Does i = 51?
False
Suppose -7896 - 5538 = 33*z + 13230. Is -807 at least z?
True
Let x = -17292 + 17291.8. Which is bigger: -6784 or x?
x
Let f be 57/11 - (-9 - 808/(-88)). Suppose 2*n - 5 = 14*j - 11*j, 4*n = f*j + 9. Let w be (-3)/(9/(-4)) - 1. Which is greater: w or n?
n
Let p = -2358/763 - 27/218. Let d(m) = 461*m - 1386. Let y be d(3). Is y < p?
False
Let q be (-32)/6*3/(-2). Suppose -2*p - 2 = -q. Let r be 4*p/12 + 26. Which is greater: r or -1?
r
Suppose -9*m = b - 4*m - 43, 3*m + 172 = 4*b. Suppose -5*d + 4*d + 4*q + 17 = 0, -2*d + b = -5*q. Are 2/9 and d equal?
False
Let f be 29313/13 + 20/130. Is f less than 2255?
False
Let k be (-12679)/(-4030) + (-16)/(-104). Which is bigger: -2 or k?
k
Suppose 8 = -3*i + 38. Let v(t) = 19*t**2 - 1028*t + 116. Let z be v(54). Do z and i have different values?
True
Let b(u) = -220*u + 66. Let x be 1 + 6/(-3) - 1. Let h be b(x). Is h > 507?
False
Let u = -4886 + 4887. Is u at most -17/261?
False
Let b = 0.168 + -0.078. Which is smaller: b or 60/31?
b
Let u be 6 + (-228)/42 - 1805/133. Is u less than -7.3?
True
Let k be 4/(-10) + 670/(-75). Suppose l + 36*c - 11 = 38*c, -22 = -5*l - c. Is l at least as big as k?
True
Let m = 190 - 186. Let w be (m + 17)/((-18)/(-6)). Is w <= 1?
False
Let y be (-31)/(-7) - (20 - 15) - 36/(-14). Which is smaller: y or -5577?
-5577
Let x = -5293.648 - -5255. Let t = 0.352 - x. Which is bigger: t or 1?
t
Let n = 16 + -17. Let p be (9 + 1898/(-210))*6/(-4). Is n at most p?
True
Let d = 726 - 725. Is d bigger than -93?
True
Let y = -10394 - -10411.06. Which is bigger: 0 or y?
y
Let m be 8/(-6)*750/25. Suppose 2*r - 3*r = -x, 3*x + 4*r = 0. Suppose -2 = -x*t + 2*t, 0 = 3*u - t + 116. Which is smaller: u or m?
m
Let s = -6.77 - -3.18. Let g = 3.79 + s. Which is greater: -4.1 or g?
g
Let x(n) = -4*n**3 + 10*n**2 + 5*n - 4. Let o(q) = -q**3 + q**2 + q. Let v(z) = 6*o(z) - x(z). Let u be v(-3). Suppose 4*t + 15 = u*t. Which is smaller: t or 3?
t
Let r(n) = -5*n**2 + 26*n + 9. Let o be r(5). Let v be 2 + (-143)/91 + (-762)/o. Is v <= -51?
True
Suppose 2*r - 5*y - 8 = 0, -3*r = -2*r - 2*y - 4. Let q be (219 + -44)*r/(1 + 1). Is q greater than or equal to 349?
True
Suppose -13 = o + 4*t, o + 0*t + t = -4. Let s be ((0 + 195)/(-5))/o. Let u be 1 + (s/(-9) - -4). Is u greater than 3?
False
Let o be (390/104)/((-5)/(-8)). Let d = -691 + 2789/4. Which is smaller: o or d?
o
Let r(k) = 5*k**3 - 2*k**3 + 4*k**2 - 3*k**3 + 2*k - 1 + k**3. Let f(a) = 6*a - 32. Let s be f(5). Let i be r(s). Is 15/7 at least as big as i?
False
Let x(q) = -3*q**2 + 5*q - 