75/8376 - -7/349. Which is smaller: n or -1/14?
-1/14
Let a(s) = s**2 - 18*s + 13. Let m(w) = w**3 + w**2 - 2*w - 2. Let g be m(-1). Suppose 60 = -g*f + 4*f. Let d be a(f). Is -32 less than or equal to d?
True
Let i be -6 + 5 - (-6)/21*7. Which is greater: i or -2/4081?
i
Let s = -62 - -223. Let r be (-1)/(-7) - 23/s. Let f be (-715)/(-102) - (-15 + 22). Is r at most f?
True
Let p be 18/(-39)*-17 + 5. Let d = p + -13. Which is bigger: d or 13?
13
Let b(s) = 6*s - 91 + 33 + 41. Let m be b(3). Let f = 44 + -177/4. Is m at least f?
True
Let x = 10837 - 16108. Let m = 68565/13 + x. Let f(s) = s**2 + 2*s - 1. Let y be f(-3). Which is greater: m or y?
m
Let j be (45034/534)/((-10)/(-27)). Which is bigger: j or 227?
j
Let g = -3.6 - -3.5. Let s = -851/3 - -1667/6. Is s <= g?
True
Let a = -3903 + 3917. Suppose 0 = 9*o - 4*o + 30. Let n be 8/o*(-66)/7. Which is bigger: a or n?
a
Suppose -5*m - 1350 - 27 = 4*m. Which is smaller: -5 or m?
m
Let i = 20.9 - 29.9. Let o be (2/(-20))/(39/52). Which is greater: o or i?
o
Let h = 0.3 + 70.7. Let s = 91 - h. Which is smaller: s or -1/3?
-1/3
Let g(x) = 2*x**2 + 209*x + 3634. Let h be g(-22). Is h greater than or equal to 134/49?
True
Let s(r) = -4*r**2 + 614*r - 23556. Let a be s(79). Let m(t) = t**3 + 7*t**2 - 8*t + 2. Let y be m(-7). Suppose -y + 19 = 3*d. Which is smaller: a or d?
a
Let y(v) = -39*v - 2. Let l be y(-1). Suppose 3*a - 4*n + 111 = 0, -a - l = 4*n - n. Is a bigger than -71/2?
False
Let j = -305 + 235. Let s be ((-4)/j)/(2/(-14)). Which is bigger: -3/10 or s?
-3/10
Let l be (5224/(-32))/(((-2)/8)/(-12 + 10)). Which is smaller: 0.2 or l?
l
Let p = -385 - -258. Let b = p + 126.9. Are -0.29 and b nonequal?
True
Let g be 0 - 98/(-56)*(-92)/14. Let r = 6 - 13. Let m(y) = y**2 + 9*y + 2. Let f be m(r). Is g greater than f?
True
Suppose 16*d - 3091 = 2397. Which is smaller: d or 1713/5?
1713/5
Suppose -3*u + 72 = -6*u. Let c(p) = p**2 + 10. Let o be c(-8). Suppose 3*s + o = 2*k, -s = k - 5*k + 38. Which is smaller: u or s?
u
Suppose -3*o - 5*m - 559 = -83, -3*o - 2*m - 464 = 0. Let z = 124 + o. Which is smaller: -29 or z?
-29
Suppose -2*h - 25 = -5*z, -2*h = -4*h + 3*z - 23. Let f = -2906 - -2920. Let c be 204/h + f/35. Which is smaller: c or -21?
-21
Let d = 0.34695 + -0.24695. Let p = 139 + -53. Which is bigger: d or p?
p
Suppose 5*q + 149 = -6. Suppose -t - 3*p - 148 = 3*t, 11*p + 150 = -2*t. Is t greater than q?
False
Suppose 0 = -13*f + 14*f + 19. Let l = 11345 - 11362. Which is greater: l or f?
l
Let i = -25 - 41. Let n = -425 + 492. Let k = i + n. Which is greater: k or 0.11?
k
Let d be (-48)/(-120) - -1*5729. Let t = -5701 + d. Is t smaller than 28?
False
Suppose 5*s - 54 = 2*y - 16, 4 = -y. Suppose -95*g = -93*g + 2*m, 2*m = g + s. Are -239 and g equal?
False
Let m = -4820 - -5230. Is m <= 2864/7?
False
Let b = -5101/15 - -1697/5. Which is smaller: -0.351 or b?
b
Let l = -3006627/527873 + 2/22951. Let t = -2817/644 - l. Let v = t - 1/14. Which is smaller: v or 0?
0
Let q = 20999661/583 + -36020. Let y(z) = -z + 3. Let w be y(4). Which is smaller: w or q?
w
Let r be (3/27*-3)/1*-9. Suppose r*w - 17 = 5*l, 3*l + 2*w - 4 = 1. Which is greater: l or 1/6?
1/6
Let g = 1514 - 1434.3. Let x = g + -79.9. Which is greater: -1/40 or x?
-1/40
Let w(u) = 2*u**2 + 3*u + 3. Let d be w(-3). Suppose -270 = -3*v + d. Which is bigger: 92 or v?
v
Suppose -29*n + 35745 = -61606 + 21719. Is 2608 smaller than n?
False
Let m(x) = 75*x**2 - 130*x + 2537. Let n be m(19). Which is bigger: n or 27143?
27143
Suppose 0 = 22*j - 24*j + 4. Suppose 0 = 2*d - j*m - 22, 2*d - 48 = -m - 17. Let z be -51*d/(-183) - 4. Which is greater: 1 or z?
1
Let f(a) = 2*a**2 - 83 - a + 91 - 6*a + 0*a. Let h be f(2). Is h > 38/11?
False
Let r be (-336)/280*5/4. Which is smaller: r or -12.4?
-12.4
Let r = 1641 + -1638. Let j(v) = 6*v - 9. Let a be j(-4). Is r less than or equal to a?
False
Suppose -5*d = 2*o + o - 19, 0 = -4*o - 8. Suppose -15*w + 10*w + d = 0. Let m be 4/(-14) + w*(-4)/35. Which is smaller: -4 or m?
-4
Let o be 322/(-36) - 25/450 - -10. Is o greater than or equal to -25/167?
True
Let p be 2 - -6 - (1266/102 - 5). Is p greater than 40?
False
Suppose -4*b = -29*u + 26*u + 40, 2*b - 36 = -2*u. Suppose u*f = 559 - 2991. Which is bigger: -153 or f?
f
Suppose -5*s = -115 + 35. Suppose 5*c = 2*a + 28, -5*a + 7*a + c + s = 0. Is 6 > a?
True
Suppose 10 = -33*x + 38*x. Let i(s) = -12 - s**3 - 7*s**2 + 9*s**2 - 2*s**x + 7*s. Let l be i(-5). Is l at least 79?
False
Suppose 4*z = -3*i - 1155, -2*i + 154 + 976 = -4*z. Let n be 85/z*-3 - (-3 + 4). Let a(q) = -q + 7. Let f be a(6). Which is smaller: n or f?
n
Let a = -95 + 140. Suppose -a = 7*n - 2*n. Let u = -1966 - -1961. Is u at most as big as n?
False
Let y be 24576/84 - (6 - 2). Let b = -288 + y. Is b <= 2?
True
Let b = -8.2 - -8.08. Let y = -757/5 - -152. Which is smaller: b or y?
b
Let h = 200 - 87. Let t = -4025 + 4138. Let s = h - t. Which is greater: -8 or s?
s
Let x be (-8)/(-72)*-6 - (368/6 + 2). Which is smaller: -67 or x?
-67
Suppose 0 = j - 4*a - 123, -17*a + 14*a - 12 = 0. Is 89 greater than or equal to j?
False
Let t = 31 + -102. Let m = 75 + t. Let v be 10/m - -3*1/(-6). Which is smaller: 30/11 or v?
v
Let r = -199.283 - -199. Let d = -3.083 - r. Let g = -2.1 + 1.1. Is d < g?
True
Let u = 0.73 - -0.16. Let t = u - 29.89. Which is greater: t or -2?
-2
Let n = 6.137 - 6.188. Which is greater: 1 or n?
1
Let t(a) = -a**2 + 109*a + 1190. Let j be t(-10). Is j bigger than -4/6769?
True
Let y = -3729 + 3728. Is y at most as big as 2/25197?
True
Suppose -16*r = -33*r + 17. Is r greater than or equal to -17/41?
True
Let a = 15/103 - 727/2163. Let g = -1431/7 - -204. Let t = 22/35 + g. Which is bigger: t or a?
t
Let o = -2830.0016 + 2830. Which is smaller: -0.3 or o?
-0.3
Let u = -90 - -89. Is 2 >= u?
True
Let h = 4 - 4.1. Let q be (237 - 358) + (3 - 0). Is h > q?
True
Suppose 8*a = 4*a - p, -14 = 2*a + 4*p. Suppose -3*w - 2*o + 106 = 0, -5*o + 3*o = 5*w - 182. Let t be (-30)/w*(-6)/(-15). Which is smaller: a or t?
t
Let d be -3 + (-27)/(-7) - (-2079)/(-1911). Let j be ((-4)/3)/((-4)/(-6)). Let v be ((-3)/18)/(j/12). Do v and d have the same value?
False
Suppose 239 - 1079 = -24*t. Suppose 3*r = -t - 160. Is -64 != r?
True
Let i = -86608/4395 + 296/15. Is i smaller than 1?
True
Suppose -7*p + 5*p + 400 = 0. Suppose 0*v + v - 276 = 4*m, v + p = -3*m. Suppose -546*l = -537*l + 621. Are m and l equal?
False
Let w = 0.03 + -0.41. Let y = 0.19 + w. Let k = 0.11 + y. Which is smaller: k or 0.4?
k
Suppose -2*y + 17 + 17 = 3*o, 0 = 3*o - 2*y - 38. Is o at most as big as 55/4?
True
Suppose 4*u + 16 = -4*y, 52*y + 5*u + 8 = 51*y. Are 439 and y unequal?
True
Suppose k + 1 = 2. Let c be (-2)/k - (9 + 5 + -1). Let t be -3*c/(-250)*(-8)/(-6). Which is bigger: t or 0?
0
Let o be ((-3)/(-5))/((-222)/6660). Let u be 6 + -5 + 2 - -88. Suppose 2*z = -4*q + 7*z - u, 0 = -2*q - 5*z - 23. Is q at least as big as o?
False
Let t = 112544897/162890 - -1188/6265. Let s = 691 - t. Which is smaller: -1 or s?
-1
Let n = -2261 - -2258. Is n smaller than -16.87?
False
Let n = -5697 + 3305. Is -2391 < n?
False
Suppose -2319 = 3*s - 4*m, -s = 3*s + 2*m + 3136. Which is smaller: 0.2 or s?
s
Let j be (60/(-50))/(2/(-4) - -2). Let u = j - -7/15. Are u and 17 unequal?
True
Let w be -12 + 686/56 + (-21830)/(-8). Is 2728 at least w?
False
Let i(u) be the third derivative of 0*u - 7/24*u**4 - 23*u**2 - 2*u**3 + 0 - 1/60*u**5. Let s be i(-4). Which is greater: -1/69 or s?
s
Let q = 0.02 - -45.98. Let a = q - 46.231. Let m = -0.031 - a. Which is smaller: 3 or m?
m
Let b be 132/45 - 1 - (-183)/2745. Let w be 0 + (-2 - (140 + -1)). Is b <= w?
False
Let l = 284681 - 78856781/277. Is -1 at least as big as l?
False
Let v(f) = -99*f**2 + 0*f - 3*f + 95*f**2 - 2 + f**3. Let a(s) = s**2 - 4*s. Let y be a(5). Let u be v(y). Is u smaller than 17/2?
True
Let u = -30364 + 49401. Which is smaller: -2/3 or u?
-2/3
Suppose -1154 = 10*y + 1050 - 774. Are -1300/9 and y equal?
False
Let s be ((-1275)/(-106))/(87/(-24)). Let d = 132/53 + s. Which is smaller: -2 or d?
-2
Let b be (-1328)/39*(-6)/34. Let j = -110/17 + b. Let u(y) = 2*y**3 - 5*y**2 - 10*y - 4. Let g be u(-1). Which is greater: j or g?
j
Let w(l) = -23*l + 145. Let u be w(5).