= -6/31 + s. Which is smaller: 11 or x?
x
Let f be (-9)/(45/2)*(-97 - -2). Suppose 4*l + 4*k - 132 = 0, -2*l - 5*k + 72 = -4*k. Is l at least f?
True
Let f = -222 - -234. Suppose -15*x = f*x + 11556. Is -428 greater than or equal to x?
True
Suppose -6*g - 653 = -671. Let z be (7/g)/(-1) + (-8)/(-6). Which is greater: z or 9?
9
Let f be (4/(-6))/((-4589)/(-351) - 13). Let z = -10 + 4. Do f and z have different values?
True
Let v(o) = 5*o**2 - 5*o + 17. Let y(b) = 4*b**2 - 4*b + 15. Let d(z) = 5*v(z) - 6*y(z). Let t be d(3). Is 8/11 greater than or equal to t?
False
Let g = -16 + 14. Let j be (-3)/(g + (-2)/(-12)). Suppose -6*r = -8 - 10. Which is greater: j or r?
r
Suppose -k - 60 = 60. Let i be 2*7/18*k/100. Which is smaller: -1/2 or i?
i
Let n = -161.9512 + -1.0488. Let t = 0.4 - 0.3. Are n and t nonequal?
True
Let c = 445534/3 - 150155. Which is smaller: c or -1643?
c
Suppose 24*j + 4372 = 2092. Let i(f) = 3*f**3 - 3*f**2 + 6*f - 5. Let k be i(4). Let y = 67 - k. Is y >= j?
False
Let j(t) = -23*t - 51. Let q be j(-4). Suppose 0 = 2*i + q + 5. Are i and -73/3 equal?
False
Let z = -5 + 2.55. Let k = -2.95 - z. Which is greater: -0.8 or k?
k
Let a = 46.6 + -78.7. Let i = 23.9 - a. Is i at least as big as 2/3?
True
Let g = 831516562/52474195 + -377472/12479. Let k = g + 2/841. Are -15 and k equal?
False
Let x = 4908 + -4909. Is -41/23 at least x?
False
Suppose -3*f - 3*n = -23067, 3*f - 24*n + 20*n = 23025. Is 7681 less than f?
True
Let g = -153405 + 234556255/1529. Which is bigger: 1 or g?
1
Suppose -5*g = 3*u + 3 - 4, -3*g - 2*u = 0. Let a(s) = 28*s - 15. Let j be a(g). Suppose -j*c = -34*c - 21. Do c and 8 have the same value?
False
Suppose 3*g - 41 = -14. Let v be (g/2)/1*192/(-18). Let r be v/27 + 2 - 7/(-9). Is 0 smaller than r?
True
Suppose 14*h + 7*h - 32081 = -9842. Is 1061 <= h?
False
Let t = -2442 - -70815/29. Which is smaller: 0.035 or t?
t
Let s = 13 - 23. Let n be (0/(0 + -2) - s) + -1. Suppose -5*m = -n*m + 28. Is 15/2 at least as big as m?
True
Let q be (-22)/6*((-21835)/9100 + 7). Let o = q + 118/7. Which is smaller: o or 0?
o
Let s = -169327 - -169328. Let y be -2*(-1 + (-162)/4). Which is smaller: s or y?
s
Suppose 4*d - 2*d + 5*u = 26, 4*u = 3*d - 16. Which is smaller: d or -108?
-108
Suppose -149*i = -144*i + m + 1331, 0 = 2*i - m + 538. Which is smaller: -533/2 or i?
i
Let a be 1882*((-319)/(-22) - 14). Which is smaller: 940 or a?
940
Let s = 0.774 + -0.274. Let w be (-45)/(-5) + 28/(-7). Which is bigger: w or s?
w
Let h(i) = 16 + 2 + i + 3*i - 9*i. Let v be h(8). Suppose 0 = 271*d - 262*d + 189. Is v != d?
True
Suppose 419 = 5*y + k, 4*y + 3*k - 23 = 310. Suppose w + 0*w = y. Suppose 9*h - w = -3. Which is smaller: 5 or h?
5
Let o be (-33)/(174372/56)*(5/(-2) - -3). Which is smaller: o or 1?
o
Let i(q) = -3*q**2 - 50*q + 25. Let n be i(-17). Suppose 8*f - n*f = -10*f. Which is greater: -11/16 or f?
f
Let p = -219 + 8. Let y = -212 - p. Is y < 9/2?
True
Suppose 5*g - 4*b = 9*g - 424, 3*b = -2*g + 209. Suppose g = -12*s - 95. Which is smaller: -14 or s?
s
Suppose l - 3*l = 6. Let m(o) = -3*o**3 - 16*o**2 + 9*o + 20. Let d be m(-6). Suppose -d = -5*i - 38. Which is greater: i or l?
i
Let a(y) = 374*y - 2074. Let v be a(5). Let c = 2 - 207. Which is smaller: v or c?
c
Let f = 5/12021 - 337573/2368137. Which is greater: 0 or f?
0
Let v be (12*(-8)/(-576))/1. Which is smaller: -197/4 or v?
-197/4
Let j(g) be the third derivative of g**6/120 - g**3/6 + 2*g**2. Let p be j(1). Let k = -4068 + 484094/119. Which is smaller: p or k?
p
Let j be (-190)/10 - -10 - 1436/12. Do -0.09 and j have the same value?
False
Let s be (53 + 60)*1/33. Which is smaller: 3 or s?
3
Let f = 65 + -35. Let p = 28.4 - f. Let y = -0.4 - p. Is -2 less than or equal to y?
True
Let k = -146 + 130. Let f = k - -23. Does f = -1?
False
Let q be ((-656)/(-4440))/(2/10) + 5/(-6). Does q = -1?
False
Suppose -3*r - r = 2*d - 12, 5*r - 16 = -3*d. Suppose 3*g + 12 = 9*g. Suppose g*n - n = -r*n. Which is greater: n or -1/90?
n
Let g = 2214.146 + -2216. Let o = -0.146 + g. Which is bigger: -5 or o?
o
Let j be 226444/2484 - (-10)/(-135) - (-4)/(-46). Which is smaller: j or 96?
j
Let u = -164.5 - -209. Let d = -46 + u. Let r = 1.6 + d. Is r bigger than 19?
False
Let t(h) = 31*h - 19. Suppose -5*u = -8*k + 4*k - 1, 5*k = -2*u + 7. Let n be t(u). Which is greater: n or 54/5?
n
Let k be (((-88)/(-2))/11)/(2/141). Let o be (-73)/8*(1 - -30). Let f = k + o. Is f != -1?
True
Let u = 2373/2 + -49853/42. Is u != -40?
True
Let l = -989 - -994. Let g(i) = -5*i**3 - i**2 + 4*i - 11. Let a(n) = n**3 + n**2 + 1. Let v(d) = -6*a(d) - g(d). Let y be v(-4). Is y at most as big as l?
True
Let s(x) = -28*x - 407. Let f be s(-15). Are -1.66 and f non-equal?
True
Let q = 18153 + -18260. Is q at most 0.07?
True
Let g = -0.0489 - -0.0226. Let n = g - 0.6737. Is 0 at least as big as n?
True
Let d be 9/5 + (-1402756)/(-305). Which is bigger: 9203/2 or d?
9203/2
Suppose 4*x + 55 = -289. Let i be 2967/46*(-12)/9. Is x at least i?
True
Let m(y) = y**3 - 2*y**2 + 2*y. Let v be m(0). Let i(t) = -t**3 - 15*t**2 - 3*t + 27. Let n be i(-15). Which is smaller: n or v?
v
Let a = -36483 - -36562. Which is greater: 17.8 or a?
a
Let o be 296975/275 + -7 + -1. Let p = o - 1071. Which is smaller: -3 or p?
-3
Let g = -3530.9 + 3524. Let x = -84.9 + 77. Let d = g - x. Which is smaller: d or -10?
-10
Let f be (80 - 80)/(((-3)/(-1))/(6/(-8))). Is 19/347 at least f?
True
Suppose -2034 = -2*c + 3*w, 71*w - 4088 = -4*c + 72*w. Which is smaller: c or 1024?
c
Let c = 9335 + -9334. Is c <= 4/2693?
False
Let q(o) = -o - 5. Let l be q(-6). Let n be (10 - (4 + 13))*9/(-273)*-1. Are n and l nonequal?
True
Let r = -1.08469 - -1.08469. Let o = -8 - 10. Is o at least r?
False
Let y = 79.54 + -77.54. Which is bigger: 1361 or y?
1361
Let j be 34/(-376)*(-80)/12. Let z = 3/47 + j. Let a = 1.4955 - 0.4955. Which is smaller: a or z?
z
Let r(g) = 26*g**2 - g - 2. Let w be r(-1). Suppose -26*t + 11 = -w*t. Are 6 and t equal?
False
Let j = 78881.7 + -78887. Suppose 5 = -3*m - 2*m - 2*f, m - 6 = f. Is j less than m?
True
Let f = -0.04 + -20.96. Let o = f + 22.1. Let v = 7610 - 7612. Which is smaller: o or v?
v
Suppose a = -5*m + 3785, 2*m + 4*a + 1514 = 4*m. Let w = m + -14387/19. Let d(i) = -i**2 + 2*i. Let l be d(2). Which is smaller: w or l?
w
Let h be 3995/(-6) + ((-96)/9)/(-8). Let b = -665 - h. Is b greater than or equal to 3/77?
False
Let w(v) = -188*v**2 - v - 63. Let y be w(-5). Is y smaller than -4756?
True
Let f(j) = j**3 + 57*j**2 + 111*j + 56. Let x be f(-55). Which is smaller: 14/317 or x?
14/317
Let y = -84 - -75. Let t = -15 - y. Let h = 2 + -2.07. Are h and t equal?
False
Let v be 312/(-247221)*(-2)/((-3)/(-1) + 1). Is 1 less than v?
False
Suppose 4*q - 4*u = u + 561, 15 = 5*u. Let x = q + -143. Is 4/57 less than x?
True
Let s = 15745 - 15846. Are s and 1/28 non-equal?
True
Let k be 87/(-51) - (0 - 1). Let p = -238 + 292. Suppose -18*b + 18 = p. Which is bigger: k or b?
k
Let b(w) = -75*w + 1316. Let o be b(0). Is o less than 1315?
False
Let n = -551 + 920. Suppose 10*u = -3*m + 5*u - 543, u + n = -2*m. Which is smaller: m or -185?
m
Let x = 77 - 122. Let b = 1293 + -1292. Let q = x + b. Which is greater: 2/5 or q?
2/5
Let r = 527 + -355. Suppose -r*o = -161*o - 803. Is 73 bigger than o?
False
Suppose -c + 4 + 8 = 2*q, -3*c = 5*q - 32. Let a be 38302/104 + q/(-16). Let l = a + -368. Which is smaller: l or 1?
l
Let o = 7492.1 + -7492. Let k be (-4 - 1)*(-148)/(-5). Are o and k equal?
False
Suppose -5*b - 423*c - 140 = -443*c, -4*c + 24 = -2*b. Suppose -5*u = 6 - 1. Which is smaller: b or u?
u
Let p(f) = 8*f + 42. Let m be p(-5). Suppose m*u = -9*u - 11. Which is greater: 12/31 or u?
12/31
Let j be 6/(-36)*3*2848/(-158) + -9. Let f be 2/(-2)*(1 + -1). Is f > j?
False
Suppose -3*s = -n + 16, 3*s + 60 = 3*n - 0*s. Suppose -3*d = -4*o - 9, -18*d = -n*d - o - 7. Is d >= 10?
False
Let j(u) = -2*u**2 + 131*u - 1342. Let r be j(66). Is -1409 at most r?
True
Let x be (-9)/(-12) + 0 - 78/(-24). Let t(r) = r**3 - 3*r**2 - 7*r + 9. Let p be t(x). Which is greater: p or 0.04?
0.04
Let d be 1/(5/(-6))*302600/1020. Do -358 and d have the same value?
False
Suppose 3*v - 4*j = 180, j = -4*v - j + 240. Let q(u) = -114*u + 53*u + 23 + 