?
False
Suppose 3*p - 3 = 0, -y - 4*y = 4*p + 1836. Let n = -1214 + y. Let s = -36380/23 - n. Is s > 1?
False
Suppose 31*z - 7775 = -22996. Is -490 equal to z?
False
Let x = -585 - -237. Let c = -3832/11 - x. Let g be (-2 - -3 - 0) + -1. Which is greater: g or c?
g
Let l(g) be the first derivative of 3*g + 2*g**2 - 1 + 1/3*g**3. Let q be l(-1). Is q >= 6?
False
Let x = -0.114 - -54.114. Let k(y) = 89*y - 800. Let i be k(9). Which is smaller: x or i?
i
Let x = 30 + -26. Suppose 5*g = x*g. Is 2 equal to g?
False
Let g be 0 + 6 - 133*(-2)/(-42). Which is greater: g or -1/809?
-1/809
Let x = 137 + -137.2. Suppose 0 = -5*f + 3*i - i - 52, -31 = 3*f - i. Which is smaller: f or x?
f
Let n(k) = -1. Let h(t) = -2*t + 7. Let j(o) = h(o) + 3*n(o). Let s be j(9). Which is smaller: -8 or s?
s
Let w be 3*25/(525/(-154)). Is -21 >= w?
True
Let b = 3.3 - 21.3. Let c = b - -18. Which is bigger: 8 or c?
8
Let o = 27.6 + -32. Let h = 4 + o. Which is greater: -6 or h?
h
Let q be -9*31759/(-25977) + -11. Which is smaller: 1 or q?
q
Let y be 23 + -4 + (2 - 0). Let c be 70/y*3/2. Suppose -n + 3 = -5*r + 6, 5*r = c. Which is smaller: 3 or n?
n
Let s = 33 + -33.06. Let p = s + 0.03. Which is greater: -0.3 or p?
p
Let v be 260/(-336) + (-36)/(-48). Which is smaller: v or 0?
v
Suppose l = -4*p + 109, -2*l + 3*l = 3*p + 116. Let r = l - 112. Which is smaller: 0.3 or r?
0.3
Let m be (-33)/8 + -2 + 17/8. Is m smaller than 3?
True
Let z(d) = -12*d - 37. Let f be z(-9). Let t = 71 - f. Is t > -1/33?
True
Let b = -2074629/15628 - -3/3907. Let l(i) = i**3 - 2*i**2 - 9*i - 4. Let a be l(-5). Let p = a - b. Is p less than or equal to -1?
True
Let w be (2 - -5)*(1 - 0). Suppose -2*o + w*o + 65 = 0. Does o = -2?
False
Let h be (-18)/45 - ((-6321)/(-60) + 5). Which is smaller: h or -112?
-112
Let o = 11839 - 224875/19. Which is smaller: 4 or o?
o
Suppose -2*y - 6 = 0, -2*y = -3*o + 2*y + 21. Let a(w) = -w**3 + 5*w**2 - 8*w + 6. Let f be a(o). Do f and -3/8 have the same value?
False
Let y be 1*2/(-3) - (-2516)/(-51). Which is smaller: y or -52?
-52
Suppose s + 3*s + 5*g = 16, 20 = 5*g. Let f(j) = j**2 - j + 4. Let x be f(0). Let o be ((-2)/x)/(s/(-2)). Is o > -3/17?
False
Let y = -5 + 4. Do -5/79 and y have the same value?
False
Let o be 1 - 0 - 11*-1. Suppose 2*d + 2*d = -o. Let c be ((-140)/(-8) + 2)/(43 + -49). Do d and c have the same value?
False
Let k be (-53106)/371 + (-1)/(-7). Is -143 <= k?
True
Suppose -l - 9 = o, 4*o = -2*l - 13 - 21. Let r = o - -16. Let z = r + -10. Which is greater: z or -3/4?
-3/4
Let s = 14.9 + -20. Let y = s + 5. Is -8 at least y?
False
Let s be -4 + 3 + 4 + -1. Suppose -s*i - 50 = 4*f, -4*f - 77 + 24 = 5*i. Let o = f + 8. Do o and -4 have different values?
False
Let k = -9027 - -9066. Let b(i) = 11*i**2 + 4*i + 3. Let n be b(-2). Is k greater than n?
False
Let t = -0.229 + 0.705. Let k = -0.054 - t. Let b = k - -0.5. Is b > -0.1?
True
Suppose 4*j - 144 = -0*j. Let q = j + -35. Which is greater: q or 12/7?
12/7
Let b = -74.86 + 76. Let n = 1.24 - b. Which is bigger: n or -8?
n
Suppose 77*t - 24 = 71*t. Which is bigger: 2/9 or t?
t
Suppose 2*d + 4*u - 3 = -d, 3*d = 3*u - 18. Let y = -3 - d. Suppose 2*z = 3*z - 5*n + 11, y = -4*z - 2*n. Is 2/15 less than z?
False
Let a be (2/(-6))/(307/51 + -6). Does a = -10?
False
Let h(l) = l**2 - 2*l + 2. Let j be h(2). Suppose 0 = 3*v + 2*a + 536 + 258, -523 = 2*v - 5*a. Let k be 6/(-21) - v/140. Which is bigger: k or j?
j
Let w = -36 - -92. Which is smaller: 57 or w?
w
Let t = -6559/163708 + -10036155729/640589404. Let w = t - 4/559. Which is greater: w or -16?
w
Suppose -3 + 19 = 2*c. Let s be 62/c - 17/(-68). Which is greater: -1 or s?
s
Suppose 0 = -3*g + 12, -2*z = 3*z + 2*g + 217. Let j = 34 + z. Which is bigger: j or -12?
j
Suppose 4*n = -4*x + 24, 2*n = 2*x - 2*n. Suppose -2*d - 194 = x*z, -d = 3*z + 190 - 45. Let j = z + 239/5. Is 0 less than j?
False
Let p = 23 - 16. Let y = p + -5. Let x be (-5 + 0)*(-2)/12. Which is greater: x or y?
y
Suppose 7*g + 45 = 2*g. Let v = 2933 - 2942. Are v and g unequal?
False
Suppose 0 = -5*d - 4*y + 85, 4*y = -d + 2*y + 11. Let q(s) = s**3 - 20*s**2 - 22*s + 23. Let r be q(d). Let w be (-1)/2 + (-5)/(-2). Is w less than r?
False
Let k = -27 + 60. Suppose -w + k = 4*a, 16 = 2*a + 2*w + 4. Let z be 10/(-3)*(6 - 9). Which is smaller: a or z?
a
Let k be ((-72)/(-42))/((-2)/(-14)). Let f = 284 - 278. Are f and k nonequal?
True
Let z = -0.032 + -36.968. Let d = -36.9 - z. Let x be (-3)/(-12)*(-2 + 3). Which is smaller: x or d?
d
Let p = 18 - 3. Suppose 8*q + 42 = 10*q - 4*v, 0 = -3*q + 5*v + 61. Which is greater: q or p?
q
Let q(b) = -b**3 - 10*b**2 + 6*b - 54. Let d be q(-11). Which is bigger: d or -5/82?
d
Let y be (2/7 - 15/(-21))/1. Let z be 8 + 0/y + -1 + 1. Is 9 greater than z?
True
Suppose -45*q + 39*q - 24 = 0. Is -3 bigger than q?
True
Let f = 40.4 + 13.6. Let p = 59 - f. Is 9 >= p?
True
Let z be 13/(-11) + -7 + 1264/176. Is z less than or equal to 4/49?
True
Let h be (-18)/(-4)*8/6. Suppose 0 = -h*j + j - 15. Let w be 63/(-14)*(-1)/(-3). Which is smaller: w or j?
j
Let g be (0 + -1)*(-1 + 2). Suppose 4*a - 4*l - 18 = a, -2*a = 4*l + 8. Let b be (-96)/112 - (-2)/a. Is g equal to b?
False
Let v = 1968 - 1972. Let n = -9.9 - -11. Is v not equal to n?
True
Let z be ((-38)/(-3) - 5)*3. Which is bigger: z or -1?
z
Let c = -3184/881 + 2008274/672203. Let b = -6/109 - c. Let a(z) = -2*z - 10. Let m be a(-5). Is m != b?
True
Let m = -27 - -16. Let z = -5 - m. Let f = 5.8 - z. Which is bigger: -7 or f?
f
Let i = 0.991 - 1.091. Which is bigger: i or -43?
i
Suppose j - 29 + 17 = 0. Let w(q) = -q**2 - 13*q + 10. Let d be w(-11). Let z = d - 19. Does j = z?
False
Suppose -3*p = 2*p + 10. Let o be ((-9)/30)/(p/12). Suppose -5*l + 23 = 2*c, -3*l - 3*c + 13 = -2*c. Are l and o nonequal?
True
Suppose 29*n - 153 = 20*n. Which is smaller: n or -59?
-59
Let r = -352 + 361. Which is smaller: r or -3?
-3
Let a = -0.435 + 0.375. Let m = -4 + 3.86. Let n = m + a. Are 2 and n nonequal?
True
Let b = -18552 - -18559.957. Let t = -0.043 - b. Is t smaller than 0.3?
True
Let v be 1/8 + 49/(-8). Let c be 2/v - (-44)/33. Is 3 not equal to c?
True
Let z be (-234)/(-75)*10/(-3). Is z greater than or equal to -0.1?
False
Suppose -2*y = -3*m - 213, 259 = -5*y + 5*m + 789. Are y and 107 equal?
False
Let r = 166 - 44. Let c = r + -129. Is -1 bigger than c?
True
Let y be (5/10)/(1/4). Suppose -24 = y*k + 34. Is -30 equal to k?
False
Let r = -1031/6 + 365/2. Let y = -12 + r. Which is smaller: -1 or y?
y
Let i = -99 + 97. Let b = 11 - 15. Is i bigger than b?
True
Let k(l) = -23*l**2 - 9*l - 19. Let y be k(4). Is y less than -421?
True
Let c = 217 - 216.99. Is c > -4/11?
True
Let a(u) = -80*u - 34. Let o be a(-2). Is 125 at least o?
False
Suppose -9 = -2*q + 3*s, -6*q - 12 = -q + 4*s. Which is bigger: q or -1/8?
q
Let p = -13 - -83/8. Is -2 greater than or equal to p?
True
Let l(k) = k**2 - 5*k + 5. Let j = 38 + -36. Let u be l(j). Does 2/21 = u?
False
Let w = -610 + 4845/8. Is -5 equal to w?
False
Let z(a) = a**2 - 3*a + 5. Let s be z(4). Let n = 15 - s. Which is smaller: n or 3?
3
Let i be ((-1)/3 - 0)/(4/(-24)). Let m be ((-132)/110)/(i/(260/3)). Which is smaller: -51 or m?
m
Suppose -i + 4 = i. Suppose -6 = -4*s + i*s. Let b(g) = 7*g - 104. Let m be b(15). Which is smaller: m or s?
m
Suppose 7*v - 1091 - 477 = 0. Suppose -20 = 3*x - v. Do 67 and x have different values?
True
Let f = 0.2 - 0.1. Let w = 279 + -143. Let p = w + -138. Which is smaller: f or p?
p
Let a be (1071/6)/(33/20). Let c = a + -108. Suppose -158*m + 149*m = -9. Which is greater: m or c?
m
Let o = 36 - 31. Let b(a) = a**2 - 7*a + 2. Let l be b(6). Let q = o + l. Is q bigger than 4/5?
True
Suppose -3*j = -27 - 93. Let m = 38 - j. Which is greater: m or -9/5?
-9/5
Suppose 0 = -v - 5*p - 6 + 19, -3 = -p. Let s be -5 - (-7 + 4 - -7). Let c(z) = z + 5. Let i be c(s). Does i = v?
False
Let u = 0.05 - 0.05. Suppose 2*x = 14 - 6. Suppose r + 2 - x = 0. Is r greater than u?
True
Let y(w) = -4*w**3 + 2*w**2 - 3*w + 3. Let l(o) = 5*o**3 - o**2 + 4*o - 4. Let j(d) = -3*l(d) - 4*y(d). Let u be j(5). Which is smaller: u or 3/8?
u
Let n be ((-10)/6)/((-17)/51). Suppose -x + n*x - 21 = -d, 2*d + 8 = 2*x. Let q be 6/(-2)*(-2)/(-22). Is d equal to q