1. Is b greater than q?
False
Let z be (1175/(-10))/(-5) - 5. Which is bigger: z or 18?
z
Let f = -4 - -3. Let w = 2 + -5. Let y be (2/(-9))/(f/w). Which is smaller: -1 or y?
-1
Suppose 2*h - 3*a = 9, -2*h + 0*a + 3 = -a. Suppose h = 2*v + 2 - 4, -5*v = -5*l - 20. Let r = 5 + l. Which is smaller: 1 or r?
1
Suppose -2*h - 5*l - 18 = h, 3*h = -2*l - 9. Let i = -3 - h. Which is smaller: i or -1?
i
Let c = 3/175 + -757/3325. Is 1 not equal to c?
True
Let q = 36 + -33. Let d = -1 + 0.9. Is q at least as big as d?
True
Suppose -2*h + u = -9, 5 + 7 = h - 2*u. Suppose -h*g + 15 = 3*t - 2*t, 0 = -t - 3*g + 20. Which is smaller: t or -2/5?
-2/5
Let d = -5.03 + 0.03. Let g = -8 - d. Which is bigger: g or -1/3?
-1/3
Suppose -2*q + 4 = -q. Let z be (-2)/7 - q/(-14). Which is bigger: -2/13 or z?
z
Let q = 170/3 + -56. Are 0 and q equal?
False
Let n = -177 + 176.5. Which is smaller: n or 0.11?
n
Let t = -0.1 + 0.24. Let b = t - 0.04. Which is smaller: -2/17 or b?
-2/17
Let f = 22 - 28. Let h be (-4)/f*(-6)/(-4). Which is smaller: 2/37 or h?
2/37
Let z be (-3)/(20/7 + -3). Is 20 at least as big as z?
False
Suppose 5*k = -0*k. Let o = -629/1133 - -1/103. Is o bigger than k?
False
Let n = 1/20 - 0. Let h = n + 1/4. Do 0 and h have different values?
True
Let j(m) = -24*m**3 + 2*m + 1. Let k be j(-1). Which is smaller: 1 or k?
1
Let m = 0 + 1. Let u = -38 - -56. Let k = u - 73/4. Which is smaller: k or m?
k
Suppose 6 = -2*x - 4. Let p = 0.08 - 0.08. Which is bigger: p or x?
p
Let i(y) = y**3 - 12*y**2 + 11*y + 2. Let w be i(11). Let u(m) = 5 + 1 - m + m**3 + 3*m**2 - 8*m**2 - m**w. Let q be u(6). Which is smaller: 4/5 or q?
q
Suppose m = -t - 0 - 1, t + 2*m + 2 = 0. Suppose 4*w = 4*y, 0 = 2*y - w - 3*w. Let s(k) = -k**2 + k - 1. Let c be s(y). Which is bigger: t or c?
t
Suppose 16 = 3*t + 2*v, 3*t - v - 11 = -1. Suppose t*c = 2 - 6. Do 2/5 and c have the same value?
False
Let h be 1 + 1 + (-73)/(-24). Let k = h - 35/8. Is k greater than 0?
True
Let l(j) = j**3 - 2*j**2 - 2*j + 1. Let y be l(3). Suppose 0*b + y = 2*b. Is 2 > b?
False
Let x be 3 - -2*(-3)/(-22). Let w = x - 130/33. Which is smaller: -17 or w?
-17
Suppose -3*v - 15 = 2*n + 30, 60 = -3*n + 3*v. Are n and -20 equal?
False
Suppose -r + 2*r = -3*v - 26, 28 = -4*v + 2*r. Which is smaller: -51/7 or v?
v
Let a(x) = 13*x**2 + x. Let z be a(-1). Suppose w + w - 2*g = 0, 4 = -4*w + 5*g. Suppose -w*j = -7*j + z. Is j less than or equal to 1?
False
Let k be (2/(-3) - (-96)/252)/(-1). Which is smaller: k or -0.1?
-0.1
Let i = 0 + 2. Suppose -5*x + 5*l = l + 373, 5*l = -3*x - 246. Let s = -151/2 - x. Which is smaller: i or s?
s
Let j = -4.83 + -0.17. Let d = j - 3. Which is greater: d or -1?
-1
Let z = 232 + -231.5. Let c = -1150/9 - -128. Is c at most z?
True
Suppose 0 = -4*r + 5*r - 5*l - 21, 0 = -4*r + 2*l + 102. Suppose 3*k - r = 5*a - k, -2*a + 16 = 5*k. Let h be -2*6 + 3 - a. Which is greater: -6 or h?
-6
Let f = -157/6 + 49/2. Which is bigger: f or -1?
-1
Let d be (-24)/(-35) + (-4)/10. Let s(y) = -y**2 + 7*y - 6. Let q be (-1 - -2)/(2/12). Let c be s(q). Is c <= d?
True
Suppose 3*f - 4*f + 2*h - 1 = 0, 0 = -f - 2*h + 3. Let k be f*-3*(-2)/6. Let o = -68/1185 - 6/79. Are o and k nonequal?
True
Let u = -6 - -8. Suppose -2*k + 52 = 4*d - 6*k, -d + 18 = -u*k. Which is smaller: d or 6?
6
Let k be (56/(-6))/(4/6). Is -18 smaller than k?
True
Let t(z) = -z**3 - 2*z**2 + 4*z. Let y be t(-4). Let c = -4 + y. Suppose -5*l = -l + c. Which is greater: -0.1 or l?
-0.1
Suppose 3*z = 3*y - 9, 0 = 3*y + 3*z + 2*z + 7. Suppose 0*r - 4*r - 12 = 0. Let l be 0/(-4) + 1/r. Is l at most as big as y?
True
Suppose 0 = -5*o + 8 + 2. Let r(k) = -k**3 + 2*k**2 + 3*k - 3. Let h be r(o). Let m(b) = b**2 - 8*b + 9. Let c be m(7). Is c greater than h?
False
Let r(y) = -y**3 + y**2 + 6*y - 3. Let m be r(4). Let f be (3 + m/6)*-6. Let z(h) = h**2 - 8*h - 8. Let i be z(f). Which is smaller: i or 2/5?
2/5
Let f(o) = o - 35. Let r be f(22). Is r < -14?
False
Let s = 3744 + -33736/9. Is s greater than -1?
False
Suppose -7*d = -4*d + 18. Which is greater: -7 or d?
d
Let b(n) = -n**2 + 4*n. Let t be b(2). Let i be (-6)/4 + (-2)/t. Which is smaller: -10/7 or i?
i
Suppose -k + 7 = -0*k. Let a = k + -10. Which is smaller: -2 or a?
a
Let g = -6 + 13. Suppose -4 = 3*f - g. Let w = -0.9 + 1. Which is bigger: w or f?
f
Suppose y + 2 = -y + v, -4*y + 5*v = 10. Is y smaller than 2/19?
True
Let u = -49 + 49.6. Is u at most as big as -1/2?
False
Let v = 6 + -11. Suppose -1 = -5*z - 6. Let r = z - v. Are r and 0 unequal?
True
Let d = 7 + 0. Suppose 4*r = -4*v + 4, 6*v - 2*v + 3*r = d. Suppose -2*g - 12 = -6*g. Does g = v?
False
Let j = 35/2 + -69/4. Let l be 42/120 - 1/(-4). Let m = l + -14/15. Are m and j nonequal?
True
Suppose 7*s = -389 - 108. Are -70 and s equal?
False
Let v be (1/(-3))/(1/(-9)). Let b be v/(-15) - 166/120. Let x = -5/4 - b. Is 2 >= x?
True
Let y(u) = -u**2 - u + 6. Let a be y(0). Suppose -2*x + 5*x = a. Let r be 0 - (1 - (x - 0)). Which is bigger: r or 0?
r
Let m be (-5)/7 + (-6 - (-3 + -4)). Is 0 at least m?
False
Let z = -4 - -4. Do z and 1 have the same value?
False
Let h = 110 + -552/5. Do 1 and h have the same value?
False
Let z be (-4)/(-18) + (-2)/9. Suppose l - 4*l + 45 = 0. Suppose -4*f = f + l. Which is smaller: z or f?
f
Suppose 0 = -0*i - i + 16. Suppose 4*d - 2*d = i. Let j be d/36 - 4/18. Which is greater: 3 or j?
3
Let m = -24.9 + 25. Which is bigger: m or -3/4?
m
Let f = 45 - 25. Let g = -20 + f. Which is smaller: g or -2/3?
-2/3
Let t = -11 - -10.92. Is t > 0?
False
Let l = -38 - -71. Let d = l + -199/6. Is 0.4 smaller than d?
False
Suppose -2*o + 6 = o. Let w be o + 6/3 + -2. Which is smaller: 2/7 or w?
2/7
Let n = -3/529 + -89/529. Is 1 less than n?
False
Let v = -2 - -2. Let a be -3*1*2/(-6). Which is greater: a or v?
a
Let f(h) = h**2 + 9*h + 1. Let o be f(-9). Suppose -2*r = -5 + o. Is 3 smaller than r?
False
Suppose 4*w + 5*x - 17 = 0, -2*w + 6*x = x - 31. Let q(b) = 2 - 9*b + 9*b**2 - 6 + 13 - b**3. Let k be q(w). Which is greater: 3/8 or k?
k
Suppose 0*c - 48 = -8*c. Is c at most as big as 7?
True
Let a = 81 + -87. Is a smaller than -13?
False
Suppose 0 = -0*f - 3*f - 2*j + 526, -518 = -3*f - 4*j. Is 179 bigger than f?
True
Let a = -1 + 0. Let i = 0.7 - 1.4. Let m = i - 0.3. Is a at most as big as m?
True
Let m be ((2 + -2)/(-2 + 3))/2. Is 4/29 not equal to m?
True
Let k(a) = -3*a**2 + a - 1. Let h be k(1). Is -5/2 at least h?
True
Suppose 0 = 8*y + 3*y. Suppose 2*u + 6*v - v = -31, -v = -4*u - 7. Which is bigger: u or y?
y
Suppose 4 = -w, 3*s - 3*w = 2*w + 29. Are 3/2 and s nonequal?
True
Let o = 12659/4 + -3136. Let k = 29 - o. Which is greater: -7 or k?
k
Let t = -0.7 - -0.76. Let w = 1.06 - t. Is w at least as big as -1/10?
True
Let r(g) = -g**2 - 6*g - 7. Let f be r(-3). Let d = -4 - -6. Suppose -q + 6 = d*s + 3*q, 5*q = -2*s + 7. Which is smaller: s or f?
s
Suppose 0 = 2*o + l + 4, 3*o + 2*l = -l - 12. Which is greater: o or -2/57?
o
Let x be (-2)/42 + (-4)/14. Let l = 0 + -0.2. Are x and l non-equal?
True
Suppose 0 = -4*f + 2*f. Let u = -92/869 - 6/79. Is u < f?
True
Let z be (2/(-6))/(7/42). Let r(u) = -2*u**2 - 2*u + 1. Let c be r(z). Let s be (16/12)/(c/9). Is s at least as big as -3?
False
Suppose -4 = -2*j - 6. Does j = 2/11?
False
Suppose 3*z = -2*z - 10, -5*i - 4*z = 8. Let n be 2 - i - 0 - 0. Which is bigger: -0.2 or n?
n
Let s(b) = -b**2 + 6*b + 5. Let g be s(7). Suppose -3*a = 4*v + v + 19, -5*v + 5*a = -5. Are g and v nonequal?
False
Let p = 8 - -1. Let d(w) = w**2 - 10*w + 8. Let x be d(p). Are x and -6/7 nonequal?
True
Suppose -4*q - q + 30 = 0. Let d be (-3)/6 + (-21)/q. Suppose -3*j + 8*j = 5, 5*o = -j - 19. Is d != o?
False
Let v = 546 - 540. Let j = 1 - 2. Is v greater than or equal to j?
True
Let p = 2708102707/15390749 + -2/669163. Let k = -176 + p. Is k at most as big as 0?
True
Let q be 1 + (-186)/(-345) + -2. Let p = -6/23 - q. Which is smaller: 1 or p?
p
Let o(f) = -f + 8. Let c be o(7). Do -4/9 and c have the same value?
False
Suppose 11*r - 77 + 330 = 0. Is -21 equal to r?
False
Let a(w) = -2*w + 4. Let f(j) = j + 2. Let i be f(11). Let s = i + -10. Let v be a(s). Are v and -2/3 nonequal?
True
Let y be 4/(-12) - 2/(-6). Which is smaller: y or -1.2?
-1.2
Let l = -0.273 - 14