s f greater than k?
True
Let r be (-3)/6*4/14. Suppose -6*b = -5*b. Which is smaller: r or b?
r
Suppose -o = -0 + 1. Let i be o*4 + (1 - 2). Let j = 2 + -6. Are j and i equal?
False
Let r(t) = -8*t + 1. Let y be r(-6). Suppose -3*q + 3*s + 51 = 0, -4 - y = -3*q + s. Let j = -56/3 + q. Do j and 0 have the same value?
False
Let k(v) be the second derivative of v**3/6 - 11*v**2/2 + 2*v. Let w be k(9). Let o = -14 + 13. Is o at least w?
True
Suppose 4*w - 3*r + 14 = -5*r, -2*w + 23 = -5*r. Let d = 239/1368 - 5/72. Which is smaller: d or w?
w
Let s = -3.1 - -5.2. Let p = 0.1 - s. Is p <= 6?
True
Let k = -19/90 - -1/10. Which is smaller: k or -1?
-1
Suppose -6*y - 6 = -24. Suppose -y*j + 0*j + 3 = 0. Is j greater than 1?
False
Suppose -4*s + 1 = -3. Is s smaller than -1/7?
False
Suppose -g + 6*g - 110 = 0. Suppose -4*p - 4*q + 32 = 0, -g = -4*p - 0*q - 2*q. Suppose -3 = 2*o + z, p*o + 23 = o - 5*z. Is 3/5 less than or equal to o?
True
Let w be (-10)/(-4)*(-16)/(-20). Let h be 1/2*898/(-3). Let a = h + 151. Which is bigger: w or a?
w
Let v = 22 + -15. Let y = v - 13. Let p = 28/5 + y. Which is smaller: 1 or p?
p
Let t be (-1)/(2 + -3) - 2. Let k be ((-6)/(-42))/(1/(-3)). Are k and t nonequal?
True
Let w(k) = 0*k - 6*k - 5*k - 9 - k**2 + 0*k. Let z be w(-10). Let f be -3*z + 19/6. Do f and 1 have different values?
True
Let h(t) = t - 2. Let c be h(5). Let l be c + 0 + 610/(-202). Let r = l - 95/303. Are -3 and r equal?
False
Let t(j) = j**2 - 3*j - 12. Let s be t(6). Let x be (-1 - (-13)/s) + -1. Is 0 <= x?
True
Let m = -539 - -536.09. Let z = -0.09 + m. Is -0.1 greater than or equal to z?
True
Suppose 0 = -3*s + 3*b - 26 - 19, b = 5. Let t = -6 - s. Which is smaller: 3 or t?
3
Let g = -11 + 6. Let c = -5.3 - g. Are 3 and c equal?
False
Suppose -3*q + 5*q = f + 12, 2*f - 16 = -4*q. Suppose -q*r = -3*r - 10. Which is smaller: r or 6?
r
Let o = 7 + -7. Let m = -114/1525 - -7/61. Which is smaller: o or m?
o
Suppose -4*d - 4*g + 3 = -1, -5*d - 4*g = -1. Let i be (0 + 1)/(-1) + 4. Let v = d + i. Are v and 0 unequal?
False
Let k(z) be the first derivative of z**3/3 + 4*z**2 + z + 5. Let w be k(-8). Is w greater than 2/35?
True
Let r = 5.05 + -13.11. Let k = 8 + r. Are -0.2 and k equal?
False
Let k = -2/91 - -99/364. Suppose -1 = -h - 2. Is h > k?
False
Suppose 11*t - 30 = t. Is t bigger than 5?
False
Suppose -2*g = 2*g - 16. Suppose 1 = 3*q + g. Is -2 greater than q?
False
Let c(l) = 9*l**2 + 2 + 2*l**3 - 5*l - 5*l**3 + 15*l + 2*l**3. Let q be c(10). Suppose 3*w - 4*j = -2*w - 12, w - 6 = -q*j. Is 2/5 <= w?
False
Let a = -0.07 - -0.07. Let f = 0.2 - 0.2. Let m = a - f. Which is bigger: 2/11 or m?
2/11
Suppose 0 = 5*i - 5*x + 239 - 79, 4*x = -i - 12. Let h = i - -195/7. Which is bigger: h or -1?
h
Let q be 2/4 + (-91)/294. Let a = 10/21 + q. Which is bigger: a or -1/4?
a
Let x be -6 + 4 + (3 - -1). Let c(h) = 75*h + 1. Let o be c(1). Let u be x/3 + o/(-60). Which is smaller: -1 or u?
-1
Let d = 5.4 + -1.4. Which is greater: 3 or d?
d
Let o = -79/660 - -2/55. Which is greater: 2/35 or o?
2/35
Let s = 1 + 1. Let n = -2 + s. Let r be (-4)/3*(-21)/(-70). Is n at most r?
False
Let p(y) = y**3 + 5*y**2 - 2*y - 11. Let n be p(-5). Which is bigger: 5/6 or n?
5/6
Suppose -4*t + z = -54, -3*t + z + 31 = 5*z. Suppose -t = 2*g - 1. Let l be (4/g*1)/3. Which is bigger: -0.2 or l?
-0.2
Let v = -694/5 - -139. Is -0.2 smaller than v?
True
Let g = 169 + -1180/7. Which is smaller: 0 or g?
0
Let h = -62 - -44. Is -0.1 smaller than h?
False
Let i = -23 + 118/5. Let p = i + 1/5. Is 0 less than p?
True
Let g be 14/(-10) + 4/4 + 0. Is 0 at most g?
False
Suppose -2*u = 2*u - 4. Let s be (-2 - 0)*u/2. Which is smaller: 0 or s?
s
Suppose 0*y + 3*y = 0. Let j be y + -2 - (-2)/4. Is j equal to -1?
False
Suppose 3*x - 16 = 5*a + 60, 0 = 4*a - 2*x + 60. Is -12 at most a?
False
Let i be (2/12)/((-6)/9). Let x = 0.11 + -0.11. Let g = 3 + x. Which is bigger: i or g?
g
Let n = -1 + 10. Suppose -5*o + 39 = n. Suppose -5*v + o = 16. Which is smaller: v or 0?
v
Let y(d) = d + 10. Let w be y(-2). Is w not equal to 10?
True
Let k = 48 + -24. Let q be 4/(-6) + 25/k. Which is bigger: 1 or q?
1
Suppose 3*w + 7 = o, 0*o - 3*w - 10 = -4*o. Let s = 49/207 - 1/69. Is o != s?
True
Let m = -23 + 13. Is 2 greater than or equal to m?
True
Let p(a) be the first derivative of -a**2 + 4*a - 1. Let f be p(3). Suppose 0*k + k = -2. Is f greater than k?
False
Let w = -9 + 6. Let y = -5 - w. Let t be (-1 + 1 - -1) + -1. Which is bigger: t or y?
t
Let w(g) = -g**3 - 5*g**2 + g + 4. Let a be w(-5). Let q be (1 - a)*(-2 + 3). Let i be ((-5)/q + 2)*4. Is -2 bigger than i?
False
Let q be 12/36*6/(-10). Let r be -5 + 1*2*-1. Let s = 6 + r. Do q and s have the same value?
False
Suppose 4*x = x - 3*d - 15, -5*x - 7 = -4*d. Which is smaller: -17/6 or x?
x
Let i be ((-26)/(-4) - 1)*1. Is 6 less than i?
False
Let j(k) = k**3 - 3*k**2 - 9*k - 4. Let f be j(5). Which is bigger: f or 10/11?
f
Suppose -2*m = 2*m - 8. Suppose 4*w = -j - 1, 3*w - 2 = -m*j + 4*j. Let s be j/(2/3 + -1). Which is smaller: 2 or s?
2
Let q be (-12)/(-54) - 3/(567/(-12)). Let a = 0.4 - 0.5. Let c = 3.9 - a. Is q less than or equal to c?
True
Let m be (1/1)/(2 - 3). Let z(t) = t**2 + t. Let r be z(m). Which is smaller: r or -3/4?
-3/4
Suppose g + 0*g + 2*x = 40, -3*g + x = -141. Do 45 and g have the same value?
False
Suppose -d - 8 = -2*c, -d - 3*c + 14 - 42 = 0. Is -17 greater than d?
False
Suppose 0 = r + 2*l - 27, 2*r - 27 = 2*l + 3*l. Suppose -4*s - 46 = 5*k, -2*s - r = 2*k + 1. Which is smaller: -10 or s?
-10
Let i be (2 + 0)*(-1)/5. Let y be 1/(0/(-2) - -1). Is y greater than i?
True
Let g be (-4)/(-14) - 19/(-7). Suppose 5 = g*b - 1. Let z = -73 + 149/2. Does z = b?
False
Suppose 4*s - p = 0, -s = -p - 2*p - 11. Let m be 417/(-594) - s/2. Let d = 14/33 + m. Which is smaller: 0 or d?
0
Let y = 61 + -63. Is -9 less than y?
True
Suppose k = -k. Suppose 5*g + k*x = 2*x + 42, -26 = -3*g + 2*x. Is 7 > g?
False
Let s = 17 + -17.03. Let i = 45 + -41.03. Let d = s - i. Are 1 and d equal?
False
Let t = -76 - -62. Which is smaller: -40/3 or t?
t
Let h = -319/5 - -61. Which is greater: h or -4?
h
Let t = 11.8 - 12. Is t less than or equal to -2/9?
False
Let k be 4/18 - (6 + (-2653)/441). Which is greater: -1 or k?
k
Let h(l) = -l - 10. Let w be h(-6). Let s be 9/(-7) + w/(-14). Which is smaller: s or 3/7?
s
Let u = -0.2 + 0.1. Let b = 5 - 11. Let x be 0 + -1 + (-9)/b. Which is bigger: u or x?
x
Let h(u) = -u**3 + 6*u**2 - 3*u - 5. Let n be h(5). Do 6 and n have different values?
True
Let j be -2 + 2 + (-1)/(-2). Let w(a) = 2*a + 6. Let v be w(-4). Which is bigger: v or j?
j
Let m be ((-15)/(-10))/(2/(-4)). Let a be (-2)/(18/14 - 1). Let x(v) = -v - 10. Let s be x(a). Do m and s have different values?
False
Let p = 1/52 - -47/260. Which is bigger: -1 or p?
p
Let m be -1*1/1*2. Let a = 2 + m. Suppose f + f = a. Which is smaller: -3/5 or f?
-3/5
Let o be 0/(1 + 0 + -10 + 7). Which is smaller: 1/162 or o?
o
Let j = 4 - 1. Suppose 0 = 5*r - 4*r - 5. Is r smaller than j?
False
Let g be 2*((-90)/(-28) + -3). Is 1/4 equal to g?
False
Let d be (808/(-30))/((-261)/(-10)). Let p = d - -26/27. Is p at least as big as 1?
False
Let k(q) = -q**2 - 6*q - 7. Let y be k(-6). Let t = 11 + y. Is 10/3 less than t?
True
Let x = -56 - -57. Is x < -28?
False
Suppose 6*r = 7*r + 2. Let f = 1 + -2. Let b = 1 + f. Does r = b?
False
Let o be (-192)/378 - (-4)/14. Let f = 3.04 - 0.04. Is f != o?
True
Suppose 0 = -2*w + 27 + 3. Is 4 less than or equal to w?
True
Let z(d) = d**3 + 6*d**2 + 2*d + 6. Let y be z(-6). Let l = y + -4. Are l and -11 equal?
False
Let m = -34 - -29. Which is bigger: -6 or m?
m
Let g = -500 + 497. Let n = -3.02 - -3. Which is smaller: n or g?
g
Let w be (-3 + 3 + 1)*1. Let v be ((-3)/(-9))/((-1)/1). Which is bigger: v or w?
w
Suppose -d + 4 = 5. Let k = -6 + 4. Let x be (k + 2/2)*d. Is 1 greater than or equal to x?
True
Suppose -4*b - 3 = -23, w + 4*b = 20. Let u be (-697)/221 - (0 - 3). Which is smaller: w or u?
u
Suppose 4*j + 0*j + 46 = 2*p, 5*p - 4*j - 127 = 0. Let d be (-2)/(p - (-3 + 3)). Which is smaller: -1 or d?
-1
Let d be 3/(5/((-40)/(-12))). Let s(y) = y + 6. Let g be s(-5). Which is bigger: d or g?
d
Suppose -6 = -0*q - 3*q. Suppose -3*i + 1 + 2 =