*d - 16. Let t be (r/6)/((-4)/(-6)). Which is smaller: t or z?
z
Let o be 50/15*48/(-10). Let g be 2/o + (-436)/(-416). Which is smaller: g or 1?
g
Suppose 0*v - 5*l - 25 = -2*v, -43 = -3*v + 2*l. Let y be v/(-3) - -1 - -22. Is 16 greater than or equal to y?
False
Let x(d) = d**2 - 20*d - 22. Let u be x(19). Let h = u + 44. Which is bigger: h or 2?
h
Let c(n) = -18 + 3*n + 4*n - 4. Let o be c(19). Let t be (4/8)/(o/12). Is t at most as big as 1?
True
Let b = -2.54 + 2.9. Let g = -0.14 - b. Is g at most as big as -4?
False
Let c = -29.92 - 0.08. Let z = -29.82 - c. Which is greater: -2/5 or z?
z
Let n be 0/(4/(-2)) - 15900/756. Let w = -21 - n. Which is smaller: w or 1?
w
Let l = -20 - -29. Suppose -4*f - 2*g + 6 = 0, -3*g = -f + 4*f - l. Is -9/10 at least f?
False
Let o be (1/(-168))/(6/(-12)). Let m(t) = -t**3 - 21*t**2 + 21*t - 23. Let v be m(-22). Are v and o non-equal?
True
Suppose -u + 108 = 4*x, -76 = -3*u + x + 235. Suppose 28 = -5*d - 4*a + u, 0 = -2*a + 8. Let v = d + -11. Which is greater: -2 or v?
v
Let v(b) = -8*b**2 - 45*b + 92. Let t(n) = 3*n**2 + 15*n - 31. Let g(o) = -11*t(o) - 4*v(o). Let z be g(10). Is 25 bigger than z?
True
Let d = -114 + 123. Is 7 != d?
True
Let q = -302 - -304. Is 30 > q?
True
Suppose -2052 = -l + 28*l. Which is greater: -78 or l?
l
Let f be 0/((-2 + 4)*-1). Let u be (f + 6)*1/4. Which is smaller: 2/5 or u?
2/5
Let q(f) = -56*f - 149. Let b be q(-4). Is b greater than or equal to 68?
True
Let z(x) = -x**2 - 9*x - 12. Let r be z(-8). Let n be -74 + (r - (-3 - 0)). Let b be (-8)/6*n/(-120). Which is smaller: 0 or b?
b
Let f = -22 - 2. Let l be 91/3 - (-8)/f. Let p = 119/4 - l. Is -6 < p?
True
Let u(w) = -w**3 + 8*w**2 - 10*w + 9. Let v(l) = 2*l**2 - 5*l + 4. Let o be v(3). Let s be u(o). Let t be 4*(-2)/s*18. Does t = 12?
True
Let b be 4/10 + (-24)/(-15). Let y(d) = 4*d**3 - 2*d - 1. Let g be y(-1). Let f be b*2 - (-3)/g. Do f and 3 have different values?
False
Let t = 3 - 5. Let a = 3 + t. Let q = -576.4 + 576. Do q and a have the same value?
False
Let b = 147 + -69. Which is smaller: b or 79?
b
Let l(z) = -3*z**2 + z - 1. Let f be l(-3). Let s = f - -36. Let x be 4 - (s - 1 - 0). Is x bigger than -3?
True
Let m = 20.59 + -1.49. Let a = m - 19. Do a and 0.11 have the same value?
False
Let j be ((-2)/(-28))/(9 - (-210)/(-24)). Do j and 0.075 have the same value?
False
Suppose -6*r = -2*r - 20. Suppose -r*f = -10*f. Suppose -1 = -3*m + b, f = 3*m - 4*b + 4 + 1. Which is smaller: -1/8 or m?
-1/8
Suppose -56 = -103*s + 105*s. Which is bigger: -29 or s?
s
Suppose r = -0*r - 2*h + 443, 3*r + h - 1304 = 0. Let p = r - 633. Let y = -2198/11 - p. Which is bigger: y or 0?
y
Let o(r) = 9*r - 24. Let c be o(3). Is c at most as big as 0.05?
False
Let t = -14.32 + -4.68. Which is greater: t or -29?
t
Let z = -46.46 + 46. Let l = 0.26 + z. Is l greater than 16?
False
Let z = -175 - -180. Suppose 5*l - 2*a = 2*a + 33, -3*l + 5 = 5*a. Is l not equal to z?
False
Suppose 5*d - 5 = -5*o - 0*d, -3 = o + 5*d. Let u be (o/(-6))/((-1)/(-3)). Let j be 11 + 11364/(-1064) - (-2)/(-19). Do u and j have the same value?
False
Let a = -0.256 + 0.356. Is -44 not equal to a?
True
Let j = 13.6 + -9.6. Which is smaller: 16 or j?
j
Let y = -6.9 + -0.4. Let s = y + 7. Let o = 1/252 - -491/3276. Is o > s?
True
Let r = -6 - -13. Suppose 0 = d - 18 + r. Suppose 2*o + 12 = -4*u - 2*o, 4*o + d = -3*u. Which is greater: -2/11 or u?
-2/11
Let z be (-220)/264 + 33/18. Are z and -2/901 nonequal?
True
Let a(x) = -x**2 + 11*x - 12. Let c be a(5). Let z = 11 - c. Let s be (-8 - z)*(1 + 0). Which is bigger: -3 or s?
s
Let x = -235 - -231.3. Which is smaller: x or -2/11?
x
Let n = 27 + 8. Let d be (-155)/n - 6/(-14). Suppose -2*u - 5 = 3*u. Which is greater: d or u?
u
Suppose 5*p - 286 = -21. Suppose 4*v = -2*g - v + 3, -3*g + 4*v = p. Is g less than or equal to -11?
True
Let n = 47 - 32. Let m be 3/(-2)*(n + -1). Let c = m - -11. Is c < -11?
False
Let x be 5 + -4 - -4 - 4. Let u be x + 3 + (10 - 10). Suppose -4*b = -5*m - 7 - 58, -26 = 2*m + u*b. Is -13 at most m?
True
Let k = -56 + 26. Let x = k - -31. Which is greater: x or -1/6?
x
Let a = -8.6 + 4. Let d = a - -2.6. Is d at least 0.07?
False
Let s be (-111)/(-2) - (3/2 + -1). Let j = -53 + s. Which is bigger: j or 4?
4
Let r be (-20 - -21)/(0 - (-3)/(-33)). Suppose 8 = -4*l - 24. Is l <= r?
False
Let z = -3 + -18. Let m be (-16)/18*z/(-98). Which is smaller: m or -1?
-1
Let d = -46.85 + 0.85. Which is bigger: d or -1.1?
-1.1
Let s be (32/28)/(-4) - (-422)/7. Let k be (2 + (-2)/(-4))*6/s. Let w = -3 - -9. Which is smaller: w or k?
k
Let s = 1029 - 17479/17. Which is bigger: s or 0?
s
Let f(n) = n**3 - 18*n**2 + 40*n - 49. Let c be f(15). Which is smaller: -126 or c?
-126
Let k(a) = a**3 - 11*a**2 - 14*a + 9. Let x be k(12). Let n = 9 + x. Let q = -5 - n. Which is smaller: -1/11 or q?
-1/11
Let b be (4 + -2)*(-60)/8. Let x = b + 24. Let q be ((-6)/x)/((-2)/(-21)). Which is smaller: -5 or q?
q
Suppose -t - 10 = -3*l, 0 = -6*l + l + 5*t + 30. Suppose -3 = -l*g - i, -2*i - 3 = 4*g - 3*i. Is -1/24 > g?
False
Let b(x) = -x**3 - 3*x**2 + 6*x + 12. Let p(a) = a - 3. Let g be p(-1). Let d be b(g). Which is smaller: d or 5?
d
Let d = 13851 - 13863.978. Let w = -0.022 + d. Is -2/5 >= w?
True
Let c(o) = 24*o**2 + 2*o + 1. Let j be c(-1). Let v = -286 + 310. Which is greater: j or v?
v
Suppose -1 = -2*m - d, -5*d + 2 + 3 = -3*m. Let u(k) = k + 6. Let o(f) = -f**2 + 5*f. Let g be o(6). Let i be u(g). Is m <= i?
True
Let l(s) be the first derivative of -s**3/3 + 3*s**2/2 - s + 1. Suppose 13 = 4*p + 5*i, 31*p - 5*i + 7 = 32*p. Let g be l(p). Is 2 at most g?
False
Suppose 5*u + 11 = 4*t, 4*t + t - 7 = 4*u. Which is smaller: t or 1/128?
t
Let s be 6501/2364 - 7/4. Let k = -4/119 - -619/714. Is s > k?
True
Suppose -11*r - 8*r + 7*r = 0. Are r and 3/106 unequal?
True
Suppose -3*d + 1592 - 1034 = 0. Which is smaller: d or 187?
d
Let g be (-2)/((-4)/34 + 120/(-136)). Does 19 = g?
False
Let w = 13 + -40. Let p = -0.2 - -0.2. Are p and w unequal?
True
Let c(s) = 3*s**3 - 33*s**2 + 56*s + 32. Let t(k) = 2*k**3 - 22*k**2 + 37*k + 21. Let n(d) = -5*c(d) + 8*t(d). Let v be n(9). Which is smaller: v or -0.06?
v
Let b be ((-1)/2)/((-6)/24). Suppose 3*c + 5*q = -25, -2*q = 4*c + b + 8. Let k = -5/12 + 13/36. Are k and c unequal?
True
Let b be (-164360)/552 + (-3)/9. Let y = -298 - b. Which is bigger: -1 or y?
y
Let y(v) = -11*v + 2. Suppose z - 1 = 2*o, -2*o - 4 = o - 2*z. Let h be y(o). Let r be (-3)/15*h/8. Is r smaller than -1.1?
False
Let n = -209894/148699 + -2/8747. Is 0 > n?
True
Let f = 19 + 1. Let h = -100 - -85. Let o = f + h. Which is smaller: -0.1 or o?
-0.1
Let s be 1*10/(-25)*(-20)/(-6). Which is smaller: 2/13 or s?
s
Let a = -54/11 + 358/55. Let y = 6/5 - a. Is 0 at least y?
True
Let l(m) = m**3 - 26*m**2 + 4*m - 44. Let y be l(26). Is 60 at most y?
True
Suppose 30170 + 1985 = 59*h. Are 545 and h nonequal?
False
Let j = -32.5 - -37.5. Is -4 less than or equal to j?
True
Let b be 2 + 0/(1*2). Let m = 63 + -59. Suppose -m*a + 22*a - 54 = 0. Is b less than or equal to a?
True
Suppose 3*t - 21 = -4*t. Let h be (3/(-36)*-4)/((-1)/t). Which is smaller: h or -1/195?
h
Suppose b = 5*w + 2*b + 49, 4*b + 16 = 0. Let q be 1/(-2) + 42/(-4) - -1. Which is bigger: w or q?
w
Let m be ((38 + 2)/(-4))/(9/(-12)). Let b = 362/27 - m. Let w be (0 - 3/6)*0. Is b >= w?
True
Let g = -8962 - -134432/15. Let d be (-4)/6 - (-1)/(-3). Is d smaller than g?
True
Let l be 4 - (510/21015)/(2/330). Is 1 > l?
True
Suppose 2*t = 4*w + 2, 0*t - 3*w = -3*t + 6. Suppose t*m + 7 = 2*x, 3*m + 11 = -m + 3*x. Is -1/66 >= m?
False
Let q = 42 - 38. Suppose -4*i + 209 = 5*o, q*i - 164 = -3*o - o. Which is smaller: o or 46?
o
Let t be 20/(-40) - (-183)/18. Is t != 11?
True
Let j be ((-26)/78)/(153/(-15)). Which is bigger: j or 2?
2
Let s(o) = 2*o**3 + 2*o**2 + o - 3. Let k be s(1). Suppose 0 = 5*q - 0*q. Suppose -k*u = -q + 2. Which is greater: u or -2?
u
Let u be (-1)/(-2 + -1 + 2). Let g = -93 - -81. Let j = 5 + g. Which is bigger: u or j?
u
Suppose y + 4 = a, 4*y = -4*a + 3*a - 11. Which is greater: 10/19 or a?
a
Let o(a) = 2*a**3 + 5*a**2 - a + 1. Let l(i) = 3*i**3 + 9*i**2 - i + 3. Let c(t) = 3*l(t) - 5*o(t). Let x be c(3). Let s be (618/78 - 4) + -4. Do