et r be w(10). Let z be r*(-4 + 0 + -5 + 5). Let f = 31 - 17. Which is bigger: f or z?
z
Let f be (-43 - -58)*((-1)/3 + 1). Let b(i) = -i**3 + 9*i**2 + 17*i - 6. Let p be b(f). Let l be -4 + 6 - p/36. Which is smaller: 2/49 or l?
2/49
Let t = -2.71 + -0.19. Let y = t + 2.2. Let f(h) = h**2 + 6*h + 1. Let z be f(-4). Which is greater: y or z?
y
Suppose 49*f + 17595 = 134*f. Which is greater: f or 206?
f
Let z(b) = -3*b**3 + 58*b**2 + 30*b + 103. Let f be z(20). Are f and -1071/11 equal?
False
Suppose 3*f - 27 + 3 = 4*o, -4*o = 0. Let u be 15/12 - 2/f - -62. Suppose 0 = -2*a - 7*a - u. Is a greater than -1?
False
Let p(z) = 236*z**2 + 151*z - 855. Let u be p(5). Is 5800 at least as big as u?
True
Let i be (-2)/507*(-36597)/(-484). Let h = i - -12/169. Is -1 != h?
True
Suppose -2*i + 84 = -5*i. Let a = 30 + i. Suppose -5*l = a + 3. Is l less than -1/32?
True
Suppose 4*d + 5*h + 43 = 0, -21*d + 63 = -26*d + 3*h. Let k be (-438)/d + 3 + 3/(-2). Do k and -2 have the same value?
False
Let z(g) = -2*g**2 - 25*g - 5. Let n(k) = -k**2 - 12*k - 3. Let r(q) = -13*n(q) + 6*z(q). Let w be r(-9). Let o = -24 + w. Is o bigger than 10?
True
Let n = 15239 + -15218. Suppose 2*b = -2*b + 108. Let s = n + b. Are s and 46 non-equal?
True
Let h(c) = 12*c + 68. Let j be h(-6). Let k be 4*(-35)/(-225) + j/10. Which is smaller: 0.1 or k?
0.1
Let t = -163943 - -33444371/204. Let o(z) = z - 2. Let h be o(1). Which is smaller: t or h?
h
Suppose -226 = -22*t + 2*r, -4*t = -16*r + 18*r - 60. Suppose -p - 26 = -3*p + k, 5*k = -2*p + 2. Is t greater than p?
False
Let d = 33851 + -77453. Let g be d/7293 + 6/1. Which is smaller: 1 or g?
g
Suppose -2*l - 120 = 2*k, 19 = k + 12. Which is greater: -88 or l?
l
Let y be (-43)/(-9) + (-2)/(-9). Suppose 2*j + y*t - 18 = 0, 0*j + 5*j - 7 = -3*t. Suppose 6*v + 14 = v - 3*b, 0 = 3*v - 3*b - 6. Is v less than or equal to j?
True
Let a = -15 - -141. Let x = a + -89. Let o be (-2)/(-3) + (-106)/(-3). Which is smaller: x or o?
o
Let o(d) = -3*d - 16. Let f be o(-7). Suppose z + 2*z = -s + 29, -4*s + 133 = -f*z. Suppose -4*k - 4*j = -12, -2*k - 5 + 15 = 3*j. Which is greater: k or s?
s
Let v = 1580612/134084039 + -50/4219. Let g = -64468/14396793 - v. Is g greater than -1?
True
Suppose 5*r - 58 = 3*v, 4*r - 9 - 34 = -v. Suppose -41 = r*d + 3. Which is bigger: d or -5?
d
Let u(i) be the first derivative of i**4/4 + 8*i**3/3 + 5*i**2 - 10*i + 38. Let q be u(-6). Is q < -2?
False
Let f = -14700.8 - -14701. Which is bigger: -42 or f?
f
Let r(n) = -n**3 + 11*n**2 - 4*n + 393. Let z be r(13). Is 982 at most z?
False
Let w = 18458/51 - -126/17. Which is greater: w or 368?
w
Let w(c) = -2*c**3 - 2*c**2 + 1. Let z(l) = l**2 - 18*l - 64. Let q be z(21). Let u be w(q). Which is smaller: u or 2/249?
2/249
Let l = -868518/583 + 13718/53. Let g = 1234 + l. Is 4 less than g?
False
Let q(d) = 3*d**2 - d - 4. Suppose 0 = -3*c + 5*c. Let s be q(c). Which is smaller: -16 or s?
-16
Let g(d) = -31*d - 171. Let x be g(-6). Suppose 5*z = -0 + x. Which is greater: z or -45/7?
z
Let w(r) be the second derivative of -r**3/6 + 27*r**2/2 + 40*r. Let g be w(8). Is 15 equal to g?
False
Let v be -8 + 0/(-5) + (-38)/(-5). Which is smaller: -293 or v?
-293
Let s = 121 + -101. Suppose -5*k = -s, -z - 8 + 3 = -k. Let p be (-3)/(-18)*9/24. Are z and p unequal?
True
Suppose 0 = h + 14*h + 570. Let x be h + 46 + 62/(-8). Which is bigger: -4/5 or x?
x
Suppose 3*z = -2*g + 2396, -2826 + 479 = -3*z + 5*g. Does z = 798?
False
Let q = 4547 + -4741. Is q > -1?
False
Let x = 735.95 + -731. Let a = x - 4.85. Is -106 != a?
True
Let d = 46.299 - -1495.701. Which is smaller: 0.2 or d?
0.2
Suppose -19*k - 78 + 398 + 573 = 0. Is k not equal to 1006/21?
True
Let u = -691 + 968. Let n = u + -277.05. Let t = -1.4 - -1.2. Is n != t?
True
Suppose -5*p = -4*v - 5944, -3*p + 4*v + 821 + 2747 = 0. Is p at most 1187?
False
Let w be (-3 + 5)*(-55)/(-2). Let m be (132/w)/(6/50). Which is smaller: m or 23?
m
Let r(b) = -63916*b + 13. Let j be r(-4). Let l = 3833083/15 - j. Let h = -138 - l. Which is bigger: h or 2/5?
2/5
Suppose 4*o - 8 = -32. Let b be o/15*(-2)/(-10). Let l(n) = 9*n**2 - 48*n - 35. Let w be l(6). Is b >= w?
False
Suppose 49*w - 11542 - 74692 + 6707 = 0. Is 1622 at least as big as w?
False
Let p = -10241298/49 - -208998. Is -9 greater than or equal to p?
False
Let t be ((-13)/(-3))/((-3)/9). Let u = -354.83 + 350.83. Which is bigger: u or t?
u
Let z be 2778/(-7070) - ((-21)/35)/((-84)/(-60)). Are z and 1 equal?
False
Let l = -10.4 + -46.6. Let k = l - -31. Let u = k - -25.9. Is u != 0.66?
True
Let h = -99 + 105. Suppose -4*r = 5*c + 95, 4*r + 3*c = h - 111. Let l = -30 - r. Which is smaller: -2/169 or l?
-2/169
Suppose -18*t = 95 - 779. Are t and 275/7 equal?
False
Suppose -2*d + 992 = -2*q, -d = 2*d + 5*q - 1528. Let r = 573 - d. Which is smaller: 0 or r?
0
Let h be ((-1)/(-2))/((-2)/(-3404))*1. Let t = h + -850. Let b be (-4)/14 + (-544)/(-1953). Is t greater than or equal to b?
True
Let o = -3541771/1936966 + 479/262. Is o > 1?
False
Let s = 27.956 - -0.044. Let w = -51 + s. Let p be 126/312 + (-4)/26. Which is smaller: w or p?
w
Suppose 2*r = 53 - 53. Suppose -2*z - 3*w + 8 = -r*w, 0 = -z + 5*w + 17. Suppose -2*x - z = 3*j, 3 + 5 = -x - 3*j. Is x not equal to -2/35?
True
Suppose 4*s + 5*a = 313, -s = -2*s - 4*a + 92. Let w be s/21 - (-9 - -12). Which is bigger: w or -1?
w
Let u = 124051/444 + -838/3. Are 0 and u nonequal?
True
Let t be -76 - -76 - ((-3261)/(-15) + (0 - 2)). Is t equal to -216?
False
Let m = -1021 - -2556. Let q = 7814/5 - m. Which is greater: 29 or q?
29
Suppose y = -5 - 1. Let q = -3/1201 + -45617/8407. Is q at most y?
False
Suppose 0 = 13*n + 6 + 98. Let y be ((-2)/37)/(12/n). Which is greater: y or 1?
1
Let m = 5744 + -5743. Are m and 3/35 unequal?
True
Let s = -9322 - -8995. Are s and -318 nonequal?
True
Let m be 12/(-3) + 13 + -6. Suppose 6 = 3*k, -2*k + m*k = -4*f + 18. Which is bigger: f or 26/3?
26/3
Let l be 2/(-3) + 94/(-3). Let a = l - -321/10. Let c = -4429 + 4430. Which is bigger: c or a?
c
Let l = 389955 + -4292463/11. Do -269 and l have different values?
True
Let i = 892 + -25848/29. Which is smaller: i or 1?
i
Let h = 1.825 - 2.2. Let f = h + 0.276. Is 0 at most f?
False
Suppose 4*l - 20*t - 100 = 0, -l = -39*t + 36*t - 19. Which is greater: l or 213/20?
213/20
Suppose -5*n + 3 = -v, n - 4*n - 9 = 0. Let p be (-1380)/(-18)*v/(-30). Which is greater: 44 or p?
p
Let q be (-162)/36*8/(-6). Suppose g + 7 = q. Is g less than 4/21?
True
Let m = -40666 + 41189.31. Let j = m - 523. Which is greater: -0.2 or j?
j
Suppose 4*i + 3*x + 125 = 37, 16 = 4*x. Suppose -12*v = -13*v + 2. Suppose -4*n - 3*d - 105 = 0, -v*d - 54 = 5*n + 72. Which is smaller: i or n?
i
Let k(z) = z - 16. Let v be k(15). Let c be (-53)/(-70) + 216/(-252). Which is smaller: v or c?
v
Let s = -164469/12974815 + -4/23807. Is -1 at most as big as s?
True
Let g = -249 + 256. Suppose 2*u - 4*k + 14 = 0, 4*u + 3 = 2*k - g. Is 3/8 less than or equal to u?
False
Let r = 193 + -77. Let h = r + -84. Which is smaller: h or 1?
1
Let r be (((-1105)/30 - 5) + -2)/((-4)/168). Are r and 3681/2 equal?
False
Let q = 2392 - 915. Is q > 1477?
False
Let c = 20 + -21. Let s = 8214 + -4493060/547. Is c at most s?
True
Let y = 333 - 369. Let u be (2 + (-15)/(-3))/(y/64). Are -13 and u nonequal?
True
Let u(q) = 28*q - 54. Let r(v) = 9*v - 18. Let s(i) = 7*r(i) - 2*u(i). Let l be s(3). Let f be ((-13)/(-4))/((-5)/(-4)). Does f = l?
False
Let z = -3491 + 1218355/349. Is 1 != z?
True
Let g(b) = -651*b**3 - 6*b + 5. Let m be g(2). Is -5214 greater than or equal to m?
True
Suppose -3*d + 6*d = 2*a - 10, 5*a - 25 = 3*d. Let q be -6 - -5*(-3 - (-9 + a)). Is -1/32 smaller than q?
False
Let x(c) = 2*c + 16. Suppose -13*j - 6418 + 698 = 0. Let m be ((-6)/5)/((-66)/j). Let z be x(m). Is -12 at most z?
True
Let q be 2/(-5)*(1053/(-6) + -2). Suppose -2*h = s - q, -4*h - 17 - 85 = -2*s. Let f be s - (-4 - -5)*-2. Which is smaller: f or 62?
62
Suppose -p = -3*p + 2*q + 1072, 0 = -p - 2*q + 542. Let k be 2/(80/p) + (-282)/(-376). Do k and 13 have the same value?
False
Let f = -3144 + 3355. Let d = 72 - -140. Is d bigger than f?
True
Suppose -5*t + 62 - 67 = 0. Let b = 100/7 + -1207/84. Which is bigger: b or t?
b
Suppose 9*h =