 be s(12). Let r be (-6)/(-45) - 1012/(-60). Is r >= z?
True
Let l(s) = s**2 + 5*s + 3. Let m be l(-4). Is m equal to 7?
False
Suppose 5*k = -4*t + 121, 0*k + 43 = 3*k - 5*t. Let v = -15 + k. Is v < 7?
True
Let l = -28 + 18. Let f = 20.8 - 20.7. Are l and f non-equal?
True
Let j(o) = 2*o**2 + 5*o - 8. Let f be j(-8). Suppose k + 4*k = -f. Are k and -15 equal?
False
Let s = -2/1317 - 12286/3951. Which is bigger: s or -2?
-2
Suppose -1 = -5*q - 3*c + 6*c, 2*c + 8 = -4*q. Let r be (8/10 - 1)*q. Suppose 0 = -5*h - 3 + 8. Are r and h nonequal?
True
Let a(v) = v. Let t be a(2). Suppose 4*q + b + 1 = -q, 3*b = -t*q + 10. Which is smaller: 3/31 or q?
q
Let w = -9 + 22. Let q = w + -9. Is q less than -2/7?
False
Suppose -3*c + 5*a - 14 = 0, 14 = 3*c + 5*a - 3*a. Let m be (0 - c)*1/(-2). Is 1 bigger than m?
False
Let b = -147497/122 - -1209. Which is smaller: 1 or b?
b
Let b be (1 - 2)/(14/(-28)). Suppose 2*z - 3*p - p - 18 = 0, b*p + 4 = -4*z. Is z at least 1/7?
True
Let p be (-16)/6*(-2)/(-4). Is -2/3 smaller than p?
False
Let g(w) = -w**3 - 4*w**2 - 2*w + 1. Let d be g(-2). Let u be ((-7)/d)/(3/(-9)). Which is greater: -6 or u?
-6
Let j be (4 - (-5)/(-1))*0. Which is greater: -2/105 or j?
j
Let i be ((-9)/(-120))/(((-12)/5)/(-3)). Which is greater: 1 or i?
1
Let m(c) = -c**3 - 7*c**2 + 7*c - 6. Let q be m(-8). Suppose 0 - 8 = y. Let i be 4/y + (-3)/(-2). Which is greater: q or i?
q
Let u be (-6)/9 - (-28)/(-21). Let p(n) = n**2 + 4*n - 3. Let y be p(-4). Which is greater: u or y?
u
Let b = 0.4 + -0.2. Let l = 0.8 + b. Let j = -16 + 15. Which is bigger: j or l?
l
Let k(n) = 2*n**3 + 17*n**2 + 10*n + 7. Let l be k(-8). Which is smaller: l or -10?
-10
Suppose 0 = 4*p - 12, -s - 9 = -4*p + 3*p. Which is bigger: s or 0.14?
0.14
Let u = 138 + -1528/11. Which is greater: -1 or u?
u
Suppose -5*t - 12 = -37. Suppose z - w = -2*z + 12, t*z - 30 = 5*w. Is 4 at least as big as z?
True
Let v be 27/12*56/21. Does v = -0.4?
False
Let p = -1.2 + 1.2. Which is greater: -2/9 or p?
p
Suppose 1 + 3 = x. Suppose x*q - 2*q + 4 = 0. Which is greater: -1/2 or q?
-1/2
Let m be -1 - (10/(-4) - (-1)/2). Is m equal to 5/6?
False
Let d = -8.9 + 8.6. Which is smaller: d or -0.09?
d
Let v = -2 - -3. Let m = v + -1. Let z = -9/31 - -107/155. Is m bigger than z?
False
Let y be 42/(-38) + (-28)/(-266). Let r be (-1 + 3)*1/(-118). Let g = 125/413 + r. Are g and y equal?
False
Let a(x) = -8*x - 20. Let h be a(-4). Which is smaller: 16 or h?
h
Let r = -62 - -61. Is r at least as big as 2/85?
False
Let s be (-2)/(-3) + 12/(-27). Suppose v + r - 1 = 0, 3*r - 3 = -4*v - v. Suppose 5*k - 18 = 2*q, v = -0*k + 2*k - 8. Which is bigger: s or q?
q
Let b be 6/27 - -3*11/(-351). Which is bigger: -1 or b?
b
Let s be (((-27)/4)/(-3))/(-6). Is s greater than or equal to -0.2?
False
Let b = -7 + 10. Does 4 = b?
False
Let a be (-1)/3 + 154/21. Let h be 2/a - 26/42. Let p = 0.34 + -0.04. Which is smaller: h or p?
h
Let i = -5153/1560 - 17/104. Let z = i - -18/5. Is z != 1?
True
Suppose -u + 0 = -2. Suppose -2*x - u + 0 = -2*c, 6 = -4*x + 5*c. Which is smaller: x or 1/7?
1/7
Suppose 0 = -3*k + 4*k + 3. Let h = k - -4. Which is smaller: h or 1/4?
1/4
Let z(r) = 5*r - 8. Let d be z(5). Is 16 > d?
False
Let t = 788989 - 358989851/455. Let x = 2/65 - t. Is 1/4 at least x?
True
Let u = 0.87 + -1. Is -2 != u?
True
Let r = -78 - -51. Let b = 17 + r. Which is smaller: -11 or b?
-11
Let u = -19 - -18. Do -4 and u have different values?
True
Suppose -z + 30 = -5. Suppose -5*x + z = -30. Is 12 at most as big as x?
True
Let z = -3 + 3. Let n = -1 - -3. Let u = n + -4. Which is smaller: z or u?
u
Let h = -0.2 - -0.1. Let i = -0.918 + -0.082. Which is smaller: i or h?
i
Let g = 7 + -4. Suppose -g*c = -2 + 14. Which is smaller: c or -6?
-6
Let i = -10 - -3. Let z = i - -10. Suppose -z = g - 4. Is g > -1?
True
Let f be 1/(6*2/(-9)). Which is bigger: 0 or f?
0
Let p be ((-39)/338)/((-6)/(-8)). Which is smaller: p or 10?
p
Let a = -0.109 + 0.179. Suppose -i - 4 = 0, 2*f + 3*i - i + 10 = 0. Is f < a?
True
Let u = 29/2822 + -5426851/14110. Let i = u - -386. Do i and 2 have the same value?
False
Let l(b) = 4*b**2 - b. Let w be l(1). Suppose 0 = 4*f - 3*n - 16, -4*f + 7*n + 16 = w*n. Suppose 3*i - 2*u = 2*u - 16, f*u - 16 = i. Which is smaller: i or 3/5?
i
Suppose -3*a + 6 = 2*q + q, 8 = 2*q + 4*a. Let o = -4132/13 + 318. Which is smaller: q or o?
q
Suppose -5*w - 3*x + 78 = -6*x, -x = -4*w + 68. Is w less than or equal to 18?
True
Let h(d) = -d**3 + 24*d**2 - 26*d - 40. Let l be h(23). Is l smaller than 2/3?
True
Let f be -2*5/10*1. Is f at least 1?
False
Let s = -216 - -206. Let r be -12 + 4/(1 - -1). Do r and s have the same value?
True
Let j = -0.21 + -0.79. Is j <= -25?
False
Let n = -8 + 9. Let j be 4/18 - (-16)/9. Suppose 3*x = 5*x - 6, 5*m - j*x = -1. Are m and n nonequal?
False
Suppose 0*d - 3*d = 0. Which is bigger: d or 2/21?
2/21
Let l be -4 - -8 - 0 - 5. Which is smaller: 1/10 or l?
l
Let o = -7 - -7.06. Let r = 0.04 + o. Which is bigger: -4/5 or r?
r
Let n be 40/6 - 12/(-36). Is 37/6 not equal to n?
True
Suppose -2*b - z = -25, 0*b + 3*z + 9 = b. Let m be (-14)/b - (-11)/(-33). Suppose -5 = 4*h - 1. Is h greater than m?
True
Let w = 4/9 + -1/9. Which is smaller: w or -1/3?
-1/3
Let n be 2/8 - (-25)/(-60). Let c = 35/4 - 17/2. Which is smaller: n or c?
n
Suppose -i + 4*q + 6 = 0, 6*q - 2*q = 3*i - 10. Suppose -2*m = i*m - 4. Let y be m/3*(-3)/(-4). Which is bigger: y or -1/3?
y
Let c = 4 - 2. Let n = 3 - c. Which is bigger: n or 1/2?
n
Let b = 0.1 - 0.13. Let z = -732 - -735.03. Let w = z + b. Which is smaller: w or 1?
1
Suppose 2*t = -4 - 2. Let s = -8 + 5. Let p = -6 - s. Is p bigger than t?
False
Let i = -1 - 1. Let v be (1/i)/(10/20). Let s be (-3)/21*13 - -2. Which is bigger: v or s?
s
Let g(j) = j**3 - j**2 - j + 10. Suppose -5*w = 2*k + 5, 3*k = 7*k + w + 1. Let y be g(k). Is y greater than or equal to 10?
True
Let z(g) = 14*g + 3. Let c(v) = -5*v - 1. Let w(b) = -17*c(b) - 6*z(b). Let o be w(3). Suppose -7*r - 5*k = -2*r, 0 = 2*r + k - 2. Is r at least as big as o?
True
Let h = -1.8 + 2. Let i = -0.6 - -0.1. Which is greater: h or i?
h
Let v be (-2)/(-5) + -1 + (-153)/(-45). Which is greater: v or 2?
v
Let o = -252 - -372. Let v be 2 + -1 - o/135. Are 1 and v unequal?
True
Let m = 4 + -1. Let t = 0 + -16. Let f be t/10*30/(-12). Which is smaller: m or f?
m
Let l be (-4 + 5 - -3) + -1. Suppose -4*y = y. Suppose -k - l = g - 2, -4*g - 2*k + 2 = y. Which is smaller: 1 or g?
1
Let c = -6 + 6. Is 1 >= c?
True
Suppose 4*s = -4*h - 40, -s + 2 = 2*h + 3*h. Which is smaller: -14 or s?
-14
Let o = -1 + -5. Does o = -6?
True
Suppose -7*v - 8 = 13. Is -11/4 not equal to v?
True
Let x be (-12)/24*20/2. Suppose -n + 6*n + 2*m + 22 = 0, -m + 15 = -4*n. Which is bigger: n or x?
n
Let m = -257/7 + 37. Suppose -f - 3*c - 11 = -0*f, 3*f + 9 = -3*c. Suppose -h = f - 0. Is m smaller than h?
False
Let t = -10 + 272/27. Which is smaller: 0 or t?
0
Let z be (-6)/(-3) - 3 - -25. Suppose -3*q - 3*i = z, 0 = 2*q - 2*i - 3 - 1. Let x(j) = -4*j - 3. Let h be x(q). Is 9 greater than h?
False
Let c = -1460/9 - -162. Let q be (-4)/(-3 + -5)*2. Is q <= c?
False
Let x be (-472)/(-544) + (-3 - (-27)/12). Let h = 3 + -4. Is x bigger than h?
True
Let y be ((16/12)/(-4))/(46/(-6)). Suppose 3*j - 2*n - 10 = 0, -20 = 2*j - 0*j + 4*n. Which is bigger: j or y?
y
Let u = 10 + -9. Suppose -3*y + 5*n = 0, -y - 4*y + n = 0. Let r be y + (u + -2)/(-4). Which is bigger: 0 or r?
r
Suppose -9 = u + 2*u. Let a(o) = -3*o**2 - 12*o + 9. Let v(g) = -g**2 - 4*g + 3. Let p(w) = u*a(w) + 8*v(w). Let y be p(-4). Is y smaller than -4?
False
Let k be ((-28)/105)/(4/(-6)). Suppose 6*d - 3*d - 9 = 0. Let a be d/(-5) + 0 + 1. Is a > k?
False
Let m be -6 + (3 + -1 - 0). Let q be (-52)/(-5) + m/10. Suppose 4*s - 1 = -4*j + 11, -2*j - 3*s + q = 0. Is -3/8 smaller than j?
False
Suppose 2 = -3*h - 1. Suppose 0 = 2*b - b - 5, -4*p + b - 17 = 0. Let l = -3 - p. Is h smaller than l?
True
Suppose 2*m + 2*m + 8 = 4*i, 0 = -m. Suppose 0*h - i*h = 0. Is -3/4 at most h?
True
Let d be 0 + (-8)/(-6)*1*-18. Which is greater: d or -23?
-23
Let i = 1 + 0. Let b be ((-30)/54)/(2/(-6)). Is b less than or equal to i?
False
Suppose -3 = a, -11 = -0*h - h + 4*a. Let y be 2/(-6)*24/(-