*z = 8. Which is smaller: z or y?
y
Let i = 5/29 + 541/58. Let o = 47/5 - i. Which is greater: o or -1?
o
Let x = -4/105 - 2/21. Let s = 18 + -26. Let i be (2/s)/((-4)/16). Is x equal to i?
False
Suppose 2*s = z - 10, 3*z - 3*s - 18 = -0. Let x be 16/(-30) - z/(-6). Which is greater: 0.2 or x?
0.2
Suppose 45 = -5*q + 3*j - 111, -j + 32 = -q. Is -29 bigger than q?
True
Suppose 2*g = 1 - 5. Is g != -7/5?
True
Suppose 0 = 3*v - v - 50. Suppose -v = 5*l + 15. Let w(d) = -d**3 - 8*d**2 + d + 10. Let o be w(l). Which is smaller: 3 or o?
o
Let l = 371/5 - 73. Let t = 6 + -4. Do l and t have the same value?
False
Let i be ((-2)/8)/((-6)/(-8)). Let h = 14 - 3. Do h and i have the same value?
False
Let o be (0 + 0)*(-2)/(-2). Let k be 1/(-5) + 202/10. Suppose 15*y = k*y. Is o at least y?
True
Suppose 22 = 2*c + 5*f, 9 = -3*c + 3*f - 0. Which is smaller: c or 3/2?
c
Let c = 8 + -7. Let o = 3 + c. Let s be o/(-3)*(-4)/(-4). Is -1 at least as big as s?
True
Let g(y) = -y**3 - 5*y**2 + 6*y. Let a be g(-6). Let k be (6/(-11 - -5))/(22/4). Which is bigger: a or k?
a
Let c(a) = 5*a - 7 - 2*a**2 + 2*a + a**2 + 1. Let r be c(6). Let h = 70/3 + -24. Does r = h?
False
Suppose -c + 3 = 6. Let h be ((-2)/c)/(6/(-9)). Do h and -1/12 have the same value?
False
Let n be 145/(-385) + (-1)/3. Let i = 2212/5 + -72926/165. Let q = n + i. Is q bigger than 1?
False
Let m = 5 + -4. Let z = 5.5 - 10.5. Is m equal to z?
False
Let z = 0.34 + -0.3. Is 0.1 at most as big as z?
False
Let z = -172 + 172.1. Is -14/13 bigger than z?
False
Let h be (-1*(3 + -3))/1. Let i = -30 - -44. Let s be (0 - -1)/(i/8). Which is smaller: s or h?
h
Suppose 0 = w + 2*o - 7, -4 = -w - 3*o + 2*o. Suppose 4*r + v = 2*v, -5*r = -v + w. Is 1/3 not equal to r?
True
Let r = 12 - 11. Let w = r - 1.1. Which is smaller: w or 3?
w
Let d(p) = -p**3 - 10*p**2 - 8*p + 11. Let i be d(-9). Let m(q) = -2*q - 3. Let l be m(-2). Let z be 3/(l - -1 - 0). Is i at most z?
False
Let i(g) = -g - 3. Let z be i(4). Let n = z + 9. Let t be (n/(-2))/(-1) - 2. Which is bigger: -2/7 or t?
-2/7
Let d be (-12)/(-5) - 12/30. Let k = 0 + d. Suppose -4*v - k - 2 = 0. Which is smaller: -2 or v?
-2
Suppose -j + 5*j = 0. Is -6/11 equal to j?
False
Let i(k) = 0*k**2 + 2*k + 5 + 3*k - k**2. Let a be i(6). Is a greater than 3/8?
False
Suppose 2*b - 20 = -2*b. Let q(g) = g**3 + 11*g**2 + 12*g + 27. Let d be q(-10). Is d at least b?
True
Suppose 7 + 3 = -5*o. Is -3 at least o?
False
Let o = -5 - -10. Let f = 20 + -5. Suppose -4*a - 41 = -o*n, 4*a + 6 - f = -5*n. Which is bigger: 4 or n?
n
Let y = -0.67 + -6.33. Which is smaller: y or -1?
y
Let j(i) = i**3 - 17*i**2 + 2*i - 30. Let a be j(17). Is a smaller than 19/7?
False
Let i = 50 + -152/3. Suppose -3*g - 5 - 4 = -4*a, 2*g - 8 = -2*a. Let m(k) = -k**2 + 2*k + 1. Let y be m(a). Which is smaller: i or y?
y
Suppose -3*f + 7 + 11 = 5*u, -4*f + 5*u - 11 = 0. Let g = 0.02 - 4.02. Let x = -7 - g. Is f not equal to x?
True
Let t be -5 + (-1)/((-1)/2). Let u = 0 + t. Is -1/4 <= u?
False
Suppose -4*h + 7*h + 36 = 0. Let m be -1 - (0 + 15/h). Which is greater: m or 1?
1
Suppose -4 = 3*i + 5. Let p = -4 - -7. Suppose 11 = -2*y + p. Which is smaller: y or i?
y
Suppose 0 = -w + 2*d - 6, -4*d + 3*d - 4 = 0. Let u = -12 - w. Which is bigger: u or -5?
u
Suppose -b + q - 6*q = -6, 0 = -5*q. Let p be 2/(-3)*b/26. Which is greater: p or 0?
0
Let h = 2/635 + -1316/14605. Let r(i) = i**3 - i**2 - 9*i + 10. Let o be r(3). Which is bigger: o or h?
o
Suppose -7 = 2*i - 4*i + m, -3*m + 1 = 5*i. Let c be (i/15)/(28/(-20)). Which is bigger: 0 or c?
0
Let o(w) = 2*w**2 + 2*w - 6. Let b be o(3). Are b and 20 nonequal?
True
Suppose 17 = -2*n + 19. Is -2/7 bigger than n?
False
Let y = -2.22 + -0.48. Is -1/3 <= y?
False
Suppose 0 = -4*h + 6*h. Suppose -m + 5*m - 12 = -4*u, 2*u + 5*m - 15 = h. Which is smaller: u or 1/2?
u
Suppose -8 = -2*s - 2*s. Suppose -3*i = -k + s*i + 26, 0 = 4*k + 5*i + 21. Is k equal to -1/10?
False
Let c = 9/16 - 19/48. Let n = 9407/1038 + 18/173. Let v = n + -29/3. Are v and c nonequal?
True
Let i(l) = l**3 + l**2 - 4*l - 3. Let m be i(-2). Let s = -3076/29 - -644044/6061. Let f = s + -2/209. Which is smaller: f or m?
f
Let a = -5 + 5.1. Is a > -3/4?
True
Let v(r) = -r**3 - 6*r**2 - 4*r + 8. Let s be v(-5). Suppose -s*b + 8*b = 0. Is b greater than or equal to 2/7?
False
Let n = -1 + 0. Is 2/59 < n?
False
Let h = 1 + -1. Let a = -49 + 195/4. Which is smaller: a or h?
a
Suppose 4*o = -z - 9, -o + 24 = -5*z - 0*z. Let k = -23 - -27. Are k and o non-equal?
True
Let d(s) = s**3 - 4*s**2 - 4*s + 1. Let z be d(5). Let m(i) = -i**2 + 7*i - 2. Let p be m(z). Let g be 32/56 - p/14. Which is greater: -5 or g?
g
Let d(a) = -a**2 - 4*a + 1. Let v(p) = -p**2 - 4*p. Let b(g) = 2*d(g) - 3*v(g). Let q be b(-2). Let z be 0/2 - q/2. Which is smaller: z or 0?
0
Suppose -3*z - 16 = -2*z. Let q be (-2)/(-2)*z/136. Which is smaller: 1 or q?
q
Let t = 11 - 4. Let r = t + -7. Let q = 16/3 + -17/3. Is r at least as big as q?
True
Let q(y) = 4*y - 4. Let l be q(2). Let h = l - 4. Is 1/31 at least as big as h?
True
Let s(w) = -w**2 - 9*w + 7. Let m be s(-9). Let a = 8 - m. Which is smaller: -1/6 or a?
-1/6
Let d be ((-4)/10)/((-1)/25). Let j = -9 + d. Let i be (-8 - -9)*(1 + j). Are 0 and i non-equal?
True
Suppose 5*b + 3*k = -15, -b + 3*k + 0 = 3. Let a = 8 + -4. Suppose 5*m = x + 21, 6*x + 21 = x + a*m. Which is smaller: x or b?
b
Let j = 8 + -3. Suppose 0 = -5*r + j*m, -3*m + 1 = -5*r - 1. Let a = -58 + 463/8. Is a >= r?
True
Let f = 11 - 10. Is 1/10 equal to f?
False
Let o(k) = -5*k**3 + 14*k**2 + 7*k - 2. Let h(y) = 6*y**3 - 15*y**2 - 6*y + 3. Let d(u) = 4*h(u) + 5*o(u). Let i be d(11). Is 1 at most as big as i?
True
Suppose 12 = -3*v, -4*v - 5 = -2*a + 3. Let j(z) = z**2 + z + 2. Let q be j(a). Let p be (2/40)/(q/35). Which is bigger: 0 or p?
p
Let q = -0.85 - -0.9. Let p = 0.05 + q. Does p = -4?
False
Let h be 6/33*1/2. Is h at least -1?
True
Let x(q) = -q**3 - 13*q**2 - q - 19. Let s be x(-13). Let n be (-76)/16 - (-4)/(-16). Are s and n non-equal?
True
Let o = -9 + 14. Let t be 3/20 + (-2)/o. Let g = 0 - 0. Which is bigger: g or t?
g
Let u = 22 + -21.56. Let l = u - 0.4. Let t = 0.04 - l. Which is greater: t or -0.1?
t
Let n = -6.04 - -6. Let r = -0.9 + 0.74. Let z = n + r. Which is smaller: -2/9 or z?
-2/9
Let x be 2*-16 - 2 - -1. Let l = 23 + x. Which is smaller: l or -9?
l
Let c = 0 - -2. Suppose a + 3 = -c. Is a less than or equal to -1/2?
True
Suppose b - 4*v + 7 = -4, -4*b + 2*v - 2 = 0. Is -2/35 less than b?
True
Let j = 129 + -130. Which is smaller: j or -2/13?
j
Suppose -w = -2*w. Suppose -3*h = -4 - 2. Suppose h*a + 0*a = w. Is a less than or equal to 1?
True
Let g = 0.42 - 0.49. Is g bigger than -0.5?
True
Let n = -0.4 - -0.3. Let y = 0 - -2. Are n and y equal?
False
Let t = -17.7 - -18. Which is greater: t or -1?
t
Let f = 1 + -8. Let i = f + 2. Let t = 5 + i. Do -0.4 and t have the same value?
False
Let w = 0.078 + 0.022. Which is smaller: w or 0.9?
w
Let b(g) = g + 6. Let p = 8 - 13. Let c be b(p). Suppose j - c = 2*w, -2*w + 3 - 8 = -5*j. Which is bigger: w or -2/7?
w
Let n be 2 - (-4)/(16/(-4)). Which is greater: n or 0.8?
n
Let v(b) = -b**2 + 4*b. Let l be v(6). Let u = -8 - l. Suppose u*h + 33 = 9. Are -6 and h nonequal?
False
Let w = 8 - 6. Suppose 4*i = -5*q - 7, 3 + w = -2*i - q. Let k = -2 - i. Which is bigger: k or -2/7?
k
Let n be ((-20)/30)/(-2 - -3). Let s be 1 + (0 - (-3)/(-4)). Is n smaller than s?
True
Let y(i) = -i**3 - 3*i**2 + 4. Let z be y(-2). Let u = -4/9 - 1/18. Which is bigger: u or z?
z
Let y be ((-4)/6)/((-4)/6). Suppose -2*j - 2 = -2*s + 2, 4 = 3*j + 2*s. Which is smaller: y or j?
j
Suppose -4*k + 8 = 4*f - 5*k, 5*k = 3*f + 11. Let y be 4/(-6) - f/9. Let b(w) = w**3 + 5*w**2 + 4*w - 2. Let h be b(-4). Which is greater: y or h?
y
Let r = -403 + 6043/15. Let m = 32 + -31. Which is smaller: m or r?
r
Let n be 4*1*(-5)/10. Let u = -9 - n. Which is smaller: 0 or u?
u
Let a = 57.77 - 58. Is a at most as big as 0?
True
Let v be -3*((-105)/(-9))/(-5). Let w be ((-2)/(-18))/(v/42). Let r be -2 - (0/1 + -2). Which is smaller: r or w?
r
Let k be (-2)/(-8) - 69/(-60). Is k greater than 2?
False
Let w = 6.6 + 0.4. Let i = w - 9. Which is bigger: -1 or i?
-1
Let i = 166/33 - 48/11. Su