) = -z + 15. Let r be o(s). Is b less than r?
False
Suppose -5*r - 30 + 10 = 0. Suppose 4*f = -t + 12, -t - 3*f - 9 = -21. Let p be (t/296)/(3/r). Is 0 greater than or equal to p?
True
Let l = -28070 - -28039.022. Let a = l + -0.022. Let f = a + 22. Which is greater: 2 or f?
2
Let q = 4.1 - 1.4. Let p = 0.3 + q. Let a = p + -2.98. Is -2/3 bigger than a?
False
Let y(j) = j**3 - 4*j**2 - j + 1. Suppose -16*a = -11*a - 20. Let k be y(a). Let i be 4/10 - 29/10. Are k and i equal?
False
Suppose 0 = -0*q + 3*q + 3. Suppose b - 9 = -8. Let w be (-50)/10 + b + 2. Is w smaller than q?
True
Let u be (-10)/(-4)*(-24)/(-15) + -2. Suppose -u*i = i. Let t = -1208/33 - -109/3. Is i less than t?
False
Let y(o) = o**2 + 16*o + 3. Let m(b) = -2*b - 2. Let j be m(7). Let a be y(j). Let f be a/6*(-4)/(-8). Which is smaller: -2 or f?
-2
Let c be ((-2)/4)/(21/84). Let q = -441 + 172. Let v = q - -1071/4. Does c = v?
False
Let p = 443 + -480. Is 0.1 >= p?
True
Suppose -k - 401 = -2*z, 3*k - 8*k - 3*z - 2057 = 0. Is k >= -407?
False
Let l(k) = 13*k - 368. Let n be l(29). Which is bigger: -17 or n?
n
Let h = 0.1725 + -0.1225. Let n = -0.8 - 3. Let a = n - -4. Is a less than h?
False
Let h = -568 + 369. Which is smaller: h or -200?
-200
Let a = -95 - -94. Let r = -0.4 - -0.3. Let k = 0 - r. Which is smaller: k or a?
a
Let j be 1051/(-8) + 9/24. Let i = 56331 + -393398/7. Let l = j + i. Does l = 0?
False
Suppose 2*q - 57 - 19 = 4*r, 4*q = -8. Which is smaller: r or -142/7?
-142/7
Let s = 48 + -31. Let i = s + -25. Let k = -6 - i. Is 1/4 smaller than k?
True
Let k be (1910/(-2060))/(810/4). Let t = k - 4/515. Are 0 and t equal?
False
Let m = 167/4 + -42. Let v(k) = -2*k - 16. Let j be v(-14). Let f = j - 18. Is m at least as big as f?
True
Let k = 1/68 + -9/34. Is k less than or equal to -6?
False
Let j(l) be the second derivative of l**3/6 - 11*l**2/2 + l. Let m be j(10). Let d be (9/(243/(-4)))/2. Are m and d equal?
False
Let p be 9/(-1) + (-8)/(-32)*8. Let a be (-1)/(-1)*(3 + 1). Suppose 3*b + b = -a. Which is smaller: p or b?
p
Let n(z) = z**3 - 2*z**2 - 2*z + 2. Let c(b) = -2*b**3 + 3*b**2 + 4*b - 3. Let w(a) = -3*c(a) - 5*n(a). Let y be w(-2). Let f = y + 1. Which is bigger: -2 or f?
f
Suppose -41 + 43 = 2*k + 2*q, -1 = k + 2*q. Let u be (1/2)/((-1)/(-2)). Which is smaller: k or u?
u
Let m(v) be the third derivative of v**6/120 - v**5/20 - v**4/8 - 4*v**3/3 - 3*v**2. Let s be m(4). Let u be s/(-2) + -1 + -5. Which is greater: u or -2?
-2
Let s = -407 + 406.76. Which is bigger: s or -0.1?
-0.1
Suppose 44 = -r - 2*t, -4*r - 107 = -3*t + 14. Let v be 3/9 + r/(-6). Let w = -16 + 23. Which is smaller: v or w?
v
Let j be ((-142)/(-52) + -1)/(5 + -11). Let a = -7/13 - j. Is 15/2 at least as big as a?
True
Let m be 3 - 1 - (-8 - -5). Let w = 4.14 + -3.14. Is m > w?
True
Let x(d) = 5*d + 10. Let c be x(-1). Suppose 7*v = 3*v + 28. Suppose -2*r + 17 = v. Is c < r?
False
Suppose -3*w + 2*w - i = 10, 0 = -2*i. Is -10 != w?
False
Suppose -14*f - 72 = 124. Which is bigger: -15 or f?
f
Suppose 6*i - 1490 = 4*q, i + 5*q + 157 - 394 = 0. Is 250 > i?
True
Let y = -36.3 + 6.3. Let z = 0.084 - 15.084. Let i = y - z. Is i less than 0.1?
True
Let w be 130/36*(-102)/340. Is w != 0?
True
Let y = 16 + -11. Let j = y + -7. Let r = 20/29 - 198/203. Which is smaller: r or j?
j
Let y(i) = 11*i**2 - 12. Let a be y(3). Is 438/5 equal to a?
False
Suppose 2*o + 8 = 0, 4*s - 5*o = -s + 160. Let k be (24/s)/(2/14). Let u be k/40 - 2/5. Which is bigger: -1 or u?
u
Suppose 3*y + 31 = 7*r - 2*r, -2*r = -3*y - 25. Let m = y - -7. Suppose m = -4*b - 27 - 1. Are b and -6 equal?
False
Let a = 149.3 - 143. Let x = a - 4.24. Let j = x + -0.06. Which is smaller: 4 or j?
j
Let i(f) = f - 12. Suppose 5*t - 66 = -1. Let o be i(t). Is o not equal to -2/7?
True
Suppose -6*y - 11 = 1. Let g be ((-8)/6)/((-3)/(-144)). Let w be (g/(-84))/(y/(-3)). Which is smaller: w or 1?
1
Let i = -47/7 + 50/7. Let q(s) = s**3 + 7*s**2 + 6*s + 1. Let r(h) = -4*h + 2. Let o be r(2). Let g be q(o). Which is greater: i or g?
g
Let v = 5.36 + -1.36. Is -2/23 equal to v?
False
Suppose 4*y + 16 = 2*y. Let i = 97/28 - -135/28. Let q = i + y. Do q and 1 have different values?
True
Suppose 4*m + 19 - 7 = 0. Let a(n) = -2*n**2 + 5*n - 5. Let t = -13 - -15. Let r be a(t). Are r and m equal?
True
Suppose 45 - 17 = -2*y. Let m be (-15 - 3)*7/y. Is m smaller than 9?
False
Let y be (-1 - 3)*1/(-3). Suppose 5*v - 2*h = 5, -v - h = h - 1. Is y not equal to v?
True
Let f = -27 + -18. Let k = -19 - f. Is k less than or equal to 26?
True
Let m(o) = 5*o - 4. Let u(y) = 4*y - 3. Let x(z) = -2*m(z) + 3*u(z). Let d be x(1). Does -1/26 = d?
False
Let u = 15 + -11. Suppose -4*z - 5*l + l = 16, -u*z - l = 1. Is 29 less than z?
False
Let u be 1 + 119 + 2 + (10 - 8). Which is bigger: 125 or u?
125
Suppose -5*d + 85 = -3*z, -4*z - 23 = -d + 11. Suppose -g = -5*l + 2, -2*g - l = -7*g + 62. Is g < d?
True
Let o = 90 + -84.3. Let q = 4 - o. Which is greater: 0.1 or q?
0.1
Let c be -3 + 0 + -1 - (-560)/130. Let r(t) = -8*t - 2. Let f be r(-2). Suppose k = 5*k - 4*l - 16, k + f = -5*l. Is c at least k?
False
Let g = -41 + 62. Suppose 2*d + 3 - g = -3*z, z - d - 1 = 0. Are -2 and z equal?
False
Suppose 0 = 8*b - 18 + 2. Let u be ((-18)/(-8))/(3 - b). Let n be (2 - 5)/(-3) - -1. Which is bigger: u or n?
u
Suppose -2*s - s = -12. Let f be (-4 + s/(-12))/((-3)/(-9)). Is -9 < f?
False
Let w be (1/4)/((-2678)/4). Let y = 5479/329394 + w. Are 0 and y equal?
False
Let m = 412 + -3724/9. Suppose -w + 9 = -4*w. Are w and m equal?
False
Let j(v) = -v**2 - 13*v + 90. Let q be j(-18). Which is smaller: 2/817 or q?
q
Let w = -0.009 + 0.004. Is -1 less than w?
True
Let i = 561 - 503. Is i at least 62?
False
Suppose -4*o - 3 = 3*d, -11 = -2*o + 3*d + 10. Suppose 2*j - o*j = 0. Let s(h) = -h**2 - 2*h + 4. Let k be s(-3). Is j at least as big as k?
False
Let p(s) = -s**2 + 14*s + 25. Let w be p(15). Let u = 2 + -16. Let c be (-4)/w + (-7)/u. Is 0 equal to c?
False
Let c be (1/(-2))/(9/(-4581)). Let g = 282 - c. Let s = g + -27. Is s at most as big as -0.3?
False
Let p(g) = 3*g**2 - 5*g - 5. Let q be p(-1). Suppose -q = -2*f - w, 3*w - 11 = f + w. Which is smaller: 1/3 or f?
f
Let c(p) = -3*p - 5. Let i(b) = -10*b - 16. Let h(d) = -7*c(d) + 2*i(d). Let z be h(6). Let l = z - 43/5. Which is smaller: l or -4?
-4
Let k = 560 + -1153/2. Which is greater: -16 or k?
-16
Let q = -52 - -25. Let d be (0 + 4)/((-75)/525). Is d > q?
False
Let r = -10128.01 - -10079. Let l = r + 49. Which is bigger: 2 or l?
2
Suppose -f + 8 = -3*f + 4*y, 0 = 4*f - 2*y + 16. Let m = -10 - f. Does -6 = m?
True
Let h = -4.8 - -6.1. Let w = -0.7 - h. Do w and -0.29 have different values?
True
Let x be (-2996)/5586 + (-12)/(-21). Let s be 0/1 - -1*11. Let w = -11 + s. Which is bigger: x or w?
x
Let m(n) = 5*n**2 + 62*n + 21. Let t be m(-12). Do t and 0.27 have the same value?
False
Suppose 5*y + n = 5*n + 96, -y + 3*n + 28 = 0. Let h be 1 - (0 - (-13)/y). Suppose m + 4*m = 0. Which is bigger: m or h?
h
Let a(o) = o**2 - 6*o - 16. Let q(l) = -l**2 + 10*l - 1. Let m be q(9). Let n be a(m). Is -5/9 smaller than n?
True
Let b(l) = -l**2 - 7*l - 3. Let c be b(-8). Suppose -5*n + t = -67, -3*t + 12 - 31 = -2*n. Let m = c + n. Does m = 6?
False
Suppose 6 = o + 5*g - 12, -o - g = -2. Are o and -22/23 nonequal?
True
Let t = -6 + 9. Does 2/75 = t?
False
Let s = -440 + 413. Is -1 bigger than s?
True
Let y = 12.33 - -0.87. Let s = -1.2 + y. Is s >= 3?
True
Let t = 28.69 + 0.31. Are 1/2 and t nonequal?
True
Let d(a) = -a**3 + 4*a**2 + 7*a - 7. Let t be d(5). Suppose p - 22 = -4*h - p, -5*h = -5*p - 5. Is h < t?
False
Suppose -5*g = -5*s - 10*g - 30, 2*s + 4*g + 22 = 0. Let b(u) = -3*u - 41. Let a be b(-14). Which is bigger: s or a?
a
Let d(b) = -662*b**2 + b - 1. Let m be d(1). Let w be 1310385/(-1980) - (1 + 6/(-8)). Let a = w - m. Is a <= 0?
True
Let x(p) = 7*p + 21. Let q be x(6). Suppose -4*h = 4*m + 148, -5*h - 3*m - 250 = -q. Are -37 and h equal?
False
Let g = -84 + 251. Is 167 equal to g?
True
Suppose -315 = -14*i + 1855. Is i at least as big as 154?
True
Let r(y) = y**2 - 2*y - 2. Let p be r(-2). Suppose 9*m - 14 = 7*m - 7*n, 0 = -3*n. Is p greater than or equal to m?
False
Let s = -2/2043 + 19757/8172. Is s smaller t