 j or -1?
-1
Let c be 10/(-35) + 51/(-42). Is c != -2?
True
Let o = -7.9 - 1.1. Let p = o + 11. Which is smaller: -1 or p?
-1
Let x = -43/2 + 22. Is x smaller than -0.1?
False
Let u be (45/(-6))/(3/8). Is u < -19?
True
Let n be ((-3)/1)/(24/(-16)). Suppose 0*h + n = h. Is h smaller than 0?
False
Suppose 4*i = -15*i. Let s be 1 - 0 - (-9)/(-13). Which is bigger: i or s?
s
Let o(s) = -4*s**3 - s**2 + 6*s - 1. Let q be o(5). Let n be 4/(-10) - q/240. Which is greater: n or 1?
n
Let p be (3/(-2))/((-15)/40). Let t(b) = -b**3 + 5*b**2 - 4*b. Let g be t(p). Let q(d) = d**3 + 4*d**2 + 3*d + 1. Let o be q(-3). Does g = o?
False
Let x(l) = -l**2 - 12*l - 13. Let a be x(-10). Let r be (-6)/(-4) - 10/a. Is 1 less than r?
False
Let q(v) = -4*v - 4 + v + v**3 + 0*v**3 - 3*v**2. Let p be q(4). Suppose 0 = s + 3*b - 8, 2*s - 2 - 8 = -4*b. Which is greater: p or s?
p
Suppose 0 = 5*c - b - 20, 5*c = 2*c - 2*b - 1. Let q = -116/21 + 55/7. Are q and c nonequal?
True
Let j = 4/35 + 3/35. Suppose -u + 6*u = 5. Do u and j have different values?
True
Let q = 35/44 + -6/11. Which is bigger: q or 2/7?
2/7
Let q be ((-9)/60)/((-2)/(-8)). Let d = -26 - -16. Let o be (-16)/10 - (-4)/d. Which is smaller: o or q?
o
Let r(c) = c**3 + 4*c**2 - 2*c - 3. Let n be r(-3). Which is bigger: 10 or n?
n
Let s = 28351 + -2891747/102. Let d = -22/21 + 388/357. Let x = d - s. Are 0 and x unequal?
True
Let b be ((-94)/6)/((-3)/9). Let z be (-2)/(-1) + b/(-6). Let g = z - -13/2. Is 2 smaller than g?
False
Suppose u + 4 = 3. Is -4 at least as big as u?
False
Let j be ((-3)/(-18))/(2/6). Let n = -0.6 - -2.6. Which is smaller: j or n?
j
Let w be 61/(-9) + (-8)/36. Let u be (-2)/w + 64/(-28). Is u <= -1?
True
Let r(p) = -p - 14. Let m be (3/(-9))/((-4)/(-84)). Let i be r(m). Which is greater: i or 0?
0
Let a = 120 + -120.2. Is a <= -26?
False
Let y = 20 - 21. Which is greater: y or 1/5?
1/5
Let w = 15 + -12. Let r = w - 6. Let m be 6/(-8) + 1/(-4). Which is smaller: m or r?
r
Suppose -j + 4*j = -c - 3, 5*j = -3*c - 1. Is 3 smaller than c?
False
Let i = 12 + -12.25. Let a = -0.05 - i. Which is smaller: a or 1/4?
a
Let z = 0.9 - 2.2. Let j = z - -0.3. Let p = -19.6 + 20. Which is bigger: p or j?
p
Let b = 3 + 7. Let u be (6/(-15))/(2/b). Let l = u - -1. Which is smaller: 0 or l?
l
Suppose 5*w - y = -2*y + 12, 3 = -2*w - 3*y. Suppose q - 4 = w*q. Let i be q + ((-4)/1)/(-2). Is 0.1 > i?
True
Let o be 4/(-6) - 4/3. Let m be o*((-1)/(-2))/(-1). Let p be 48/20 + -2*1. Which is bigger: m or p?
m
Suppose -3*v = -v + 6. Let z(r) = r + 3. Let h be z(v). Which is smaller: -6/5 or h?
-6/5
Let c(s) = -s + 2. Let b be c(2). Suppose b = m + 2*m. Suppose 2*i + 2 + m = 0. Is i greater than -1?
False
Let w be 2/(3/(-3 + -3)). Is -0.1 > w?
True
Let c = -2.2 - -1. Let x = c + 0.2. Let k = 0.99 + 0.01. Which is greater: x or k?
k
Suppose 5*t + 10 = 5*o, 0 = o + 5*t - 19 + 5. Suppose -v + 4*l = 2*v - 20, -o*v + 4*l = -28. Which is greater: v or 10?
10
Let a(r) = -5*r + 1. Let p be a(-4). Suppose 0 = -9*o + 41*o - 704. Are p and o equal?
False
Let r = 4 + -3.8. Which is bigger: r or 5?
5
Let q = 1 + -1. Let z(y) = -y**2 - 2*y + 7. Let a be z(-6). Let l be (-14)/(-77) + a/33. Which is bigger: l or q?
q
Let v = -2.99 + -0.01. Let i = -3.1 - v. Which is bigger: 5 or i?
5
Suppose -c + 2*c = 25. Which is smaller: c or 23?
23
Suppose 3*t = -15, -5*s + 0*t + 3*t = -5. Let c = s - 2. Let n = 6 - 9. Is c greater than n?
False
Let p be (-17)/(-68) - (1 + (-350)/(-24)). Which is smaller: -15 or p?
p
Let s = 1 - -3. Does s = 0?
False
Let q(i) be the first derivative of i**2/2 - i - 2. Let g be q(1). Which is bigger: 2/7 or g?
2/7
Suppose -3*v - v + 72 = 0. Let x be (v/8*-2)/6. Let u(q) = -q - 2. Let w be u(0). Is x less than w?
False
Let k = 13 - 17. Which is greater: k or 0.1?
0.1
Let m = 6 - 3. Let s be (-33)/(-105) - m/5. Let j = -7 + 8. Which is bigger: j or s?
j
Let h(a) = a**3 + 3*a**2 - 7*a - 5. Suppose 2*n = 4*n + 8. Let o be h(n). Let s = -11 + o. Which is bigger: s or -3?
-3
Let d = 3761/4 + -917. Let s = d - 663/28. Which is greater: 0 or s?
0
Let u = -0.45 - 0.25. Suppose 0 = 4*w - 3 - 13. Suppose 6*s - w*s = 2. Is s < u?
False
Suppose 0 = 4*u + 4*s - 1 + 5, -5*u + 5*s = -45. Suppose u*z - 56 = -0*z. Is z < 1/3?
False
Let u = 0 - 1. Let s(c) = 2*c + 10. Let x be s(7). Let l be (-1)/6*(-18)/x. Is u at least as big as l?
False
Suppose 4*f - 4*z = 0, -5*f + f = -2*z + 8. Let i be (f - -3)/((-1)/1). Let r be ((-1)/7)/(-1 - 0). Is r >= i?
False
Let t = 2.7 - 2.6. Is t bigger than -2/85?
True
Let x = -913488726263/136 - -6716886744. Let l = -57874 + x. Let v = 5/17 - l. Which is smaller: -1 or v?
-1
Let k(y) be the third derivative of y**6/120 - y**5/30 + y**4/24 - y**3/6 + 2*y**2. Let f be k(2). Let p be (-5)/9 - f/(-3). Which is bigger: p or 0?
0
Suppose -2*m = -7*m. Let i be 30/(-75) - (-2)/5. Is m <= i?
True
Let y = -0.08 - -4.08. Let z = -4 + y. Are z and -3 nonequal?
True
Let n(b) = 6*b**2 + 4*b + 3. Let r be n(-3). Let t be 1*-3 - (-145)/r. Is 1 >= t?
True
Let k = 0 - -1. Let z = k + -2. Let h = 5.2 - 0.2. Which is bigger: z or h?
h
Let j = -19 + 21.2. Let g = -2 + j. Let s be -2 + 18/(-8)*(-2)/3. Which is bigger: g or s?
g
Let v be -1 + 2 - -1 - -4. Let c be 8/(-42) + -6 + v. Let a = c + -1/7. Which is smaller: -0.3 or a?
a
Let a = 0 + -2. Let m = a + 4. Is m equal to -0.2?
False
Let u = -9.7 - -4.7. Do 0.2 and u have the same value?
False
Let b = 1.1 + -1. Let j = -0.141 + -0.059. Is b not equal to j?
True
Let y = -21.73 - -22. Let t = 0.03 + y. Let h = 849/7 - 121. Is t at least h?
True
Let m be -2 + (0 - (-2 - 1)). Let g = -93 - -37. Let h be ((-7)/g)/(m/(-2)). Which is smaller: h or 0.02?
h
Suppose 98 = 18*a - 190. Which is greater: a or 17?
17
Let j = -1 + 13. Let w = -13 + j. Is 2 >= w?
True
Let v = 9/8 - 7/8. Which is smaller: -16/15 or v?
-16/15
Let h = 6 - 6. Is -2/15 smaller than h?
True
Let p = -7.7 - -7. Let b = 0.3 - p. Which is bigger: -1/6 or b?
b
Let d = -9.1 + 10. Let y = 0.8 - d. Which is smaller: 0.2 or y?
y
Let g be 56/(-2331)*6/(-8). Which is bigger: g or 1/4?
1/4
Suppose -4*v = -2 - 30. Let j be 1/4 - (-135)/20. Which is smaller: v or j?
j
Let i = 1 + -0.9. Which is smaller: 0.2 or i?
i
Let u = 121/4 - 30. Suppose -4*n = -n. Suppose 0 = -5*b - n*b + 5. Is u <= b?
True
Suppose -5*t + 24 = i, -21 = -i + 2*t - 4. Are 17 and i unequal?
True
Let o be 2 - (7/(-9) - -3). Which is bigger: o or -1?
o
Let q = -233/3 - -78. Which is bigger: 3/14 or q?
q
Suppose 3*x = 2*v + 3*v - 2, 0 = 3*x - 3*v - 6. Is 6 less than x?
False
Let x = 10 + -7. Suppose -u = x*u. Which is greater: -2 or u?
u
Let q = 0.04 - 4.04. Let p = -35 - -36. Is q bigger than p?
False
Suppose 5 = r - 2*r. Let l be r - -3 - 14/(-4). Is l at least as big as -0.1?
True
Let z = 16 - 16. Suppose -l + 3 - 4 = 0, 5*n + 5*l + 5 = z. Are -7 and n equal?
False
Suppose -5*r - 4*d = -20, 3*d = -r - 3*r + 15. Is 8 bigger than r?
True
Let s(g) = g**2 + 4*g - 3. Let p be s(-4). Let k(v) = 3*v + 4. Let t be k(p). Suppose 0 = -12*u + 7*u - 20. Are t and u equal?
False
Let z(i) = 3*i**2 - i - 1. Let v be z(-3). Let l = v + -85/3. Is l smaller than 0.1?
False
Let j be (-1)/(-2) - (49/(-2))/7. Which is greater: 6 or j?
6
Let i(l) be the first derivative of l**3/3 - 3*l**2 - 4. Let y be i(6). Is y > -1/10?
True
Let q = -3 - -2. Let z be (-739)/1*q/(-5). Let t = z + 147. Are 0 and t equal?
False
Let z = 6.5 - 4.6. Let b = z + 0.1. Let o = -5 + b. Which is smaller: 0 or o?
o
Let x(f) be the first derivative of -f**2/2 - 5*f + 8. Let k be x(-9). Is k greater than 3?
True
Let l(f) = -2*f - 12. Suppose 1 = -u - 4. Let j be l(u). Let h = -1/7 - 11/21. Which is smaller: j or h?
j
Suppose -3*l + 6*l = 12. Let a be 133/70 - l/10. Suppose -4*k + 6 = 2. Is a at most k?
False
Let i(h) = -10*h**3 + 3*h**2 + 6*h + 10. Let v(d) = 7*d**3 - 2*d**2 - 4*d - 7. Let y(z) = -5*i(z) - 7*v(z). Let b be y(-1). Which is bigger: 4 or b?
4
Suppose 0 = -l - 1 - 3. Let w = 3 + l. Let h(j) = j**3 - 2*j**2 - 4*j + 2. Let i be h(3). Is w bigger than i?
False
Let t = -7 + 4. Suppose -2*p - c = -5*p + 18, 2*c = 2*p - 16. Suppose 3*b - p*u = 2*b + 16, -5*b - 10 = 5*u. Is b > t?
True
Let b = 9 + -8. Which is bigger: 3/8 or b?
b
Let t be (-2)/(-7)*45/(-30). Is t less than or equal to 5?
T