- 1/60*j**5 + 0*j + 5/3*j**3. Let y be r(6). Are y and -2 equal?
True
Let a be (26/6 + -9)*(-1164)/14. Which is smaller: 389 or a?
a
Let p(a) = 4*a + 55. Let z be p(-31). Let n = -75 - z. Let f be 34 + (-2)/3*n. Which is smaller: 37 or f?
37
Suppose -10*b = 7*b - 51. Let y be 10 + -10 - (534/(-4))/b. Which is smaller: y or 44?
44
Suppose -2*f - 4*n = -256, -2*f + 118 + 142 = 2*n. Are f and 133 non-equal?
True
Let s be (-6*7/35)/((-41093)/145). Is -2 < s?
True
Suppose -47*d - 2*r = -42*d + 105, -4*d - 4*r = 72. Is d greater than or equal to 255?
False
Let p be 8*117/24 - 1*-7. Let r(w) = 6*w**2 - 5*w - 3. Let j be r(-3). Suppose -3*m + 2*a = -p, -a + j = 5*m + a. Is m smaller than 55/4?
False
Let z = 720 - 719. Suppose 3*l - 7*l = -96. Which is smaller: l or z?
z
Let u be 9335/(-15) - (-40)/4. Is u equal to -612?
False
Suppose -627 = -4*b - 5*t, b + 6*t - 183 = 10*t. Let z = 164 - b. Which is smaller: 2/55 or z?
2/55
Let z be 19/1 + (-3)/9*-3. Suppose -z*y + 344 = -16*y. Let l be y/18 + -6*(-5)/(-10). Is 2 <= l?
False
Let x be 2020/(-14)*105/(-684). Let j = x - -83/38. Suppose 793 + 1158 - 134 = 79*s. Which is bigger: s or j?
j
Suppose 4*k = -5*w - 26, 4*w + 2*k = -27 + 5. Let n be (-48)/32 - (-443)/w. Which is bigger: -76 or n?
n
Let g(d) be the second derivative of -d**4/24 - 7*d**3/2 - d**2/2 + 7*d. Let l(f) be the first derivative of g(f). Let u be l(-18). Which is smaller: -5/2 or u?
u
Let y = 31063.5 + -31063.3. Let u = 10281 + -10327.23. Let g = 46 + u. Which is smaller: g or y?
g
Let x be (-5 - -3)/((-34)/267257). Is 15722 smaller than x?
False
Let m = 6.211 - -2.789. Which is smaller: 46 or m?
m
Let b be 6/(-9) - (-34)/(-3). Let u be (b*1/(-66))/(2/(-5)). Which is smaller: 0 or u?
u
Let b be (110/6)/(9/135). Suppose -251 = 3*k + 4*c, 2*k + k - 2*c + b = 0. Is -88 at least as big as k?
True
Let u be (-22)/(-8 + (-105)/(-14)). Suppose u = 27*i + 125. Which is smaller: i or -25/12?
i
Let m(t) = -t**2 - t + 2. Let s be m(2). Let g be s*(32/18 - 2). Let a = 3255 - 3255. Which is smaller: g or a?
a
Let s = -0.06819 - -6.36819. Which is smaller: s or 2/3?
2/3
Let c be (18 - 107)/((-1)/3). Let d = c - 277. Which is smaller: d or -24?
-24
Let p = -2258.1 - -2258. Which is bigger: -40.4 or p?
p
Let a = -462410/8551 - -919/17. Is a smaller than -1?
False
Let u be (2891/826)/(0 + 1/22). Are u and 77 nonequal?
False
Suppose 3*o = p + 12, p - 1 = -3*o + 11. Let c = 16 + p. Let a = -1367 - -1383. Is c greater than a?
False
Let l = -1514/3 - -504. Is l >= 144/5?
False
Suppose -25*x = 6059 - 9518 - 8266. Is 466 at most x?
True
Let l = 3 - 1. Let y(g) = 23*g**2 - 595*g - 23. Let b be y(26). Which is bigger: l or b?
b
Let n = 19138.2 - 19138. Let g(a) = -3*a**3 + a**2. Let r be g(1). Which is greater: n or r?
n
Let m = -625 + 629. Let y be (4 + -2 + -1)/(m/8). Are 3/5 and y non-equal?
True
Let w be (-5 + 4)*2 + 137809/4. Let v = w - 34768. Let k = -320 - v. Is k > -1/3?
False
Let c = 2.6366 + -5.1366. Is c at most as big as 18.3?
True
Let b(c) = 4 - 2*c**3 + 5 + c**3 - 91*c**2 - 24*c + 102*c**2. Let z be b(8). Suppose -z + 15 = -h. Which is smaller: h or -22/3?
-22/3
Let m = -0.22 + 0.15. Let b = 1318 - 1326. Is m less than b?
False
Let s(y) = -y**3 - y + 1. Let p(g) = 6*g**3 + 3*g**2 + 7*g - 13. Let o(r) = p(r) + 5*s(r). Let n be o(-4). Which is smaller: -31 or n?
n
Let i be (1 - -5)*8/(-12). Let s be (-67 - (-5 + 3)) + i/2. Let j = s - -88. Which is smaller: j or 23?
j
Let g = 3626085323/74 + -49000391. Let j = -2359 - -1597. Let s = j + g. Is s at most 0?
False
Let l = 5696 - 5696.2. Is l <= -0.4773?
False
Let p = 2290 - 2518. Which is smaller: p or 2/13?
p
Let v = -100 + 67. Let k be -1 + 1 + (-3)/((-27)/v). Suppose -2*r + 3*r + 19 = 3*g, 0 = -r + 4*g - 24. Which is greater: k or r?
k
Suppose -4*d + 8 + 4 = 4*x, 0 = -4*d + 5*x + 12. Suppose 5*w = d*w + 3*y - 39, 19 = -w + y. Is w less than or equal to -18?
True
Let h = -10.6 + 1.6. Let o = 936917 + -936896. Which is greater: h or o?
o
Let f = 216 + -198. Let v be (12/(216/f))/((-1)/22). Which is smaller: v or -31?
-31
Let o = 70799/101 - 701. Let f be 1*((216/(-72))/(1/3) - -8). Which is bigger: f or o?
o
Suppose u + 0 + 6 = 0. Let d be (92/(-3))/(2/u). Let f(m) = 10*m**3 - 979*m**2 - 88*m - 888. Let x be f(98). Do d and x have the same value?
True
Let i(m) = 3*m**3 - 19*m**2 - 22*m - 3. Let a(b) = -7*b**3 + 38*b**2 + 45*b + 7. Let q(s) = -4*a(s) - 9*i(s). Let z be q(-18). Which is bigger: z or 12/29?
12/29
Let j = 277.4 + 783.6. Is j less than 5?
False
Suppose -3*x + 4*f + 2895 = 0, 4*x - f - 1976 - 1858 = 0. Which is smaller: x or 3827/4?
3827/4
Let o = -2.1 - -2. Let n = 241/6076 + -6/1519. Which is smaller: n or o?
o
Let b be 84 + (-3 - 1)*2/4. Suppose -3*p + 0*l - 66 = -3*l, 0 = -4*p + 2*l - b. Which is bigger: -14 or p?
-14
Let a(h) = -h + 5*h + 7 + 12 - 14. Let t be a(-8). Let w be (-1 + -1)/2 - 81/t. Is -3 smaller than w?
True
Let n = 4155517/620 + -26811/4. Let q = 3/31 - n. Let r(w) = -w + 3. Let z be r(4). Are z and q equal?
False
Let r(x) = -x**2 + x - 1. Let w(s) = 3*s**2 + 14*s - 27. Let m(h) = 4*r(h) + w(h). Let p be m(2). Which is greater: -10/77 or p?
p
Let m = 175 + -173. Let s be (-6)/2*-1 + 4/(-3). Which is smaller: m or s?
s
Let f be 2*1063 + 35/((-595)/51). Is f at least as big as 2127?
False
Let i = -17.76 - 109.24. Which is bigger: -4 or i?
-4
Suppose 3*m + 4*d - d + 2619 = 0, 6 = -3*d. Is -871 less than m?
False
Let a = 2238 + -2234. Which is bigger: 117/40 or a?
a
Let s = -8.82 - -9. Let m = s + 0.12. Let a = 32.7 + m. Which is bigger: 1 or a?
a
Suppose -290 - 249 = 7*c. Suppose 2*a + 4 = -0*a, 0 = -2*k - 2*a + 162. Let h = k + c. Which is smaller: h or 4?
4
Suppose -13*y + 49*y + 76860 = 0. Which is smaller: y or -2134?
y
Let h = -9320 + 9303. Is 0 at least as big as h?
True
Let j = -18.4 + -170.6. Let c = j - -188. Which is smaller: 7/2 or c?
c
Let v = -83.03 - -83.53. Is -25/17 less than or equal to v?
True
Let z be (5/(-10))/(9/(-6)*120/(-144)). Which is smaller: z or 2/333?
z
Let o = -19830/91 - -2844/13. Is o greater than -0.09?
True
Let i = -63 + 70. Let b = i - 13. Let h(n) = -n**2 - 7*n + 18. Let l be h(b). Is l less than 24?
False
Let j = 8378 + -8379. Are -143/63 and j nonequal?
True
Let l = -57/11 - -1357/264. Let v = -627 + 626. Are v and l unequal?
True
Suppose 177 = 4*m - o + 288, 85 = -3*m + o. Which is smaller: -187/7 or m?
-187/7
Let x be ((-15)/(-5))/(90/150). Which is smaller: x or -397?
-397
Let q(h) = 108*h + 3. Let o be q(-2). Let r be 6/(o/30 + 12/(-30)). Is -2 < r?
True
Let k be ((-559)/65 + 8)*(-45)/(-1524). Which is smaller: k or -1?
-1
Let r(b) = -54*b**2 + 66*b + 484. Let y be r(-6). Are -1855 and y unequal?
True
Suppose -3*c + 0*c = -3, -2*w + 5*c - 157 = 0. Let m = 55 + w. Let g = m + 22. Is g at least as big as 2/11?
True
Let m = -107 - -131. Suppose 2*i + 2*f + m = 6*i, 15 = i + 4*f. Suppose 2*v - 4 = 3*l, 3*v + 1 = -5*l + i. Is l >= -3/5?
True
Suppose 69 = -0*u + 3*u. Let f(b) = -b**3 - 23*b**2 - 24*b + 15. Let m be f(-21). Let t = m + 389. Which is greater: t or u?
t
Let f(t) = -t**3 - 18*t**2 + 39*t - 14. Let r be f(-20). Let s(i) = -54*i + 190. Let b be s(r). Are -135 and b non-equal?
True
Suppose t - 739 = 2*j - 0*j, -3*t = -4*j - 2211. Is t at most as big as 733?
True
Let m be ((-775)/(-837) - 1) + (-163533)/81. Which is bigger: -2014 or m?
-2014
Let c be (-408)/(-6) + -8 - -1*5. Which is smaller: 58 or c?
58
Let j be (1 - 46/(-182))/(18/1134). Which is greater: j or -1?
j
Let t = 2/4431 + 1351433/48741. Which is smaller: t or -0.2?
-0.2
Let x = 750 - 750.05. Which is smaller: x or 143?
x
Let b = -450 - 170. Let l = b - -622.21. Which is greater: 1/4 or l?
l
Suppose 30 + 18 = -12*i. Let s be (0 + 1)/((i - -2) + 0). Let j = 9 - 8. Is j equal to s?
False
Let i(x) = -32*x + 5. Let j be i(4). Let c = -31 - j. Suppose -c = -2*r - 90. Is r at most 5/21?
False
Suppose -123*a + 40914 = -31*a - 7386. Which is smaller: 523 or a?
523
Let p = -3986 + 3990. Which is smaller: p or 47?
p
Let g be (11/22)/((-2)/(-12)). Let a be g/4 - 4/(-16). Let x = -5/109 + -73/3161. Is x bigger than a?
False
Let d be 8/(-286) + 18/99. Let j(g) = -g - 41. Let l be j(-23). Let v be (-9)/l*3*24/63. Is d less than v?
True
Suppose 76*x - 36*x = 25*x - 91200. Is x >=