 n + 6 = 4*n, 4*p + 5*n - y = 0. Which is bigger: 32/7 or p?
p
Let y be (-1)/2 - 145/2. Let s = 75 + y. Let u(o) = -5*o - 60. Let f be u(-12). Does s = f?
False
Suppose -2421 = -11*b + 2*b. Let g = b + -376. Is g not equal to -108?
True
Suppose 0*l - 1 = l. Let f be 536/10 - ((-39)/(-15) - 3). Let b = -52 + f. Is b at least as big as l?
True
Let f(n) = 12*n - 67. Let b(p) = 25*p - 135. Let i(m) = -2*b(m) + 5*f(m). Let o be i(10). Is 31 equal to o?
False
Let c be 479640/40*(-4)/(-204). Let n = -736 + 501. Let l = c + n. Does 1 = l?
False
Suppose r = -3*h - 205 + 51, -4*r = -5*h - 234. Let c be (10/h)/((-4)/5). Is c >= 38?
False
Let p = 1 - 3. Let m be 31/(-91) + (-261)/1131. Which is smaller: m or p?
p
Let t be (20/155)/(4/42) - 2. Suppose -y = -0 + 1. Is y <= t?
True
Let b be 1*2 + (-30 - -8 - -237). Which is bigger: -2 or b?
b
Suppose -29*z = -34*z + 491050. Let x be (-1 + 0)*2 + z/(-8080). Let f = -113/8 - x. Is f > 0?
True
Let y = 3741.96 - 3742. Which is smaller: y or 10.5?
y
Let m = 40.4 + 9.6. Let h = 4.1 + -52.1. Let t = m + h. Do t and -0.2 have different values?
True
Let v = 2796 - 2796.06. Which is greater: v or -92?
v
Let r(v) = 2*v**3 + v**2 - 2. Let y be r(-1). Let x be (y - -5)*(2 - 3). Let f be (-1)/x*(-12)/(-8). Which is smaller: 2 or f?
f
Let u = -1861490/279 + 6672. Let j be (-4 + 4)/(37 + -38). Are u and j equal?
False
Suppose 9*r + 1116 = 7*r - 29*r. Let c be (-708)/21 + 2/(-7). Are c and r nonequal?
True
Let f be (-2)/(-14) + 1/(-5) + 2103174/(-92680). Suppose 3*j + 74 = -4*c, -j + 3*c = -5*j - 94. Which is smaller: f or j?
f
Suppose -2*c + 10*c - 88 = 0. Suppose -c*s + s = -140. Let b be 64/12 - (s/6)/7. Which is bigger: b or 17/4?
b
Let i be (1 - 2)/((189/(-56))/(-3)) - -1. Which is greater: 2.46 or i?
2.46
Let b = -54 - -73. Suppose 5*v + 2*j - b = 0, -12 - 9 = -5*v - 3*j. Suppose -24*d + 21*d = v. Do d and 1/14 have the same value?
False
Let h be 2/8 + 65/220. Let u = -206 + 212. Let c = 5 - u. Which is greater: c or h?
h
Let w = -1658 + 1700. Are -3 and w unequal?
True
Let k(q) = 3*q**3 + 2*q**2 - q + 3. Let d be k(-3). Let n = 1000/3 + -1175/3. Is d > n?
True
Let m = -27 - -27.06. Let y = -0.11 + m. Let w be 4 - (-4 + (1 - -1)). Which is greater: y or w?
w
Let i be ((-9)/(-5))/(2/(-5)) - (194 - 199). Which is bigger: 0.097 or i?
i
Suppose 164 = -8547*v + 8543*v. Which is smaller: v or -32?
v
Let m = -55/42 + 26/21. Let j = 3 + -13. Let d(t) = t + 11. Let r be d(j). Which is smaller: r or m?
m
Suppose 2*t = -3*a - 365, -9*a + t = -5*a + 505. Let b = a + 126. Let h = -25.2 - 1.8. Is b at most h?
False
Let z = 0.0345 - 2.6645. Let x = z - -1.63. Is x less than -1/439?
True
Let v = 3309 - 3306. Suppose -2*g = -5*g - o - 94, 16 = -4*o. Which is greater: g or v?
v
Let c = -12339 + 61641/5. Let t = 0.1 - 0.2. Which is smaller: c or t?
c
Let j = -1 + 0.9. Suppose -5*k + 39 = 4*y, 0 = 2*y - 5*k - 33 - 24. Let o be (-444)/y - 15/12. Is o at most as big as j?
True
Let h = -77 + 31. Let i = h + 44. Suppose 4*y + 3*o - 3 = 0, 6*y = y - 2*o + 2. Which is smaller: i or y?
i
Let a = -8303 + 33071/4. Let d = 53 + -87. Is d at most as big as a?
False
Let x(w) = 12*w - 8. Let y be x(3). Suppose o - 27 = -y. Let b be 2 + (21/(-4))/3. Is b at most as big as o?
False
Suppose -6*y = -3*y + 30. Let b be ((-2)/y)/(3/165). Suppose 0 = -8*h + b*h + 27. Is -10 != h?
True
Let c(r) = 3527*r - 2706. Let o be c(0). Which is smaller: -2698 or o?
o
Suppose 5*f + 25 = -5*x, -3*x + 5*x + 5*f + 22 = 0. Let y be ((3/(-3))/(0 + x))/(-1). Which is smaller: y or 2/87?
y
Let x(l) = -4*l - 52. Let p(r) = 2*r. Let o(u) = 6*p(u) + 2*x(u). Let f be o(29). Does f = -1?
False
Let c = 140 - -78. Suppose 5*r = -c + 33. Is -34 at least r?
True
Let m(u) = 12*u**2 + 9*u + 14 - 21*u**2 + 10*u**2. Let h(t) = 2*t**2 + 17*t + 29. Let r(p) = 4*h(p) - 9*m(p). Let i be r(-12). Which is smaller: -1 or i?
-1
Suppose -4*j + 24 + 132 = -p, -4*j + 2*p + 160 = 0. Suppose -3 = k, -j*k = 2*b - 43*k + 293. Which is bigger: -152 or b?
-152
Let j(h) be the second derivative of -h**5/4 + 5*h**4/12 + h**3/6 - 15*h**2/2 - h + 36. Let p be j(3). Let x = p + 102. Is x at most as big as 4?
True
Let o(s) = -s + 10. Let w be 4/(-2) + 12 + 1. Let r be o(w). Let k = -99 - -3268/33. Are r and k unequal?
True
Let d = -0.9 - -1. Let k = 20.3393 + -26.0393. Which is greater: k or d?
d
Suppose -w = 1, 5*q + 5*w - 13152 - 6843 = 0. Are 4001 and q non-equal?
True
Let s(a) = 37*a - 186. Let k be s(5). Let g be (-2)/10 - ((-1248)/10)/k. Is -124 greater than g?
True
Let h = -61 - -63. Suppose -m = -0*z - z - 13, -38 = -h*m - 4*z. Suppose 2*f + m = -f + 3*v, 0 = -2*f + 4*v - 12. Which is greater: -24/7 or f?
-24/7
Suppose 5082 = 20*u - 41*u. Let n = -2/77837 + 131622381/544859. Let m = u + n. Is 1/9 greater than m?
True
Let q(o) = -o**3 + 25*o**2 + 14*o - 21. Let z be q(26). Let p = -392 - z. Suppose -4*t = 3*d - 4, 1 = 5*d - t + 2*t. Are d and p non-equal?
True
Let a = 268 + -373. Let k = 11.9 - 99.9. Let j = k - a. Is j smaller than 3?
False
Suppose 103 = 20*v - 19*v + 4*s, 2*s + 281 = 3*v. Is v at most -6?
False
Suppose 29 = -7*w + 15. Let l be 99/28*(-2 + w). Is l <= -14?
True
Let y = -236/21 - 423/7. Let l = y + 71. Let w = 0.1671 + -0.4071. Which is bigger: w or l?
w
Let l = 23533 + -23532. Let d = -354 - -353.777. Does l = d?
False
Let y = -20999/2 - -10245. Let g = -247 - y. Suppose 0*l + 2*l = -2*b + 10, -3*b - 2*l = -17. Do b and g have different values?
True
Suppose 3*m + 3*m = 3*m. Suppose m = 2*s + 5*t + 26 + 38, s - 3*t = -10. Which is smaller: -28 or s?
-28
Suppose y = 3*l - 37, -2*y + 3*l = -3*y - 67. Let z be 5/(-10) - (46/y)/(-1). Is z at least 3?
False
Let o(d) = d**3 - 5*d**2 - 4*d + 13. Let w be o(6). Suppose -20*m + 5 = -w*m. Let f be 0 + (519/513 - 1). Are f and m nonequal?
True
Suppose 23 = 3*p - 2*j - 16, 3*j + 65 = 5*p. Suppose 0 = 7*b + 9*b + b. Suppose 2*d - 8 = 3*m + 9, -4*d + m + 49 = b. Are d and p equal?
True
Suppose -20*d + 100288 + 6782 = -42330. Which is greater: d or 7471?
7471
Suppose 8*a - 3*w = 9*a + 20, 0 = a - 2*w + 10. Let y = 379 + a. Which is smaller: 363 or y?
363
Let d = -384985557/31535 - -61041/5. Is 0 at most as big as d?
True
Let m be 4/8 + (-2)/(-4). Let r = 11262 + -11253. Is r equal to m?
False
Let v(g) = -g**2 + 10*g - 11. Let t be v(6). Let n(r) = r**3 - 14*r**2 + 14*r + 14. Let o be n(t). Let d = o + -26. Is 1/81 greater than d?
False
Let s = -258776/7329498683 - -2/1104783. Are s and -1 equal?
False
Let s = 3 + -2.5. Let m = -1.0868 - -23.0868. Which is bigger: m or s?
m
Let g = -406182757/1443 - -281485. Let n = -1859 + 206348/111. Let b = n - g. Which is greater: b or 0?
0
Suppose 5*v = 184 - 174, 0 = 4*w - 4*v - 12. Suppose -3*t = 3*s - 51, -90 = -4*s + 4*t - 22. Let x = s - 9. Is w <= x?
True
Let l = -11295 + 11709. Are l and 0.2 equal?
False
Suppose 8*y = 3*y + 675. Let v be (-4)/9*y/(-30). Let m be (-48)/(-20) + 1*v/(-5). Is 1 at least m?
False
Let w = -8450 + 8450. Which is smaller: 1/2188 or w?
w
Let d be 2/(-2)*7 - 0. Let p = 0.21808 + 0.18192. Is d less than p?
True
Let i(q) = q**2 + 154*q + 906. Let a be i(-6). Which is smaller: a or 128/7?
a
Let u = -4174 - -7646. Is u > 3472?
False
Let b = -10 + 8. Let v be (-3)/b*(-48)/(-9). Suppose -8*g - g = -63. Which is smaller: g or v?
g
Let p = -0.3632 + 0.4532. Do p and 0.0132 have the same value?
False
Suppose -17533 = 10*x + 4317. Let h be x/12857 + (-2)/(-26). Is h equal to 0?
False
Suppose -175902 = -2*n - 2*z, 2*n - 119349 = -4*z + 56559. Let m be 2/(-7) + 25212/n. Is 0 smaller than m?
True
Let a(m) = -m**3 + 16*m**2 - 15*m + 3. Let y(k) = 4*k + 43. Let w be y(-7). Let p be a(w). Suppose p*l - 7*l - 72 = 0. Which is bigger: 0.2 or l?
0.2
Let a be (-97)/(5/(-10)*-2). Let f = a + -72. Which is smaller: f or -170?
-170
Let c be -4 - (1534/(-6) + 16/24). Let i = -4771/19 + c. Which is smaller: i or 1?
i
Let z be (1/44)/(121/968). Which is smaller: -0.3877 or z?
-0.3877
Suppose 65*c = -3*c + 1292. Suppose d - 5 = -0*d. Suppose 0 = -t + 13 + d. Is c less than or equal to t?
False
Let u = -77 + 72. Suppose 2*w = -14*p + 19*p - 2, -5*w + 16 = -2*p. Is w smaller than u?
False
Let n = -70541 + 109550169/1553. Is -1 at least as big as n?
False
Let t = -4942/11635 + 54/179. Which is bigger: t or 0?
