 and h nonequal?
True
Let l be (-5 - -9) + 2/(-1). Suppose 9 = 2*n - 3*s, l*n - s = -3*s + 4. Let r be -1 - (0 - n - 0). Which is smaller: r or 4/3?
4/3
Let i = -19 - -12. Let l = -3 - -6. Let j be 2/(-6) - 20/l. Is j equal to i?
True
Suppose 0*o = o + u - 3, -o + 6 = 4*u. Suppose -5 - 1 = -o*h. Suppose 8 = -3*l + 4*k, h*k = 8 - 2. Which is bigger: -2/3 or l?
l
Let y(v) = 11*v**2 - 44*v - 34. Let z(a) = 4*a**2 - 15*a - 11. Let x(p) = -3*y(p) + 8*z(p). Let f be x(13). Is f not equal to 1?
False
Let n = 153 - 51. Is n < 101?
False
Let b(k) = k**2 - 5*k. Suppose -34 = -5*v - 2*o - 6, 2*o = 3*v - 4. Let c be b(v). Suppose z + 8 = 4. Is c at most as big as z?
True
Suppose 3*s = -0*s - 66. Let h be 4/s + (-192)/(-88). Which is greater: h or 12/7?
h
Suppose -4*y = 3*g - 2 - 15, 25 = 4*g + 3*y. Suppose g - 2 = a. Which is greater: a or 4?
a
Let y = 11 + -10. Suppose -y = -0*z - z. Are z and 2/11 non-equal?
True
Let b(h) = -h**2 + 12*h + 9. Let w be b(13). Are w and -4 equal?
True
Suppose -5*w + 4*a = 4 - 2, w = -2*a - 6. Is w greater than or equal to -2?
True
Let j = -105 + 97. Is -9 at least as big as j?
False
Let x = -141 - -140.942. Which is bigger: 0.2 or x?
0.2
Suppose 4*r - 5*h + 26 = 0, -3*h + 25 = -4*r - 5. Let x = r - -14. Which is bigger: x or 6?
6
Suppose -2*u - 3*z + 14 = -z, u - z - 1 = 0. Let j = u + 2. Which is smaller: 5 or j?
5
Let c = 6 - -2. Suppose 3*d = 7 + c. Which is smaller: d or 3?
3
Let c(y) = 0*y**3 + 1 + 6*y - 3*y - y - y**2 - y**3. Let o be c(-2). Which is greater: 0 or o?
o
Let y = -2 + 1. Let z = 3 + y. Let d = z + -2.3. Which is smaller: d or -1?
-1
Suppose 0 = 4*x - 4*p, 0 = 4*x + p - 0 - 5. Which is smaller: -1/89 or x?
-1/89
Let q = -4 - -6. Let k = -0.061 - -0.061. Are q and k nonequal?
True
Suppose -2*j + 240 = j. Let s = -481/6 + j. Let i(k) = -k**2 - 1. Let w be i(0). Do s and w have the same value?
False
Let i be (-5)/(30/4)*12. Let z = 9 + i. Let v be 3*z*(-3)/9. Is v < 2/15?
True
Suppose -4*x - 17 = -25. Let m be 5/x*(-18)/240. Which is bigger: 0 or m?
0
Let m = 35/2 - 17. Are m and -1.4 unequal?
True
Let k = -97 + 393/4. Suppose 5*p + 15 = 4*c, -4*p = 2*c - 2 - 12. Is p < k?
True
Suppose -28 = -3*l + 2. Let o = l + -10. Does o = 2/3?
False
Let s = -6 + 4. Is 6 greater than or equal to s?
True
Let r be 2 + -3 + (-102)/3. Let i be -3 - (r/11 + 0). Is i bigger than -1?
True
Let d = -8 + 8.06. Let l = 4.58 - 2.52. Let y = d - l. Is 0.1 at most as big as y?
False
Let r be (5 + 4)*2/(-6). Which is greater: -2 or r?
-2
Let r(u) = -u + 4. Let f be r(-5). Suppose -5*o = 6 + f. Is o >= -3?
True
Suppose 5*j = 10, -5*s + 0 = -j - 13. Suppose 0 = -5*u - s*d - 3, 2*d + 4 = -u + 2. Which is smaller: 6/5 or u?
u
Let b be ((-423)/33)/(-3) - 4. Which is smaller: -2 or b?
-2
Suppose -10*u = -865 - 285. Are u and 116 unequal?
True
Let s = -6123/25 + 245. Which is greater: -0.1 or s?
s
Suppose -4*b + 5*w - 7*w = -22, 0 = 3*b + 3*w - 15. Let r be 4/b - 55/60. Which is greater: 3 or r?
3
Let q(z) = z**2 - 3*z. Let c be q(5). Suppose -5*k - c = 15. Is k <= -4?
True
Let d = -161 - -159. Which is smaller: d or 1/16?
d
Let a(s) be the second derivative of -s**5/20 - s**4/2 - 4*s**3/3 - 3*s**2 + 4*s. Let g be a(-5). Let j be (-1)/(-1 + 12/g). Does -4 = j?
False
Suppose -4*b - 3*q = -5*q + 8, 7 = -b - 2*q. Which is smaller: 1 or b?
b
Suppose -a - o + 14 = o, 0 = 4*a + 5*o - 53. Let k = -244 - -255. Is a smaller than k?
False
Let d = 66 - -21. Let u be 1 - (-2 + d/30). Which is smaller: -1 or u?
-1
Suppose -3*n = 2*n + 10. Let z be ((-1)/7)/(n/14). Is z != 1?
False
Suppose 2*w - 5*m = -0*w - 9, w = -2*m. Suppose 2 = -p + 2*l, -2*l - 2 - 12 = -5*p. Let k = p + w. Is 0 greater than k?
False
Let s(t) = t + 11. Let v be s(-6). Let f = v + -2. Let k(c) = -c. Let n be k(f). Is n greater than -3?
False
Let k be (36/9)/(2/5). Let o be k/(-3) - (-4)/3. Suppose -p = 4*b - 9, -4*p + 2*b = -2*b + 24. Is p less than or equal to o?
True
Let b be (8/10)/(4/30). Let m = -4 + b. Are 10/7 and m equal?
False
Let m = -15 - -21. Let l be (1 - 2)/(m/42). Which is smaller: l or -5?
l
Let a be (2/1)/((-40)/16). Let k(t) = t**3 + 5*t**2 - 1. Let d be k(-5). Is d at least as big as a?
False
Let j = 2.1 - 2. Let t = -1.84 - -2. Let o = 0.04 + t. Which is bigger: o or j?
o
Let l = 7 - 1. Suppose 8*s = 6*s - l. Let q be 2/4 - s/18. Is 0 smaller than q?
True
Let q = -37.88 - -38. Which is smaller: q or 2/7?
q
Let j = 3 - 5. Let z = -2.2 - j. Let q = -0.1 - z. Is q at least as big as -2/3?
True
Suppose -3*y + 24 = 4*h, -3*h - 3*y + 0*y = -18. Let j be 6/(-12) - (-7)/h. Is -0.7 > j?
False
Let o be ((-16)/(-20))/(4/(-140)). Let p = o + 27. Which is smaller: p or -4?
-4
Suppose 4*h + 6 = 18. Suppose 3*p + 2*t = -0*p + 8, -h*p = 5*t - 20. Suppose p = -m + 4*o + 2, -11 - 18 = -5*m + o. Which is smaller: m or 7?
m
Suppose -t + 0*t + 2 = 0. Suppose -t*l = l - 3. Which is bigger: l or 4/7?
l
Suppose -b = 15 - 10. Do -6 and b have the same value?
False
Let s = 532/1305 - 2/261. Let q(z) = -7*z - 1. Let p(k) = -k + 1. Let o(h) = -6*p(h) + q(h). Let n be o(-6). Which is bigger: s or n?
s
Let r = 88 + -61. Which is bigger: 0.1 or r?
r
Let u be 0/(1 - 2 - 1). Suppose 35 = 5*d + 4*h, -d + 5 = -4*h + 22. Suppose 5*s + 20 = -5*n, 4*n + d*s + 11 + 1 = 0. Is u at most n?
True
Let d be ((-30)/1395)/((-2)/6). Which is smaller: -1 or d?
-1
Let r(o) = -o. Let n be r(-2). Suppose -4 = 4*z - 4*p, 4*z + n = -z + 2*p. Let g = -2/11 + -1/55. Is g <= z?
True
Suppose 0 = 3*d + 5*f + 31, -1 = -3*f + 2*f. Let z be (6/(-3))/((-8)/d). Are -2 and z equal?
False
Let c = 0.1 + -0.1. Let t(v) = -v**3 + 6*v**2 + 6*v + 10. Let m be t(7). Let s be 6/9*m/(-7). Do c and s have different values?
True
Suppose 0 = -4*t + 13 + 7. Let u = t - 6. Which is greater: u or -1/3?
-1/3
Let k = -2 - -5. Suppose -3*v + k = -6*v. Which is greater: 1/3 or v?
1/3
Let c be (-30)/9 - (-8)/6. Is c != -7?
True
Let n be ((-55)/(-10))/((-1)/(-5)). Let q = -27 + n. Is 1 < q?
False
Let a(q) = q**3 + 2*q**2 - 3*q + 2. Let g be a(-3). Suppose -v - g*v = 0. Suppose v*s = 5*s + 5. Which is bigger: 0 or s?
0
Suppose -4*m - 4 = -0. Which is smaller: m or -5/7?
m
Let t be 13/(-52) + (-13)/(-4). Let j be 6/4*(-24)/(-9). Is t bigger than j?
False
Let p(t) = -t**3 + 1 - 2*t**2 - 5*t**2 - 1. Let d be p(-7). Let j be 0/(-1*(3 + -2)). Is d > j?
False
Let d = 33/40 - 13/8. Suppose r = -3*s - 7 + 1, 0 = 4*s + 8. Which is greater: r or d?
r
Let a = 5 + -11. Let i = a + -8. Let n = -9 - i. Which is smaller: n or 0?
0
Let k(g) = 2*g + 19. Let r be k(10). Is 40 bigger than r?
True
Let u(n) = n**2 - 3*n - 3. Let h be u(-2). Which is bigger: 6 or h?
h
Let b(l) be the third derivative of -l**6/120 + l**5/12 + l**4/24 - 11*l**3/6 - 2*l**2. Let u be b(5). Which is smaller: u or -8?
-8
Let x be -2 + 190/8 + 3. Let h = -507/20 + x. Which is greater: h or 0.1?
0.1
Let g(j) = -6*j + 1. Let v(c) = 5*c - 1. Let x(n) = 6*g(n) + 7*v(n). Let q(a) = -a + 5. Let f be q(4). Let u be x(f). Which is smaller: -1 or u?
u
Let f(n) = -2*n**3 - 3*n**2 + 4. Let c be f(-3). Is c greater than -1/2?
True
Let y = -149.962 + -0.038. Which is smaller: 0.1 or y?
y
Let t = 1/327 - 329/654. Let r = 4 - 6. Is r at most as big as t?
True
Let p = 31/3 - 223/21. Let u = 287 - 281. Is p less than u?
True
Suppose -3*o + 5*o = 0. Let p be (1 + 1)*(-1)/(-1). Let v = -1 + p. Which is bigger: o or v?
v
Suppose 5*d - 4*f = 28, -4*d + 2*f + 15 + 5 = 0. Suppose -d*n = n. Let k be 2/(n + 1) - -1. Which is greater: k or 1/3?
k
Let b be 4 + (-3)/6*0. Suppose i + 20 = 5*j, -2*i - j - b - 3 = 0. Let n be (16/(-12))/(1/3). Which is bigger: n or i?
n
Let i(n) = -n**2 - 2 - 8*n + 0 - 2 - 1. Let d be i(-4). Suppose 0 = -5*h - 4*m - d, 3*h - h + 3*m = -10. Are h and -1/4 nonequal?
True
Suppose -16 = -2*o - 22. Is -2 less than or equal to o?
False
Let v = -469/8 + 59. Which is smaller: v or 1?
v
Let u = -1 - -1.03. Let o = -2.03 + u. Let a = 2.2 + o. Which is smaller: -2 or a?
-2
Let l = 11 - 15. Let j be (0 + 1)/(14/l). Which is bigger: j or 1?
1
Let z = -0.81 + -1.19. Is z not equal to -0.8?
True
Let k(d) = -d**2 + d. Let y be k(3). Let g = y - -5. Is -5 at least as big as g?
False
Let m = -21 + 12. Let v = m + 8. Which is bigger: v or -3/4?
-3/4
Let j be ((-2)/3)/((-6)/9). Which is smaller: j or -0.25?