 - 2. Suppose -3*y = -b*y. Which is greater: 6/11 or y?
6/11
Let z = 5 + 0. Suppose -9*v = -503 + 422. Which is bigger: z or v?
v
Let l = -3238977 - -74485157/23. Let z = l - -492. Does 0 = z?
False
Let l = 11.5 + 0.5. Let j = l + -11. Is j < -2/11?
False
Let s be 2/(-12)*(5 + 3). Let o = 14 + -14. Which is smaller: s or o?
s
Let f = -2065/4626 - -1/514. Is f equal to -1?
False
Let h = 6 - 8. Let y be 1/(-3)*h/2. Let a be 4/(-6) - 2/6. Is y equal to a?
False
Suppose -4*t - 35 = -0*g + g, -2*g - 5*t - 61 = 0. Is g smaller than 1?
True
Let q = 9 + -5. Let w be 0/(-2) - q/(-4). Is w smaller than -1/5?
False
Let k = -1 + -3.1. Let i = k + 4. Which is greater: -4/3 or i?
i
Let v be (-8)/(-10)*5*4/(-6). Which is smaller: -3 or v?
-3
Let f(l) = l**3. Let b be f(-1). Let c be b/3 - (-57)/117. Is -1 equal to c?
False
Let x be 4 + (1 - 2) + 21. Suppose -r - x = -3*r. Is r less than 14?
True
Let s = 0.1 - 0.3. Let x = 0.8 + -0.6. Let i = -0.1 - x. Does s = i?
False
Let s = 28 + -30. Let m = -4 + 3. Let d = s - m. Is d >= -4?
True
Let b = -151 + 149. Let j = -10 - -5. Let v = j - b. Is v greater than -2?
False
Suppose 0 = 4*s - 0*s - 16, -5*f - 2*s + 38 = 0. Suppose 3*u + 0*u = -4*n + 15, -n + 9 = -u. Let d = n - f. Which is smaller: -2/3 or d?
-2/3
Let g be 4/6*12/5. Let n be -2*(-6)/4 + -1. Which is bigger: n or g?
n
Let w be ((-3)/8)/(4 - (-15)/(-6)). Is w > -1/7?
False
Let p(q) = q**3 + 7*q**2 + 7*q + 7. Let s be p(-6). Let r be 4/24*1 + 3/9. Is r at most as big as s?
True
Let f = -291395 - -88875358/305. Let j = f - 1/61. Is j < -1?
False
Let b(u) = u + 9. Let m be b(-8). Let f = 1727/15 - 115. Is m at least f?
True
Let f(d) = 1 + 2*d + 0*d - d. Suppose 0 = 5*h + 23 - 3. Let j be f(h). Is j < 0.1?
True
Suppose -5*p + 108 = -2*p. Let l be 14/18 - (-8)/p. Is l less than 0?
False
Let y = 7 - 0. Let l = 6.9 - y. Which is smaller: l or -0.3?
-0.3
Let y = 34.7 - 35. Let o be 3/5 + 1479/(-2415). Let b = -316/483 + o. Are y and b equal?
False
Let v(p) = p**3 - 22*p**2 - p + 37. Let a be v(22). Do a and 15 have different values?
False
Let d(y) = 2*y**2 + 5*y + 4. Let m be d(-2). Suppose -2*t - 3*t - 4*q = -10, -8 = -t - m*q. Which is smaller: 0.8 or t?
t
Let l be (-216)/(-63)*-2*6/(-16). Is 4 greater than or equal to l?
True
Let g be 21/28*1/6. Which is greater: 0 or g?
g
Let f(q) = -q**3 + 8*q**2 + 8*q + 11. Let m be f(9). Suppose -s - 9 = 4*h, -5*h = -2 - 13. Let x be ((-3)/s)/(1/m). Is -4/7 > x?
False
Suppose 18*f + 498 = 12*f. Are -83 and f nonequal?
False
Let b = 2/9 - 13/18. Suppose 0 = 6*u - 2*u. Which is greater: u or b?
u
Let y be 3 - 13*2/10. Let s = -2 + 6. Suppose -2*d = d - 4*a - 23, 24 = 4*d - s*a. Which is bigger: y or d?
d
Let k be 6/27 + (-4)/18. Let v = -191/35 - -41/7. Which is greater: k or v?
v
Suppose -f + 3*f = -10. Is -4 greater than f?
True
Suppose -2*h + 6 = -r, -4 + 27 = 3*h + 2*r. Let z = h + -7. Which is greater: -3 or z?
z
Let v = 16 + -22. Let r = 5 + v. Which is smaller: 5 or r?
r
Let s be (-47)/1365 + (-1)/5. Let z = 2/39 - s. Let x(k) = k + 1. Let p be x(0). Which is smaller: z or p?
z
Suppose -4*l = 9 - 1, -f - 10 = 5*l. Let p be -1 + 2*(-2)/(-8). Which is greater: f or p?
f
Let j(b) = -b**2 - 7*b + 7. Let n be j(-8). Is n >= -1/45?
False
Let f(s) = s + 2 - 7 - 2*s. Let d be f(-4). Let x be (1 + -1)*(3 + -2). Which is greater: d or x?
x
Let o = 18063/284 + 21/142. Let w = -64 + o. Which is smaller: 1/3 or w?
w
Let d = -1 + 3. Suppose -4*r - d = -2*r. Let v(n) = n**3 - 7*n**2 + 5*n + 7. Let w be v(6). Are w and r non-equal?
True
Suppose 3*n = 2*q + 26, 12 = 4*n - 3*n + q. Let a be 26/(-42) - n/(-35). Which is greater: -1 or a?
a
Suppose 10*t = 5*t + 5. Let k be (2 - t)*(-4)/(-8). Is k greater than or equal to 2?
False
Let q = 890/13 - 68. Is q at least -1?
True
Let h = 9 + -11. Let i be h/(-5)*30/12. Is i at least as big as 2/5?
True
Let i(n) = -4*n - 13. Let t be i(-3). Is 1 greater than or equal to t?
True
Let l(p) = p**2 + 7*p + 4. Let f be l(-7). Suppose f*s - 1 + 9 = 0. Is -0.1 less than or equal to s?
False
Let s be (1/3)/((-2)/6). Let l(i) = -i**3 + i**2. Let o be l(s). Suppose 0 = -o*m - m. Is 1/2 smaller than m?
False
Let d = 0 + 0. Suppose -k - 2*a = -d*k + 11, k + 3*a = -14. Is k greater than or equal to -5?
True
Suppose -3*r - 2*k - 10 = -48, 2*r - k = 23. Let h = r - 7. Suppose -5*z + h = -0*z. Which is smaller: -1 or z?
-1
Let r = -13 - -32. Suppose -5*x + x + r = -5*n, -2*n - 8 = -2*x. Are 0 and n unequal?
True
Let k be 2/(-14)*2*1. Suppose 3*r + 7 = -5. Let v be 55/75 - r/(-10). Which is bigger: v or k?
v
Let h = 0.02 - -0.03. Let i = 0.35 - h. Which is smaller: i or 0.1?
0.1
Let u be (-21 - -3) + 2 + -4. Which is smaller: u or -19?
u
Let u(t) = -5*t**2 - 4*t + t**2 + 4*t**2 + t**2. Let q be u(4). Which is greater: q or 0.03?
0.03
Suppose 0*f - 2*f = 0. Let r be (f - -1)/(2 - 3). Is -10/9 bigger than r?
False
Let q = 54.73 - 55. Let r = q - -0.24. Is r at most as big as -2?
False
Let n = 2 + 6. Suppose 9*s - 4*s - 2*w - 38 = 0, -s = -w - 7. Is s != n?
False
Let i = -0.007 - -6.007. Which is smaller: i or -0.3?
-0.3
Let l(p) = 20*p**2 - 4*p + 3. Let r be l(2). Suppose 6*z - r = z. Let y be z/3 + 2*-1. Are y and 2 equal?
False
Let z = 82 - 81. Which is bigger: -3/77 or z?
z
Let u(q) = -5*q**2 + q. Let p be u(2). Let m = 21 + p. Let n = 10 + -6. Are m and n non-equal?
True
Let o = 44726 + -494650/11. Let x = o + 242. Is x at least 1?
False
Let f = 5 - 5.3. Let o = f + 0.3. Which is smaller: -5 or o?
-5
Let l be 23/(-5) + (-22)/55. Let o be 21/(-12)*(1 + l). Is 7 greater than or equal to o?
True
Let s be 3/12 + (-110)/(-8). Let a = s + -41/3. Which is smaller: a or -2/9?
-2/9
Let a be (-418)/99 + (-2)/(-9). Is -16 bigger than a?
False
Suppose 2*w + 4 = 4*w. Suppose 0 = 2*u + 3*u - 30. Let r be 16/u + (-6)/(-18). Is r not equal to w?
True
Let n(j) = -j**3 + 3*j**2 + 4*j + 4. Let b be n(4). Suppose b*u + 4 = 6*u. Suppose 2 + 17 = 3*s - 4*q, u*s = 5*q + 22. Which is smaller: s or 2?
s
Let r = 3 + -3. Suppose 2*j - 4 = -5*n + 20, 3*j + 2*n - 14 = r. Let d be ((-1)/j)/((-14)/8). Which is bigger: d or -2/5?
d
Let v = -1 + 1.1. Which is smaller: -6 or v?
-6
Let h = -6 - -5.95. Let c = 0.15 - h. Let t = c - 0.4. Is 0.2 >= t?
True
Let o(d) be the first derivative of d**3/3 - 2*d**2 + 3*d - 1. Suppose 4*y - 2 - 6 = 0. Let g be o(y). Which is greater: g or 1/7?
1/7
Let o = -41 + 58. Suppose 3*s = 5*s + 5*v + o, 3 = -v. Let a be -1 - s - 2 - -1. Is a != -2?
True
Let o be (-2)/(-4) - (-15)/6. Suppose u + f - 9 = 0, 3*u + 6*f = f + 33. Let g = 10 - u. Are o and g equal?
False
Let b be -2 - (-72)/39 - 6/(-39). Is 2/97 greater than b?
True
Let q = -0.8 - -0.4. Let a = q + 0. Let i = 0.5 + a. Is i at least 6?
False
Let a = -34.9 - -35. Let v = 1 + -2. Do v and a have different values?
True
Let d(z) = -z**3 - 5*z**2 + 4*z + 6. Let n be d(-5). Let m = 9 + n. Are m and -4 nonequal?
True
Let d = -178.9 + 179. Is -2/7 < d?
True
Let d = -0.7 + 0.6. Suppose 0 = h - 5*p + 16 + 7, 0 = 5*h + 4*p - 30. Suppose 22 = 3*v - h*g, 0 = -5*v - g + 2*g + 25. Which is smaller: v or d?
d
Let p = 18/229 - -1135/5954. Let h = -3/13 - p. Suppose -3*c - 2*r - 8 = 0, -c - 5*r = -4*c - 1. Which is greater: c or h?
h
Let n = -10 + 21/2. Which is greater: n or 1?
1
Let p be -1*3*(-12)/(-9). Is -1 not equal to p?
True
Let y = -27 + 26. Is 103 != y?
True
Let f be 14*(14/(-16))/(-7). Let w = f - 2. Is w at least -1?
True
Let j = 3 - 6. Let f be -1 - (-4 - j) - 1. Let x = -1 - f. Is 1 at least as big as x?
True
Let f = 291/5 - 58. Suppose q = 4*b + 5, 13 + 12 = 5*q + 2*b. Suppose 0 = -4*x + q*s + 19, x - 3*s = -0*x + 10. Is x bigger than f?
True
Let q be (1/22*-219)/6. Let d = 1/132 - q. Is 3 bigger than d?
True
Let m be (13/(-52))/(9/4). Which is greater: 2/7 or m?
2/7
Let g = 2.4 + 7.6. Which is bigger: g or -2/3?
g
Let y(g) = -2*g**2 + 2. Let k be y(-1). Is k less than -11/24?
False
Let a = 7.9 - -4.1. Are -4 and a non-equal?
True
Let q = 4 + -2. Let t = -2 + q. Which is bigger: 0.2 or t?
0.2
Suppose 0 = d - k, -3*d + 2*k = -0*k. Let b be (6/(-4) + 1)/(-3). Which is smaller: b or d?
d
Let i = 40 - 41. Which is smaller: -2/27 or i?
i
Suppose -11 = 2*y - u, 3*u = 2*y + 3 + 18. Let m be y*(3 - (-61)/(-21)). Is 2/7 smaller than m?
False
Let j(i) = -i - 3. Let