9) - 6/33. Let y = -228/595 + m. Which is greater: y or -1?
y
Let m(s) = s**3 + 15*s**2 + 13*s - 13. Let i be m(-14). Let x = -69/4 - -17. Do i and x have the same value?
False
Let w(r) = -r**2 + 7*r + 1. Let j be w(7). Let o be (-10)/(-20) - (j + 0). Which is smaller: o or 0.5?
o
Suppose -2*k + 44 = 4*u + 2*k, 4*k = -3*u + 36. Suppose 2*q - q + u = 5*r, 4 = 2*r. Is q less than 2?
False
Let l(q) = q**2 - 6*q + 10. Let p be l(5). Let r be -2 + 0 + p/4. Which is bigger: r or 0?
0
Let k = 1.9 + 1.1. Which is bigger: k or -4?
k
Let s be -5 - (1 - (1 + -1)). Let w = -1603/3 - -535. Are s and w non-equal?
True
Let v = -1.71 - -1.41. Which is greater: v or 3/2?
3/2
Suppose 3 = -0*q + 3*q. Let t be 1/(-3)*-4*3. Let z be q/t*(-8)/6. Is z at most 1?
True
Let i(n) = 4 + 1 - 4*n**3 + 4*n**2 - 2*n + 3*n**3 - 1. Let x be i(4). Is x < -4?
False
Let y = -1 + 1. Let x be (-3)/(84/10) + (-5)/(-10). Are y and x equal?
False
Suppose 2*a + 5*q - 17 = 0, -2*a = -a - 5*q + 29. Let w be a/(-8)*0*-1. Does w = 1/3?
False
Let x(u) = u**2 - u + 1. Let b be x(2). Suppose -3*z - 7 + 1 = -b*n, -3*n = -z - 8. Let k(f) = -f - 1. Let c be k(-2). Is c > z?
False
Let z(a) = a**2 - 3*a + 4. Let x be z(3). Let s(l) = 2*l**2 - 3*l + 2. Let p be s(2). Is p < x?
False
Let y = 0 + 0.1. Let w = y + -0.3. Which is smaller: -1/4 or w?
-1/4
Let y = 1 - 3. Let f be (-4)/(-1)*1/y. Let a = -8 + 5. Is a at least as big as f?
False
Suppose 1 = b + q - 2*q, -2*b = -5*q - 5. Let f = 11.3 + 1.7. Let c = f - 11. Are c and b nonequal?
True
Let b(l) = -l**3 - 4*l**2 + 2*l + 5. Let a be b(-4). Suppose -2 = -x - x. Suppose g + 1 = -x. Which is smaller: g or a?
a
Suppose 5*x = 2*x - 3*w + 6, 3*x - w = 2. Let n = -12 - -11.98. Are x and n nonequal?
True
Let v be (-723)/(-273) + 0 + -1. Let t = 27/13 - v. Which is greater: t or 1?
1
Let b(g) = 4*g + 3. Let h be b(-2). Let d = h + 4. Which is smaller: -2/7 or d?
d
Let z = -1.86 - 0.14. Is 1/8 >= z?
True
Suppose -2*p - 16 = 3*o - 3*p, 3*p = 5*o + 20. Let t = o + -3. Let q be (-2)/6*15/t. Which is greater: q or 1?
1
Let n = -23 - -4. Let f = n + 19.05. Let c = -2 - -2.1. Are f and c equal?
False
Let j = 3.3 + -2.3. Let h = -55 + 2036/37. Let b = h - 39/74. Which is smaller: j or b?
b
Let h = 1.3 - 0.3. Let j be ((0/(-4))/4)/2. Which is greater: j or h?
h
Let x be ((-6)/3)/(-2) - -2. Suppose -x*f + 5*f - 2 = 0. Let m = 1 - f. Which is smaller: 1 or m?
m
Let r = -3 + 2.9. Let f = -0.5 - -0.9. Let g = 0.6 + f. Which is greater: g or r?
g
Let a = -100/7 + 15. Is a greater than or equal to 2?
False
Let f = 13 + -13.6. Let o = 0.5 + f. Let t = -0.44 - -0.04. Which is smaller: t or o?
t
Let o be 1 + (-3)/((-3)/(-2)). Suppose 20 = 5*y, -13 - 3 = 5*g - 4*y. Let s be 1 - (g/4 - -3). Which is bigger: o or s?
o
Let m = 63.2 + -63. Which is smaller: m or 11?
m
Let t = -6356/17 - -374. Which is smaller: 0 or t?
0
Let l(j) = 2*j - 5. Let x be 2/(-4) + 39/6. Let t be l(x). Is 7 > t?
False
Suppose 5*d - 9 - 11 = 0. Is d <= 3?
False
Let v be 18/99 - (-1 + 1). Which is bigger: 1/4 or v?
1/4
Let n be (8/(-4) + 1)*(1 - 1). Do -2/169 and n have the same value?
False
Let f(c) = -c**3 + 5*c**2 + 5*c + 2. Let z be f(-3). Suppose 139 = 3*l - z. Let y be (-2)/9 + l/54. Which is smaller: -3 or y?
-3
Let q = -1139/38 - -30. Which is smaller: 1 or q?
q
Let j be (32/(-6))/1 + 0. Do -5 and j have the same value?
False
Let a = 1 + -1. Suppose -2*q + 7 = 3. Is a <= q?
True
Let p be ((-39)/(-18) - 4) + 2. Is p > -2?
True
Let y = 0.02 + 1.18. Let q = -0.8 - y. Let d = q - -2. Is -1 != d?
True
Let n = 0 - 7. Is n smaller than -5?
True
Suppose 13 = -5*y - 2. Let x = -7 + 9. Suppose -8*o - x = -7*o. Is y bigger than o?
False
Let q = 0.8 + 0.15. Let a = q + 0.05. Which is smaller: a or -2/3?
-2/3
Let l be (-1 + 3)/(24/39). Let y = 177/52 - l. Which is bigger: 1 or y?
1
Let q = -0.1 + 0.06. Let p = q - -1.04. Is -3 bigger than p?
False
Let g(k) = -k**3 - 4*k**2 - 2*k + 3. Let m be g(-3). Which is smaller: m or 2/5?
m
Let q = -3 + 5. Suppose y + 2*v + 1 = 0, 1 = -q*y + y + v. Let z = 33/91 - 1/13. Which is smaller: z or y?
y
Suppose 4*v + 0*v = -4. Let h be v - 2/(1 + -3). Which is greater: -3/8 or h?
h
Let l = -6 - -7. Let t = l + 0. Is t greater than or equal to 0.1?
True
Suppose 0*w + 4*w = -100. Let i be (-14)/10 - (-15)/w. Suppose 2*u - l = 7*u + 13, 5*l = -2*u - 19. Does i = u?
True
Let w = -3 + 4. Do w and 5 have the same value?
False
Let b(z) = -z**2 + 3*z - 1. Let l be b(2). Let r = 0.3 - 0.2. Which is smaller: l or r?
r
Let k = 72 + -68.3. Let b = k + 1.3. Let w = 5.1 - b. Which is smaller: 1 or w?
w
Let l be (-2 - (-9)/(-1))*-1. Let p be (-2 - -4)/((-2)/(-12)). Do l and p have the same value?
False
Let k be 0 + (12/(-129))/4. Which is bigger: 0 or k?
0
Let a be (1 - -1)/10 - (136 + -136). Let g = 19 - 11. Suppose -3*k - 2 = 2*s + g, 3*k = -12. Which is smaller: s or a?
a
Suppose -4*i = q + 24, 2*q = 5*i - 0*q + 30. Let v be 6/(-10)*4/i. Which is bigger: v or -1?
v
Let u = 55 + -221/4. Suppose -4*b = -0*b + 4. Let n be (b/2)/((-14)/(-8)). Which is greater: u or n?
u
Suppose 0 = -3*a + a. Let h(v) = -v**2 + 4. Let n be h(a). Let l be 2/(-9) + n/18. Is 1/3 > l?
True
Let y be (4/(-12) + 2)/(4/3). Is 0 <= y?
True
Suppose -2*y - 3*p - 9 = 0, -p = -4*y - 0*y + 3. Is y != 2/43?
True
Let c(b) = b**3 + 4*b**2 - 4*b + 4. Let h(u) = u - 10. Let t be h(5). Let s be c(t). Let v = -7/2 + 3. Is v > s?
True
Let r = -979/14 - -70. Let p(u) = -3*u - 25. Let d be p(-8). Is d >= r?
False
Suppose -2*u + 9 = 1. Let c be 3 + (u/(-2))/2. Which is smaller: c or 1?
1
Suppose 2*b = -0*b + 8. Suppose 0 = 4*i + 3*c + 3, -27 = 6*i - i - b*c. Is i less than -3?
False
Let v be 2/((-95)/(-5) + 3 + -6). Suppose -5*b + 25 = h, 2*b - 5 - 5 = 4*h. Is h > v?
False
Let f = 3/644 - 43163/3220. Let t = 13 + f. Let i = 12/37 + -61/74. Is i less than or equal to t?
True
Let q = -10160 - -40895/4. Let d = q + -64. Are d and -2 equal?
False
Suppose -2 = -2*z - 0. Which is greater: z or 9/8?
9/8
Let m be 7/(-3) + 3 - 2 - -3. Is m at least as big as 1?
True
Let q = 1 - 0. Let m = -36 + 21. Let j be 9/m*4/(-4). Is j at most q?
True
Let t be (-3 - 13/(-5))*10. Let h be 6*2/(-24)*t. Is h not equal to 2?
False
Let q(r) = r. Let v be q(2). Which is smaller: 0.1 or v?
0.1
Let q = -24817/1154 - -3/577. Let g = q - -305/14. Let z(w) = -w**3 - 3*w**2 + w + 3. Let u be z(-3). Is g > u?
True
Let r = 0.42 - 0.22. Let f = 3.1 - 3. Let b = -0.2 + f. Which is smaller: b or r?
b
Suppose -2*k = -0*j + 2*j - 6, 0 = 4*k + 3*j - 12. Suppose -3*b - 5*x = -1, -13 = -2*b - 3*b + k*x. Which is smaller: b or 1/4?
1/4
Let i = 23 - 21. Is i less than or equal to -1?
False
Let u(d) = -4*d - 2. Let j(w) = -5*w - 3. Let h(m) = 3*j(m) - 4*u(m). Let s be h(-2). Which is bigger: -2 or s?
-2
Let h be ((-3)/(-2) - 1)*12. Let a be 87/h + (-1)/(-2). Suppose 0*c - a = 5*c. Which is smaller: c or -2?
c
Let y = 0 - -3. Is y less than -1/4?
False
Let z(c) = -c + 2. Let u be z(0). Let y(m) = -m**3 + 4*m**2 - 2*m - 1. Let a be y(u). Suppose 0*p - 4 = -p. Is p > a?
True
Suppose 5*o + 7 = 37. Suppose -2*i - 5 = -3*s, 3*s - o*s - i = -11. Suppose 3*d - 2*t - 12 = -2, -s*d + 17 = 5*t. Which is greater: 3 or d?
d
Suppose 2*s + 2*s = -5*l - 87, -5*s + 3*l = 118. Let z = s + 27. Is -2/7 less than or equal to z?
True
Let f = 1/2 - 9/10. Let l = -12 + 17. Let o = 5.1 - l. Which is bigger: o or f?
o
Let w be (0/((-4)/(-2)))/(-2). Let t(n) = n**2 - n + 1. Let i be t(w). Let g = 6 - 6. Is i >= g?
True
Let p = -2 + 7. Suppose 3*x = -4*t + 11, -2*t + x - p*x = -18. Let y be 2/(-3) - (-10)/6. Which is smaller: y or t?
t
Suppose 0 = -126*d + 127*d - 64. Which is greater: 65 or d?
65
Let f be ((-4)/8)/(2/92). Which is smaller: f or -22?
f
Suppose -3*l - 5*z = 1 - 3, -2*l = 3*z - 1. Let s(y) = y**2 - 4*y + 3. Let c be s(2). Let h be ((-2)/(-10)*c)/(-1). Is h greater than l?
True
Let u = 119.05 - 111. Let v = u - 0.05. Let q = 8 - v. Which is smaller: -1 or q?
-1
Suppose 0 = -u - x - 3, 2*x = -2*x - 20. Let p = u + -7/5. Is p at least 0?
True
Let m = -11 - -18. Let j be 8/6*(12 + -6). Is m at least j?
False
Let i = 1/198 - 419/4554. Suppose 2*r + 1430 = 1432. Is i bigger than r?
False
Let q(y) = y**2 + y + 7. Let f be q(-2). Which is smaller: 10 or f?
f
Let s be 270/(-5)*(-10)/(-6). Let t b