t u = r - p. Does 9 divide u?
True
Suppose -5*y = -3*o + 7, -3*o - 2*y + 16 = 2*y. Suppose -4*v - 2 = -o*z + v, -z - 3*v + 9 = 0. Is 10/z*48/20 a multiple of 4?
True
Let c(t) = -2*t**3 - 121*t**2 + 85*t - 285. Is c(-62) a multiple of 21?
False
Suppose 3*h + 153 = -18. Let m = h + 59. Suppose 5*o = -m*j + 69, -2*j + 9 + 21 = 2*o. Is 4 a factor of o?
False
Suppose 5*q - 5*t - 22465 = 0, 0 = 5*q - 9*t + 3*t - 22464. Does 107 divide q?
True
Suppose -4*w - k + 590 + 329 = 0, -1146 = -5*w - 4*k. Does 23 divide w?
True
Suppose 0 = 29*b - 10*b + b - 1840. Is 3 a factor of b?
False
Let y(t) = -11*t**2 - 11*t + 7. Let x be 56/28 - 3*1. Let v(q) = -1. Let i(o) = x*y(o) + 5*v(o). Is i(-4) a multiple of 15?
True
Let b be -8*7/14 - 63*3. Let q = 222 + b. Does 4 divide q?
False
Let o(n) = n**2 - 9*n - 60. Let a = -130 + 155. Is 34 a factor of o(a)?
True
Let t = 274 + -276. Let v(l) = -118*l + 9. Is v(t) a multiple of 6?
False
Suppose -17*d + 14*d - h = -2011, -4*d + h + 2693 = 0. Let m = 1138 - d. Is 22 a factor of m?
False
Let o(k) = -373*k - 96. Does 58 divide o(-34)?
True
Suppose 2*q = -2*q - 5*o + 37, 13 = q + 5*o. Let d(v) = 47*v + 2. Is d(q) a multiple of 42?
True
Let q = 540 + -386. Suppose -11*o + q = -836. Is o a multiple of 6?
True
Let f(t) = 0*t**2 - 4*t + t**2 - 18 + t**3 + 8*t**2 - 2*t**2. Is 3 a factor of f(-6)?
True
Does 9 divide 1068/(-3738)*(100618/4)/(-1)?
False
Suppose -15*r = -19 - 11. Let o be 4*-1 + (89 - 9). Suppose -r*t + 276 = o. Is t a multiple of 11?
False
Is 49 a factor of (7 - 9 - (-6 + (-4 - -7))) + 6075?
True
Suppose 6 = 2*v + 4*y + 2, -2*v + 10 = 2*y. Suppose 2*t - v*t = -96. Is 21 a factor of (-316)/(-3) + t/(-48)?
True
Suppose 5*z = 5*a + 8470, 3166*z - a + 3388 = 3168*z. Is z a multiple of 14?
True
Let j be (-15)/(-40)*4*2. Suppose -12 = 5*v - j*v. Let r = 6 - v. Is r a multiple of 12?
True
Suppose -5*n = 3*x - 5, 43 = 4*n - 4*x + 7. Let s be (12/n - 3) + -17. Let c(r) = -r**2 - 21*r - 32. Does 9 divide c(s)?
True
Suppose -12*v + 3*v = 0. Suppose v = -8*n - 116 + 2404. Is n a multiple of 11?
True
Let g be (2 + -71)/(-1 + -2). Let b(x) = -x**3 + 24*x**2 - 21*x - 34. Let p be b(g). Suppose -p*n + 1044 = -1056. Does 43 divide n?
False
Let m = 2 + 6. Let k(s) = s**2 + 28*s + 6. Let d(v) = -v**2 + 27*v + 2. Let x(o) = -d(o) + k(o). Does 20 divide x(m)?
True
Let x = 719 - 709. Suppose 0 = 8*k - x*k + 1554. Does 66 divide k?
False
Suppose 0 = -5*p + 36 - 26. Suppose 2*l - 1366 = -5*n, 11*n + p*l - 822 = 8*n. Is 17 a factor of n?
True
Let i(b) = b - 15. Let y(p) = p - 30. Let k(l) = 5*i(l) - 2*y(l). Let w be k(12). Let n = w - -15. Is n a multiple of 9?
True
Suppose -45 = -11*w + 2*w. Suppose 2300 = w*m - 5*j, 0*m - 4*j = 2*m - 950. Is m a multiple of 52?
False
Suppose -4*n - 3*a - 308 = 0, 2*a - 28 = n + 49. Let i be (20/14)/((-11)/n). Does 9 divide 24/i*435/58?
True
Let q be (3 - 0)/(15/10). Suppose 0 = -q*z - 2*z + 248. Suppose -b + 78 = 5*i, -z = -3*i - i - b. Is i a multiple of 16?
True
Let x(u) = -u**3 - u**2 - 8. Let t be x(-3). Suppose -t*g + 6340 = -1720. Does 48 divide g?
False
Suppose 22*d + 78 = 28*d. Suppose d*r - 138 = 733. Is 2 a factor of r?
False
Suppose -p - 6 = -9. Suppose -5*r = 2*h - 1232, -4*r = -p*r - 3*h - 260. Suppose 4*m + 48 - r = 0. Is 10 a factor of m?
True
Let k = 827 - 773. Does 34 divide 9174/27 + 12/k?
True
Let d be (7/(-2))/((-38)/76). Let b(m) = 5*m**2 - 12*m + 43. Is 9 a factor of b(d)?
False
Suppose -528*t + 364*t = -219268. Is t a multiple of 3?
False
Suppose 12 = 3*t - 0. Let b be (2535/21 - t) + (-2)/(-7). Let f = -33 + b. Is f a multiple of 28?
True
Suppose 203 = -6*g + 3203. Let x = g + -339. Is 9 a factor of x?
False
Let v(o) = o**2 + 2*o + 7. Let p be v(0). Suppose p*q = 87 + 242. Let m = 33 + q. Does 20 divide m?
True
Suppose -670 = -69*v + 59*v. Suppose 3*l - l - 18 = 0. Let g = v + l. Is 19 a factor of g?
True
Suppose -32752 = -2*b + 4*q, -4*q - 1632 = 2*b - 34440. Is b a multiple of 45?
False
Let q = 64 + -63. Let i(v) = 78*v - 5. Let w(g) = 79*g - 6. Let f(r) = 4*i(r) - 3*w(r). Is 12 a factor of f(q)?
False
Let t = -63871 + 130447. Is 114 a factor of t?
True
Is 47 a factor of (-1516824)/(-99) - (-42)/77?
True
Let s(d) = -28*d**3 - d - 1. Let k be (12/2)/((-4)/(-2)). Suppose -k*r - 13 = 2*l, 5*r - r - 4*l = 16. Does 3 divide s(r)?
False
Let a(h) = -325*h - 23. Let l be a(-9). Is 56 a factor of (-44)/16 + 3 - l/(-8)?
False
Suppose 39106 = -78*g + 80*g - 3*d, 4*g + 5*d - 78168 = 0. Is 53 a factor of g?
False
Let o be 64/((-657)/(-324) + -2). Suppose -70*f + 76*f = o. Does 6 divide f?
True
Suppose 2*c - 5*i = 29, -8 = -4*c + 2*i + 10. Is 7212/24 + (-1)/c a multiple of 10?
True
Let t(m) = 2*m**3 + 62*m**2 + 62*m + 51. Let y be t(-30). Is 31 a factor of 5*14/105*y - -452?
False
Let i(t) = 35*t**2 + 51*t + 189. Does 99 divide i(-21)?
True
Let g = -4 + 8. Let c(r) = 42 + g*r - 21 - 14*r. Is c(-4) a multiple of 15?
False
Does 117 divide (29/29)/(0/2 + (-3)/(-13467))?
False
Let j = -125838 + 189188. Is 81 a factor of j?
False
Suppose 0 = 5*u - 9 - 6. Suppose 3*n + 3*x - 3 = -15, -u*x - 12 = 0. Suppose n*y = 2*b - y - 268, -b + 140 = y. Is 19 a factor of b?
False
Let o(u) = -2*u + 50. Let d be o(22). Suppose -8*t + d*t = -12. Suppose 2*s - 227 = -5*l, -4*l - 551 = s - t*s. Is s a multiple of 33?
False
Suppose -7*u - 6*u + 8835 = -6544. Does 23 divide u?
False
Is (476444/228)/(8/240) a multiple of 11?
False
Does 44 divide -80390*(7 - (-540)/(-75))?
False
Let o = 6276 + -4134. Is o a multiple of 18?
True
Suppose -48 = -23*q + 11*q. Let c = 10 - 5. Suppose 0*u + 2*k - 716 = -q*u, 0 = -c*k. Is 36 a factor of u?
False
Suppose -3*s - 29 = -4*v, v - 2*s - 6 = -0*v. Let m(i) = 3 + 1 + 3*i**2 - i - v. Is m(3) a multiple of 5?
True
Let h = 1479 + -793. Is 1 - -1 - 13/((-91)/h) a multiple of 20?
True
Let l = 76 + -68. Let i be (8 + l)*(-22)/(-4). Suppose -i - 144 = -y. Is y a multiple of 58?
True
Let r(a) = 29*a**2 - 4*a - 2. Suppose -5 = i - 9. Let v be 3/(-7) + (i - (-22)/(-14)). Does 7 divide r(v)?
False
Let p be 5/2*(-44)/(-55). Let g = -1 + p. Is 7 a factor of (1 - 15)*g*-2?
True
Suppose -7*m + 10 = 17. Does 41 divide (-188)/8*42/(-3) + m?
True
Let u be 12 - -2 - (-1 + 6). Suppose 11*k = u*k + 196. Does 7 divide k?
True
Let u = 9349 - 8893. Does 24 divide u?
True
Let t = 10417 - 5829. Is 37 a factor of t?
True
Let o = 56 - 58. Let g be (-4)/14*(o - 5). Suppose -g*v = v - 45. Does 3 divide v?
True
Suppose 0 = 3*q - 3*n - 120, -3*n + 129 = 3*q + 3. Let t be (-1)/(-2 + 77/38). Let d = t + q. Is d even?
False
Is 26 a factor of ((-205)/(-10) + 7)/(4/1416)?
False
Let d = 16346 + -11646. Is 94 a factor of d?
True
Let s = 11326 - 6871. Is 55 a factor of s?
True
Does 3 divide 18/18 - (-150 + 0)?
False
Let u = 407 - -323. Suppose -y = 4*y - u. Let x = y + -70. Does 27 divide x?
False
Suppose 11*m = 2*m - 783. Let f = -29 - m. Suppose -5*x - 2*n = -x - f, x + 2*n = 16. Is x a multiple of 5?
False
Let q(t) = 6*t**2 - 9*t - 10. Let c be q(-1). Suppose -c*s - 250 = -2290. Does 12 divide s?
True
Let n(r) = 92*r + 11. Let m be n(3). Let k = 561 - m. Is k a multiple of 69?
False
Suppose -337*v + 1007646 = -837793 + 227502. Is 26 a factor of v?
False
Suppose 5*v + 2*k = -k - 12, 0 = -5*v + 3*k + 12. Suppose v*p - s - 3 = -p, -3*s + 6 = 0. Suppose -10*h + p*h + 140 = 0. Does 15 divide h?
False
Suppose 2*r + r - 111 = 3*m, -m + 215 = 5*r. Let g be (4/(-5))/(r/(-525)). Does 6 divide (-3*20/(-2))/(5/g)?
True
Suppose k - 5*w + 332 = -0*w, 5*k - 3*w = -1550. Let z = 70 - k. Is 28 a factor of z?
False
Let i = 1836 - 1494. Let h(x) = x**2 - 8*x + 4. Let t be h(8). Suppose 7*a - i = t*a. Is a a multiple of 19?
True
Let x be (12/18)/(4/4128). Let c = x + -648. Is c a multiple of 11?
False
Let w(o) = -4*o**3 - 6*o**2 - 21*o - 93. Is 93 a factor of w(-10)?
False
Let l(b) be the first derivative of -7*b**2/2 + 13*b - 165. Is l(-15) a multiple of 39?
False
Let j = -351 - -196. Let p = j + 217. Suppose 0*c + p = c + 2*s, -c + 3*s = -67. Is 29 a factor of c?
False
Suppose -47*t + 50*t - 585 = 0. Let u = t + -131. Suppose -5*g = -3*r + 265, 3*g - u = -r + 29. Is 30 a factor of r?
True
Let d(z) = -z**3 - 3*z**2 - 6*z - 20. Let t be d(-6). Suppose t*k = 118*k + 4332. Does 43 divide k?
False
Suppose -7*j - 23456 = -10*j + 2*f, 5*j -