
Let z = 3 - 5. Let a be 0*z*1/(-4). Are 6/7 and a nonequal?
True
Let l = -2 - 0. Let v be ((-72)/(-378))/(-2 + 32/18). Which is smaller: l or v?
l
Let t = -7180/3 - -2415. Let d = -2269/105 + t. Are d and -1 nonequal?
True
Let p be (-12)/(-54) + 104/18. Is 5 at least as big as p?
False
Suppose 2*j - 13 = 2*l + 3*l, 0 = -3*l + 2*j - 7. Let t = -1 - l. Does 1 = t?
False
Let p = 8/21 - -2/7. Let j be 3/(-5)*(-3 - 2). Suppose 4*g = g + j. Do g and p have different values?
True
Let w = -0.9 + 0.99. Let i = 0.09 - w. Let a = -2 - i. Is a greater than or equal to -0.1?
False
Let l = 78 - 76. Is l equal to 3/4?
False
Let q = -1103/13699 - -12/133. Does q = 1?
False
Suppose -b - 12 + 33 = 4*y, 0 = 5*b + 15. Let k be (-10)/2*(-2 - -1). Which is bigger: k or y?
y
Let v be 2/8*8/(-5). Let q be ((-8)/(-10))/((-8)/(-20)). Suppose 5*w - 2*w - 2 = -q*o, -w - 10 = -2*o. Which is smaller: v or w?
w
Let u = 3 + -5. Let n = -2 - u. Which is greater: n or 6?
6
Suppose 6 = -6*k - 6. Is k greater than 5.6?
False
Let v(r) = -r - 5. Let g be v(-6). Let j = g + 0. Let u be ((-60)/300)/(-1*(-2)/(-10)). Is j > u?
False
Let d = -44 + 49. Which is smaller: -3 or d?
-3
Suppose 2*b - 2 = -0. Suppose 0*f + 1 = -f. Let y be (-1 + f + 3)/b. Is y bigger than 2/9?
True
Let z(a) = -a**2 + 21*a - 17. Let x be z(20). Is 3/2 not equal to x?
True
Let z be ((-10)/(-69))/((-10)/(-40440)). Let q = 586 - z. Is -2/3 <= q?
True
Let g(v) = v**3 - 8*v**2 - 9*v. Let h be g(9). Suppose h = y + y. Let c be (-3 - -4 - -1) + y. Are 2 and c equal?
True
Let u = 0.2 + -0.26. Let a = u - -0.06. Which is smaller: -3/2 or a?
-3/2
Let z(l) = l - 1. Let n be z(-10). Which is greater: -12 or n?
n
Let o = -297/13 - -23. Let c be 2/(-7) + 18/14. Is c >= o?
True
Suppose 4*d + 0*q + 8 = -4*q, q - 2 = 0. Are d and -4 equal?
True
Let g = -18/145 + -8/29. Which is greater: -2 or g?
g
Suppose 0 = 2*i - 2*f + 24, -3*i - 3*f - 36 = f. Do i and -12 have different values?
False
Let o(j) = -5*j + 9. Let g(z) = -6*z + 8. Let k(x) = 4*g(x) - 5*o(x). Let q be k(9). Is q greater than -4?
False
Suppose 0*j - 3*j = -3*c + 18, 4*j - c = -12. Let i = 11 - 12. Is i at most j?
False
Let w = -3 + 2. Let d = w - 0. Let u = d - -1. Is 0.1 > u?
True
Suppose -4*h + 27 = 5*c - 0*h, -c - 2*h + 9 = 0. Let i = 2 - 1. Suppose -4*q = -c*z - q - 9, 3*z + q + i = 0. Which is smaller: z or 2/11?
z
Let f = -46 + 320/7. Which is smaller: -8/5 or f?
-8/5
Let r be (-8)/(-18) + (-7)/7. Which is smaller: r or -2?
-2
Let l be (-7)/(-12) - 3/6. Which is smaller: l or 0?
0
Let d be (-38)/(-2) - (-2 + -1)/3. Is 21 equal to d?
False
Suppose -2*m - m - 162 = 0. Let t be (1 + 2)*(-16)/m. Let z = t + -7/18. Is z != -0.2?
True
Let v(d) = -d**2 - 7*d - 6. Let x = -15 + 10. Let u be v(x). Suppose -3*s = -n + 3*n, -u*s = -4*n. Do 1 and s have different values?
True
Let p be (-6)/(-8)*1*-16. Let o be (9/p)/((-6)/4). Which is greater: o or 0?
o
Let w = -14 + 8. Let y = w + 5. Is -1 < y?
False
Suppose 0 = 2*q - 3*p - 65, 2*q + p + p - 90 = 0. Is q less than 40?
False
Let t = 60 - 54. Are 6 and t nonequal?
False
Suppose -g - 2*g = 0. Let q = -0.1 + 0. Which is bigger: q or g?
g
Let f = 0.4 + -0.3. Let h(l) = l + 2. Let y be h(6). Let g be (2/y)/((-5)/(-4)). Is f equal to g?
False
Let k(i) be the third derivative of -i**6/120 - 11*i**5/60 - 13*i**4/24 - 5*i**3/2 - 4*i**2. Let n be k(-10). Which is smaller: 1 or n?
1
Suppose -n + 5*t = 59, -8*t + 20 = -3*t. Let g be (-2 + 194 + 1)/5. Let p = g + n. Which is smaller: p or 1?
p
Suppose -4 = -2*a - o + 10, -3*a = -o - 16. Suppose 14 = a*z - 4*z. Is 6 less than or equal to z?
True
Let w = -22 - -20. Which is bigger: 8 or w?
8
Let m = 16 - 10. Suppose 0*b = 4*z + 3*b + 11, 0 = 4*z - 4*b - 24. Which is smaller: z or m?
z
Let r = -1.8 - 5.2. Let f = -6 - r. Is f not equal to 2?
True
Suppose -4*c - j = 2, 0 = 2*c + 2*j + 1 + 3. Is c greater than 2/35?
False
Let k be 1*(4/(-67))/(-4). Let x = -151/1139 + k. Which is smaller: -1/3 or x?
-1/3
Suppose -402 + 152 = -5*w. Suppose 0 = 4*v + v - w. Is 11 at least as big as v?
True
Let l = -1.1 + -1.9. Which is bigger: -2/3 or l?
-2/3
Let h be (-8)/28*(-3)/2. Let b(y) = -y + 6. Let d be b(6). Which is smaller: d or h?
d
Let w be 13 - (-5)/(5/2). Suppose 2*x = 5*x + w. Let k = -7 - x. Which is greater: k or -1?
-1
Let w = -6.7 + 0.7. Let t = 5.96 + w. Let k = 0.06 - t. Which is smaller: 1 or k?
k
Let t be 5/25 - 38/(-10). Suppose 5*q + 4*g + 24 = -16, -2*q + t*g = -12. Which is bigger: -2 or q?
-2
Let o(y) = y**2 - 9*y - 5. Let j be o(10). Let s = j - 3. Suppose 0 = s*x - 6*x. Is 2/3 < x?
False
Suppose -5*c + 3*c = -4*u + 4, 3*c = 3*u + 3. Let d be c/6 - (-1)/(-15). Let s = 0 + 1. Which is smaller: d or s?
d
Let h = -27 + 23. Do 2/5 and h have the same value?
False
Let t = -57877/13 + 4478. Let o = -26 + t. Is 0 less than o?
False
Let h(l) = l**2 + 8*l - 9. Let j be h(-9). Let u = -7 - -11. Suppose u*n = -j*n + 4. Are n and -2/9 non-equal?
True
Let j = -32 + 34. Which is bigger: j or 3/4?
j
Suppose -2*t - 2 - 16 = 0. Let g = t - -9. Which is bigger: -1 or g?
g
Suppose -l = -4*d - 6, -l + d - 6 = -2*l. Suppose 3*y = l*y. Which is smaller: -1 or y?
-1
Let l be (-3)/12 - (-26)/8. Which is bigger: l or 4?
4
Suppose 5*a - 28 = 17. Suppose -12 = -4*f + 2*v, -2*v - a = -2*f + 1. Which is smaller: f or -4?
-4
Let i = -16 - -7. Is -2 > i?
True
Let a = 14.5 + -12. Let w = a + -12.5. Is w greater than -1?
False
Let l = 10 - 6. Which is greater: l or 1?
l
Suppose -3*i + i - 40 = 0. Let n be ((-4)/i)/(4/(-10)). Which is smaller: n or 0?
n
Let v be (-10)/(-2) + 0/1. Suppose -u = -v*u. Let l = u - 4. Which is smaller: l or -3?
l
Let g be ((-3)/(-4))/((-6)/(-22)). Let r = g + -3. Is 1 bigger than r?
True
Let j = 4 + -3. Let f = j - 3. Which is bigger: f or -1?
-1
Suppose -5*p = 7*g - 3*g + 70, p + 25 = -3*g. Let l be 2/p - 21/45. Which is bigger: 0 or l?
0
Let a = 18 + -8. Let w be 15/a*(-4)/10. Is w greater than or equal to -2?
True
Let p = -0.10937 - -192.06937. Let j = -188 + p. Let f = -0.04 - j. Which is greater: f or 0?
0
Let l be (1 - 0)/(3 + -4). Is 11 != l?
True
Suppose -2*v + 3*y + 9 = v, -4*y = -v + 6. Suppose n + 11 = v*n. Is n equal to 10?
False
Suppose 0 = 5*v - 7 + 22. Are -2 and v unequal?
True
Let a = 13 + -16. Let g(o) = -o**2 + 7*o - 3. Let j be g(6). Which is bigger: j or a?
j
Let y be (-3)/(-1) - 0/(-4). Is y at most as big as 3?
True
Suppose -3*b - 3*v = -10 + 4, -4 = b - 5*v. Which is smaller: b or -5/11?
-5/11
Let b be (-6)/2 - -3 - 9. Which is bigger: b or -8?
-8
Let l be (-4 - 1695/(-25))/113. Let f = 630092/113 + -5576. Let t = l + f. Is t > 0?
True
Let v be (4 - 3) + (2 - 2). Let w be v/((-2)/8*2). Suppose 0*q + 16 = -4*q. Is q at least as big as w?
False
Suppose 0 = -5*s + 23 - 8, 3*g = -3*s + 15. Let t be ((-4)/(-5))/(g/5). Let q be t - -1 - (12 + -5). Which is greater: -0.1 or q?
-0.1
Let y(b) = 2*b + 17. Let v be 1/(50/26 + -2). Let w be y(v). Let z = -6 - w. Is 1 != z?
True
Let k be -1*(-13)/1 + -2. Suppose -24*v + 67 + 221 = 0. Is v smaller than k?
False
Suppose 32 = -0*w + 2*w + 4*x, 0 = -5*w - x + 35. Suppose -2*d + 0*h + 5*h + w = 0, 4*h = -8. Do d and -2 have the same value?
True
Let l = 1870/9 - 208. Let j be 2/6 + (-11)/(-3). Let r be ((-2)/j + 0)*2. Which is smaller: l or r?
r
Let g = -11/8 - -53/24. Let w = 7/12 - g. Let t = -2.8 + 3. Does t = w?
False
Let i be (3/(-3))/(-8 - -7). Let h be (11/(-6))/(2/(-57)). Let c = 52 - h. Is i at least c?
True
Suppose 6 = o + 12. Which is smaller: -4 or o?
o
Let x be (654/(-15))/(-1 - 105). Let n = 32/97 - 2666/5141. Let f = n - x. Which is smaller: f or 0?
f
Let i = 20 - 20.2. Which is greater: -5 or i?
i
Let m be -1*(1 + 0 + 17). Let c be (-22)/m - (1 + 0). Let v = -0.1 - -0.1. Which is bigger: c or v?
c
Let o(w) = 2*w**2 - 27*w - 10. Let h be o(13). Which is smaller: h or -24?
-24
Let c be (-11)/33 + (-38)/(-42). Which is smaller: 2 or c?
c
Let a = 1 - -1. Let j be (-6)/3 + 2 - a. Which is greater: -1 or j?
-1
Let h = -1 + 3. Suppose 2 = 4*y - h. Is 0 bigger than y?
False
Let f = -0.3 - -0.3. Suppose -5*i + 8*i = 0. Suppose i = d + d - 4. Is d < f?
False
Suppose -4*w = 3*n - 10, 0 = -3*w - w - 20. Which is smaller: n or 11?
n
Let y be ((-24)/(-80))/(9/(-12)). Is -10 at least as big as y?
False
Suppose -u = -7 + 