95 - 34.95. Which is bigger: 3/5 or j?
j
Let w be 4/10 + -8 + (-776)/(-60). Let h(v) = v**3 + 6*v**2 - 4. Let i be h(-6). Let q be ((-10)/3)/(i/6). Which is smaller: w or q?
q
Let o be ((-27)/(-6))/((-12)/(-452)). Let d be (-5 + 4 + (-10)/(-25))*295. Let b = d + o. Is -7 smaller than b?
False
Let h(p) be the third derivative of 5*p**4/12 + 3*p**3 + 34*p**2. Let t be h(4). Suppose t*m = 61*m + 39. Which is bigger: -11 or m?
-11
Let k = 25 + -24.974. Let y = -405.074 - -405. Let x = y - k. Does x = -15/4?
False
Let t be (40 - 27)/(((-9)/(-159))/(-3)). Which is greater: -687 or t?
-687
Let g = -1055 - -1058. Let t = 310/11 + -28. Which is smaller: g or t?
t
Suppose 3*w + 5344 = -2*v, 2*v = w + 9*v + 1756. Is w equal to -1784?
True
Let f = -2/16625 - -25951633/66500. Let y = f - 402. Is -11 equal to y?
False
Let v be 111/1443 + (-125)/(-65) + -1. Suppose -5*y + 12 + 8 = 0. Let g = y - -22. Which is greater: g or v?
g
Let f = -11417436/189145 + -4/17195. Which is smaller: f or -59?
f
Let x(s) be the second derivative of s**4/6 - 7*s**3/6 - 3*s**2/2 + 6*s. Let u be x(6). Suppose 0 = -22*l + u*l. Which is bigger: 3/4 or l?
3/4
Suppose 70621*p - 44 = 70665*p. Is 3/1439 >= p?
True
Let q = -352 + 127. Let h = 909/4 + q. Which is smaller: 1 or h?
1
Let u(b) = -b**2 - 11*b + 64. Suppose t - 20 = j, -2 = 2*j + 2*t + 18. Let d be u(j). Is d less than or equal to 4?
True
Let s(f) = f**3 + 35*f**2 + 174*f - 11. Let r be s(-6). Is r less than -19?
False
Let t = -0.01162 - -0.21162. Are 3577 and t nonequal?
True
Let m = 18 + -22. Let f = -5 - m. Let u be -1 - (f + -3 + 6)*-1. Is -2/141 bigger than u?
False
Suppose -m + 195 = 193. Suppose 4*q + 3*g - 43 = -m*g, q + 8 = -5*g. Is 17 > q?
False
Let h = 10499/7 - 185657/126. Let j = h + -157/6. Does j = 233?
False
Let c = 275.65 + -273. Let d = 2.51 - c. Are d and -6 nonequal?
True
Let m be 7906/(-28112) + (-52)/(-182). Let g = m + 208679/34136. Which is bigger: 7 or g?
7
Suppose 20*b - 3905 = -8905. Is b <= -2756/11?
False
Let h = -164 - -168. Suppose -8 = -h*f - 4*s, -2*f + 4*f + 4*s - 10 = 0. Is -2/263 > f?
True
Suppose 0 = -s - 1, -55 = 3*p - 0*s - 2*s. Suppose 15*z + 7*z - 18282 = 0. Let u = z - 852. Is u less than p?
True
Let o be (132/154 + 67/(-70))*-1. Is o equal to 12?
False
Let u = -141846297/1635349 - -5291/61. Is 1 greater than u?
True
Let k(b) = 2*b**2 + 22*b + 60. Let n be k(-14). Suppose 33*v = 25*v - n. Let f = v - -16. Are 0 and f non-equal?
True
Let m = 2370637/62 - 38235. Is 1 not equal to m?
True
Let i = -5186 + 8831. Let t be (18/(-10) - -2) + i/(-17100). Is t < -0.1?
False
Suppose 6*o - 667 = -139. Let i = -117 + o. Is -29 at least as big as i?
True
Let d be (28/(-406))/((-42)/(-252)). Suppose 4*k = -s - 4, -2*k + 5*s = -7*k - 5. Is d at most k?
False
Suppose 0 = -7*d - 2*v + 14, 4*v - 28 = -2*d + 6*d. Let w be (-4)/(-4)*(-5)/31. Which is greater: w or d?
d
Let i = 0.11 - 8.11. Let s = -1294.154 + 1296. Let n = s + 0.154. Is n > i?
True
Let x be (-20)/50 + (-59)/(-170). Which is greater: x or 0?
0
Suppose 1050 = 2*m - 2*n, -3*m - 4*n = -1025 - 536. Let v = -538 + m. Which is smaller: v or -0.03?
v
Let k = 234 - 223. Suppose k*i + 20 = 42. Which is smaller: i or -73?
-73
Let z = 188.4 - 185. Let s = -2.4 + z. Is 1/54 at least s?
False
Suppose -2*b + 54 + 58 = 0. Suppose -4*f + 8 = -b. Suppose -f*d + 11*d - 455 = 0. Is -91 at least d?
True
Suppose -5*i + 0*i - l = -12, -4*i - l + 10 = 0. Suppose -r + 4*z - i*z = -11, -20 = 5*z. Which is smaller: -1 or r?
-1
Let b(o) = 3*o - 3. Let t be b(1). Let q be (-30)/3828*-803498 + -2. Let v = q + -6295. Is v bigger than t?
True
Suppose 0 = -5*u + 110 + 110. Suppose 3480 = -67*j - 20*j. Let t = j + u. Is 3 bigger than t?
False
Let q = -1.852 + 1.935. Is 39 greater than q?
True
Let u = 19937 + -20009. Is u equal to -567/8?
False
Let w = -17008 + 16527. Are w and -511 unequal?
True
Let d(b) = -3*b**2 - 3*b + 2. Let p be d(1). Let i be p/6 - 5580/(-27). Which is greater: 207 or i?
207
Let r(o) be the third derivative of o**6/120 + o**5/6 + 13*o**4/12 - 7*o**3/6 - 86*o**2. Let m be r(-6). Is -19 equal to m?
True
Let h = -1.08 - 0.92. Let g = 64 - 31. Let x = -49 + g. Is x at most h?
True
Let t be (-579)/1 + (-32 - -28). Let n = -571 - t. Is n != 13?
True
Let q be (-2)/(-103)*(-3 + 2). Let m(z) = -3*z - 64. Let a(p) = -p**3 + 8*p**2 - 9*p - 7. Let u be a(7). Let l be m(u). Is l > q?
False
Let g(m) be the second derivative of -21*m**3/2 - 79*m**2/2 + 2*m - 14. Let c be g(-7). Is c at most 362?
True
Let t = -159 + 108. Let c be 1/(-4) - (-13)/52. Suppose 2*r + 6 = c, 34 = 4*a + r + 241. Is a smaller than t?
False
Suppose 5*y + 1372 + 2128 = -5*f, -f = 2*y + 695. Let v be ((-5)/(-15))/(1/f). Which is greater: v or -236?
v
Suppose h + 1 = 2. Let o be ((-6)/365*-1)/((-84)/560). Is o less than or equal to h?
True
Let y = -8808 - -140927/16. Suppose 0 = -5*c - s + 6 + 3, 5*s = -4*c + 3. Is y >= c?
False
Let v be ((-148)/259)/(3/(48/152)). Which is smaller: v or -0.1?
-0.1
Suppose 0 = 2*j - 5*l - 1168, 2*j - l - 507 = 669. Let z = -477 + j. Which is bigger: z or -2?
z
Let w = -124 + 128. Suppose -2*a - 2 = w*h - 0*a, 2*h = 2*a + 2. Let i = 11/4 - 293/108. Is h smaller than i?
True
Let n(d) = -27*d + 4331. Let o be n(71). Is 2414 greater than o?
False
Let n = 224 + -263.8. Let o = 9.2 - n. Let m = 48.8 - o. Is m at least -2/3?
True
Let w be ((-1)/8 + (7 - 8))*20/(-37200). Which is smaller: w or 0?
0
Let t = 2095.1 + -2100.5. Which is smaller: -0.1 or t?
t
Let z = 18737/9 - 2079. Let y = -2 - -4. Let i = y + 1. Is i at most z?
False
Let n = -159184/25 - -6298. Does n = -69?
False
Let y = 15.62 + -16.02. Are y and -10.93 equal?
False
Let m(h) = 14*h - 58. Let d be m(4). Which is bigger: -1403 or d?
d
Suppose 0 = -35*o + 34*o - 4. Let a be -7 - (5 + 76/o). Let q = 4914/5 - 977. Do q and a have different values?
True
Let k(j) = 76*j + 442. Let w be k(-6). Let h be (-3978)/7007 + (-8)/w. Is h smaller than -1?
False
Suppose -24 = q + 16. Let m = -500 + 543. Let h = m + q. Which is greater: 15/4 or h?
15/4
Let b be (-62)/(-403) - ((-12728)/21021)/(-4). Which is bigger: b or 0?
b
Let z be (-1)/2*(-4)/30. Suppose 11*t + 4*f = 14*t - 12, -3*t - 21*f = 63. Which is smaller: z or t?
t
Let z = 8.9 + -3.6. Let y = 3.3 - z. Let x = -0.4 + -1.6. Is x less than y?
False
Let i = -91161/4 + 22782. Is -7 at least as big as i?
True
Suppose 100 = 18*j - 20*j. Let n = 54 + j. Let o be n/14 + (-26)/(-7). Is o at most -8?
False
Let r(u) = u**3 - u + 1. Let j(i) = 2*i**3 - 18*i**2 - 16*i + 29. Let v(z) = -j(z) + 3*r(z). Let s be v(-17). Which is smaller: s or 128/3?
s
Let l be (-54)/9 - (7 + 2/2). Let v = 128 - 124.96. Let m = v - 0.04. Which is greater: l or m?
m
Let u(a) = 4*a - 71. Let h be u(4). Let c be (-4)/16*-55*-4. Is c smaller than h?
False
Let m(s) = -8*s**2 + 2185*s**3 - 14*s - 7*s**2 - 2186*s**3. Let a be m(-14). Which is smaller: 1/268 or a?
a
Let i be 4/((-4)/3) - -5 - -25. Suppose -4*m = 2*y - 12, -m = 4*m. Suppose 0 = -2*s + 50 + y. Which is greater: i or s?
s
Let r = 6980 - 10734. Do r and -3753 have the same value?
False
Let m(o) = -o**2 + 114*o + 1835. Let r be m(127). Which is greater: 11 or r?
r
Let a be (-6)/(-1) + ((-40)/126)/((-318)/(-17437)). Which is greater: a or -12?
a
Let r = 22364 - 9637. Is r >= 12727?
True
Let q(m) = 10*m + 301. Let v be q(-30). Do -7/1115 and v have the same value?
False
Let t be (-18)/24*9/(-27) + (-2716)/32. Which is smaller: -86 or t?
-86
Let i be 20/(-25) - (-27876)/45. Is i at least as big as 620?
False
Suppose 5*b - 3*b = 4*l - 2, -5*l = 5*b - 25. Suppose -5*h - 212 = 2*s, b*h + 240 = 4*s + 690. Are s and -111 non-equal?
False
Let h = 2.753 - -0.047. Let s = h + -70.8. Let c = 67.8 + s. Are c and 1/3 equal?
False
Let q = -11 - -18. Let k(w) = -w**2 - 2*w + 16. Let g(o) = -2*o**2 + 12*o - 20. Let u be g(2). Let t be k(u). Which is greater: t or q?
t
Let a = 3238 + -10304. Let w = a - -77656/11. Let y be (-40)/7 + (-52)/(-14) + -4. Which is bigger: y or w?
y
Let d(x) = x - 3. Let y be d(0). Let p(g) = g**3 - 10*g**2 + 33*g - 86. Let l be p(7). Is l > y?
True
Suppose 5*b + 5*k + 2356 + 6369 = 0, 8726 = -5*b - 4*k. Which is smaller: -1745 or b?
b
Suppose 5*t = 3*t. Suppose 3*a - 1 - 2 = t. Let s = 26149/69 + -379. Do s and a have the same