?
True
Suppose -3 = -r - 1. Let m = r + -2. Suppose -n + 1 + 1 = m. Does n = 2?
True
Let q be 224/(-78) + (-2)/(-6). Let w = 67/52 + q. Is -1 greater than w?
True
Suppose -2*x + 15 = 4*l - l, -2*l - x + 10 = 0. Let g be 2/4*(l - 1). Is 0 less than g?
True
Suppose -3*d + 0 = -9. Suppose -66 = d*v - 0*v. Let m = v - -43/2. Is m > 2?
False
Suppose 4*b + 3*o = -38, 8*b + o = 3*b - 42. Which is greater: -9 or b?
b
Suppose 0*q - 2*q = 5*h + 8, 4*h + 13 = 5*q. Let p = h + 0. Do p and -2/3 have the same value?
False
Let s = 30/7 - 171/35. Which is greater: -0.2 or s?
-0.2
Let z be (-14)/(-8) - (-2)/8. Let w be (-20)/(-6) + z/3. Suppose w*d = -d. Which is bigger: -2/11 or d?
d
Let u = 17 - -10. Are -0.1 and u nonequal?
True
Let a = 13 + -11. Suppose -a*n + 8 = 10. Let b be (-1)/4 - 4/(-16). Which is smaller: b or n?
n
Let w = 53 + -29. Which is greater: w or 116/5?
w
Let f = -0.3 - -0.3. Suppose 19*h = 22*h + 6. Which is smaller: h or f?
h
Let v(z) = -z + 13. Let a be v(5). Let p be (2 + 0)/(-10 + a). Is 2/15 greater than or equal to p?
True
Let o be 3/(-120)*(-15)/(-6). Is o bigger than 0?
False
Let z = 147 + -146. Suppose -3*u = 5*q - 3, 6*u = 2*u + 4. Is z bigger than q?
True
Let h(l) = 16*l - 6. Let a be h(4). Does a = 58?
True
Suppose 21 = -3*y - 4*y. Let f = 0.5 - 1. Let i = -0.3 - f. Is y greater than or equal to i?
False
Let p = -1 - -6. Suppose p*t + 5*l = 0, -3*l + 9 = -6*l. Let c be 12/63*t/(-2). Which is bigger: 0.3 or c?
0.3
Let n = -99/184 - -21/23. Is -1/4 != n?
True
Let v(p) be the second derivative of -p**4/4 - p**3/2 - p**2/2 + 2*p. Let i(h) = -h**2 + 1. Let c(l) = -2*i(l) + v(l). Let u be c(-2). Which is bigger: u or 2?
2
Let p be (-64)/(-175) - (18/14 - 1). Is p at most -1?
False
Let g(a) = -11 - 27*a + 28*a - 2. Let w be g(10). Do -2 and w have the same value?
False
Suppose 9 = 3*y, 2*c = 3*c + 3*y - 8. Let x = c + -10. Is x at least as big as 2/7?
False
Let o be ((-4)/6)/((-2)/9). Suppose o*q + 4 - 1 = 0. Let g be 1 + 1*-3 + 0. Which is smaller: q or g?
g
Let f = -5 - 2. Which is bigger: f or -6?
-6
Let t be 334/(-1530) - (-6)/(-27). Let i = 1/255 - t. Let j = i - 2/9. Which is smaller: j or 0?
0
Suppose 0*y + 10 = 2*y. Let g(d) = -d**2 + 2*d - 7. Let z be g(3). Let m = z + y. Is m smaller than -5?
False
Let v(l) = l + 5. Let d be v(-3). Suppose -2*s = -7*s - 15. Let h = s + 6. Which is greater: d or h?
h
Suppose 0 = 3*m + 5 - 56. Which is greater: 18 or m?
18
Suppose -t + 2*r = 2*t - 12, -2*t + r + 7 = 0. Let y be (4 + -2 + 2)/t. Which is greater: y or 4/3?
y
Suppose 4*b - 30 = -i - 9, 0 = i + 3*b - 16. Let c = 0.89 + -0.09. Let p = c - -0.2. Is i greater than or equal to p?
True
Let o = -871/4 + 2579/12. Let w = -59/18 - o. Let n(m) = m**2 - 4*m. Let s be n(4). Which is bigger: s or w?
s
Suppose 0 = -7*v + 3*v + 4. Let l be (1 + -6)*(-28)/(-10). Let b be l/(-8) + 1/4. Which is greater: v or b?
b
Let u(h) = h. Let b be (3/(-2)*-2)/1. Suppose b*l + 5*q = -0*l + 24, l = -q + 6. Let o be u(l). Do 2 and o have the same value?
False
Let z = 78430/107 + -733. Let o = z + -201/1391. Is 0 >= o?
True
Let i(m) = m**2 - m + 4. Let a be i(2). Is a at least as big as 6?
True
Let k be ((-1)/(-21))/((-3)/(-18)). Which is smaller: k or -1?
-1
Let o(l) = -l**3 + 4*l**2 - 4*l + 3. Let y be o(2). Let k be (1/6)/(1/y). Let f(n) = n**3 - 7*n**2 + 5*n + 5. Let w be f(6). Does k = w?
False
Suppose -s = -0*s. Let t(r) = -r**2 + 4 + r + 0*r**2 + s. Let q be t(0). Is 5 bigger than q?
True
Suppose 5*d + 96 = -3*l, -3*l - 128 = l + 4*d. Which is smaller: l or -100/3?
-100/3
Let c = -0.01 - 0.19. Let z = -0.2 - c. Which is smaller: z or 2/23?
z
Let t be (-6 - -3) + 6/(-8). Is t equal to -3?
False
Let d be 5/(-20) + 15/36. Suppose k - 5*k + 4 = 0. Is k at most as big as d?
False
Let u be (1/5)/((-8)/5). Let f(v) = v**3 + 1. Let m be f(1). Suppose -3*d = 4*j - 7, m = j + 4*d - 3. Which is smaller: j or u?
u
Let k be 2/(2/1)*1. Which is smaller: 3/7 or k?
3/7
Let j = -14 - 10. Let x = 24.11 + j. Is -0.2 at least as big as x?
False
Let j = -28 + 13. Which is greater: j or -13?
-13
Let w = -5 + 3. Let n = w + 4. Is 3/4 < n?
True
Suppose -9 = 2*t - 5. Which is smaller: t or -20/7?
-20/7
Let p(j) = -j**2 + 9*j - 9. Let r be p(7). Suppose w - 12 + r = 0. Which is smaller: 6 or w?
6
Let f = -5 + 0. Let y be 1/3*45/f. Let h be (-1)/(0 - y/12). Which is smaller: h or 1?
h
Let j be 1/(-2)*(3 - -1). Let x be ((-10)/4)/(10/(-8)). Let c = x - 4. Is c greater than j?
False
Let z(y) = -y**3 - 3*y**2 - 4*y - 3. Let l be z(-2). Let s be -1 + l - 0/4. Is s greater than 2/5?
False
Let h = -36 - -39. Let j = -0.1 - -1.1. Is j at least as big as h?
False
Let o = -2 - -11. Let g be ((-6)/o)/(4/6). Let s = 3 + g. Is 2/3 at least s?
False
Suppose -l + z = l - 3, 4*l = -2*z - 6. Which is bigger: 2/145 or l?
2/145
Let z(m) = m + 10. Let p be z(-8). Let f be p/(-6) - 12/112. Let h = f + 7/12. Which is smaller: h or 1?
h
Suppose 0*d + 3*d = 0. Is 2 not equal to d?
True
Let f be 1/(-6) - 572/24. Which is greater: f or -26?
f
Let z = -739 + 3823/5. Let a = z + -26. Let l = 0.2 - 0.3. Is a at most l?
True
Suppose 3*f + 3*x = -0*x - 9, -2*f - 4*x - 14 = 0. Let k = -118 - -1181/10. Which is smaller: f or k?
k
Let k be (-4)/344*(-1 - 0). Let z = 41/172 + k. Is z >= -1?
True
Let s be (5 - -3)/4 + 2. Is s bigger than 2/5?
True
Suppose 5*k - 5*t = 30, -4*t - 14 = 3*k - 2*k. Let m(n) = -9*n**3 - n. Let h be m(1). Let x be 2/10 + (-28)/h. Which is smaller: x or k?
k
Let q(x) = -3*x**2 + x + 6. Let y be q(3). Let t be 12/y + (-32)/(-30). Is t at least as big as 5?
False
Suppose 5*j = -3*u - 20, 2*u - j + 0 - 4 = 0. Which is bigger: -2/115 or u?
u
Let s(w) = -4*w - 1. Let t be s(-1). Which is smaller: 0 or t?
0
Let z be (-6)/10 - 24/(-40). Let y be (4/10)/((-2)/(-10)). Is z at most y?
True
Let n be 2/(-7) - 90/(-21). Let d be (286/(-5))/(2/n). Let p = -114 - d. Is -1 > p?
False
Let z be (-390)/(-828) + 1/(-2). Which is smaller: 1 or z?
z
Let j be -2 + 18/(-3) - -2. Let h = -7 - j. Let g = 0.07 + -3.07. Is h <= g?
False
Let p(x) = x**2 - 8*x + 7. Let i be p(5). Is -7 < i?
False
Let w be 2/6 - (-155)/(-15). Let y be (-1)/5 + (-12)/w. Is 2/33 equal to y?
False
Let s = -63521890/7 + 9108044. Let r = s + -33586. Let f = 98 + r. Which is smaller: f or 1?
f
Let o(y) = -3*y**2 - 5*y + 4. Let h be o(1). Are 16 and h non-equal?
True
Let n(q) = 3*q**2 - 1. Let o be n(-1). Suppose -4*x = -2*x - o*l, -5*l - 3 = -2*x. Suppose -2*t - 2*i = -2, 3 = -2*t - i + 4. Is x greater than t?
False
Let s(f) = f + 5. Let w be s(0). Let q = w - 2. Let a(x) = -x**3 + 10*x**2 + 10*x + 15. Let i be a(11). Is i greater than q?
True
Let o(i) = i**3 - 3*i**2 - i - 4. Let q be o(3). Suppose -98 = -18*g - 206. Are q and g non-equal?
True
Let m(j) = -41*j**2 + j + 1. Let w be m(-2). Let l be 4*(w/54 - -3). Which is smaller: 2/3 or l?
l
Let j = -6 - -6. Let a be j + (-12)/((-9)/(-3)). Let g be ((-1)/3)/(a/6). Is g greater than -2/3?
True
Suppose 5*u - 57 = 3. Let r be ((-2)/(-5))/(u/30). Which is smaller: 1/4 or r?
1/4
Let c(s) = -3*s**2 + 2*s - 1. Suppose -21 = -q - 4*y, 0*q = 4*q + 4*y - 24. Let a be c(q). Let j be 2 - (-80)/(-18) - a. Is -1 at most j?
True
Let k(c) = -c**3 - 2*c**2 + 9*c + 4. Let a be k(-4). Suppose -5*b + 0 + 20 = 0. Suppose a*o - o + 1 = -n, -3*n + b*o = 2. Is n < -2?
False
Let f = 0 + 3. Let o = f - 3.1. Let r = -1.55 + 1.75. Is r >= o?
True
Let s = 524.99 + -537. Let w = -12 - s. Is w greater than or equal to -2/3?
True
Suppose -3*g - 4 = -g. Which is smaller: g or -3/4?
g
Suppose -h - 72 = -4*h. Suppose -5*g = -25, 4*g = -2*a - 2*a + h. Do 0 and a have the same value?
False
Let g be 6/4 - (-2)/4. Let n be (-6)/((-1 - g) + 2). Suppose -f = -4*f + n. Which is greater: 3/5 or f?
f
Let z be ((-2202)/28)/(3/6). Let b = z + 157. Let y = 2 + -1. Is b not equal to y?
True
Let b be 21 - 9/((-36)/16). Let i = 27 - b. Is i at most as big as 10?
True
Let d = -19 + 19. Is -2/15 bigger than d?
False
Let w be (-785)/1575 - (-4)/14. Let s = w - 1/105. Which is smaller: s or 1?
s
Let r = -6 - -13. Let y = r + -7. Are y and -3/7 non-equal?
True
Let y(l) = l**2 + 6*l + 1. Let n be y(-6). Which is smaller: n or 5/6?
5/6
Let b = -159 + 164. Is b less than 7/2?
False
Let v = -2 + 13. Suppose -4*p + 0*x + 10 = 2*x, -v = p - 4*x. L