4). Let c = -37513 + 9265713/247. Which is smaller: x or c?
x
Suppose -21*a + 137 = -4*j - 24*a, 32 = -j - 3*a. Do -41 and j have different values?
True
Let r(q) = -3*q + 29. Let p = -25 - -34. Let o be r(p). Is o smaller than 2?
False
Suppose 17*r = -11 - 74. Suppose 2*f + 5 + 9 = 0. Let k = f - 2. Is k > r?
False
Let l be -22 - -22 - 2/8. Which is greater: l or 26?
26
Let m(b) = -b**3 + 11*b**2 - 11*b + 14. Let v be m(10). Let o be -5*((-498)/125 + v). Is o less than 0?
True
Let w(q) = -6*q + 3. Let u be w(-5). Suppose -u = -3*y - 3*i, 4*y - 3*i + 42 = 8*y. Let s be (-30)/y + 8/(-12). Are s and -1 unequal?
True
Let d(x) = x - 1. Let a be d(5). Suppose a*h = -h + 15. Let y = h + 1. Which is bigger: 2 or y?
y
Suppose 4*u + 12 = 4*w + 5*u, -2*w = -5*u - 28. Suppose 6 = -w*y + 2. Let g(q) = -q**2 + 8*q - 9. Let s be g(7). Is y at most s?
False
Suppose 311*x = 313*x + 4. Which is bigger: x or -20/29?
-20/29
Let p = -109 - -56. Let n = -54 - p. Which is bigger: n or -1/2?
-1/2
Let l(f) = f**3 + 3*f**2 + f + 6. Let a be l(-4). Let g be (-6)/a*(-21)/(-102). Is -1 at least as big as g?
False
Let s = 60 - 51. Suppose -v = s*v + 20. Suppose -4*k - 2*l = -14, -3*k - 5*l + 3 + 4 = 0. Which is greater: k or v?
k
Let t be (-6)/((-42)/7) - 2. Which is smaller: -7/27 or t?
t
Suppose 0 = -5*a + 6*a - 2. Suppose 0*w = a*w. Let m = -7911/10 + 791. Which is smaller: m or w?
m
Suppose 90 = 9*o - 4*o. Let z = -30 + o. Is z bigger than -12?
False
Let l be 8/(4 + 0) + 20/(-7). Let g be 21/(-27) - 4/18. Which is greater: g or l?
l
Let y(d) = d**3 + 9*d**2 - 2*d - 18. Let l be y(-9). Suppose -4*i + 16 = 0, -2*m + l*m - 18 = -5*i. Is m at least as big as 6/7?
True
Let b = 891 + -890. Is b <= 28?
True
Let t be ((-12770)/1410 - -9)/((-2)/15). Is t bigger than 1?
False
Let q be (-3)/2 - (15/(-6) - -4). Let s be 2 + (4 + 5)/q - -17. Which is smaller: s or 15?
15
Let m be 11/(3223/(-294)) + 1. Let i = m + 2055/1172. Does 1 = i?
False
Let m be 1242/1240 - 4 - -3. Let c = 869/620 - m. Which is bigger: c or 1?
c
Let c be (-54)/(-370) - (-92)/1702. Which is smaller: c or -41?
-41
Let a = -59 + 88. Which is greater: 27 or a?
a
Let n = 0 + 0. Let p be 356/(-847) - (-21)/49. Let d = -481/363 - p. Which is bigger: n or d?
n
Let d(x) be the third derivative of -x**6/120 + x**5/12 + x**3/3 + 2*x**2. Let g be d(5). Let s be 18/14 - g/7. Which is greater: s or 0?
s
Suppose 42*h = 7 - 49. Is h at least 3/809?
False
Suppose -4*f + y + 17 = -29, -5*f + 47 = 4*y. Suppose -4*u = -5*u + 4. Let p be 42/u - 3/6. Which is greater: f or p?
f
Let b = 6.1 - 8. Let w = b - -3. Let y = 1.1 - w. Which is smaller: 2 or y?
y
Let b be (-2)/1 + (-4514)/(-22). Let d = 203 - b. Let t = d + 32/55. Does t = 0?
False
Let d(n) = 14*n + 74. Let s be d(-6). Which is greater: s or -11?
s
Suppose 0 = h - z - 5, 2*z - 5 + 21 = 5*h. Is h not equal to 11/17?
True
Let c = -255 - 6125. Let i be (c/(-492))/(-5) - -2. Let g = -3/41 + i. Which is bigger: g or -1?
g
Let g = 9215/203 + -318/7. Is 2/3 smaller than g?
False
Suppose -u = 4*v - 5*u + 24, 4*v = -4*u + 8. Let w be (-1 - v/(-6))/(280/1380). Which is greater: w or -6?
-6
Let g = -1007 - -1008. Which is smaller: 15/67 or g?
15/67
Let q be (-4)/3 - 4/6. Let i be ((-4)/(-6))/(-2 - (-120)/54). Suppose -i*x - 3 = 3*w, 3*w - 4*x + 0*x = 4. Is w less than q?
False
Let g be -4 + 0/2 - 6. Let o be (-4)/g - 21/15. Which is smaller: o or -2?
-2
Let i be (-8 - -9) + 4/2. Suppose -a = -n, 3*a = i*n + n. Is a at most as big as 1/37?
True
Let f = -3 - -3. Suppose -15*k + 12*k = f. Suppose -5*n + r = -5, k = n - 4*r - 12 - 8. Which is bigger: n or 1?
1
Let m be (-1)/((-100)/16 + 6). Which is smaller: 7 or m?
m
Suppose -629 = 51*x - 68*x. Is x at least 45?
False
Let j = 26 - 27. Let z be (-1)/(-2*548/(-16)). Let i = -530/1233 + z. Which is greater: i or j?
i
Let j(n) = -2*n**3 - 9*n**2 + n + 2. Let f be j(-5). Let l be (-2)/5 + 103/(-5). Let t = l + f. Is 0 bigger than t?
False
Let q = 0.0913 - -0.0087. Which is bigger: q or 0.0542?
q
Let h = 6186 + -2956. Let o = 113038/35 - h. Which is smaller: 1 or o?
o
Suppose 0 = 4*n - d - 5, 2*n + d + 3 + 2 = 0. Suppose x + a + 0*a + 7 = n, -10 = -2*x + 4*a. Which is smaller: -4 or x?
-4
Let s(t) = -t**2 - 14*t - 44. Let x(v) = v**2 + 14*v + 45. Let h(z) = -5*s(z) - 4*x(z). Let j be h(-10). Is j less than or equal to 2?
True
Let t = -13.867 - -13.5. Let x = t + 0.34. Is -1 >= x?
False
Let w = 97 - 96.5. Is 119 smaller than w?
False
Let v(c) = 2*c**2 - 3*c**2 - 223 + 9*c + 206. Let t be v(8). Is -9 greater than or equal to t?
True
Let u = 241 + -154. Let g = u + -78. Which is greater: g or 8?
g
Let c = -217 - -157. Which is bigger: -2/7 or c?
-2/7
Suppose 0 = -h + 7 - 3. Let a be (-2)/(h - (12 + 2)). Which is bigger: -1 or a?
a
Suppose -16*w - 10 = 6. Is w equal to -4/275?
False
Suppose -5*w + 4*x = -70, 0*w - 2*w + 4*x + 40 = 0. Suppose 2*m + 5*a = 3, 14 = 2*m + m - 2*a. Let q be 1*(11 - m/2). Is w at least as big as q?
True
Let o = -34579 + 140893/4. Let d = o - 667. Which is bigger: d or -1?
-1
Let i = -10/19 - -7/19. Let n = 17 + -45. Let u = n - -27. Is i less than u?
False
Let i = -100 + 101. Is -0.2 equal to i?
False
Suppose -5*g - 5 = -3*y - 0, 5*y + 1 = -g. Let i = -28587663 + 168638624697/5899. Let s = 2/347 + i. Which is greater: g or s?
s
Let b = -14 + 29. Let l be b/(-4)*3/9. Suppose -3 = 7*f - 4*f. Which is smaller: f or l?
l
Let b(f) = -f**2 - 3*f + 339. Let p be b(-20). Which is smaller: p or 110?
p
Let l be (-10)/15*(-2)/(12/9). Which is smaller: -2/457 or l?
-2/457
Let m(i) = 2*i - 8*i**3 - 6 + 15*i**3 + 6*i**2 - 5*i**3. Let r be m(-4). Which is smaller: r or -91/2?
r
Let k = 5.6 - 6. Let x = 0.526 + -0.99. Let m = x - -0.064. Does m = k?
True
Let a = 4 + 0. Suppose -a*r + 8 = 0, t = 3*t - r - 2. Which is smaller: 11 or t?
t
Let n be (2 - 11/2)*(-2360)/70. Which is greater: n or 119?
119
Suppose -1668 = 4*g + 2*x, 757 + 57 = -2*g + 4*x. Is -415 bigger than g?
False
Let r = -211.02 + 211. Let y = -0.67 - -0.07. Is r > y?
True
Let h(f) be the third derivative of -f**5/60 + 7*f**4/12 - 2*f**3 + 5*f**2. Let x be h(13). Let b = 8/21 - -1/21. Is x < b?
False
Let d = -176/1495 - -2/65. Let t(q) = q**2 - 3*q**2 - q**2 + 2*q**2 + 3 - 3*q. Let h be t(1). Which is bigger: d or h?
d
Let f(k) = -19*k + 2. Let g be f(-1). Let c = g + -21. Let o be (32/(-108))/(4/(-6)). Which is bigger: o or c?
o
Let v(r) = -99*r - 18. Let p be v(-6). Let u = p - 7494/13. Suppose 20 = -5*h, 3*o - 5*h - 5 = 15. Which is smaller: u or o?
u
Let f = -7007 - -7000. Suppose 3*k - 9 = 4*k. Is f bigger than k?
True
Let b(w) = w**3 - 5*w**2 - 7*w + 7. Let a be b(6). Let s be 8/(100/(-70)*-7). Which is smaller: s or a?
s
Let x(v) = -v**3 - 3*v**2 + 17*v + 5. Let k be (7/(63/6))/(1/(-9)). Let o be x(k). Let u be 1*-1 - (2 + -15). Which is greater: o or u?
u
Let x = 1744 + -183118/105. Which is smaller: x or -2?
-2
Suppose 65 = 5*q - u - u, q - 13 = -5*u. Suppose -5*z + v = 6*v + 15, 4*z = -5*v - 17. Suppose 2*a = a - 5*d + 24, z*d = -a + 18. Is q <= a?
True
Let k = 12321/42007 + 2/2471. Suppose -3*s = s. Are s and k equal?
False
Let g(t) = 2*t**3 + 4*t**2 + 4*t + 2. Let r be 0 - -4 - (-11 + 17). Let a be g(r). Is -29/5 at least a?
True
Let w(i) = 28*i + 50. Let a be w(-1). Which is greater: 28 or a?
28
Suppose -7*u = 76 - 27. Is 6 less than u?
False
Let i be (18/(-4))/(-9)*10. Suppose -3*z - 9 = 2*q, 4*q = 3*q - i*z - 8. Is q at least as big as -6?
True
Let g be 34*(-3)/6 + (-15 - -20). Are -12 and g equal?
True
Let s(n) = 23*n - 76. Let q be s(-24). Is q less than -629?
False
Let y(u) = u**3 - 2*u**2 - 5*u + 3. Let m be y(-3). Let g = 27 + m. Let k be 6/9*14/8. Is g at least k?
False
Suppose 0*i + i + 1 = 0. Let o = 130 + -128. Let k be i/(0/o + -1). Is -6 at most as big as k?
True
Let q be 6/21 + (-13)/21. Let r be (-5 + 2)*(-14)/21. Let n be 2/(r - (-12)/(-8)). Is n > q?
True
Let g = 10.8 + -9. Let w = g + -1.8. Is w at least -1.3?
True
Let i be -3 + 2006/322 + -3. Let q = 2/23 - i. Suppose -4 = 5*w + c, 5*w + 2*c + 3*c + 20 = 0. Which is smaller: w or q?
q
Suppose -5*z + 5 = 7*i - 2*i, 2*i - 3*z + 3 = 0. Suppose i = -2*g + 3*l - 8, 8 = -4*g + l + l. Let b(c) = 3*c - 13. Let n be b(4). Are g and n unequal?
False
Let h = 28 + -29. Let i = h - -14. Let q = i + -