- 2*d**2 - d - 8. Let g be l(6). Which is smaller: b or g?
b
Let i be 0 + (2/(-4) - 1)*2720/(-347820). Which is bigger: i or -1?
i
Let w be -8*(-1)/24*3*-13. Is -71 >= w?
False
Let l be (0 + (-4)/(-4 - 0))*0. Suppose -o - 2 - 2 = l. Let p be o/((-16)/(-60))*-5. Is 75 at least as big as p?
True
Let a(q) = -33*q - 1914. Let k be a(-58). Is -2/219 bigger than k?
False
Let i = 2594/9 + -1053167/3654. Is i at least -1?
True
Suppose -43039 = -20*k + 2221. Which is greater: k or -1?
k
Let g = -579.02745 + 0.02745. Which is bigger: 1 or g?
1
Suppose 27*w - 2*n = 31*w - 1496, 4*w - 2*n - 1472 = 0. Let z = 495 + -125. Is w at most as big as z?
False
Let j(h) = h**3 + 5*h**2 - 7*h. Let k be j(-6). Suppose 3*f = 6*f - k, 2*v = -3*f + 4. Let p = 82/919 + -12020/155311. Which is smaller: v or p?
v
Let k = 1117 - 1135. Which is smaller: k or -12?
k
Let p be -3 + (-5035 - (3 - -5)/4). Let n be ((-2)/28*241)/((-1288)/p). Let j = n + 470/7. Which is greater: 0 or j?
0
Suppose 6*w + w + 196 = 0. Let a be 5 - 1 - (184/w)/(-2). Suppose 0 = 3*r - 0 - 6. Which is smaller: r or a?
a
Let y be 9 + -8 + 4 + (-549 - -1). Let i(f) = 18*f - 346. Let m be i(-11). Which is greater: y or m?
y
Let k(w) be the third derivative of w**6/120 + w**5/4 - 35*w**4/24 - 10*w**3/3 + 24*w**2. Let r be k(-17). Let o be ((-11)/4)/1 + 0. Which is bigger: r or o?
o
Let l = -3383353/198 - -189105/11. Let a = l + -207/2. Let c = -0.0444 + 18.0444. Which is smaller: c or a?
a
Let g = -31.66 - 3.94. Let y = -58.6 - g. Is y < 4?
True
Let x be (-9)/15 + (10 - (-24)/(-15)*-1861). Which is smaller: x or 2993?
x
Let g(y) = -231*y**2 + 2223*y + 2. Let c be g(10). Are -869 and c equal?
False
Suppose 5*m + 4*n = 2, -3*m = m + 4*n. Let u = -447914/119 - -3764. Is m < u?
False
Let k = -958.16 - -975. Let m = 16.9 - k. Which is smaller: 12 or m?
m
Let x = -15777 + 15793. Which is smaller: 15 or x?
15
Let x = -16166 - -16165. Is 16305 greater than or equal to x?
True
Let m be ((-396)/200 - 1) + 3. Let n(o) be the second derivative of -o**5/20 - o**4/4 + o**3/6 + 3*o**2/2 + 8*o. Let l be n(-3). Do l and m have the same value?
False
Suppose 0 = 5*r + 762 - 772. Suppose -5*n = -5*y + 458 + 62, 0 = r*y + 4*n - 232. Is -0.1 smaller than y?
True
Suppose -2*w + 3*t + 27 = 3*w, 4*t = -5*w - 1. Let s be (5/(-120)*4)/w. Is -6 at least s?
False
Let s = -334 - -322. Let a be 3/(-9)*s/(-4). Is -1/17 bigger than a?
True
Let b = 5578 + -5571. Is -2/107 less than b?
True
Let a = -3.56 + 2. Let n = -1.46 - a. Which is bigger: n or 7/5?
7/5
Let m = 16104 - 15891. Is m greater than 2335/11?
True
Suppose 6*t - 2*t = 3*a - 6, 5*a = -2*t + 10. Suppose -a*b = -17 - 25. Let m be 4640/210 + 1/(-21)*2. Are b and m equal?
False
Suppose 5*b - 24*x - 2889 = -22*x, 0 = -2*b + x + 1156. Let f = b - 6348/11. Which is greater: f or -0.08?
-0.08
Let u be -5 + (14 - 12) + 2 + 1. Do u and -1/10903 have different values?
True
Let g = 11164/711 - 142/9. Let x = g - -3020/237. Which is smaller: x or 13?
x
Suppose 4*r - i - 98 = 0, -2*r - 3*r + 133 = 4*i. Let b be 2/(-1) - (r + -24). Is b < -3?
False
Suppose 0 = k + 4, 0 = 3*a + 2*k - 16 - 135. Suppose -a = 5*c - c + q, -5*q = -c - 29. Let y = 13 + c. Which is bigger: -4 or y?
y
Let i(l) = -l**2 - 6*l - 11. Suppose 3*f = 3, 3*j - 4*f + 8 = -17. Let n be i(j). Let c be (2/n)/(3/18*-2). Which is bigger: c or -0.02?
c
Let h = -48 + 83. Let g = h - 33. Suppose -3*z = 4*w - g*z, 3*z + 15 = 3*w. Which is smaller: 2 or w?
w
Let l be (-25)/50 - (-3092)/8*-1. Which is smaller: l or -382?
l
Let z be (9184/(-852))/(-2)*18. Let f(v) = -v**2 + 3. Let w be f(-10). Let h = z + w. Which is smaller: h or 0?
0
Let i be (-2 + (-5)/(-3))*-3. Let f be -115 + (-2)/(-2) + 4. Let a be f/(-66) - 94/60. Which is greater: a or i?
i
Let r(w) = 20*w**2 - 2*w + 48. Let u be r(-5). Let k = 508 - u. Which is smaller: -47 or k?
k
Let v = 24.29 - 23.3. Let l = v - -4.01. Are -15 and l equal?
False
Let w = 160 - 141. Suppose -9*i - w*i = 0. Is i equal to 3/74?
False
Suppose 0 = 6*h + 81 - 345. Suppose a = -5*p + h + 14, 0 = -4*p + 3*a + 54. Which is greater: p or 16?
16
Let s = 8.8 + -8.9. Is 11.79 bigger than s?
True
Let h be ((-2)/(-60))/((-9114)/(-4650)). Which is greater: -1 or h?
h
Let n = -338 + 374. Let x be ((57/n)/19)/(2/6). Which is greater: x or 0.008?
x
Let y(j) = 7*j - 6. Let d be y(2). Let x(q) = 2*q**2 - 13*q + 9. Let o be x(d). Suppose -8*u + 5*u = o. Is u less than or equal to -10?
True
Suppose 5*f - 44 = -2*g, g - 3 = f + 5. Suppose 3*z = -3*p - z + 75, -4*z = -g. Which is greater: 19 or p?
p
Let m = 52 - -19. Let n = -9.3 + 9.4. Is m smaller than n?
False
Let b = -89.2 - -57.81. Which is smaller: -2 or b?
b
Let h = -564 - -212. Is -5/4 > h?
True
Let k(g) = -2*g + 9. Let p be k(5). Suppose 2*o - 6*o - 1 = -t, 2 = 2*t + 4*o. Let f be t/(5/(-75)*-3). Which is greater: p or f?
f
Let c(n) = -n**3 - 3*n**2 + 4*n + 1. Let w be c(-4). Let f be 4730/(-154) - (-10)/(-35). Let o be 1 + 4 - (-16 - (13 + f)). Is o < w?
False
Suppose -366*i + 4*h = -360*i + 4358, -3625 = 5*i - 5*h. Which is smaller: i or -732?
-732
Let g = 1282.7 - 1273. Is -4.1 greater than or equal to g?
False
Suppose -3*d - 3 = -3*m, -4*m - 5*d - 164 + 159 = 0. Let c = -569/6 + 60895/642. Are m and c equal?
False
Let j = -0.0701 - 2.9884. Let h = j - -0.0585. Which is bigger: -36 or h?
h
Let w be 1394/82 + 42*-2. Which is greater: w or -66?
-66
Let z be (11470/(-40))/31 - -9. Does z = 10958?
False
Let h be 2 + 0 - 2 - 4. Let j be (-3)/h*(-1)/((-15)/20). Let f be ((-3)/34)/(8/16). Which is smaller: j or f?
f
Let c = 546284/17 + -32134. Let w be (2 - 4/3)*3. Suppose 0*v + 2*v + w = 0. Is v bigger than c?
False
Suppose 6*f + 25293 = 2*w + 11*f, -5*w - 4*f + 63173 = 0. Is w not equal to 12630?
True
Let l(b) = 2*b**2 + 59*b - 122. Let j be l(-22). Which is smaller: -456 or j?
-456
Let g = 0.279 - 0.463. Let o = g - -0.184. Is o at least as big as 35?
False
Suppose -44*q = -42*q + 6. Let a be q/54*6/4. Is 1 > a?
True
Let i = -1042 + 1042. Which is smaller: 20/437 or i?
i
Let s = -18604.458 + -2200.932. Let x = 20932 + s. Let d = x - 127. Which is greater: d or 1?
1
Let o(h) = -5*h - 1. Suppose 0 = 4*r + 4, -3*n + 11 = 2*n + 4*r. Suppose -n*w = -3 - 0. Let f be o(w). Is -1 at least f?
True
Let h be (-4)/18 - 30/(-135). Let y = 27 + -5. Let n = y + -38. Which is smaller: h or n?
n
Suppose -2*c = -4*c + 480. Suppose c - 135 = 5*u. Is u < 1?
False
Let k = 36.7 - 52. Let w = k + 17.3. Which is smaller: -24 or w?
-24
Let i = 227 + -235. Let o = i - 133. Which is smaller: -2/5 or o?
o
Let g = -1288 + 1287.88. Is g at least -1/144?
False
Let i = -147 - -197. Let o be 5/(i/(-8)) - (-468)/910. Which is smaller: -38/5 or o?
-38/5
Let i = 240.9 + -241. Which is bigger: i or 64.1?
64.1
Let h be (2920/(-80) + 36)/(((-1)/(-4020))/1). Which is bigger: h or -2009?
-2009
Let q be 2*(-2)/(16/(-60)). Let t = q + -16. Let m be (30/2)/(t/(-1)). Is 14 less than or equal to m?
True
Suppose 0 = 6*c + 73 + 5. Let u(d) = 70*d - 564. Let s be u(8). Which is greater: c or s?
s
Suppose 5*k - 21 = -4*n + 8, 2*n - 10 = 2*k. Which is greater: k or 1/653?
k
Suppose -25*a - 7471 - 40369 = -2740. Are a and -1804 non-equal?
False
Suppose 3*u - u - 244 = -4*r, -20 = -4*r. Let t be 4/(-10)*16/(u/(-105)). Let o be (2/(-8) + -2)*-2. Which is greater: t or o?
t
Suppose -v = -11*v - 740. Let l = v - 218. Is l greater than or equal to -292?
True
Suppose 3*w - 2*v = 3*v + 22013, -2*v = 2*w - 14718. Does w = 7350?
False
Let u(n) = -3*n**2 + 4*n + 1. Let f be u(3). Let b(a) = 7*a + 24. Let t be b(f). Which is smaller: t or -75?
-75
Let g(j) = 21*j**2 + 10*j - 110. Let i be g(6). Are 706 and i non-equal?
False
Let u = -3200 + 3201. Is -8/317 less than or equal to u?
True
Let c be 96/(-21) + 4 - (18 + -25)/98. Let n(j) = -18*j - 2. Let g be n(1). Is c smaller than g?
False
Let u be (-1)/(-9) - 280/(-315). Are -9/4393 and u unequal?
True
Let a be 0/((1*-2)/(-2)). Suppose 0 = 13*f - 299 - 247. Suppose 2*i - 40 + f = a. Is i < 1/167?
True
Let m be 1*(-25)/(-4690)*14. Is 5 greater than or equal to m?
True
Let u = -186 - -99. Let r = 1646 + -1519. Let z = u + r. Is z less than 41?
True
Let j = 583 + -587. Suppose -5*s + 6*s - 6 = 0. Let r be (s/j)/3*(-360)/(-78). Are r and -3 unequal?
True
Let n = 16103 - 1611