*2 - 2*y + 12. Let b be c(x). Which is smaller: b or -3?
b
Let t be (2/171)/((-6)/519). Let z = t + 15/19. Let m(n) = -n**2 + 9*n + 1. Let d be m(9). Is z bigger than d?
False
Let m be (-14)/(-63) - (-10)/36. Suppose -9*s + 8*s + 4 = 0. Which is smaller: s or m?
m
Suppose 5*x - 12 = 2*x. Suppose -3*w + 6*w + 3*y - 12 = 0, 0 = w - 4*y - 9. Suppose -1 + 3 = 5*q - 2*o, x*q = 5*o + w. Which is bigger: q or -1/7?
q
Let q = 12 + -15. Which is greater: q or 0?
0
Let i(d) = d**2 - 9*d - 6. Let o(r) = -r + 1. Let m(j) = i(j) + 2*o(j). Let a be m(12). Let w = a + -10. Which is greater: -3 or w?
w
Let f = 4.6 - -0.4. Let b = 1138 - 1132.99. Let m = b - f. Is m at most -1?
False
Let m(j) = -3*j**2 - 12*j. Let i(q) = 2*q**2 + 6*q. Let d(v) = -5*i(v) - 3*m(v). Let a be d(6). Is a at least 1/3?
False
Suppose r - 2*d + 2 = 0, -d - 10 = 3*r - 3*d. Let z(u) = -u - 4. Let k be z(r). Let f be (3/(-6))/((-1)/2). Is k >= f?
False
Let d = -10 - 30. Which is greater: -42 or d?
d
Let k(r) = -r**2 + 8*r - 14. Let m be k(6). Let g be 1/(2/((-4)/5)). Are g and m equal?
False
Let z be 3 - (285/288 + 2). Which is smaller: -1 or z?
-1
Suppose -3*y - s = -13, 3*s + 19 = 5*y + 2*s. Suppose 0 = -p - 7 - y. Do -12 and p have different values?
True
Let y = 1 + -1/3. Is 13 greater than or equal to y?
True
Let q = -5 + 6. Let r = -1 - -2. Is r < q?
False
Let u be -96*(1 + 1 + -1). Let p = 2/105739 + 70950855/740173. Let j = p + u. Which is bigger: 0 or j?
0
Let t(q) = q**2 + 3*q - 1. Let k be t(-4). Let n = -42 - -43. Suppose 2*c + n = k*c. Is 1 at most c?
True
Let p(m) = 6*m - 3*m - 18*m**2 + 19*m**2 - 5. Let g be p(-4). Is -1 <= g?
True
Let k = -64/9 + 466/63. Which is smaller: -7 or k?
-7
Let p = -0.34 + 0.54. Is -10 > p?
False
Let j = 6 + -4. Let r be 6*(j + 5/(-2)). Suppose 3*u = 5*a + 9, 2*a - 4*a = -5*u - 4. Which is greater: r or u?
u
Let d(m) = 5*m**2 + m. Let c(n) = 9*n**2 + 2*n + 1. Let l(t) = -6*c(t) + 11*d(t). Let u be l(0). Let b be u/(-28) - (-4)/(-8). Which is smaller: 2/7 or b?
b
Let n be (((-45)/(-2))/3)/((-15)/20). Is -4 greater than n?
True
Let k(c) = 8*c + 1. Let n be k(-1). Let d(t) = t**2 + 5*t - 5. Let o be d(n). Let v be (o/(-4) + 2)/1. Which is smaller: -2 or v?
-2
Let m(z) = z + z**2 - 1 + 0*z - z + 2*z. Let q be m(-3). Is q at most as big as 12/7?
False
Let q be 8/(-6) + 1/3. Let x(c) = -13*c. Let g be x(-4). Let z be ((-2)/(-6))/(g/24). Is z bigger than q?
True
Let g = -55/4 + 277/20. Which is bigger: g or -1?
g
Suppose 0*x + 3*x = 12. Suppose 34 = x*j + 2*g, -4*g = -6*j + 3*j - 2. Is 7 smaller than j?
False
Let s = 76 - 85. Is s <= 1?
True
Suppose 2*n = 6*n - 8. Suppose -3*y + n*y = 1. Is y smaller than -1?
False
Let l be -1*(-3)/9*0. Let p = -1 + l. Let a be p/(-2) + 24/16. Is a < 1?
False
Let q be 6/21 - 23/7. Let z = q - -6. Let i = 9 + -6. Is i > z?
False
Suppose 9*z - 3 = 6*z. Which is smaller: 9/7 or z?
z
Let v = 74 - 70.1. Let m = -0.9 - v. Let p = m + 5. Which is greater: p or 1?
1
Let t = 11 + -8. Let g = 0 - t. Which is smaller: g or 2/3?
g
Let h(q) = q**3 - 2*q**2 - 5*q + 4. Suppose 0*y + 6 = 2*y. Let i be h(y). Which is smaller: -2/3 or i?
i
Let n be 88/6*9/6. Suppose 2*q = 10, 5*q - 6 = -3*i + n. Let r be ((-2)/4)/((-1)/4). Is i >= r?
False
Let q be (0 + 1/2)*6. Let x(r) = r + 24. Let g be x(-21). Are g and q equal?
True
Let b(k) = 5*k - 1. Let a be b(1). Suppose -2*p + 0*p = 4*z + 6, 0 = -a*z - 4. Is 2/11 at most p?
False
Let l = 5 + -4. Let x = l - 2. Let o = x + 1. Which is bigger: 0.2 or o?
0.2
Let h be (-7)/(-2)*2/1. Let n = -681.9 - -682. Which is smaller: n or h?
n
Suppose 5*n - 14 = -14. Is n greater than -5/27?
True
Suppose 2*h - b = -2 - 5, -2*h + 4*b - 16 = 0. Are h and -6 equal?
False
Suppose -40 = -l - l. Suppose 2*h + 2*h = l. Let z be (-2)/h + (-56)/(-90). Is 1 > z?
True
Let z = 0.7 - -6.3. Let m = 1 - z. Which is bigger: m or 1/2?
1/2
Let i(y) = y - 13. Let o be i(10). Let d be (0 - -1)/1 + -3. Which is smaller: o or d?
o
Let s(l) = -l**3 + l + 3. Let r be s(0). Let t(v) = v + 4. Let m be t(-3). Let x = m - -4. Is r != x?
True
Let w = -6.1 - -6. Let p be (-1)/5*2*-5. Suppose c + 0 = p. Is c <= w?
False
Let z(a) = a**3 + 5*a**2 + 3. Let w be z(-5). Let v be (-9)/w*14/(-6). Suppose 18 = 4*r - v*r. Which is greater: -5 or r?
-5
Let f = -19 + 15. Is f at most -2/11?
True
Let z be (-5)/30 - (238/132 - 2). Is z != 0?
True
Let f = -0.5 - -0.5. Let l = 0.1 + f. Let q = -8 - -6. Is l >= q?
True
Let q = 19 + -19. Is 14 greater than q?
True
Suppose 2*r + 18 = 6. Let q = r - 0. Which is greater: -7 or q?
q
Let v = 5 - 8. Let y(n) = -n + 7. Let q be y(6). Let r be (2*q)/(4 - 5). Is v > r?
False
Suppose 0*j + 3 = -j. Let h(c) be the third derivative of -c**6/120 - c**5/20 + c**3/3 - 24*c**2. Let f be h(j). Which is smaller: f or 3?
f
Let j = 0.7 + 3.3. Let u = j - 4. Let l = u + -0.1. Which is bigger: 2/3 or l?
2/3
Let l = 4/7 - 23/28. Let p(k) = -k**2 + 6*k. Let f(c) = c. Let z(w) = -2*f(w) - p(w). Let x be z(8). Which is bigger: x or l?
x
Suppose d = 3*a + 22, -3*a - 72 = -3*d - 0*a. Which is bigger: d or 26?
26
Suppose w + 67 = 23. Let b = -131/3 - w. Which is smaller: -2 or b?
-2
Let b = 1 + -1.6. Is -1 bigger than b?
False
Let z(x) = 10 + 0 - 4 + 3 - x. Let a be z(7). Do -3 and a have the same value?
False
Suppose -5*p = -2*s - p + 20, -3*s = -5*p - 29. Does s = 8?
True
Let i = -8.2 + 8.6. Are i and 2/9 equal?
False
Let l(o) = -o**2 - 6*o + 6. Let a be l(-7). Suppose 3 = h - 24. Let j be 0 + (-12)/h - 0. Which is bigger: a or j?
j
Let a be -3*(-2)/78*1. Which is smaller: a or 0?
0
Let b = -9 + 9. Suppose 0*v + 4*v = -3*h + 21, -2*v + 6 = b. Which is bigger: 12/7 or h?
h
Let c = -4.3 - -7. Let o = 0.7 - c. Which is smaller: 2 or o?
o
Let t be (2*-3)/1 - 2. Suppose -16*q + 2*q - 112 = 0. Is q greater than t?
False
Suppose -3*m = -2*u + 11, -9 = -3*m + 5*u - 14. Let i = -23 - -35. Let h be 3/i - (-29)/(-4). Which is bigger: h or m?
m
Let o be (0 - -3 - 6) + (-24)/(-6). Which is smaller: o or 6/11?
6/11
Let h be (-40)/(-42) + 2/(-3). Let v = 5.93 - 6. Let p = v + -0.03. Which is smaller: p or h?
p
Let k = -13/287 - 4/41. Which is bigger: 1 or k?
1
Let r be (-2)/3 + (-301)/21. Which is greater: r or -17?
r
Let q be 3/(-6) - (-6)/(-4). Let s be (-1)/q*(-4)/(-7). Which is smaller: s or 0?
0
Let p be 4*(-2)/(-4) + -2. Suppose 6 = -2*i - p*i, -2*q + 5*i = -13. Let v be 0/(2 + q - 2). Which is smaller: -1/9 or v?
-1/9
Suppose -5*s + 1124 = 2*m, -586 + 1698 = 5*s - 4*m. Let f be 2/9 + s/126. Which is smaller: 3/5 or f?
3/5
Suppose -12 = 4*y - 7*y, -2*p + y = 0. Does 6/11 = p?
False
Let y be 2/3 + (0 - (-64)/12). Are -3/4 and y non-equal?
True
Let i be 6/14*(-28)/(-21). Suppose -3*b + 0*b = 0. Is i smaller than b?
False
Suppose -2*b - 5 = -5*g, 2*g - 4*b = -0*g - 14. Let s(j) = j**2 - 8*j - 4. Let y be s(9). Suppose y*x - 15 = 5. Is g less than or equal to x?
True
Let u be 1/12*64/(-168). Which is smaller: 1 or u?
u
Let x = 971/44 - 89/4. Let r(a) = -a**2 - 13*a - 23. Let h be r(-11). Does h = x?
False
Let q = 142.7 + -137. Let h = q - 0.7. Let d = h + -6. Is 1/3 less than d?
False
Let z = -25.8 - -26. Which is smaller: z or -0.01?
-0.01
Let s be 12/(-10)*5/2. Let g = -4 - s. Which is bigger: -3/19 or g?
-3/19
Let t = -0.14 - 4.86. Let q = t + 5.3. Which is smaller: -0.1 or q?
-0.1
Let l = 0.055 - -0.875. Let q = l + 0.17. Let f = 1 - q. Which is greater: f or 5?
5
Let d be (-11)/11*2/(-160). Which is smaller: -1 or d?
-1
Suppose -2*g - 2 = -r - 0, -4*r + 8 = 5*g. Suppose 5*l - 19 = -2*m, -4*m + l + 5 = -g. Let w be 2*m/8*4. Which is smaller: 0 or w?
0
Let o = 17 - 101/6. Let c = -3.6 + 3. Let d = c - -0.5. Is d equal to o?
False
Let l = -116 - -116. Which is smaller: l or -1?
-1
Let n(o) = -o**2 + 4*o + 5. Let p = 0 - -2. Let v = 3 + p. Let r be n(v). Which is greater: r or -1?
r
Let p = -7.9 - -8. Let v = p + -2.1. Which is bigger: v or 3/2?
3/2
Let j(y) = -y**2 - 6*y + 5. Let f be j(4). Let m be 42/f*10/3. Which is smaller: -3 or m?
m
Let w = 84 + -85. Which is smaller: 56 or w?
w
Let d(i) = 10*i**3 - i**2 - 3. Let j be d(-2). Is j less than -88?
False
Let x = -10/77 + 131/77. Let v = x - 29/14. Is -0.1 >= v?
True
Let v = 0.3 + -0.7. Let l = v - -1.4. Which is smaller: -4 or l?
-4
Let t be (-16)/(-12)*6/4. Suppose -t*l = 3*l. Suppose -