 or 1?
1
Let k = -0.9 - -1. Is 0.03 >= k?
False
Let h(m) = m**3 - 3*m**2 - m + 1. Suppose -4*n = -2 - 6. Let l be h(n). Is l at least as big as -5?
True
Let d be (-15)/20*15/9. Which is smaller: -1 or d?
d
Let w(s) = -s**3 - 18*s**2 + 20*s - 10. Let n be w(-19). Is n bigger than -29?
False
Suppose 0 = 2*d - 4 - 8. Let j be (40/16)/(1/d). Which is bigger: j or 14?
j
Let g = -5 + 6. Is g bigger than 1/86?
True
Let v = -0.13 + 0.03. Let i = v - -3.1. Are -1 and i non-equal?
True
Let r(u) = 2*u**2 - 24*u + 3. Let h be r(12). Let m = -3 + 2. Which is smaller: m or h?
m
Let o = 29/147 + -3/98. Is o equal to 22?
False
Let y = -4.1 - -4. Let j = -0.03 - 3.97. Let h = j - -1. Which is smaller: h or y?
h
Let g be (-74)/6 - 1/(-3). Let i = 18 + g. Is 5 at least as big as i?
False
Let t = 12 - 12. Suppose 4 + t = -4*a. Suppose -4 = 5*w + 6. Which is smaller: w or a?
w
Let r = 2.2 + 0.8. Let t = -5 + r. Let y = 1.9 + t. Is y not equal to -0.1?
False
Let i(j) = 3*j - 2. Let q be i(2). Suppose -q*r + 7*r = 0. Does -1 = r?
False
Let p(y) = -y - 2. Let w be p(-2). Which is bigger: -3/41 or w?
w
Let i(o) = o**3 - 2*o**2 - 2*o + 2. Suppose 0 = m + 3*m - 8. Let v be i(m). Are -2 and v unequal?
False
Let o be 8/(-28) - (-292)/(-7). Let b = o - -337/8. Do b and 0 have the same value?
False
Suppose -7*s = -2*s - 3*z - 7, -5*s = -z + 1. Let n be (-44)/(-20) - (s - -3). Let h = -1.9 + 2. Which is bigger: h or n?
n
Let d(o) = o**3 - 5*o**2 - 5*o - 6. Let s be d(6). Suppose -3*x = 3*r - r - 19, -2*x + 5*r - 19 = s. Which is greater: x or 4?
4
Suppose 2*f + 24 = 4*o - 2*o, o - 2*f = 10. Is 15 less than o?
False
Suppose -4*y + 6*y - 7 = 3*f, -2*f - 12 = -5*y. Does y = 18/7?
False
Let k = 65616/103 - 637. Let x = -41863694/1339 - -31265. Let h = k + x. Is 2/3 not equal to h?
True
Suppose -3*v - 6 = 0, 3*g = 6*v - 3*v + 15. Let u(i) = 3*i**2 - i. Let h be u(-1). Suppose 0*t + 12 = 3*f + g*t, -h*f = 5*t - 19. Are 2/3 and f equal?
False
Let l(b) = b**3 - 4*b**2 - 4*b - 3. Let f be l(5). Let u(d) = -3 + 0*d + d**3 + 0*d**3 + 3*d**f - d. Let a be u(-3). Which is greater: -1/5 or a?
a
Let c(k) = -2*k - 3. Let a be c(-3). Let o be (a/(-14))/((-6)/8). Let n = 36 - 35. Which is smaller: o or n?
o
Let q be 1/(-4) + (-13)/(-24). Let z = 4417/24 + -184. Let y = q + z. Which is bigger: y or -1?
y
Suppose 7 - 2 = 5*r. Suppose -o - 6 - r = 2*y, 2*o + y = -20. Let m = o - -7. Is m less than or equal to -4?
True
Suppose 0 = -2*r - 2*l - 3 + 1, -5*l - 15 = 0. Suppose r*m - 14 = -w - 3*m, 0 = -5*w + 4*m + 12. Is w greater than or equal to 4?
True
Let h = -0.7 + -0.3. Let l = -0.2 + h. Let v = l - -1. Which is smaller: -2 or v?
-2
Let p = -2 - -3. Let z be 2*p + -4*1. Let m = 6.1 - 6. Is m <= z?
False
Suppose -c + 6 + 1 = 0. Let t(l) = -l**2 + 7*l - 9. Let v be t(c). Do v and -9 have different values?
False
Let f be (-2515)/(-7) + (-4)/14. Let r = -240 + f. Let n = r + -835/7. Which is smaller: -0.1 or n?
n
Let v(j) = j**3 + 7*j**2 - 5*j + 9. Let a be v(-8). Let x be 3/15*a/(-12). Which is smaller: x or -2?
-2
Let c = 0.3 - 0.3. Which is greater: c or -3/10?
c
Let j(z) = 8*z - 6. Let k be j(4). Suppose 5*d = -9 - k. Which is greater: d or -5?
-5
Suppose 38 = -3*n + 4*o, 0 = 5*n + 4*o + 50 - 8. Which is bigger: n or 1?
1
Let v = -10 + 20. Let m be (-4)/14 + 157/(-14). Let s = v + m. Which is smaller: -2 or s?
-2
Let o = 2.9 + -2.86. Is 0.1 < o?
False
Let g(q) = q**3 + 7*q**2 + 5. Let k be g(-7). Suppose 0 = 2*l - 5*m - 2, -k*m = 2*l + 2 - 4. Let a = l - 1. Do a and -3 have the same value?
False
Let z(k) = 2*k**3 + k**2 - 2*k + 1. Let i be z(1). Suppose -i*y + a + 17 = 0, -2 = -a - a. Suppose o - y = -2*o. Is o < 3?
False
Let g be (-4)/6 + 82/114. Let n = -96 + 97. Which is smaller: g or n?
g
Let k = 296 + -208. Which is bigger: 89 or k?
89
Let w be ((-8)/10)/(3/15). Let q = w + 12. Suppose 0 = -5*a + a - q. Which is greater: -3 or a?
a
Let r = -271/3 + 98. Which is smaller: r or 9?
r
Let t = -3 - -9. Let g = 5.9 - t. Which is smaller: -0.3 or g?
-0.3
Let v(b) = -b**3 + b**2 + 2*b. Let o be v(2). Are 5 and o nonequal?
True
Let s be (4/8)/(5/(-10)). Which is smaller: s or -1/2?
s
Let m = -0.823 - -0.023. Which is greater: m or -1/6?
-1/6
Let o be ((-1)/1)/((-7)/126). Let i be 23/o + (-10)/(-45). Which is smaller: 1 or i?
1
Let l(r) = -r**3 - r + 244. Let x be l(0). Suppose -3*y - y = x. Let z = 185/3 + y. Which is bigger: z or 2/9?
z
Let v = 0 + 2. Suppose -k = 3*j - 3, -2*k - 5*j + 3 + v = 0. Suppose -f = -k*f - 2. Which is greater: f or 3/4?
f
Let i be 8/(-6)*(-30)/20. Suppose -i*u - l + 7 = 0, -2*u - 5*l = 1 - 4. Suppose 8 = u*f + 4*j, 0 = -0*j - j + 1. Which is bigger: f or 0.1?
f
Let x be ((-4)/3)/((-3)/(-9)). Let d be (x - -6)*(-1)/17. Which is smaller: 1 or d?
d
Let o be 9/3 - (-5)/2*-2. Let a = -1/20 + 1/4. Which is bigger: a or o?
a
Suppose 11*p = 14*p + 6. Let y = 6 + -9. Does y = p?
False
Let a be 3*-1*(-2)/6. Let h be (-6 + (-39)/(-6))/((-2)/(-4)). Is a > h?
False
Let v = 10187/97 + -105. Is v greater than 1?
False
Let n be 0/(-1) + (2 - 2). Suppose d + 3*d = n. Suppose x = -d*x. Which is bigger: x or -2/7?
x
Let o = 0.1 + 0.9. Suppose 0 = -5*b + 1 + 9. Suppose -i = -b*i - 4. Are o and i nonequal?
True
Let g(m) = 5*m - 3. Let z be g(3). Let o be (-6)/z*(-4)/(-10). Is -0.1 bigger than o?
True
Let o be (-10)/25 + 51/15. Let j = o + -3. Are j and 3 unequal?
True
Let y(u) = -u - 15. Let t be y(10). Are t and -26 equal?
False
Let s = -6.77 - -1.77. Which is greater: s or -1?
-1
Let i be ((-2)/4)/((-22)/44). Is 3/143 != i?
True
Let g = 6.97 + -7. Let n = 0.07 - g. Which is greater: n or -0.3?
n
Let l = 0.69 + -0.79. Which is smaller: l or 7/8?
l
Let g be (1/2)/((-1)/2). Let v = 7 - -2. Let j = v - 9. Which is smaller: j or g?
g
Suppose -6 = 5*r - 3*r. Let l be 2 - ((-117)/21)/r. Which is smaller: l or -1?
-1
Let w = -3 - 2. Suppose -d + 4*a - 19 + 6 = 0, -2*d + a = -2. Suppose -d*x - 6 - 6 = 0. Which is bigger: w or x?
x
Let v be 90/21 - 4/14. Let a = 7 - v. Suppose -a*u = -5*u + 6. Is 3/2 bigger than u?
False
Let i(s) = 3*s**2 + 13*s + 8. Let m be i(-4). Let p be (-7)/(-2) + (-1)/2. Are p and m unequal?
True
Let s = 27.9 + -26. Let z = 170 - 170.1. Which is greater: s or z?
s
Let z(h) = -h**2 - 5*h + 8. Let m be z(4). Is -26 not equal to m?
True
Let b(v) = v**3 + 2*v**2 - 2*v - 2. Let m = -1 - 1. Let j be b(m). Suppose -w = 2*u + 1 + 1, -6 = j*u + 3*w. Is 2/13 equal to u?
False
Let u(r) = -2*r**3 + 23*r**2 + 13*r - 15. Let o be u(12). Do o and -4 have different values?
True
Let q(b) = b**3 + 6*b**2 - 7*b + 2. Let s be q(-7). Suppose -8 = 2*y + s*y. Let d = 2 + -8/5. Which is smaller: y or d?
y
Let v be 6/(-33) - (-72)/(-330). Which is greater: v or 0?
0
Suppose -5*g = -3*q + 7, q - 3*q + 4 = -4*g. Is 11/5 smaller than g?
False
Suppose 0*f + 5*k - 1043 = -4*f, 0 = -5*f - 3*k + 1294. Let p = 38/1289 - 2323044/9023. Let v = p + f. Which is smaller: v or -1?
-1
Let n = 9/17 - 19/68. Is n equal to -1?
False
Let f(s) be the first derivative of s**5/120 - s**4/3 - s**3/3 - 2. Let c(q) be the third derivative of f(q). Let z be c(7). Which is bigger: 1/5 or z?
1/5
Let c be (4/6)/(4/15). Let x(z) = z**2 - 3*z - 1. Let t be x(4). Is c bigger than t?
False
Let k(u) be the third derivative of u**6/120 - u**5/12 - u**4/24 + 5*u**3/6 + 4*u**2. Let m be k(5). Is m greater than or equal to 1/14?
False
Let q be (-11)/4 - 1/4. Let v = -2 + -3. Let p be -2 + (2 + v)/(-6). Which is bigger: p or q?
p
Let o = 2 + 15. Suppose 3 = -5*z + 3*d, -3*z - o = 2*d - 0*d. Is z != -4?
True
Suppose -8*g = g + 162. Which is greater: g or -15?
-15
Let h = -9/26 - -3/26. Is -1 at least as big as h?
False
Suppose -2*s = -2*x - 4, 4*x - 5*s = -2*s - 6. Which is smaller: -1/16 or x?
-1/16
Let z = 0 + 0. Let s be (-2)/(-3) - (-2)/(-12). Is z equal to s?
False
Let v = -0.3 + 0.3. Let w = 0.5 - 0.3. Let n = 1.2 - w. Which is bigger: v or n?
n
Let d be ((-2)/2)/(0 - -1). Let l = d - -2. Let s be l + -2 + (-2 - -3). Is 1 <= s?
False
Let c be ((-4)/3)/((-44)/(-12)). Is 0 at most c?
False
Let p = 13 + -9. Do 4 and p have different values?
False
Let y(h) = -h**2 - 3*h - 2. Let p be y(0). Let c be -16*(-36)/292 + p. Does 0 = c?
False
Let s = -17 - 55. Which is bigger: -73 or s?
s
Let i = 4/45 + 1/45. Let j = 17 + -11. Let p be 0 - (