(-6). Suppose -z*v = -2*y + v, 2*v = -2*y - 10. Which is smaller: y or -1?
y
Let j = -31 - -47. Let r be 12/j + 13/(-28). Are 1 and r non-equal?
True
Let w be 1 + 1 - 34/10. Let l = -56/15 - w. Which is smaller: l or -3?
-3
Let d = 19.52 + -19. Let v = d + -0.73. Let p = 0.01 + v. Is -3/2 at most as big as p?
True
Let b = 1.9 + -3.2. Let x = 1.1 + b. Is x <= -2/9?
False
Let f(n) = -n**2 + 9*n + 1. Suppose 0 = w - 3 - 6. Let p be f(w). Let x = -8 + 6. Which is bigger: x or p?
p
Let v(s) = s**3 + 6*s**2 - 7*s + 4. Let n be v(-7). Suppose -3*m = -5*m. Suppose m = -n*x - 4. Is 2/21 bigger than x?
True
Let z = 55 + -76. Is -19 < z?
False
Suppose 0 = -4*b - b - 10. Let n be (-2 - -4) + b*1. Suppose k + n*k + 5*t + 11 = 0, -3*t - 3 = -3*k. Are k and -2 equal?
False
Let a(z) = -z**3 - z**2 + z - 2. Let j be a(-2). Let y(b) = b + 1. Let l be y(j). Let k be (-22)/(-24) + 2/(-8). Is k at least as big as l?
False
Let p = 1843 - 119787/65. Let q = -167/1885 + p. Which is greater: 0 or q?
q
Let w be 4/(-10) - 27/(-5). Suppose -12 = 5*f + 5*r - 62, -w*f - r + 30 = 0. Suppose 3*d - y = y + 1, -3*d - 4*y + 25 = 0. Which is greater: f or d?
f
Let m = -36 - -25. Are m and -10 unequal?
True
Let l be 4/(-4) + 1 + 3. Suppose -l*v - 2*v + 5 = 0. Is v less than or equal to 0?
False
Suppose 1 - 11 = -5*l. Suppose l*y = -2*y + 4*j + 36, 0 = -4*y + 5*j + 37. Is y at least as big as 2/7?
True
Suppose -t = 3*m + t - 9, 3*t = -m - 4. Which is greater: m or 6?
6
Let c = 1117202/19 + -58820. Let m = c - 215/57. Let p = 23 + m. Is -2/5 < p?
False
Let q = 0 + 6. Let p = q - 1. Let m = -3 + p. Is 0 greater than or equal to m?
False
Let p = -2.37 + 0.37. Which is greater: p or -1?
-1
Let h = -157 + 128. Which is smaller: -28 or h?
h
Let c = 0 + -2. Let j = 1 - -1. Let v = -2 + j. Which is bigger: v or c?
v
Suppose 3*t - 5 = 8*t. Let p be ((-1)/t)/(-7 + 11). Is -1 less than p?
True
Suppose y = -4*y - 80. Is y smaller than -16?
False
Let k(i) = -8*i + 1. Let g(s) = 3*s. Let n(m) = -11*g(m) - 4*k(m). Let z be n(-4). Which is smaller: z or -2/7?
-2/7
Let o = 8.1 + -10.06. Let h = 0.04 - o. Is h != 2?
False
Let u(l) = -7*l + 1. Let o be u(-1). Suppose -2*k - o = 2*k. Is k less than or equal to -6/7?
True
Suppose f = -3*f + 16. Suppose -2*o + f*o = -i, -2*o = 5*i. Is i greater than or equal to -1/4?
True
Let l = -2 - -2. Let p = 7846904/1071 + -124404/17. Let y = 82/9 - p. Is y >= l?
True
Let g = -0.08 + 0.03. Let r = g - -0.05. Which is bigger: 0.1 or r?
0.1
Let d = -11 + 10.6. Which is smaller: d or 0?
d
Let k = 290 + -286. Let a = 664/2907 + -2/323. Which is greater: k or a?
k
Let h(t) = -t**2 - 3*t + 9. Let j be h(-5). Is 2/9 smaller than j?
False
Suppose -4*u + 2*u = -4*w + 6, -4*w - u + 21 = 0. Let d = 7 - w. Let i be (-10)/56 + d/(-12). Are 1 and i nonequal?
True
Let r = 4.2 - 4.66. Let t = -0.36 - r. Suppose 4*q = j + 5, 3*j = -5*q + 4*j + 6. Which is smaller: q or t?
t
Let a = -1755/161 + 76/7. Is a > 0?
False
Let d = 5/2 - 3. Let z = 1 - 1.3. Which is bigger: d or z?
z
Let l be 1 - (-2 - -2) - 2. Let f be (13/(-15))/(6/(-15)). Let z = f + -5/2. Which is bigger: z or l?
z
Let j be (-2)/(-9) + (-2)/9. Let c = 13 + -7. Let w be (5 - 0)*c/(-15). Which is smaller: j or w?
w
Suppose 5*y - 15 = -3*d + 2*d, -3*d - 3 = -y. Let g = 4 + 0. Let h = 2 - g. Which is smaller: y or h?
h
Let n(u) = -u**2 + 5. Let z be n(4). Which is smaller: -1 or z?
z
Suppose 0 = 3*j - 2*j. Suppose j*x + x + 2*w + 13 = 0, 5*w + 34 = -3*x. Are 3 and x nonequal?
True
Suppose w + 31 = -4*r, -5*r + 0*w - 2*w - 41 = 0. Is r at least -0.05?
False
Let x be (1*-2)/(1/((-5)/(-10))). Which is greater: x or 5?
5
Let h(m) = -m**2 - 8*m - 5. Let n be h(-8). Let b = 1 + n. Is -1 less than b?
False
Let g = 40 + -124/3. Suppose 5*i - 4 = -19. Let q(l) = l**3 + 4*l**2 + 5*l + 4. Let k be q(i). Does k = g?
False
Let b = -5 - -8. Which is smaller: b or -0.04?
-0.04
Let t = -0.55 - 0.05. Let c = t + 0.7. Is c bigger than 0?
True
Let d be (-11 + -11)*(-1)/2. Which is smaller: d or 9?
9
Let c(r) = -r + 9. Let f be c(6). Let s be (-60)/(-18) + (-1)/f. Let i(y) = 2*y + 1. Let w be i(1). Is s at least as big as w?
True
Let t = 64.3 - 68. Let g = t - -0.7. Let i = -0.9 - -0.9. Is g >= i?
False
Suppose 0*m - 30 = -5*b - 5*m, 4*b - 21 = -m. Suppose 0*i + 5 = b*i. Which is smaller: i or 4/17?
4/17
Let j = -97 + 60. Are -36 and j non-equal?
True
Let i(c) = -c + 8. Let j(l) = -2*l + 15. Let g(w) = 5*i(w) - 3*j(w). Let f be g(4). Suppose -10*h = 8*h. Is f less than h?
True
Let f = -187 + 131. Is f not equal to -57?
True
Let o = -1.4 + 1.7. Which is bigger: o or 0?
o
Let d(p) = p**2 + 5*p - 8. Let y be d(-7). Let i be 2/(y/5) - 1. Which is bigger: i or 0?
i
Let q be (-3 - -3)*(-2)/4*-1. Let x = 173/19 - 9. Which is greater: x or q?
x
Let b(c) = 4*c - 7. Suppose -2*s - 4*g = 10, 2*s - 5*g = 5*s + 11. Let q be b(s). Which is smaller: -1 or q?
-1
Let q = -6 + 8. Which is smaller: 3 or q?
q
Suppose -q - 5 = -3. Does q = -3?
False
Let d = 178798678/187 + -956138. Let p = -50/11 + d. Which is greater: 1 or p?
1
Let d(f) = -f - 7. Suppose 30 + 0 = -5*h. Let t be d(h). Let p = -313/119 + 52/17. Is t at least as big as p?
False
Let o = 322 + -4188/13. Which is bigger: o or 0?
0
Let t = 2 - 0. Suppose 4*r - t*v = 2, 5*r = -v - 0 - 1. Is -0.2 > r?
False
Let u = -2 + 6. Let o = -10 + 9.88. Let g = o + -0.88. Is u at least g?
True
Let r(v) = -v**2 + 4*v + 6. Let h be r(6). Let z = -6 + 1. Let p be 2/z - (-28)/(-5). Are h and p unequal?
False
Let a(b) = b**2 - 2*b + 1. Let q be a(3). Suppose 2 = 2*v + q. Is v less than 0?
True
Suppose 5*b + 5*d - 10 = 0, 0*b + d = b + 6. Let k be b + -2 + (-60)/(-14). Is 1 not equal to k?
True
Suppose 2*j - 5*g - 5 = 0, -5*g = 3*j - 4*j. Suppose 4*o + 4*l - 2 = -10, -2*l = -j*o - 10. Which is bigger: -3 or o?
o
Suppose u - 4*g = 3, 0*g = -3*u + 4*g - 31. Do -16 and u have the same value?
False
Suppose 39 = -5*h + 99. Let d be (7/(-4))/(3/h). Let s = 15 + -21. Which is smaller: d or s?
d
Suppose -4*j = j. Suppose j = g + 2*g + 15. Which is smaller: -4 or g?
g
Suppose 0*h = h + 3*g + 54, -4*h - 189 = 3*g. Which is smaller: h or -46?
-46
Let c = 47/44 + -9/11. Let i be -1*(1 + (-6)/5). Is c bigger than i?
True
Let y = -58.1 - -58. Let w = 0.3 + 1.6. Let i = w + 0.1. Are i and y non-equal?
True
Let t = -49 + 247/5. Is 3/5 smaller than t?
False
Let h be ((-9)/(-2))/(9/12). Let p be h/2 + -2 + 5. Let i be (-3)/2 + p/12. Are 0 and i non-equal?
True
Suppose -4 - 17 = -3*v. Let t = 3 - v. Let j be 8/20 + t/10. Is j >= 0?
True
Let b be -3*(0 - (-1)/3). Let m = b + 1. Let u = -42 + 38. Which is smaller: u or m?
u
Let s(y) = 1 - 3 + 0*y**3 - y**3 + 2*y**3 + 3*y**2. Let t be s(-2). Is 1 less than t?
True
Let g = 6.4 - -1.6. Let j = 8 - g. Which is smaller: j or -0.2?
-0.2
Let u = -76 + 60. Which is greater: u or 1/5?
1/5
Let m = -13 - -12.9. Which is smaller: -1/4 or m?
-1/4
Let t(j) = -9*j**3 - 1. Let m be t(1). Let x = -8/13 + 37/39. Is m not equal to x?
True
Let i(f) = f. Let y be i(2). Let h be y/(-2*3/(-6)). Let r be (-2*1)/(0 + -1). Is h at least r?
True
Let w = -51 - -50.8. Which is bigger: -1.3 or w?
w
Let b = -123 - -127. Is 6 at most as big as b?
False
Let x be (-186)/198 - 2/(-2). Let p be ((-2)/(-6))/(1/(-3)). Which is greater: p or x?
x
Let b be ((-1)/2)/((-4)/24). Which is smaller: 2 or b?
2
Let b(i) = -i - 19. Let z be b(-18). Let m be (2/4 + 0)*0. Let h = z + m. Do h and 2/19 have the same value?
False
Suppose 3*l - 1 = 2, -5*v = l - 16. Suppose v*f = -p + 2, p - 5*f - 5 = 5. Suppose -p*c - 3 = -0*c - 2*b, 3*b = -4*c - 7. Are c and -2 unequal?
True
Suppose 3*h + 21 = 3*t, 4*t + 1 = 5*h + 32. Suppose t*f = -f - 35. Which is bigger: -6 or f?
-6
Suppose -6 = -2*r - 2*y, 2*r + 8 = 2*y + 2. Let k be 1/4 - (1 + -1). Which is smaller: r or k?
r
Let q = 3 + -2.9. Let s = -0.2 + q. Let l be (-4)/(-14) - (-3 - 478/(-154)). Is s bigger than l?
False
Suppose 0 = -3*h + 5*x + 25, 3*x - 12 = -3*h - 3. Let j(y) = 0 + 0 - h - y. Let o be j(-7). Is 2 equal to o?
True
Let t = -0.8 + -0.2. Let b = 18.1 + -17. Let w = t + b. Is w > 3?
False
Let o = 197 + -1775/9. Let n = -1 + 1. Which is smaller: o or n?
o
Let a = -6 - -10. Suppose -5*z - 5 = -3*q + 6, -4*z = 4*q - a. Which is bigger: q or 6/5?
q
Let g(h) = h**3 + 2*h**2 + h - 3. L