). Are k and l nonequal?
True
Let h = -82 - -50. Let b = -24 - h. Which is smaller: 3 or b?
3
Let n = 4.3 + 12.7. Let f = n - 16.95. Let a = 0.07 - f. Is 1/2 smaller than a?
False
Let k be (4 - 3)/(3/9*-3). Is -2/13 greater than or equal to k?
True
Let h = 511/96 + 1/96. Which is smaller: 1 or h?
1
Let a = -314.9 - -314. Which is smaller: a or -7?
-7
Let r(g) = -g**2 - 7*g + 5. Let h be r(-8). Let u be 0 + (-1 - h) + -1. Let c = -5 + 9. Is c equal to u?
False
Let m be 2/7 + 11187/(-2772). Let c = -4 - 0. Which is smaller: c or m?
c
Suppose 1 = m - 4*p, 0*m + 3*m + 5*p = 71. Let i = -2112 + 2128. Which is smaller: i or m?
i
Let b be (-3)/1 - (10 + -8). Let t = b - -7. Suppose i = t*i. Are i and 0.05 unequal?
True
Let n(f) = -f**3 + 2*f**2 + 2*f + 2. Let s be n(3). Let h(m) = -3 + 4 - 4*m**2 + 2*m - 2*m**2. Let b be h(s). Are b and -2 non-equal?
True
Let y = 1/1036 + -2083/11396. Is y at least as big as -92?
True
Let h = -876 + 449. Let z = h + 11105/26. Which is smaller: z or 0?
0
Let m be (-10)/(3 + -4)*2/(-2). Which is smaller: m or 1?
m
Suppose 2*n = 3*t + 28, 2*n = 4*n - t - 20. Is 10 < n?
False
Let m be -3 - ((-58)/667 - (-67)/(-23)). Are m and -1/711 unequal?
True
Let r be ((-353)/12)/(1273/(-76)). Let o = r - 6/67. Is 2 less than or equal to o?
False
Let r(v) = 4*v - 51. Let f be r(17). Is f > 18?
False
Suppose 5*k = k - 4*u - 20, -5*k + u = 1. Let n be 390/384 - (k + 2). Let i = n + 631/576. Is 1 less than i?
True
Let q = 1520 - 1513. Do 28 and q have the same value?
False
Let b(q) = 4271 + 0*q - 4273 + q. Suppose -4*t = -t. Let w be b(t). Which is smaller: 0 or w?
w
Let q(n) = -n**3 + 9*n**2 + 10*n + 4. Let m be q(10). Suppose 0*g + 5*g = -c + m, -4*g + 104 = 5*c. Which is smaller: 23 or c?
23
Let t be (-1)/(-850)*2835/(-18). Let m = t + -1/68. Suppose 0 = -f + 4*f + 3. Which is greater: f or m?
m
Let x be 3/7*(-147)/(-84). Let w(q) = -q**3 - q**2 - q. Let t(p) = -7*p**3 - 5*p - 6. Let h(a) = t(a) - 6*w(a). Let f be h(6). Which is greater: x or f?
x
Suppose 0 = 3*d - 2*d - 7. Let h(s) = -s + 9. Let b be h(d). Let l = 0 - b. Which is smaller: -1 or l?
l
Suppose 5*s - 3*s = 42. Suppose 0 - s = 3*a. Does -5 = a?
False
Let i be 6/60*10 + -276. Is i greater than -549/2?
False
Let q = -7 - -7. Let y be (-3 + -129)*(-2 + 3). Let o be (-1)/(-6) - 50/y. Does o = q?
False
Let z(s) = s - 9. Let c be z(8). Let v = -13593/4 + 6535/2. Let r = v - -130. Is c at least as big as r?
False
Let l be 1*6*6/12. Suppose -n = l*n. Which is smaller: n or -7?
-7
Let z(p) = 2*p**3 - 35*p**2 - 17*p - 24. Let d be z(18). Is d at most 20?
True
Let g = 685 - 692. Is g smaller than 0.02?
True
Let o = 307 + -543. Are o and -236 nonequal?
False
Let y = -0.05 - -4.05. Let v = 331 + -331. Which is smaller: y or v?
v
Let t be (-238)/595*715/(-4). Which is smaller: t or 72?
t
Let w(u) = u - 8. Suppose 5*l - 28 = 17. Let h be w(l). Suppose 6*o = 3*o + 3. Is h smaller than o?
False
Let l be (-1)/(-1) - 15/60. Suppose -4*v - 2*y + 17 = -3*y, 0 = 3*y - 9. Suppose -z + 7 = v. Which is smaller: l or z?
l
Let f = -39 - -54. Let v be (18/f)/(66/(-20)). Let c = 2 - 2. Is v equal to c?
False
Let u(i) be the first derivative of -4*i**3/3 + 15*i**2 - 11*i - 17. Let a be u(7). Which is bigger: 8 or a?
8
Let a be (1 - 108/111)/(9/(-45)). Which is greater: 1 or a?
1
Suppose 3*l + 78 - 12 = -3*x, 3*x - 4*l + 87 = 0. Let n = -14 - x. Suppose 4*u = 5 + n. Are 5 and u non-equal?
True
Suppose 93 + 145 = 14*x. Is x > 15?
True
Let h be 247 + (3 - -1) - (0 + 4). Which is greater: 245 or h?
h
Let n = 277.8 + -278. Are n and 0.21 unequal?
True
Suppose -f = a - 18, 0*f + 3*a = 2*f - 36. Let t be (-4)/f + 11/9. Suppose -57 + 29 = -14*v. Is v bigger than t?
True
Let o = -26.8 + 43.4. Let i = o - 16.5. Let d = 0.06 - 0.1. Is i smaller than d?
False
Let r = 2.9 - -0.1. Let t = -5 + 5.1. Is r less than t?
False
Let v = -79 + 157/2. Let m = -2.97 + 3.1. Which is greater: m or v?
m
Let k(u) = -u + 19. Let o be k(-27). Let f = 43 - o. Let r = -6 - -3. Are r and f equal?
True
Let b = 1975/19 - 104. Is b >= 0?
False
Let f(x) = x**2 - 3*x - 3. Let s(g) = g**3 - 16*g**2 + 16*g - 11. Let m be s(15). Let p be f(m). Which is smaller: p or 2/127?
2/127
Let j = 4.4 + -28.4. Let a = -0.048 - 24.952. Let m = a - j. Do m and -16 have the same value?
False
Let q = -5082/23 + 221. Let m = 4 + -4. Suppose 2*v + v = m. Which is greater: q or v?
q
Let i = -959.708 - -959. Is i >= 1/4?
False
Suppose -6 = 4*h - 30. Let p be (-1957)/76 - h/(-8). Is -25 less than p?
False
Suppose 0 = -2*a - 3*i - 300, -4*i = 2*a + 88 + 214. Let d be (-3)/((a/2)/(-7)). Is 0.1 at least as big as d?
True
Let m(f) = -f - 4. Let t be m(-8). Suppose 2*w - 3*s - 11 = -6*s, -t*s + 3 = w. Let c be (-5)/w - 12/(-28). Is c greater than -3/2?
True
Let d be 4 + (-4 - (-2)/1). Suppose -2*y = d*g + 8, -3*y - 4*g - 16 = -0*y. Which is smaller: 1/3 or y?
y
Let i = -11 - -26. Let k be (i/(-5))/(105/2). Which is greater: k or 1?
1
Let c = 12665/2 + -6585. Let i = c + 2507/10. Suppose -z = 4, -4*z - 7 = -m + 7. Is i bigger than m?
True
Let x be (16 + -10)/((1/(-2))/((-3)/(-6))). Let a = -114027/17353 + -1/2479. Which is greater: a or x?
x
Let o = -158/5 - -627/20. Is 1.1 smaller than o?
False
Let x = -33 + 35. Let a = 2.5 - 2.53. Which is smaller: x or a?
a
Let q = 0 - 0. Suppose -3*n - 24 = -75. Suppose 2*g - g - 1 = -2*b, -n = b + 4*g. Which is smaller: b or q?
q
Suppose 10*m = 6*m + 16. Let h be 882/(-24) + 3/m. Let z = 400/11 + h. Which is smaller: z or 0?
0
Let p = -3/56 - 1/14. Let f(q) = q - 2. Let h be f(2). Is p > h?
False
Suppose 0 = -5*u - 5, 7 = 5*b - u - 14. Let p be (1 - 24)*(b + 12/(-4)). Which is greater: p or -21?
-21
Let w(j) = -j**3 + 6*j**2 - 8*j - 3. Let f be w(6). Let o be (f/(-4))/((-39)/(-260)). Let c be o/50 + (0 - 2). Which is greater: c or 0?
0
Let b be (-5316)/8*2 - -4. Let z = b - -75527/57. Is -1 at most as big as z?
True
Let u = 99 + -98. Let c = 65/2997 + 1/333. Let s = 901/405 - c. Is u < s?
True
Suppose -4*h = k - 443, 4*h - 147 = -2*k + 747. Is 2 greater than k?
False
Suppose -5*c = -4*p - 48, 0 = -2*c - 2*c - 4*p + 24. Is c >= 15/2?
True
Let c be (14/8)/(204/(-32)). Let s be 1 + (-1)/((-17)/(-18)). Let g = c + s. Are 1 and g unequal?
True
Suppose -l + 3 = 5. Let y be 149/l*(0 - -2). Let o = 887/6 + y. Which is smaller: -2 or o?
-2
Let m = -622.84 + 585. Let x = 38 + m. Do x and -1 have the same value?
False
Suppose x + 208 = -x. Which is smaller: x or -102?
x
Let k = 248 + -241. Do k and 7 have the same value?
True
Let f = 12.1 + -11.9. Is f > -20?
True
Let m be (15/25)/((-407)/7585). Is m bigger than -10?
False
Let v be (-11)/(-5) + (-12)/(-15). Suppose -2*d = -d - v. Is 40/9 less than d?
False
Let i(j) = j + 20. Let s be i(-14). Let m = -5 - -13. Suppose 3 - m = -f. Which is greater: f or s?
s
Suppose -3*n + r = -68, -3*n = -2*r - 26 - 47. Let q be -3 + n - (-1 - 0). Let j = 12 - q. Are j and -6 equal?
False
Let j be (-14)/4*2/12. Let c = 3/4 + j. Which is bigger: c or 0?
c
Let h = 5667/10430 + -1/2086. Which is smaller: 2 or h?
h
Let d(k) = 5*k**2 - k + 2*k + 10*k**2 - 4*k**2. Let v be d(1). Let a be (4/(-3))/(76/(-570)). Is a less than or equal to v?
True
Suppose -f - 7 = -3*t, 0 = 2*t - 4*f + 3*f - 5. Let z be (95/10)/((-5)/t). Let w = 21/5 + z. Is 0.7 less than w?
False
Let m be (-2)/(-2) + (-7)/14. Let r be ((-6)/(-4))/((-7)/14). Let x(n) = -n - 2. Let b be x(r). Is m > b?
False
Let n = 602 + -599.1. Let l = 0.199 + 8.701. Let h = l - n. Is 0.1 >= h?
False
Suppose -4*r - 20 = 0, m + r = -3*r - 20. Suppose g + 0 + 8 = m. Let f(p) = 2*p**2 + 93*p + 370. Let j be f(-42). Is g smaller than j?
False
Let g = 411 - 422. Let s be (-15)/6 + 1/2. Let c(d) = d**2 + d - 1. Let f be c(s). Which is greater: f or g?
f
Let h be (-2)/(-3) + 4/3 + -1. Let c be (-19)/(-221)*84/(-8). Let r = c - -16/17. Are h and r non-equal?
True
Suppose p - 23 = -p - 5*h, -2*p + 5*h - 7 = 0. Suppose 3*s = 4*u + p - 0, 4 = -4*u - 2*s. Which is greater: 4/37 or u?
4/37
Let t be (24/20*-1)/((-3)/10). Suppose 5*q + 0 = b + 5, 0 = t*b - 2*q + 74. Is b != 1/4?
True
Let o be 100/(-17) - 8/68. Which is greater: o or -2?
-2
Let c = 107.8 - 108. Let f = -2.2 - c. Which is smaller: -0.04 or f?
f
Let w(h) = 11*h**2 + h - 1. Let b be w(1). Let a be 2/4 + 46/4. Le