 -5*n - q + 10 = q, 3*n - s*q = -20. Let r be 70/18 - (-2 - (-6 - -1)). Are r and n non-equal?
True
Let c = -85 - -150. Let t = c - 70. Are t and -2/7 unequal?
True
Suppose -4*t - i - 1614 = 0, 2*t = -2*i - 3*i - 816. Which is bigger: -404 or t?
t
Let h = 18 + -18. Suppose 3*t - 1 = -5*c, c - 5*t + 0*t - 17 = h. Is 7/11 at most as big as c?
True
Let h be 12/15*(-1 - (-26)/(-4)). Let f(t) = -6*t + 5. Let r be f(2). Is h less than r?
False
Let u be (13/27)/(22/(-33)). Is -2 != u?
True
Let q be 4*(-4)/200*-5. Is 40 not equal to q?
True
Suppose 4*q = 12 + 12. Let n be (-3 - -3)*2/q. Is n smaller than 6/7?
True
Let o be (-129)/301 + (-48)/(-63). Is o greater than or equal to 448?
False
Let y be (10/(-4))/((-124)/24 - -5). Which is smaller: -0.057 or y?
-0.057
Let p = -121 - -121.4. Is 15 < p?
False
Let k be 6*8/24 + 212. Is 215 bigger than k?
True
Let y(z) = -z**3 - 2*z - 7. Let l be y(0). Let b be 88*(-6)/(-84) - (-2)/l. Is -3 <= b?
True
Let l = -0.05 - -3.05. Let h = -602 - -600. Let p = h - l. Which is bigger: -0.1 or p?
-0.1
Let b = -166065/7 + 23682. Which is bigger: b or -42?
b
Let q = -0.017 - -148.017. Is 0 at most as big as q?
True
Let s(v) = -7*v - 8. Let d be s(-4). Let c = -13 + d. Suppose -c*i + 8*i = 0. Which is smaller: 1 or i?
i
Suppose -5*w = -9*w - 4. Let x be (0/(12/4))/w. Suppose -4*u + 5*c = c + 4, -u + 2*c - 1 = x. Is -0.8 bigger than u?
True
Suppose a + 3*d = -4*a + 16, d + 18 = 3*a. Suppose 4*h = -a*u + 5, 3*u + 2*h + 0*h - 1 = 0. Is u equal to -5/2?
False
Let r(j) = -2*j + 10. Let k be r(-8). Suppose -2*x - 8 = -k. Let w be 12/x - (-2)/(-2). Are 1 and w equal?
False
Suppose 4*l + 8 = -m - 0*m, -4 = -2*l. Which is smaller: -17 or m?
-17
Let d(x) = -x + 5. Let p be 420/72 - (-2)/12. Let z be d(p). Let a be z/((-3)/(-9) - 0). Which is smaller: a or -10/3?
-10/3
Suppose y + 19 = 4*o, 2*y + 2*o = y + 11. Let s(x) = -3*x**3 + x**2 - x. Let a be s(y). Let k be (a - -6)*(-2)/21. Is k >= 0?
False
Let a = -0.6 + 0.6. Let d = -55 - -55.01. Let g = a + d. Which is greater: g or -1?
g
Suppose 24*r - 22*r = -84. Which is bigger: 4 or r?
4
Let b = 4/2001 + 24900/667. Which is bigger: 37 or b?
b
Let q = 0.4023 - 93.4523. Let y = q - -93. Is -0.2 at most as big as y?
True
Let n = 171.2 - 113. Let z = n - 63. Which is smaller: -1/4 or z?
z
Suppose 0 = -5*a - 0*a + 160. Suppose 4*b + f = 5 + a, 3 = -f. Let x be b/50*4/6. Is -1 less than x?
True
Let c(q) = 2*q**2 + 12*q + 3. Let m be c(-4). Which is smaller: m or -58/5?
m
Let s = 130.7 + -131. Let k be ((-3)/4)/((-3)/(-2)). Is s != k?
True
Let t = -284 + -22. Let d be (-1)/2 + 194/4. Let z be 6/(-4)*d/t. Which is smaller: 0 or z?
0
Suppose 3*t + 97 = 16*m, -89 = 4*t - m + 20. Is -113/4 equal to t?
False
Let o(v) = v**3 - 10*v**2 + 7*v + 15. Let s be o(7). Let j = -82 - s. Is j > 6/37?
True
Let h = -6 - -3. Let w be -5 - (187/(-77) + (-6)/(-14)). Let d be 12/16 + w - 2/(-8). Do h and d have the same value?
False
Let f = 75/1521188470856419 + -3758913680917806323702461483/21603918663102862638. Let p = f + 173992216. Let m = p - -1/526. Does m = 1?
False
Let u be (-1)/((-1932)/534) + (-1)/2. Let n = u + 10967/805. Is 14 at least as big as n?
True
Suppose -14 + 204 = 5*u. Let o = -26 + u. Suppose o - 4 = -2*d. Do -6 and d have the same value?
False
Let m = 0.0474 - -0.0026. Which is bigger: m or -8?
m
Let o = 1487 + -1337. Which is smaller: -5 or o?
-5
Let f = -51 + 51. Suppose -5*h + 2*t - 10 = f, 5*t = -h + 5 + 20. Is h bigger than 0?
False
Let a = 127 - 255. Let b = a + 128.2. Which is smaller: 2/73 or b?
2/73
Let o(c) = c**3 - 15*c**2 - 1. Let d be 4 + (-1 - -1)/(-3). Suppose d*l - 13 - 47 = 0. Let q be o(l). Is q smaller than 1/4?
True
Suppose -8 = -3*h - 2*r + 8, 0 = 2*h + 5*r - 29. Suppose 3*j - 4*d - 61 = -h*j, -3*d - 49 = -4*j. Let k be (-98)/(-21)*(-1 + 4). Are j and k unequal?
True
Let w(c) be the second derivative of -c**5/20 - 7*c**4/12 - c**3 - c**2 - 2*c. Let u be w(-6). Is -2 <= u?
True
Let v = -133771265/201 + 1996205/3. Let f = v + 127. Is f at most as big as 1?
True
Suppose -5*x = 138*p - 135*p - 2040, 5*p + 25 = 0. Which is bigger: x or 412?
412
Let x = -23 + 25. Suppose -w = -0*w + x*b + 8, -3*w = -5*b + 13. Let k be w/12*(0 + 0). Do k and -2/9 have the same value?
False
Let i be (-170)/(-34)*(-548)/5. Which is greater: i or -551?
i
Let q = 449 + -116. Which is smaller: q or 334?
q
Let n = -578 + 578. Let p be (-2)/6 - 56/(-33). Which is smaller: n or p?
n
Suppose 13*g = 16*g + 3*v + 12, -3*v - 17 = -2*g. Which is greater: g or -6/487?
g
Suppose -3*h = -20 - 22. Which is greater: -2/7 or h?
h
Suppose -h + 46 + 22 = 0. Let o = 24 - h. Which is bigger: -45 or o?
o
Let b = 0.05 + 2.95. Let i = 2 - b. Suppose 18 = 2*d + 2*s + 6, 3*d - 5*s + 22 = 0. Which is smaller: d or i?
i
Let x = 2074 - 2073.979. Is x > 1/2?
False
Let g = -3.19 + 2.99. Is g not equal to 10/9?
True
Let w = 3247527 + -12090543122/3723. Let y = -2674429/438 - -6106. Let t = y + w. Is t at least 1?
False
Let t be (1/(-3))/((-3)/108). Let n be 2/(3/t + 0). Which is greater: n or 20/3?
n
Let g = -13 - 1. Suppose -5*q + 5*m - 60 = 0, m = -5*q - 0*m - 78. Do g and q have the same value?
False
Let a(j) = 3*j**2 + 2*j. Suppose -3*p = -4 - 5. Suppose -n + 1 = p. Let w be a(n). Is 1 greater than or equal to w?
False
Let w(z) = -2*z - 9. Let i be w(-6). Suppose -7 = -4*m + 13. Suppose 5*p + m*l - 75 = 0, i*p + 0*p = 3*l + 33. Is 14 at most as big as p?
False
Suppose j - 2*x = 27, 2*j + 2*j + 5*x = 160. Let z = -39 + j. Which is smaller: z or 1?
z
Let n = -34 + 31.7. Let k = 0.3 + n. Which is bigger: 0.8 or k?
0.8
Suppose -u + 0*y = 2*y - 28, -3*u = -3*y - 102. Which is smaller: u or 34?
u
Suppose 2*k + 0 = 10. Suppose -9 - 16 = -k*u. Suppose 7*c - 2*c - 2 = 3*n, 8 = u*c + 3*n. Is c > 6/17?
True
Let i(d) = d**2 - 4*d + 4. Let w be i(3). Suppose -17 = -4*j - 5*m, 4 = -4*j - m + w. Do j and -11/5 have the same value?
False
Let j(n) = 6*n + 12. Let o be j(-2). Which is bigger: o or 4.6?
4.6
Let f = 66.3 - 124.3. Which is smaller: f or -6?
f
Let d be 0/(3/((-6)/4)). Let g be (4/5)/((-84)/(-30)). Is d equal to g?
False
Suppose -z - 8 = z - p, -p = -z - 4. Let f = 2 + z. Do -5 and f have different values?
True
Suppose 4*o = 16, 0 = -14*v + 12*v - o + 4. Do -5/134 and v have different values?
True
Let l be 0/(-1 + 3) - (-75 - 1). Which is bigger: l or 79?
79
Let k = -2.8 - -3. Let q = 0.38 - 0.07. Let s = q - 0.01. Is s bigger than k?
True
Suppose 1 = -b + 5. Suppose -2*g + 3*o - 8 = -g, 0 = -5*g + b*o - 7. Which is smaller: g or 20/11?
g
Suppose 2*r = -3*i - 0*r - 7, r + 6 = i. Suppose 4*a - 5*j + 14 = 0, -4*j + 9*j - 8 = -2*a. Let o be (a/(-26))/((-2)/4). Which is smaller: o or i?
o
Let u = -7996 + 7989. Let d = 0.4 - 0.3. Is d greater than or equal to u?
True
Let p(c) = c**3 + c**2 - c - 1. Let b be p(-1). Let f(a) = -a**2 - 27*a - 184. Let j be f(-12). Is b < j?
False
Let u = -9 + 9. Let y = -25/3 + 1669/201. Which is smaller: u or y?
y
Let c(a) = a + 9. Let n be c(-21). Let b(o) = 10*o**2 + 60*o - 6. Let i be b(-6). Is i at least as big as n?
True
Let q = 3278/1005 - -112/67. Let s be ((-290)/200)/((-3)/14). Let o = q - s. Is o > -2?
True
Let w = -526517/2060 + -82/515. Let b = 254 + w. Which is smaller: -2 or b?
-2
Let a(z) = -7*z + 10. Let c be a(0). Suppose 0 = 5*p - c*p - 105. Is -22 bigger than p?
False
Let r = -58.2 - -58. Which is bigger: -192 or r?
r
Let q = -1832 - -1833. Is 1.2 equal to q?
False
Let f = -984 - -882. Is f at least -102?
True
Let o = 1177101511 - 236598179171/201. Let f = o + 3858. Are f and 0 nonequal?
True
Let g = 0.35 + -1.65. Is g > 1/24?
False
Suppose 0 = -58*t + 6*t + 8008. Which is smaller: t or 153?
153
Suppose 2*b + 4 = 6*b. Let u be ((-13)/1 - 1) + 0. Let h be (-2 - u)*4/36. Which is bigger: h or b?
h
Let p(a) = a**3 + 4*a**2 + a + 11. Let m(s) = s**2 - 1. Let v(i) = 4*m(i) + p(i). Let h be ((-8)/(-3))/((-16)/48). Let c be v(h). Is c equal to -1?
True
Suppose 8 = -o - 2*o + n, 5*o + 19 = -4*n. Let r be o/(-4) - 477/(-36). Is r > 14?
False
Let t = -855 + 889. Is 36 greater than or equal to t?
True
Let v(a) = -3*a - 4. Let u be v(-6). Suppose -5*d + 16 + u = 0. Suppose -11*n + d*n = -20. Which is greater: n or 2?
n
Let t = 0 - -0.2. Which is smaller: -70 or t?
-70
Let a = 130298/25 + -521