False
Let k be (15/10)/(6/(-50))*2. Is 0/(-6 - -5) - (k - -1) a multiple of 8?
True
Let r(n) = -n**3 - 8*n**2 + 36*n + 15. Does 61 divide r(-12)?
False
Suppose r - 38 = -0*u - 4*u, -5*u + 51 = 3*r. Let f(q) = -q + 13. Let v be f(u). Let l(g) = g + 5. Does 9 divide l(v)?
True
Let d be -1*0/(4/4). Suppose d = -3*f - 2*f + 235. Suppose -7 + f = j. Is 20 a factor of j?
True
Let y(f) = 223*f + 58. Is 33 a factor of y(2)?
False
Let x = -59 + 68. Suppose 11*p - 120 = x*p. Is p a multiple of 4?
True
Let w = 5 + 84. Suppose 4*p - d = -w + 733, p - 2*d = 154. Is 9 a factor of p?
True
Let z = 6 + 6. Let a(g) = g**3 - 13*g**2 + 13*g - 7. Let p be a(z). Suppose -24 = -c + 5*v + 37, p*c - 283 = 3*v. Does 18 divide c?
False
Let n(t) = -7*t + 67. Is n(-34) a multiple of 7?
False
Suppose -6 = -2*o + 40. Let f = 13 - o. Let i(d) = -5*d - 6. Is i(f) a multiple of 21?
False
Is ((-522)/(-10))/(-8 - (-3133)/390) a multiple of 6?
True
Let m(n) = 5*n**3 + 2*n - 7. Let v be m(3). Suppose -2*t + 4*c = -t - 23, -v = -3*t - c. Is 5 a factor of t?
False
Let b = 1647 + -943. Does 64 divide b?
True
Let n be -2 - (-9)/((-27)/(-12)). Suppose 6*k = n*k + 88. Does 8 divide k?
False
Suppose 4*z = -y + 178, -2*z = 2*z - 2*y - 184. Let q be 117/z - 2/(-5). Suppose q*t - 16 = -u + 7*t, -3*t - 66 = -3*u. Does 6 divide u?
True
Let k = 1323 + 1095. Is k a multiple of 43?
False
Suppose 0 = -5*j - 4*l + 2495, 0 = 22*j - 20*j + l - 1001. Is j a multiple of 12?
False
Suppose 0 = 32*g - 37*g + 3900. Does 13 divide g?
True
Suppose -8*o = -151 - 4313. Does 43 divide o?
False
Let c be 2/(-3 - -1)*-161. Suppose c = 4*y - 131. Is y a multiple of 15?
False
Let r be (-6556)/(-18) - (-14)/(-63). Let z = -175 + r. Does 27 divide z?
True
Let f be 16/12 - (-22)/6. Let w(i) = i**2 + 6*i + 3. Is 7 a factor of w(f)?
False
Let h(g) = 10*g**2 + 14*g - 1. Is h(3) a multiple of 7?
False
Suppose 0 = 10*u - 13*u - 21. Let y = 1 - u. Suppose -3*z + y*z - o = 489, 2*z + o - 190 = 0. Is 24 a factor of z?
False
Let k = 434 + 414. Does 53 divide k?
True
Suppose 51 = 6*z + 1539. Let k = z - -528. Is k a multiple of 38?
False
Let r(z) = 4*z**2 + 4*z + 1. Let s be r(-3). Suppose 5*l = 2*p - s, 3*p + 3*l - 57 = -9. Is p a multiple of 2?
False
Let y(i) = -3*i - 5. Does 42 divide y(-23)?
False
Let n = -605 + 892. Does 41 divide n?
True
Suppose -2*b = -2*s - 42, -2*s - 14 = -4. Let o = b + 13. Suppose -6*v + o = -13. Is 2 a factor of v?
False
Let k(w) = -3 + 4 - 2 + 2*w**2 + 4 - w. Let v be k(3). Is v/(1/(8/12)) a multiple of 4?
True
Let k = 29 - 27. Suppose 90 = -d + k*d. Is d a multiple of 18?
True
Let f = 15 - 10. Suppose 4*c - m = 115, 2*c + c = f*m + 82. Let k = c + 1. Is 7 a factor of k?
False
Does 22 divide (-2 - 6 - 542)/((-1)/6)?
True
Let a(x) = -2 - 6*x + 0*x + 2*x + 5*x. Let c be a(2). Suppose -6*j + j + 90 = c. Is j a multiple of 6?
True
Suppose 2*l + 2 = 4*c, 4*l - 2 = 3*c + 6*l. Suppose 6*x - 24 = -c*x. Does 3 divide x?
False
Suppose -13*f = -10*f - 12. Let j = -26 + 29. Suppose 4*x - 9 = j, 3*u - 186 = f*x. Is 22 a factor of u?
True
Does 25 divide (1969/(-33))/(2/(-6))?
False
Let x(k) = k**2 - 2. Let t be x(-2). Suppose 0 = 2*q - 2*u - t*u - 108, -4*u + 202 = 3*q. Is q a multiple of 50?
False
Let m be -1 + -2 + 2 + 1. Suppose m = 3*d + 4*h + 14, 3*d - 3*h - 25 = -2*d. Suppose -3*y + 20 = d*y. Is y a multiple of 4?
True
Let y be 29*(1 + 0/2). Suppose 0 = m - 4*c - y, -2*c = -4*m + 96 - 36. Is m a multiple of 4?
False
Let y = -1285 + 3805. Is 30 a factor of y?
True
Let g be (-1)/((-2)/(1 + -13)). Is 5 a factor of 2*((-139)/(-6) + 4/g)?
True
Suppose -21 = 2*x - 1. Is (-18)/(-45) - 96/x a multiple of 8?
False
Let x be (0/1)/1 + -87. Let p(k) = 39*k - 23. Let q be p(5). Let o = x + q. Does 22 divide o?
False
Suppose 0 = -214*g + 216*g - 528. Is g a multiple of 24?
True
Suppose 4*h = -5*v + 1808, 36*v - 5*h + 349 = 37*v. Does 25 divide v?
False
Let w be 40/(-18) - (-12)/54. Let z = 22 + w. Is z a multiple of 6?
False
Suppose 3*k - 8*k + 25 = 0. Let d = k - -5. Suppose -7*r + 108 - d = 0. Does 7 divide r?
True
Let x(m) = -36*m - 5. Let w(g) = 35*g + 5. Let h(o) = -5*w(o) - 4*x(o). Is h(-1) a multiple of 13?
True
Let c = 893 - 151. Does 57 divide c?
False
Let n(s) = 3*s**2 + 17*s + 12. Let r be n(-6). Is (-3)/r*-20 + (-2)/(-3) a multiple of 3?
False
Let z(o) = 6*o**2 - 10*o - 20. Does 5 divide z(6)?
False
Let r = -24 - 29. Let x = r + 105. Is 24 a factor of x?
False
Let u = 1184 - 686. Does 2 divide u?
True
Let i = 92 + 0. Suppose 0 = -2*h + g + 166, 0*h + 4*g - i = -h. Does 14 divide h?
True
Let f(i) = -3*i - 3. Let p = 9 + -7. Let c = p + -8. Is 8 a factor of f(c)?
False
Suppose -4*w = 20, -4*f - 4*w = -0*w + 24. Let j(x) = -16*x**2 + x + 1. Let g be j(f). Does 16 divide 380/6 - g/24?
True
Let b(f) = 3*f - f**3 + 93*f**2 - 92*f**2 - 2*f + 84. Let s be b(0). Suppose -9*h + 11*h = s. Is h a multiple of 7?
True
Suppose -f = -5*f + 4*p + 32, f + 3*p = -8. Let n(a) = -11*a + 1. Let v be n(-5). Suppose -4*x = -5*g - v, -f*g - 11 = 5*x - 40. Is x a multiple of 5?
False
Let x(v) = 2*v**2 + 24*v - 4. Let f be x(-11). Is (-1348)/f + 38/247 a multiple of 11?
False
Let c = 170 + 89. Does 11 divide c?
False
Let n(y) = -17*y + 611. Is 12 a factor of n(-5)?
True
Let h(i) = -32*i + 420. Is 16 a factor of h(6)?
False
Let w be (-455)/(-182)*-2*2. Let d(y) = y**2 + 10*y + 6. Let q(k) = -k**2 - 9*k - 6. Let l(r) = -3*d(r) - 2*q(r). Does 3 divide l(w)?
False
Let b(h) = 0*h + h - 2*h**2 + h**2 - 1 + 2*h**2. Let p be b(-2). Is (-50)/(-8)*4/p a multiple of 7?
False
Suppose 3*i + 21 + 28 = k, 3*k - 107 = i. Let x = 54 + k. Is 22 a factor of x?
True
Is 4 a factor of (-22)/6*(29 + -197)?
True
Let s = 293 - -337. Is s a multiple of 45?
True
Let m(z) = z**3 - 15*z**2 - 51*z + 36. Does 5 divide m(18)?
True
Is 4 a factor of ((-16)/(-5))/(50/1000)?
True
Let r be (-4)/(-18) + 6/(-27). Suppose r = -4*o + 773 + 295. Suppose -5*b + 3*j + o = 0, -b - j - 20 + 75 = 0. Is b a multiple of 16?
False
Let i(r) = r**2 + 4*r + 6. Let y(n) = -n - 3. Let q be y(7). Let a be i(q). Suppose 5*s - a - 54 = 0. Does 8 divide s?
True
Let q(m) = -m - 10. Let a be q(-15). Suppose -2*i + 624 = 2*l, 4*i = 3*l + a*i - 928. Does 28 divide l?
True
Let d(r) be the first derivative of r**3/3 + 7*r**2 - 14*r + 11. Is d(6) a multiple of 10?
False
Let s(u) = 18*u - 29. Let p be s(9). Is ((-35)/20)/7 + p/4 a multiple of 4?
False
Let g(o) = 4*o - 2 - 1 - 3*o. Let p be g(2). Let c(f) = -11*f + 1. Does 2 divide c(p)?
True
Let m be (-5 - 2) + -6 + 8. Let c be (m + 4)*22/2. Let t = 44 + c. Is t a multiple of 4?
False
Let f = 2 + -56. Let s = 102 + f. Is s - (-4 + 3 + 4) a multiple of 15?
True
Suppose 0*s - 123 = -3*s. Suppose 3*f - s = 4*u, f - 5*f = 5*u + 90. Let y = -3 - u. Does 9 divide y?
False
Let g(y) = 4*y**2 + 1 - y + 1 - 5. Let i be g(-3). Is 10 a factor of (i/(-6))/((-6)/20)?
True
Let a = -3 + -39. Let j = -23 - a. Suppose 2*x = -4*i + 15 + j, 0 = 5*i - 5*x - 20. Does 2 divide i?
False
Let n(r) = -r**2 + 4*r + 5. Let k be n(4). Suppose -k*a + 126 = 2*q, 281 = 5*q + a + 3*a. Is q a multiple of 12?
False
Is 27 a factor of ((-4)/(48/(-9)))/(2/720)?
True
Let h be ((-5138)/16)/(-7) + 1/8. Suppose -7*l = 11 - h. Is 5 a factor of l?
True
Let t = -1229 + 1731. Is 6 a factor of t?
False
Suppose -2*l = -13 + 3, -5*l + 95 = 5*g. Let n be (-4)/g + (-220)/14. Let o = 5 - n. Is 7 a factor of o?
True
Let l = 370 + -344. Does 2 divide l?
True
Suppose -4*y - 3*g = -234, 73 = y + 5*g + 6. Does 2 divide y?
False
Let t(a) = 2*a**2 - 46*a + 44. Is 10 a factor of t(23)?
False
Let y be ((-3 - -4)*1)/2*42. Let q = y - -63. Is 21 a factor of q?
True
Let v(i) = -12*i**2 + 12*i + 72. Let j(m) = -5*m**2 + 6*m + 36. Let s(a) = -5*j(a) + 2*v(a). Does 6 divide s(12)?
True
Let t = -113 - -168. Let f = t + 9. Is f a multiple of 8?
True
Is 49 a factor of 16/6*(-7 - (-1897)/28)?
False
Let q = -196 - -111. Let o = q - -141. Suppose -3*t + 22 + o = 0. Does 13 divide t?
True
Let u = 1250 - 314. Does 13 divide u?
True
Let z(v) be the first derivative of v**5/30 - v**4/8 - 5*v**3/3 - 6*v**2 - 9. Let h(j) be the second derivative of z(j). Does 27 divide h(-5)?
False
Let j(u) = -u**2 - 8*u - 6. Let y be j(-7). Does 6 divide (-1)/(y/87*-1)?
False
Let x(i) = 875*i**2 - 33*i - 33. Is x(-1) a multiple of 7?
True
