 1. Let b be i(2). Let m be (2/6)/((-2)/6). Let v be (-3 - -7)*m/(-2). Is b at least v?
False
Suppose 2*o - 3*k - 40 = 0, -2*k + 25 = 4*o - 23. Is o < 13?
False
Let b = 12 + -4. Which is smaller: b or 7?
7
Let g = 5 + -6. Let q = g + 0. Does 0 = q?
False
Suppose -2*j + k = -7, -4*j - 3*k + 25 = 6. Suppose 0 = -j*w - 5*c - 19, 2*w + w = 2*c - 20. Which is smaller: -7 or w?
-7
Let d = -74.1 + 74. Which is smaller: d or 34?
d
Let k = 0.015 + -0.215. Let q(m) = -m - 1. Let w be q(0). Which is smaller: w or k?
w
Let m(n) = n**3 + n**2 + n - 1. Let s be m(0). Which is bigger: s or -0.09?
-0.09
Let d = -252 + 767/3. Which is smaller: 4 or d?
d
Let b be (-2 - 1)*2/(-6). Let i(a) = a + 4. Let w be i(-3). Is b less than or equal to w?
True
Let v = -1.82 + 2.12. Let x = -3.1 + 3. Let w = 0 - x. Are w and v equal?
False
Suppose 298 + 341 = -9*d. Is -71 equal to d?
True
Let v = 0.02 + -0.42. Let p = 0.4 + v. Let o = -0.1 + p. Which is smaller: 0.2 or o?
o
Let m = 6 - 17/3. Let v be 2*14/30 + -1. Let o = v - m. Which is smaller: o or -2?
-2
Suppose 5*u + 8 = 33. Suppose 8 + 17 = -u*z. Is -4 >= z?
True
Let x(r) = r**2 - 7*r + 11. Let o be x(5). Which is greater: -3/10 or o?
o
Suppose 4*l = 108 + 4. Let w = l + -139/5. Is -1 greater than or equal to w?
False
Let b be 35/6*16/(-15). Is b at most -5?
True
Let q = -0.2 - -0.6. Is q equal to 10?
False
Let q be (-1 + 2)*1/(-1). Which is smaller: q or 0?
q
Suppose -4 = 5*q - 14. Let g be 0*((-1)/q + 1). Which is smaller: 1 or g?
g
Let g = 2/93 - 2143/186. Are g and -11 non-equal?
True
Let x = 32 - 35. Which is smaller: -22 or x?
-22
Suppose 3*r - 3*a - 18 = -2*a, 3*r - 6 = 5*a. Let c = -5 + r. Which is smaller: 7/3 or c?
c
Let k = 63 - 57. Which is greater: 13/2 or k?
13/2
Suppose 2*r + 544 = -d, -2*d = r + 313 + 787. Let w be d/(-56) - (-1)/7. Which is bigger: 8 or w?
w
Let h(o) = -o - 4 - 1 + 12. Let y be h(7). Which is bigger: y or 2/17?
2/17
Let v be (1 - 3/6)*12. Let y be 2/1 + (-10)/v. Let z = 101/35 + -13/5. Which is smaller: y or z?
z
Let b = -1 - -1.5. Let g = b - 0.8. Which is smaller: g or 0?
g
Let o be (2 + -4 + 133)*1. Let k = -1443/11 + o. Let v(g) = g + 4. Let l be v(-5). Is l > k?
False
Let b = 0 - 3. Let n be (-37)/b + 2/(-6). Let m be 2*(-1 - n/(-11)). Is m less than or equal to 0?
False
Let r(l) = -3*l + 4. Let h be r(3). Let a(s) = s**3 + 4*s**2 - 7*s - 7. Let f be a(h). Suppose 4*v = v - f. Is 1/3 less than v?
False
Let b be (-8)/10*(-2)/(-4). Let g = 0 + -0.4. Let t = g + 0.5. Is t greater than or equal to b?
True
Let d be (4/(-6))/((-6)/(-477)). Is -53 at least as big as d?
True
Let k be (1/(-3))/(3/9). Let n(d) = -d**3 + d**2. Let p be n(k). Which is smaller: 4/5 or p?
4/5
Let z be 2/425*5/(-1). Which is greater: 0 or z?
0
Let u be ((-1)/2)/(1/12). Let r = -4 - u. Let y be (2/3)/(r/(-6)). Which is smaller: 0 or y?
y
Let c = -5 + 5.05. Let v = c + 5.95. Let m = v + -6. Is m greater than 0.2?
False
Let a = -15 - -13. Let r = -1 - 1. Is a at least as big as r?
True
Let r = -907/5 - -182. Is -0.11 bigger than r?
False
Suppose -10*g + 5*g = -15. Is -2/7 <= g?
True
Let q(s) = s**3 + 12*s**2 + 20*s - 4. Let g be q(-10). Are g and -3 unequal?
True
Suppose 2*u + 3 = 19. Let c be (u/(-10))/((-5)/(-25)). Is -4 <= c?
True
Suppose 8*j = 6*j + 8, 4*l + 4*j - 12 = 0. Let x = -9803/37 + 265. Which is greater: l or x?
x
Let q = -5/26 + 97/234. Let r(h) = -h + 9. Let t be r(8). Which is bigger: q or t?
t
Let k = -0.02 - -0.42. Let u = 0.1 - k. Let i = 1 + 0. Which is smaller: i or u?
u
Let u be 2/(-1*32/(-12) + -2). Is 2 greater than u?
False
Suppose -39 = -p + 4*o, 3*o = -2*p - o + 42. Is p greater than or equal to 25?
True
Let a(w) = -w**3 - 8*w**2 + 2. Let v be a(-8). Which is bigger: v or 3?
3
Let j be (-4)/(-10) - 3/(-5). Which is bigger: j or 2/39?
j
Let b(v) be the second derivative of v**3/6 - 3*v**2 - v. Let i be b(7). Let u(q) = -q - 2. Let o be u(-4). Which is bigger: i or o?
o
Let y = 0.15 + -2.15. Is y less than -0.4?
True
Let m = 2381/9 - 265. Which is smaller: 1 or m?
m
Let u = 16 - 22. Let x = u + 4. Let v be x*-3*3/(-18). Is -2/5 > v?
True
Suppose 0 = 5*s - s + 40. Let m be 99/(-30) - (-2)/s. Is -3 not equal to m?
True
Let c = 24649/19 - 1297. Are 1 and c unequal?
True
Suppose 0 = 2*i + 3*c - 14, 3*c - 14 = -2. Suppose -l = -2*l - i. Let g be ((0 - -2) + -2)/l. Is 0 less than g?
False
Let r = -1.04 - -0.5. Let w = r - 0.06. Let n = w + 0.3. Which is bigger: 0.1 or n?
0.1
Suppose -3*d + 4*d + 2 = -3*y, -y - 44 = -4*d. Let b = d + -7. Suppose -b*r = r - 8. Is r > 4?
False
Let r = -39 - -40. Which is bigger: r or -1?
r
Let k = 3 + -2. Let o = -8.5 + 9. Are o and k non-equal?
True
Let n(b) = -4*b - 13. Let u be n(-3). Is -1/4 greater than u?
True
Suppose 5*y + 251 = 3*j, y = 2*y + 3*j + 61. Which is smaller: y or -51?
y
Let m = -1987/35385 + -1/1011. Is 1 greater than or equal to m?
True
Let k = 18 - 18.02. Which is greater: -1 or k?
k
Let l(i) = i**3 - 12*i**2. Let u be l(12). Which is smaller: 1/5 or u?
u
Suppose -c + 5 - 10 = 0. Let k = -7 - c. Is 0 smaller than k?
False
Suppose -3*c - 4 - 5 = 0. Let n be (-7)/6 - c/6. Are -1 and n nonequal?
True
Suppose 0 = -a - 41 + 5. Let h = a + 250/7. Which is smaller: h or 0?
h
Let h = 0.8 - 0. Let c = h - 1.1. Which is greater: c or -0.1?
-0.1
Let r = 0.783 - -0.017. Which is greater: r or 0.2?
r
Let z be 6/(-4) + 13/(-26). Is 2 > z?
True
Let m(b) = 6*b - b**2 + 37 - 18 - 23. Let v be m(5). Which is greater: 1/3 or v?
v
Let g = 15 - 14.6. Which is smaller: g or 5?
g
Let n(y) = -y**2 + 3*y + 3. Let z be n(4). Suppose f = -3*l - 11, 4*f = -6*l + 8*l + 12. Is z bigger than f?
False
Let c be ((-2)/(-28))/(6/(-36)). Let p = 10 - 11. Which is greater: c or p?
c
Let z be 1/((-3)/(-3) - 0). Let x be (z/3)/(2/(-6)). Let s be (1 + x - 0)/1. Is s equal to -1?
False
Let k = -19 - 7. Which is smaller: k or 2/3?
k
Let w = 1/44 + 83/220. Let p(n) = -n**2 + 6*n + 3. Let i be p(7). Which is greater: i or w?
w
Suppose 5*f = 5*k - 9*k + 3, -k - 3 = 5*f. Let i be ((-1)/(-2))/((-2)/12). Is f not equal to i?
True
Let a(y) = -y**2 - 9*y - 9. Let t be a(-8). Let g be 0 + 0 + 2/(-4). Which is smaller: t or g?
t
Let i = -582 + 1766/3. Which is smaller: i or 6?
6
Let l = -2.196 - 0.184. Let j = l + 2.5. Is j greater than 1?
False
Let b be (-16)/(-12)*(-3)/2. Let n = -1 - b. Is 2 equal to n?
False
Suppose -13*h + 166 = -393. Is h bigger than 45?
False
Let w = -2327 + 9237/4. Are w and -17 nonequal?
True
Let f(z) = -z**2 - 3*z - 5. Let a be f(-4). Are a and -42/5 nonequal?
True
Let a = -57 + 57. Is a <= 3/34?
True
Let p = 6812/601 + -2/1803. Do p and -2/7 have the same value?
False
Let r(i) = i**3 + i**2 - 2*i - 1. Let v be r(2). Suppose 0 = -d + v - 4. Let s(j) = j + 11. Let y be s(-8). Is d less than or equal to y?
True
Let j = 5.8 + -7. Let c = -1.1 - j. Which is greater: 3 or c?
3
Suppose y - 5 = -3*d, 4*y = 3*d + 21 - 1. Is 7 < d?
False
Let a(k) = -k**2 - 10*k - 16. Let h be a(-3). Let c(y) = 4*y**2 + 3*y + 2. Let p be c(-2). Let z = h - p. Are z and -6 equal?
False
Let q(p) = -p**2 - p - 3. Suppose -w + 8 - 1 = -4*h, -2*h = 5*w + 9. Let v be q(h). Are -5 and v non-equal?
False
Let s = 6.1 - 6. Let h = -0.12 - -8.12. Let c = h - 9. Is c >= s?
False
Let d = 0.06 - -0.14. Let s = d - 7.2. Is s at least 1?
False
Let s = 2.7 + 0.3. Let p = s + -2.96. Do p and -1 have the same value?
False
Let x be 1*-3 + 6 + -7 + 3. Are 1/142 and x equal?
False
Let c be 51/13 + 2/(-3)*6. Which is greater: 0 or c?
0
Let u be (-12)/(-2)*(-3)/(-6). Let n(y) = y**2 + 5*y - 3. Let a be n(-6). Is u less than or equal to a?
True
Let i = -0.04 + 2.04. Let z = 1.9 - i. Is 1/5 equal to z?
False
Let v = 12.1 - 12. Let y = 1.8 - 0.8. Which is greater: v or y?
y
Let h = 1/3 - 7/12. Let v(c) = c**3 - 2*c**2 + 2*c - 3. Let s be v(2). Suppose 0 = -g - s. Are h and g non-equal?
True
Let f(v) = -v**2 - 3*v + 4. Let u be f(-4). Let t = 45 - 139/3. Is u less than t?
False
Let n = -71 + 72. Which is greater: 2/137 or n?
n
Let u = -5 - -8. Is 4 <= u?
False
Let t(o) = -o**2 + 9*o - 5. Let c = 17 + -9. Let p be t(c). Let i be (-2)/3*p/2. Which is smaller: -2/17 or i?
i
Suppose 3*u + 2 = -4*t, 0 = -2*u + 2*t + t - 7. Is -10/9 equal to u?
False
Suppose -2*d - 5*u = 3, -4 = -d - 4*d - u. Suppose 3*m - 1 = 4*o + 39, 32 