- 7. Let r be x(-6). Which is greater: r or -0.1?
r
Let l(j) = -6*j**2 + 25*j. Let y(w) = 11*w**2 - 51*w. Let p(s) = 5*l(s) + 3*y(s). Let f be p(11). Is f < 56?
True
Suppose 521 = 9*p - 298. Which is smaller: 87 or p?
87
Let f be (-84)/385 - (-2)/(-11). Let l = 0.11 + 0. Let n = l - 0.15. Is n at least f?
True
Suppose 3*p - 14 = 43. Let r = -3 + p. Which is smaller: r or -1/4?
-1/4
Let t = -27 - -18. Let s(x) = -x**3 - 10*x**2 - 9*x + 10. Let b be s(t). Let r be (-5)/(b/(-8))*-1. Is r at most -4?
True
Let m(b) = 2*b**2 + 21*b - 36. Let c be m(-12). Suppose -4*s - 3*h + 3 = 0, 4*h + c = s + 4. Which is smaller: s or -15?
-15
Let p(u) = u**3 + 4*u**2 + u + 3. Let w be p(-4). Let b be 8/68 - 1961/629. Which is smaller: b or w?
b
Let q be (-72)/(-936) - (-170)/(-13). Which is smaller: -31 or q?
-31
Let t = 2374.1 - 2375. Is t >= -16?
True
Let u = 13.21 - 0.21. Let h = 11.8 - -0.2. Let v = h - u. Is v greater than 2?
False
Let r = 149 - 144. Let n = -5 + 4.95. Is n at most as big as r?
True
Let g(q) = -q - 1. Let i be g(-3). Suppose 7*b + 20 = 3*b - 4*s, 5 = -i*b - s. Suppose -2*u = -4*c - 30, -u + b*u + c = -11. Which is bigger: 8 or u?
8
Let g = -96 - -92. Let d be (6/g)/(12/116). Is d > -15?
True
Let x(k) = k - 4. Let p be x(6). Let q be 4978/(-8016) + 0/(-19). Let s = 2/501 - q. Which is smaller: s or p?
s
Let w(x) = -x**2 - 20*x - 7. Let v be w(-20). Let f be (v - -27)*(-1)/(-4). Is f at most as big as 4?
False
Let b(r) = r + 15. Let n be b(6). Let u = 28 - n. Which is smaller: u or 9?
u
Suppose 2*x - 54 + 56 = 0. Which is smaller: x or 2/445?
x
Suppose -67*r + 70*r = -1470. Which is bigger: r or 0.1?
0.1
Let y = -1578 + 1577. Let g be (0 + -3)*2/6. Let m be 2 + g + -2 + 1. Which is greater: m or y?
m
Let d be (-4)/(-5) + 9/45. Let f be 294/9 - (2 + d). Is 29 > f?
False
Suppose -97*n + 120 = -94*n. Which is greater: 2/3 or n?
n
Suppose 9*r - 4*r = 3*w + 300, 4*r - 513 = 5*w. Let t be 14/w*186/(-4). Which is greater: 7 or t?
7
Suppose -3*k + 3*h + 2*h = -735, 0 = 5*k - 3*h - 1209. Let m be (-2)/7 - k/(-868). Which is greater: m or 0?
0
Suppose 0 = -n + 5*b - 195, 0 = -0*n - 5*n - 5*b - 1125. Which is bigger: -224 or n?
n
Let p = -12 + 15. Suppose -4*g + p = -3*g. Suppose -4*m - f = -1, -4*f + 1 = -5*m - g*f. Which is smaller: -1/25 or m?
-1/25
Suppose -4*d + 98 = -6*d. Let x = 48 + d. Which is smaller: x or 0?
x
Let r(n) = -n**3 + 19*n**2 - 35*n + 14. Let f be r(17). Which is greater: 4 or f?
4
Suppose -5*l + 14 = 3*v, l + 10 = -l + 4*v. Let u be l/27*12/198. Let x = u + -10718/11583. Which is bigger: -1 or x?
x
Let r be (-316)/12 + (-9)/(-27). Is -26 greater than or equal to r?
True
Let y(i) = 4*i - 2. Let m be y(2). Suppose -20*p = -51*p + 217. Is m at least as big as p?
False
Let q(m) = -m**2 - 26*m + 1. Let p = -72 - -46. Let i be q(p). Which is greater: i or 2/111?
i
Let s = -1/10397 + 21985/12382827. Is -1 at most s?
True
Let z be (-16)/(-6) + (-5)/(-15). Suppose 2*s + 105 = -z*s. Let h = 19 + s. Which is smaller: h or -3?
-3
Suppose 0 = -153*j + 132*j. Is 5/104 at most as big as j?
False
Suppose -215 = -5*w + 2*z + 2*z, -w + 44 = -z. Suppose 0 = -9*y + 6*y + w. Suppose 3*t + 0*t - 39 = 0. Is t less than or equal to y?
True
Let w be ((-4)/(-6) + -1)/(-1). Let t = -1/426 - -865/5538. Are t and w unequal?
True
Let j be 4306/56*-2 - (-4)/8. Let k be -148 + (-3 - 0) - 2. Let u = j - k. Is u <= 1?
True
Suppose f - 2*p + 3*p = -2, 10 = -5*p. Suppose k - 4*y = 2*k, 4*k + y - 15 = f. Suppose k*a - 3*a + 6 = 0. Which is smaller: a or -1?
a
Let r = -11 - -4. Let y = 0.3 - 4.3. Let b = y - r. Is b less than -1/2?
False
Let q = 242 + -242. Is -1/310 equal to q?
False
Let z(t) = 2*t**3 + 2*t**2 + t + 2. Let o be z(-2). Let l = o + 7. Let k = l + 12. Is 11 greater than k?
False
Let c = -10.78 + 11. Let w = 1.22 - c. Let s = -12.6 + 12. Which is smaller: s or w?
s
Suppose 0 = 5*a + 2*f - 7, 2*a - 4*f + 2 = -0*f. Let j be 3016/260 - a/5*-2. Is j <= 13?
True
Let y = -130.245 - -0.245. Let o = -129.9 - y. Is o at least -2/7?
True
Suppose 5*z + 3 - 8 = 0. Which is bigger: z or 4/5?
z
Let s be -4*(2/(-9) + 68/(-18)). Suppose 9 = d - 2*p, 4*d - s = 2*p + p. Let r = 5/87 + -316/957. Do d and r have the same value?
False
Suppose 4*b - 16 = -2*d, -4*b = -d - 3*b + 8. Let s be (1/22)/(4/d). Is 0 smaller than s?
True
Let f be (3 - 6) + (-5)/(-1). Let z = f + -3. Which is bigger: z or -0.3?
-0.3
Let u be (-42)/(-5)*(-100)/90*-3. Is 260/9 at most u?
False
Suppose 22 = -2*x - 8. Suppose 31*o + 692 = 227. Is x < o?
False
Suppose j - 15 = 2*a, 0 = -3*a + j - 4*j - 27. Let h be (-4)/6 + (-144)/(-54). Let i be 0 + h + a/4. Is i at least 0.1?
False
Let d = -4 + 3. Let h = 86/37 + 1/111. Let j = h - 2. Which is smaller: d or j?
d
Suppose -57 = -2*x + 5*k, 1 = -3*k + 4*k. Let f = x + -22. Suppose -f*g + 4*g = 0. Is g smaller than 3/4?
True
Let k = 8.36 + 0.64. Let m be 4/((-172)/125) - -3. Let j = -114/301 + m. Is k less than or equal to j?
False
Let u = 180 + -167. Suppose -u*p = -p + 372. Is -32 > p?
False
Let k = -6751 + 34017/5. Let d = k - 2802/55. Which is smaller: 0 or d?
0
Let i = -198 + 367. Is i > 4?
True
Let b = 32 - 31.99. Let c = -6.11 - -6. Let k = 0.11 + c. Is b at most as big as k?
False
Suppose 262*m - 82 = 260*m. Let r(v) = v**3 - 5*v**2 - 1. Let l be r(6). Let z = l - m. Which is smaller: z or -9/2?
z
Suppose -6*h - 275 = 727. Is -168 < h?
True
Suppose 2*z = -2*h + 24, -10*z + 6*z = 2*h - 26. Let f(r) = -r**3 - r**2 + 2. Let t be f(0). Let m be 5/t*(-2)/10. Which is greater: m or h?
h
Let s be 110/8*(1 - 25/5). Is s greater than or equal to -55?
True
Let o(y) = y**2 - 21*y - 20. Let g be o(22). Which is smaller: 10 or g?
g
Let i = 66 + -33. Suppose 5*z - 17 = i. Suppose -5*h + 2*l - 1 = 3, -h + z = 5*l. Is 1/4 at most as big as h?
False
Let z be (41 - 40) + (-48)/(-86) + -1. Is z less than or equal to 2?
True
Suppose 47 = -8*y + 6*y + 5*p, p + 17 = -2*y. Which is smaller: y or 0.02?
y
Let q = -1.2 - 11.8. Let p = -2.723 + 0.023. Let j = p + 1.7. Is q greater than j?
False
Let p be (-2)/(-276)*60/(-76). Let z = 4175/34086 - p. Let x = -193/897 + z. Is x at least as big as 0?
False
Let t = -4877 + 3473. Let j = t + 151631/108. Let m = j - -41/54. Which is bigger: m or 1?
1
Suppose -42 = 2*c + 42. Let x be ((-8)/c)/((-6)/(-7)). Is -1 >= x?
False
Let w(k) be the second derivative of k**3/3 - 11*k**2 - 6*k. Let x be w(10). Let j be x/(-7) + 96/(-42). Are j and -4 unequal?
True
Let p(r) = 4*r**2 - 9*r - 1. Let q be p(0). Is 10/139 bigger than q?
True
Let j = 1052 + -1261. Which is smaller: -212 or j?
-212
Suppose -j = -2*m + 6, -j + 15 = 5*m + j. Suppose 5*o + 13 = -b, 3*b = -m*o - 2 - 1. Let a be ((-1)/(-51))/(o/(-9)). Which is greater: 1 or a?
1
Let o = -16/27 - 1265/189. Which is smaller: o or 2/5?
o
Suppose 5*y = -2*w + 2 + 23, 0 = -2*y + 2*w - 4. Let s be y*1 - (4 - 2). Let u be 0 + s/(7/(-2)). Which is bigger: -1 or u?
u
Let f = 116 + -122.1. Let d = -5.1 - f. Is 0.014 less than d?
True
Suppose 9*t - 16*t = 966. Is t != -138?
False
Let i be 10 + (-3 - (-1 - -8)). Which is bigger: i or 7/32?
7/32
Let r(g) = 26*g**3 - 12*g**2 + 25*g - 3. Let b be r(3). Is b greater than or equal to 666?
True
Let o = -0.288 + 0.218. Is o > -4/7?
True
Suppose 15 = 3*b - 2*b. Let k be 5/b*57/(-14). Let y = 1/42 + k. Which is greater: y or -1?
-1
Let j(o) = -2*o**2 - 10*o + 71. Let v be j(-9). Is v smaller than -3/281?
True
Let t = -4 - -4. Let b be ((3/(-4))/(87/(-116)))/(-60). Which is smaller: b or t?
b
Let x = 1/64 + 633/448. Suppose 89 = -5*i - 3*l, -4 + 81 = -5*i + l. Let g(b) = b**3 + 19*b**2 + 49*b + 16. Let a be g(i). Which is greater: x or a?
x
Let k be (-444)/(-5) + (-13)/(-65). Suppose -u + 2*c + 0*c = -26, 4*u - k = 5*c. Let n be (0 + 4)/(u/(-16)). Which is smaller: 0 or n?
n
Let n be (0 + (-3)/8)/(-1). Let w(t) be the first derivative of t**2/2 + 13*t - 4. Let x be w(-14). Which is bigger: n or x?
n
Let u be (18/15)/((-1)/(-5)). Let x be -1 - (3 - 33/u). Let n be (-4)/(-40)*(-10)/(-4). Is n bigger than x?
False
Let u(x) = -2*x**2 + 3*x**2 + 1 + 3*x - 19. Let b be u(-6). Which is smaller: -11/8 or b?
-11/8
Suppose 0 = 5*l + 5*u + 125, -2*u = -l - 5*u - 17. Is -26 >= l?
True
Let s = 9/116 + 9213/116. Let f = s - 78. Let x = -1 + 0. Is f smaller than x?
False
Le