 18.12. Let t = o + 1.12. Which is greater: 2 or t?
2
Let w be ((-5254)/(-222))/(1/(-3)). Do -72 and w have different values?
True
Suppose 9*w = -44 - 19. Let o be -2 + (27*1)/3. Let p(s) = -s + 7. Let u be p(o). Is u smaller than w?
False
Suppose 6 = 3*l - z, -l - 13 = l + 5*z. Suppose -3*n + n = -2*v + 2, -2*n = -v + 6. Let r be 14/(-40) - v/16. Is l <= r?
False
Suppose 5*d = -m - 985, -17*d + 19*d + 3*m = -381. Is d greater than -196?
False
Let m = -9 - -9.18. Let u = m + 1.12. Let v = 0.7 + u. Is 6 less than v?
False
Suppose -4*t + 12 + 0 = 0. Suppose -88 = -t*z + 185. Let g be 7/4*26/z. Which is greater: g or 0.6?
0.6
Let n be 56/(-224) + (198/104)/(-1). Which is smaller: n or -3?
-3
Let w be (0 - -2)/(18/(-171)). Let y = w - -11. Let r be ((-3)/(-36))/((-9)/y). Is 0 greater than r?
False
Let a = -132 - -146. Which is smaller: 16 or a?
a
Let k(w) = w**2 + 23*w + 21. Let f be k(-22). Do f and 9 have different values?
True
Let n(k) = -k**2 - 3*k + 3. Let r be (-660)/(-42) - 2/(-7). Suppose 0 = -y - u - 3, 3*y = -0*y + 4*u - r. Let h be n(y). Which is bigger: h or -3/5?
-3/5
Let p be (-20)/(-8) - (-3)/(-6). Let b(f) = -f**3 - 2*f**2 + f. Let z be b(-2). Let d be z*(-1)/4*p. Is d at least as big as 4/9?
True
Let u = -2/327 + -620/5559. Let x = -23/238 + u. Suppose -3*v - 4*n = 5, -2*v - 2*n + 3 - 5 = 0. Is v at least x?
True
Let k be ((-150)/(-80))/(9/6). Which is smaller: 0.2 or k?
0.2
Let y(k) = k**3 - 9*k**2 + 6*k + 16. Let r be y(8). Let l be r/(2/1 + -3). Suppose -5*v + 20 = -l*g - 4*g, 3*v + 4*g + 20 = 0. Which is smaller: 3 or v?
v
Let h be (-6)/10*2/(-6). Let m = -20.2 + 20. Let q = 3.2 + m. Is h less than q?
True
Let x = 2.67 - 0.67. Suppose -7*s + 224 = -3*s. Let b be (-11)/(-14) - 16/s. Is b at least as big as x?
False
Let m = 145.37 - 149. Let s = m + 3.8. Let q = -0.17 + s. Which is bigger: 0.06 or q?
0.06
Let v = -1.5 + -2.5. Let q = -3 - v. Do q and -1/12 have the same value?
False
Let z(g) = 17*g**2 + 64*g + 289. Let x be z(-5). Which is smaller: 393 or x?
393
Let i = -61270/31250741 + 12/8453. Is i > 1?
False
Suppose -6 = 3*g + 6, -4*g = -5*b + 96. Suppose 238 = 6*r + b. Which is smaller: 38 or r?
r
Let g = 58 + -58. Let z = -0.11 - g. Is z < 0.1?
True
Let l = -3.21 - -3.11. Are 90 and l nonequal?
True
Let h be (-2)/(-18) + (-1)/(-18)*-2. Is -10 greater than h?
False
Let j(s) = s**3 - 10*s**2 - 7*s + 2. Let g be j(11). Let m = -44 + g. Which is smaller: m or -0.17?
-0.17
Let o(g) = 3*g**2 + 15*g - 19. Let z(w) = -4*w**2 - 16*w + 18. Let c(n) = 5*o(n) + 4*z(n). Let b be c(8). Is 0.4 greater than or equal to b?
False
Suppose 5*h - 5*b + 10 = 0, 3 = -0*h - 5*h - 2*b. Are h and -1/8 nonequal?
True
Let w = -41/27 + 7285/4833. Suppose 2*l - 10*l - 8 = 0. Is w not equal to l?
True
Let m be (-14)/(-1)*(-1 - -2). Suppose -h - 4*y + 2*y = -10, -3*h + 5*y = m. Let k be ((-2)/22)/(h/(-4)). Which is smaller: 0 or k?
0
Let c(r) be the third derivative of r**5/60 - 7*r**4/24 + r**3 + 2*r**2. Let q be c(6). Let x be 87/(-105) - (-20)/50. Is x > q?
False
Let d = 5359 + -85713/16. Is 3 at most d?
False
Let g = 11 - 8. Suppose 4*t - x = 101, -4*x - 68 = 4*t - 6*t. Suppose -g*v = v + t. Which is smaller: v or -5?
v
Suppose -w = 2*c + 1, 5*c - w - 3*w - 30 = 0. Let i be (2 - -3 - c) + 0. Suppose 0 = 2*r - r - i. Is 6 != r?
True
Suppose -3*c - 3*z + 18 = 0, 2*c - 4 = z - 7. Is 1/303 > c?
False
Let p be ((-16)/3)/(3/(-9)). Suppose p*k = 6*k + 5*k. Is k < -2/53?
False
Let m be 26/3*(-12)/(-4). Suppose f + m = 3*f. Let w = 13 - f. Which is greater: w or -7/6?
w
Suppose 2*s = -2*w - 4, 8 = 2*w - 6*w. Suppose -4*p + s*p - 38 = -r, -3*r + 3*p + 150 = 0. Do 54 and r have different values?
False
Let f = -0.56 - 0.34. Let g = 0.85 + f. Is 0.2 <= g?
False
Suppose -4*o - 2 = -26. Let y = 34 + -27. Suppose 0 = -l - 2*x - 3, 0 = -5*l + o*l + 3*x + y. Is 5 at least as big as l?
True
Suppose 29*a + 25*a + 21114 = 0. Which is smaller: a or 2?
a
Let h be ((-6510)/25)/((-18)/45). Are 651 and h equal?
True
Let v = -2.107 + 3.207. Is 0.043 < v?
True
Suppose -15 = -l - 4*l. Suppose -2*w - 17 = -l*n, -5*n - 3 = -18. Let k(v) = -v**3 + 8*v**2 - 6*v - 10. Let b be k(7). Is b greater than w?
True
Suppose 15 = -5*m - 10, -98 = 3*d - 2*m. Which is smaller: d or -35?
d
Suppose 0 = b + 5*r, 2*r = -85*b + 83*b. Suppose -2*s = t - s + 3, -5*s = -5*t + 25. Which is smaller: b or t?
b
Let i = -25 + 21. Let g = -5 - i. Which is smaller: -1/12 or g?
g
Let p(v) = 22*v - 12. Let h be p(-2). Is -54 less than or equal to h?
False
Let s = -23/66 - 5/33. Which is greater: s or 2/33?
2/33
Let f = -497 + 494. Which is bigger: -46/17 or f?
-46/17
Let n = 0.069 - -0.031. Let g = 0.08 - 10.08. Which is smaller: g or n?
g
Let u(x) = 2*x**3 + 3*x**2 + x - 2. Let c be u(-1). Which is smaller: c or -32/21?
c
Let o(b) be the first derivative of b**3/3 - 3*b**2 + 5*b + 5. Let p be o(5). Suppose p = -4*u + 1 - 5. Which is smaller: u or 5?
u
Let b(s) = s**2 - 12*s + 16. Let y be b(11). Let t(a) = a**2 - 4*a - 4. Let c be t(y). Let z be c/9 - 3/9. Is 0 less than z?
False
Suppose 0*x = -4*x - 276. Which is smaller: -71 or x?
-71
Let h be 3/((-6)/4) - -12. Suppose -5*r + h = -5. Suppose -r*p - p - 4 = 0. Is -2 >= p?
False
Let t be 11700/(-43472) + 2/8. Which is smaller: t or 1?
t
Suppose n = -2*n. Let p = 1 + n. Let m = 173/3 - 1739/30. Is p at least m?
True
Suppose -3*j = 3*s - 6, j + 10 = -6*s + 9*s. Which is bigger: s or 4?
4
Suppose -4*k + 46 = 5*v + 26, 2*k - 5*v + 20 = 0. Which is smaller: k or -22?
-22
Let r = -40 - 6. Let i be (69/r)/((-3)/(-4)). Is 1 > i?
True
Let t = 3 - 4. Let d = -52.04 - -0.04. Let c = -55 - d. Is t bigger than c?
True
Let v = -43 - -39. Which is smaller: v or -0.2?
v
Let v(y) = -y**2 - 4*y + 12. Suppose 3*m + 4*r + 14 = 0, 2*m + 17 = 2*r + 3*r. Let i be v(m). Which is smaller: i or -2/65?
-2/65
Suppose 6*f = 10*f. Suppose -4*o - j + 6 = f, 6*j + 2 = -4*o + j. Suppose -o*v = -3*v - 4*x - 12, x + 45 = 5*v. Are v and 9 equal?
False
Let h = 216.863 + -217. Let y = h - -9.037. Let j = 9 - y. Is 3/14 <= j?
False
Let l be ((-162)/21)/((-105)/(-196)). Let g = 4 + -17. Is l < g?
True
Suppose 22*m - 19*m - 3 = 0. Which is smaller: -3/83 or m?
-3/83
Suppose -30*r + 1126 = -404. Which is smaller: 460/9 or r?
r
Let h = 0.25 - -0.15. Let p = -0.07 + 6.07. Let a = -6 + p. Is a != h?
True
Let p(q) = -2*q**3 + 25*q**2 + 11*q + 20. Let h be p(13). Let w(k) = k**2 + 7*k + 7. Let b be w(-5). Is b != h?
True
Let f(z) = z**3 - 5*z**2 + 6*z - 7. Let n be f(4). Is 1/38 bigger than n?
False
Let p be (-38)/60 - (-8 - (-120)/16). Is p greater than 11?
False
Suppose 0 = 15*q - 5*q. Let d be ((-8)/(-66) + q)*-1. Which is bigger: d or 0?
0
Suppose -3*p = -2*m - 62, 2*m - 4*m - 4*p = 34. Let d be m + 25 + 6/(-19). Are 0 and d nonequal?
True
Let z be 1*(-4)/28*(-5 - 2). Which is smaller: 0.03 or z?
0.03
Suppose 0 = 2*d + d + l + 13, -5*d = 4*l + 17. Which is bigger: -56/11 or d?
d
Let i be 6 + (-5 - 6) + -175. Is -180 > i?
False
Let v be (-220)/56 - 15/9*-3. Are 1 and v non-equal?
True
Suppose 0 = 7*m + 12 + 2. Let z be ((-2)/2)/(m/(-22)*1). Which is smaller: -13 or z?
-13
Let d = 3826223/19300 + 1/9650. Is 198 < d?
True
Let k be 3/2 - 1/2. Let p = 104 + 23. Let h = p + -1138/9. Is h smaller than k?
True
Let v = -12 - -49. Let n = -37 + v. Which is smaller: n or -4/29?
-4/29
Let p be (4 + -13)/3 - 128 - -1. Is 0 at least as big as p?
True
Suppose -i - 2*i = -21. Let w(z) = -4*z + 10. Let d(r) = 3*r - 7. Let m(q) = i*d(q) + 5*w(q). Let u be m(1). Is 3 at least as big as u?
True
Let i be (1 + (0 - 1))*-1. Let d be (i + 1)*5/(-50). Suppose 0 = -3*f + 3*n + 6, -1 = -3*f - n - n. Is d < f?
True
Let k be (6/(-3108))/((-15)/10). Which is greater: k or -1?
k
Let b(x) = -x**2 - 8*x - 6. Let y be -15*((-4)/(-10) - 1/15). Let l be b(y). Let s = 31 - 21. Which is smaller: s or l?
l
Let x = 88651/9 - 9847. Let m be 32/10 - (-2)/(-10). Does m = x?
False
Let u(h) = -h**3 + 6*h**2 + 3*h + 5. Let n be u(6). Suppose 6 = 5*r - 59. Suppose -2*t = t + 5*d + n, 0 = 3*t - 5*d + r. Does t = -6?
True
Let h = 285 - -75. Let m be (1/2)/(10/h). Suppose 5*b = -3*d - m, 4*b - d = 2*d - 9. Is b smaller than -3?
False
Let w be (49/140 + 10)*(-10)/(-4). Is 26 != w?
True
Suppose g = 3*o - 120, -2*o = 5*g - 16 - 64. Let z = 38 - o. W