- 3. Let z be v(-4). Let b be 1 - z - (-4 + 56/44). Which is smaller: b or 3?
b
Suppose 0 = -3*r - a + 2*a, 0 = 5*r + 3*a. Are r and -4/93 equal?
False
Let q = -20 + 23. Suppose -16 = -4*h, q*d - h = -0*d + 23. Is 9 less than or equal to d?
True
Suppose -9*u = -244 - 98. Which is smaller: -0.1 or u?
-0.1
Suppose 5*s + 1218 = 11*s. Does 203 = s?
True
Suppose -4*w + 378 = 2*w. Suppose 0*i - w = 3*i. Let r be ((-8)/(-28))/((-36)/i). Is 1 bigger than r?
True
Suppose -22*u + 227 = -169. Suppose -104 = -o - 3*o. Let a = u - o. Which is bigger: -0.1 or a?
-0.1
Let i(l) be the second derivative of -l**4/12 + 11*l**3/3 - 12*l**2 + 18*l. Let j be i(21). Suppose -b - 4*b = 5. Which is smaller: b or j?
j
Let a = -0.1661 - -5.1661. Which is bigger: 2.1 or a?
a
Suppose 108*b + 640 = 104*b. Is b <= -159?
True
Let c = -0.4 + -1.6. Let f be ((-579)/(-72) - 8)*2. Which is smaller: c or f?
c
Let b(l) = -l**3 + 6*l**2 - 3*l + 7. Let o = -10 - -15. Let w be b(o). Let p(j) = -j**3 + 8*j**2 - 26*j + 72. Let v be p(5). Is w greater than or equal to v?
True
Let u(q) = -q**2 + 4 + 6*q**2 - q**2 - 2*q - 2*q**2. Let k = 0 - -2. Let n be u(k). Which is smaller: n or 9?
n
Let k = 301 + -294. Is k < -2?
False
Let b be (36/8 - 3)/12*2. Which is bigger: -0.2 or b?
b
Let l = 91 + 135. Let s = -1579/7 + l. Which is smaller: s or 2?
s
Let k be (-9)/((-405)/(-6)) + 24/130. Which is greater: -1/26 or k?
k
Let h = -7294002/521 + 14000. Which is greater: 0 or h?
0
Let c be (-10)/4*32/(-80). Suppose 2*b - 153 = -n + 118, -4*b = 3*n - 543. Let t be (-2)/7 - b/(-399). Is c bigger than t?
True
Suppose -4*t + 0*t = -b + 9, 0 = -t. Suppose -2*a = -3*q + 32, q = -5*a + 5 - 0. Let l = q - b. Which is bigger: l or -0.5?
l
Let f be 232 - -5 - 2 - 9. Is 677/3 at least f?
False
Let j be 4/10 + (-192)/30. Let t be j/(-4) + 24/(-14). Which is greater: t or -1?
t
Let i = 2.55 - -0.05. Let m = i + -1.6. Let r = -0.03 + -0.01. Is r less than m?
True
Let p = 104/77 - 18/11. Let u = 20/21 + p. Which is smaller: u or -5/6?
-5/6
Let p(q) = 20*q**2 + 6*q - 28. Let y be p(4). Is y at least 315?
True
Suppose 4*q - 20 = 0, -z + q + 0*q = 1. Suppose -z*n + 4 = -y + 8, -n - 1 = -3*y. Let a be (-4)/((-28)/9) + -1. Are a and y non-equal?
True
Let g(b) = 495*b**3 - 3*b**2 - 3*b - 1. Let x be g(-1). Let w = 38689/78 + x. Is -1 less than w?
True
Let a = 1606/15 - 107. Is 0 at most a?
True
Let l be -4 - (10/860)/((-1)/338). Which is greater: l or -1?
l
Let q = 33.1 - 35. Let b = q - -1.9. Let u = -11.4 + -0.6. Which is bigger: b or u?
b
Suppose -156 = 73*f - 61*f. Is -28 greater than f?
False
Let q be ((-2)/4)/((-1)/4). Let r(k) = q*k**2 + 5*k - 3*k**2 + 0*k**2 + 2. Let a be r(5). Which is bigger: a or 3?
3
Let u be 123*(-1)/((-9)/(-6)). Which is smaller: u or -80?
u
Suppose -5*x + 23 = 3, 0 = -5*j + x - 4. Does j = 8/129?
False
Suppose 0 = -11*p + 6*p - 95. Suppose 85*g + 1620 = -5*g. Is p less than g?
True
Let g(q) = 8*q + 0*q + 4*q - 18*q - 53. Let i be g(-14). Is 30 greater than i?
False
Let x be (-1)/2*(6 + 1130/(-155)). Which is smaller: 2 or x?
x
Let d(m) be the second derivative of m + m**2 - 1/10*m**5 + 1/12*m**4 + 1/6*m**3 + 0. Let p be d(2). Is p <= -8?
True
Suppose -25*r - 115 = -h - 21*r, 0 = 4*h + 2*r - 496. Which is smaller: h or 121?
121
Let j be (21/14)/((-1)/(-42)). Which is smaller: 511/8 or j?
j
Let m = 5 - -3. Let x = -7 + m. Let d be 3/(-3) + (1 - x). Is d bigger than -3?
True
Let a be 1 + 5/((-105)/(-2451)). Let c = a - 118. Let u be (0*(-1)/1)/2. Which is smaller: u or c?
c
Let a(w) = -w**2 + 22*w + 16. Let h be a(22). Let t = 16 - h. Let o be (4/(-31))/(2 - 4). Is t equal to o?
False
Let k = 0.1224 - 0.1924. Are -51 and k equal?
False
Suppose 22*v = -1067 - 429. Is 1 < v?
False
Let v = 713.91 - 711. Let s = -2.8 + v. Let k = s - 0.01. Are k and -4 unequal?
True
Suppose 5*x = 4*l - 3*l - 6, -5*l = -5*x - 10. Is 3/38 less than or equal to l?
True
Suppose -13*r + 19 = 123. Let u = -3 - 2. Is r at most u?
True
Let y = -2 + 5. Suppose -12 = -6*s + y*s. Let u(l) = -l**3 + 6*l**2 - 6*l - 4. Let h be u(s). Is -1/3 < h?
True
Let x(g) = g**2 + 7*g + 1. Let s be x(-7). Let j be -1 + s + (15 - -1). Suppose 2*y - 3*y = -2*v + 29, -2*y + 10 = 0. Which is smaller: v or j?
j
Let v be 144/42 - (-16)/28. Is v greater than 5?
False
Suppose -5*a - 1 = 2*g, -33 = -4*g + 2*a + 1. Suppose -g = 4*x - 27. Which is smaller: x or 1?
1
Let o(h) = h**3 + 12*h**2 + 12*h + 15. Let p be o(-11). Suppose -45 = p*s - 17. Suppose 0*i - 5*i + 2*j - 44 = 0, -5*i + j = 42. Are i and s nonequal?
True
Let h = 149 - 149.9. Let m = 0.6 - 1.6. Is h smaller than m?
False
Let z be (-4)/(-14) - 46/14 - -3. Suppose -2*s + 3 = -3. Is z > s?
False
Let w = 6 + -11. Let g = 8 - w. Let b = g + -14. Is -1 bigger than b?
False
Let v(a) = 2*a**2 - 14*a - 6. Let p be v(7). Let o be (12/(-15))/(p/(-15)). Which is greater: o or 1/3?
1/3
Let t(s) = -3*s**2 + 5*s - 5. Let z be t(3). Let b be 96/(-72) - (-44)/(-3). Which is smaller: b or z?
z
Suppose 0 = 9*p - 8*p + 5. Let g(y) = y**3 - 3*y - 4. Let s be g(-2). Which is greater: p or s?
p
Suppose -6*r - 39 = -9. Let a = -3 - r. Which is greater: a or -2?
a
Let b = -1252 - -1250. Which is bigger: -141 or b?
b
Suppose 0 = -o + y + 7 - 1, -3*y = 3*o + 6. Suppose 0 = -4*v - 5*m - 10, 2 - 6 = v + o*m. Let a be (-312)/630 + (-2)/(-5). Is v less than or equal to a?
False
Suppose 0 = -5*h + 5, -10 + 1 = -4*x - h. Let y be 4*-4 - (4 - x). Let v = -14 - 3. Which is greater: y or v?
v
Let h(n) = -n**2 - 34*n - 174. Let y be h(-29). Which is greater: y or -139/5?
-139/5
Let g(t) = t**3 + 2*t**2 - 4*t - 4. Let a be g(-4). Let c = a - -16. Let b = -0.6 - 0.4. Which is smaller: b or c?
c
Suppose -k - 11 = -7. Let d be (k/14)/(24/56). Is -2.2 greater than d?
False
Let v = 1.51 - 1.91. Is v at most -27?
False
Let u be 2/3 - (-2)/(-3). Suppose -h - 141 = 3*h - 3*n, u = 3*h + 3*n + 111. Let k be (6/22)/((-6)/h). Which is smaller: k or 3?
k
Let r = -30973/35 - -4110/7. Let d = r + 296. Is -3 bigger than d?
False
Let f be 99/(-21) - (-105)/21. Do 23 and f have the same value?
False
Let u = -7 + 7.07. Let m = 2.03 + -0.96. Let o = m - u. Are o and -5 non-equal?
True
Let s be 77/63 - (-2)/(-9). Let v be (-279)/1980 + s/(-5). Let a = 7/44 + v. Which is greater: 1/3 or a?
1/3
Suppose -10*x - 74 + 54 = 0. Is -6.2 greater than x?
False
Let f be ((-1)/2)/(11/(-2596)). Is 118 at least as big as f?
True
Let z(a) = a - 77. Let u be z(33). Let j = -34 + -10. Is u smaller than j?
False
Let g = 90 + -208. Let r(t) = -2*t**3 + 9*t**2 - 5*t + 20. Let u be r(6). Is u less than g?
False
Let i = 10.4 + -9. Let c = -33.4 + i. Let m = 20 + c. Which is smaller: m or 0.1?
m
Let o = -562 - -561.877. Which is greater: o or -0.2?
o
Suppose -2*b - 3 + 5 = 0. Let p(t) = t**2 + 11*t + 21. Let d be p(-8). Let r be (7 - 6) + 9/4 + d. Is r at most as big as b?
True
Let f be 2/(-3) + 8/3. Let z be (-8)/6*3/f. Are -2 and z unequal?
False
Let b(o) = -o**2 + 26*o - 11. Let k be b(25). Which is smaller: k or -6?
-6
Suppose -249 = 3*k + 141. Which is greater: k or -129?
-129
Let k be ((-3)/((-18)/(-94)))/(37/(-444)). Is k less than or equal to 186?
False
Let q = -436 - -441. Is 18 smaller than q?
False
Let l be -3 + (9 - 0)/1. Suppose -5*c - q - q = -l, 5*q = 2*c + 15. Let h = 4 + c. Is h less than or equal to 6?
True
Suppose -8 = -5*s + 4*u, 2*s - 3*u - 4 = -u. Is s > 29/21?
False
Let n = 0.107 - -0.893. Let w = n + -1. Does -18 = w?
False
Let h = -1443 + 1152. Do -290 and h have different values?
True
Let x = 524 + -523.928. Which is smaller: -0.2 or x?
-0.2
Let a(l) = -7*l**2 + 4. Let q be a(2). Do q and -21 have the same value?
False
Let u be ((-1668)/558 - -3)*6. Which is smaller: 1 or u?
u
Let n(h) = 90*h + 237. Let y be n(-3). Which is greater: y or -18?
-18
Let g be (52/2)/((-5)/(-205)). Let c = g + -118328/111. Which is smaller: 0 or c?
c
Let q(p) = -p**2 + 37*p - 102. Let j be q(34). Suppose j - 12 = 3*a. Let o = 8 - 11. Is o greater than a?
True
Let l = -342.351 + 342. Is l >= 0.2?
False
Let k = 10 - 16. Let g be (5/(-14))/(-5 - k). Which is smaller: 0 or g?
g
Let r be ((-1315)/(-15) - 7)*9/6. Is r equal to 239/2?
False
Let w = -1189/40734 - -1/558. Let a be -1*(-2)/(-6)*3. Is a > w?
False
Let g = 44.3 - 44.37. Is g smaller than -0.4?
False
L