 88, 5*o = 2*d - 26. Let k = -15 + d. Suppose 2*g - k + 5 = 0. Is 6 <= g?
False
Let j = -8194/5 + 1639. Is j less than 6/5?
True
Let g(f) = f**3 - 7*f**2 - f - 3. Let o be ((-2 - -1) + 8)*1. Let m be g(o). Is 0.1 equal to m?
False
Let y be -18*4/(-6) - 0. Let v be (y/(-16))/((-14)/(-13408)). Let k = -720 - v. Is k greater than -3?
True
Let z = -610 - -603. Are -8/3 and z unequal?
True
Let l = -46 + 55. Suppose -3*w + 3*b - l = 0, 6*w + 4*b = w + 12. Suppose 2*t - 4 + 0 = 0. Is w at most as big as t?
True
Let m be -4 + (-2)/(-1) - 1. Let s be -3*(4 + (-11)/3) - 0. Which is greater: m or s?
s
Let q be 121/110 + 6/(-4). Which is smaller: q or 10/9?
q
Let b be (1224/208)/3 - (-2)/(-1). Let z(f) = f - 5. Let s be z(5). Is s less than b?
False
Let w = -17.7 + 20.815. Let s = -0.015 + w. Let x = -3 + s. Is x at most 0.06?
False
Let a be (-110)/(35/(-20) + (-2)/8). Let t = 55 - a. Are 0 and t nonequal?
False
Suppose 5*t - 3*t = 22. Suppose -3*c = -5*r - t - 19, -13 = -2*c + r. Suppose -1 - 4 = -c*f. Is 2/5 greater than or equal to f?
False
Let l = -750 + 761.6. Is 3 smaller than l?
True
Let j(u) = -5*u**3 + 7*u**2 - 7*u + 6. Let m(x) = -4*x**3 + 6*x**2 - 6*x + 5. Let d(a) = -5*j(a) + 6*m(a). Let l be d(2). Let h = l - 20. Are h and -10 equal?
True
Let t be 4 - (2/16)/(2/172). Which is smaller: -6 or t?
t
Suppose -2*z + 9 = -3*b + z, -b + 3 = z. Let d be (-2 - b) + (-35)/(-18). Suppose 3*q - 2*w + 5 = 6*q, -w = -4. Is q greater than or equal to d?
False
Let w = 1016 + -1050. Is -1 at least w?
True
Let i(u) = -u**3 + 4*u**2 + 17*u - 29. Let d be i(6). Do 1/34 and d have different values?
True
Let b be (-2965)/985 + 10/5 - -1. Is -2/9 != b?
True
Let p be (14/10 - 1) + 9/15. Which is smaller: -2/625 or p?
-2/625
Let w = 363/2 - 2177/12. Which is smaller: -0.05 or w?
-0.05
Let z be 42/56 + (-98)/8 - -3. Do -8 and z have the same value?
False
Let n = -1065 - -322697/303. Let x = 37/505 - n. Suppose 208*r - 273 = -65*r. Which is smaller: x or r?
x
Let f(u) = -u**3 + 26*u**2 - 9. Let b be f(26). Which is bigger: b or -48/5?
b
Let w be (2 + 0)/((-2)/(-22)). Suppose -7 - 19 = 26*k. Which is bigger: w or k?
w
Let k(r) = -r**3 + 6*r**2 + 7*r - 1. Let o be k(6). Do 36 and o have different values?
True
Suppose 9*w - 10 = 4*w. Suppose 5*d - 2 = 4*a, d + 4*a - w = 8. Is d greater than 2?
False
Let l = -46/5 + 373/40. Which is smaller: 150 or l?
l
Let q = 157 - 139. Let m be (4 - (-1 - -3)) + 17. Which is greater: q or m?
m
Suppose -7*x + 2*x = -5*g - 5, 2*x + 5*g = -12. Is -0.268 less than or equal to x?
False
Suppose s = 3*u + 82 - 94, 3 = -s. Is 92/31 smaller than u?
True
Suppose -16 = 5*p + 14. Suppose 3*q - 37 = 2*h + 2*q, 35 = -2*h - q. Let i be (18/24)/(h/160). Are p and i equal?
False
Suppose -33*f + 4 = -37*f. Do f and -12/73 have the same value?
False
Let c = 4/13 + 5/26. Let o(d) = -21*d + 88. Let s be o(4). Which is smaller: s or c?
c
Let y be (28 - 13)*4/10. Let s = y + 0. Is s greater than 5?
True
Let o = 5121/5 - 1039. Which is bigger: o or 1?
1
Let i = 40 - 133. Let p = -73 - i. Is 20 < p?
False
Let z = 2473/5 + -498. Does 3 = z?
False
Let y = 4 - 1. Suppose -3*m - 2 = -4*g + 2, -5*g + 5 = -y*m. Suppose 3*q + 0*q - 3 = m. Do q and -2/27 have different values?
True
Suppose -t = 4*n - 4*t + 4, -5*t = 5*n + 5. Suppose 4*j = g - 3*g - 94, 3 = 3*g. Let h = -71/3 - j. Is h at least as big as n?
True
Suppose 2*j - 10 = 2. Suppose -o - j*i = -4*i - 5, 12 = -3*o + 3*i. Is o > -2/81?
False
Let k = -1.54 - 0.46. Let n = 11 - 6. Is k at least n?
False
Let d = -8 - -7.91. Let t = 25 - 13. Let r = t - 12.1. Is r at least d?
False
Let o be -6 + 0 + 1728/270. Let b = -6 + 15. Do o and b have different values?
True
Let t be (-1)/1 - 9/(-9). Is t at least -12/35?
True
Let b = -1053 - -203231/193. Which is greater: -1 or b?
b
Let b be 44147732/(-25)*595/(-6172614). Let p = -2/244945 - b. Let d = -170 - p. Is 1 at least as big as d?
True
Suppose -6*z = -m - 2*z + 542, -1024 = -2*m - 4*z. Which is smaller: m or 524?
m
Let i = 7.17 - -2.13. Let k = i - 1.3. Let b = -3 + k. Is -0.1 greater than or equal to b?
False
Let j(v) = -13*v - 432. Let n be j(-31). Which is smaller: -26 or n?
n
Suppose l + l + 34 = 0. Suppose -f + 558 = -4*f - 3*a, -3*a = 4*f + 744. Let n = f - -169. Is n at most l?
True
Let a be (-21)/49 - (0 + 277/7). Let o = a - -161/4. Which is smaller: -3 or o?
-3
Let z be 0/(((-3)/(-3))/1). Let j = 0.08 + -1.08. Which is smaller: z or j?
j
Let x = 24 - 25. Let g = -41 + 23. Which is greater: g or x?
x
Let u(r) = r**3 + 9*r**2 - 9*r + 4. Let x be u(-10). Let z be (-2)/x - 1802/51. Is -35 >= z?
True
Suppose 19 = -4*j + 3, -4*r - 5*j = 44. Let d = -828 + 835. Let u = d + r. Is 1/4 less than or equal to u?
True
Let l be ((-10)/2)/(16/(-48)). Suppose -12*i + l*i + 6 = 0. Which is smaller: 9/5 or i?
i
Let z(a) = 4*a**2 + 4*a + 2. Suppose -4*f = f + 5. Let r be z(f). Is r equal to 22/7?
False
Suppose 4*y + 0*i - 28 = i, -y + 3*i = -7. Suppose -k + 4*k - 2*p = 22, 3*k = -p + y. Is k at least 13/3?
False
Let u be 1/((-5)/(-2) - (12 - 10)). Let o be (-53)/(-47) - (0 + 2)/u. Which is bigger: 1 or o?
1
Let v be (-12 - 7368/(-612))/((-56)/6). Is v > -1?
True
Let n = 16.4 + -3.4. Let u = n - 11. Which is bigger: -1 or u?
u
Let z = -34 - -37. Suppose -5*t + 64 = z*t. Which is greater: t or 5?
t
Suppose 1 = z - 2*y + 2, 0 = -5*z - 2*y - 41. Which is smaller: -12 or z?
-12
Let i be (-2)/(-7) + (-132)/(-28) + -5. Let w be 0 + 1 + (1 - 1) + i. Are w and 2/121 equal?
False
Let w = -804 + 805. Are w and 18 nonequal?
True
Let b = -611 + 612. Which is smaller: 5/71 or b?
5/71
Let n = -887 - -889. Which is bigger: n or 0.103?
n
Let n = 268 - 375. Let i = -101 - n. Is i less than or equal to -3?
False
Let n be 3*-1*5/(-1). Suppose -6*r - 9*r = -n. Is 9/19 bigger than r?
False
Let x(c) = -c - 7. Let r = 26 - 18. Suppose -r*m + m = 56. Let u be x(m). Which is smaller: u or 6/11?
6/11
Let j = 338243485/2371446 + -1/1693890. Let a = j + -713/5. Let y be 5/(-10) + (-1)/(-2). Which is smaller: a or y?
y
Let r = -28 - -33. Which is smaller: 5/3 or r?
5/3
Suppose 7*m - 6*m + 1 = 0. Let p be 2 - (-1 + m + 0). Is p != 4?
False
Let q = 0.22 - 28.22. Let t = 9 + q. Which is smaller: t or -1?
t
Let p(u) be the second derivative of -u**3/6 + 5*u**2/2 + 9*u. Let b be p(3). Suppose 0*j - 3*c - 25 = -b*j, 2*j = -c + 37. Which is bigger: 16 or j?
j
Let z = -204 + 171. Which is greater: z or -31?
-31
Let u = 696 - 703. Is u at least -3?
False
Let n = 2613/8 + -327. Let j = 3 - 0. Does j = n?
False
Let f = -26 - -25.5. Let u = 1.43 - -0.07. Let a = f + u. Which is smaller: a or -1?
-1
Let c = 16 + -10. Let p be 2/c*60/(-18). Suppose -3*h + 5*d - 6 = -0*h, 5*h = -5*d - 10. Is h greater than or equal to p?
False
Let y = -111 - -80. Is y smaller than -5?
True
Let m = -0.1 + 2.1. Let j(u) = 2*u - 5. Let a be j(7). Which is smaller: a or m?
m
Let x = 52 - 46. Suppose -4*r - 10 + x = 0. Is -4/13 less than or equal to r?
False
Let m(k) = -k**2 + 6*k + 5. Let p be m(6). Suppose p*o - o = 232. Let i be (-3)/(-42)*o - 3. Is 0 <= i?
True
Let h(n) = n**3 - 6*n**2 + 4. Let w be h(6). Suppose w*x + 2*u = -3*u - 26, 3*x + 20 = -4*u. Suppose 4*l + 12 = -8*l. Is l smaller than x?
False
Suppose 0 = -2*j + 51 - 167. Let c be j - ((-10)/((-4)/2) + -3). Is 1 not equal to c?
True
Let g = -3982.13 - -3945. Let w = g - 0.87. Let x = 31 + w. Is x at most as big as -1?
True
Let w = 14 - -86. Suppose 6*y + w - 10 = 0. Which is smaller: -74/5 or y?
y
Let m be (3 - -2)/(10*7/14). Which is smaller: -5/133 or m?
-5/133
Suppose -3 = -5*i - 5*k + 7, -4*i + 14 = -2*k. Suppose i*y - 6 = y. Suppose -y*c + 32 = -7*c. Is -1 < c?
False
Let l be 33/(-374)*(-1920)/18. Which is smaller: 10 or l?
l
Let p(f) = f - 2. Let t be p(6). Suppose -3*u + t = -11. Suppose 2*g = -3*z + 8, -5*g + 5*z + 15 = -u. Is g > 4?
False
Let p = 3.5 - -1.5. Let w = -54 - -59.1. Let k = w - p. Is -0.02 < k?
True
Suppose 5*o + 70 = -4*b, -5*b - o - 67 = -5*o. Let w = b + 33. Let x = w - 16. Which is greater: x or 3?
3
Suppose 4*j - z - 10 = 4*z, -2*j + 4 = -2*z. Let v be (2 + 453/(-2))/182. Let s = -3/182 + v. Is s at most as big as j?
True
Suppose -19*o - 280 = -11*o. Let k = -26 - 9. Is o <= k?
True
Let p = -142 - -1560/11. Let x(q) = q**2 + 7*q + 9. Let o be x(-5).