tor of p?
True
Let l be (-32)/(-208) + (-776)/(-26). Let a = l + 198. Does 19 divide a?
True
Let g(x) = -x + 5. Let v be (-3 - (-56)/20)*-15. Let n be g(v). Suppose 0 = -2*j + 8, -n*y + 278 = -0*y + 4*j. Is 15 a factor of y?
False
Let g = 3584 + -3059. Is 88 a factor of g?
False
Let k(c) = -c**2 - 8*c + 6. Let o be k(-7). Suppose -2*a + 3*z + 23 = 19, -a + 5*z = -2. Suppose p + a*q = 33 + o, -4*p - q = -170. Does 14 divide p?
True
Is (2*(-4516)/20)/(9/((-1395)/2)) a multiple of 16?
False
Let c(x) = -5*x**2 - 1. Let m be c(-1). Let q be (1905/(-5))/(m/2). Let b = -40 + q. Is 22 a factor of b?
False
Suppose -160 - 32 = 6*g. Is 4 - 9 - 18/4*g a multiple of 4?
False
Let p be ((-27)/(-2))/(18/456). Suppose 0 = 80*c - 83*c - p. Let i = 241 + c. Is 47 a factor of i?
False
Let l(t) = 2*t**2 + 10*t - 31. Let b be l(9). Suppose 5*j - 3*h = b, h - 84 = 2*j - 4*j. Is 43 a factor of j?
True
Let d = -18 + 36. Let j be 6/d - ((-100)/(-3) + -2). Let o = -6 - j. Does 5 divide o?
True
Let m(g) = 69*g - 27. Let h(u) = -u**2 - 13*u + 171. Let q be h(8). Is 45 a factor of m(q)?
True
Let o(r) = -r**2 + 11*r + 8. Let s be o(10). Is 976/s + (-4)/18 even?
True
Let g be 532/16 - 10/8. Is 33 a factor of g/(2/12*(-4 + 5))?
False
Suppose 21 = 5*a + 3*h, h = 4*a - 4*h - 39. Let d be (-1 - a)/(-1*(-7)/91). Let w = d + 103. Is 2 a factor of w?
True
Let y(g) = -317*g + 287. Does 25 divide y(-14)?
True
Suppose -19*n = -16*n + 2*w - 2046, 0 = -n - 3*w + 668. Is 7 a factor of n?
True
Suppose s = -o + 4843, 17*s - 9693 = -2*o + 22*s. Is 12 a factor of o?
False
Let s = 16761 - 15830. Is 13 a factor of s?
False
Suppose 3 = -86*p + 83*p. Let k be 24*9*p*(-3)/6. Suppose 0 = 3*g - 2*g - k. Does 18 divide g?
True
Let h be (-4)/(6 + (-154)/21). Let v(r) = 292*r - 32. Is 31 a factor of v(h)?
False
Suppose -21*y + 32080 = -4*y + 3*y. Is y a multiple of 54?
False
Let d be -56*(-3)/(4 - -2). Let v be (-3)/(-4)*d/(-7). Is 17 a factor of -4*2/(v + 268/92)?
False
Suppose -18 = -5*k + 4*v - 295, -v = 3*k + 156. Let s = 52 + k. Is (-3 + s)/(44/(-1078)) a multiple of 16?
False
Let r be -1 - 9/((-18)/8). Suppose 0 = -r*f + y - 3*y + 19, 0 = -3*f + 4*y - 11. Suppose -a + 15 = v - f*v, v = a - 13. Does 3 divide a?
False
Let i(p) = 13*p**2 + 2*p - 2. Suppose 0*y + 5*o = 5*y, 0 = -5*o + 5. Let w be i(y). Let z = w + 39. Is z a multiple of 13?
True
Let v(n) = 119*n**2 - 5*n - 10. Let d be v(5). Suppose -d = -2*u - 5*u. Suppose -i = -5*i + u. Does 35 divide i?
True
Let w(b) = b**3 - 9*b**2 - 16*b + 4. Suppose -5 - 36 = -4*o + 5*y, 5*o - 55 = 5*y. Does 24 divide w(o)?
False
Suppose 5*o + 0*b - 2*b + 82 = 0, 4*o + 2*b + 80 = 0. Let k be (-175)/63 - (-4)/o. Is (21/4)/(k/(-36)) a multiple of 12?
False
Let f = 675 - -4040. Is f a multiple of 5?
True
Suppose 2*x - 295 = 3*s, 0 = -2*x - s - 2*s + 265. Suppose -x + 347 = 3*u. Is u a multiple of 3?
True
Suppose 343080 = 36266*s - 36254*s. Is s a multiple of 16?
False
Let q = -961 - -3361. Is q a multiple of 80?
True
Suppose 310364 = 10*k + 111324. Is k a multiple of 7?
False
Let h = 40 - 61. Let c = 28 + h. Suppose 504 = -0*v + c*v. Is 16 a factor of v?
False
Is 82 a factor of (-9)/42 + -299637*(-13)/546?
True
Let q be ((-20)/6)/(2/(-6)). Let g = -433 + 420. Is 7 a factor of ((-2)/q)/(g/455)?
True
Let a be (-972)/(-63) + (-6)/14. Suppose 0 = -80*t + 82*t - 120. Is t/a - 188*(-1)/1 a multiple of 48?
True
Let h(s) = -s**2 - 20*s - 22. Let g be h(-9). Let z be (-3)/((-63)/6) + (-407)/g. Let x(t) = -25*t - 17. Is x(z) a multiple of 54?
True
Suppose 2313 = -51*n + 54*n. Suppose 4*q - n = 5*d, -4*d = -3*q - 5*d + 602. Is 7 a factor of q?
False
Let t be (12/9 + (-17)/3)*-6. Suppose 6*y + t = 26. Let s(a) = -a**3 - 2*a**2 + 2*a + 44. Is 11 a factor of s(y)?
True
Let d(w) = 3*w. Let c(g) = -7*g. Let m(j) = -2*c(j) - 5*d(j). Let n(k) = k + 9. Let a(y) = -5*m(y) - n(y). Does 7 divide a(11)?
True
Suppose -4*v + 5*u = -13, v - u - u = 7. Let y = v - -7. Suppose 437 = 3*n + z, -2*z = y*n - 7*z - 551. Is 48 a factor of n?
True
Let j(o) = 3*o**2 - 8*o - 14. Let u be j(8). Let y be -44 - -46 - (1 + -2). Suppose 3*s - 6*s + 5*x = -314, -y*x + u = s. Is s a multiple of 9?
True
Suppose -2*g - 3*g + w = -14764, -2*w = g - 2944. Suppose -5*t - 5*o + 2*o = -g, 5*o + 2332 = 4*t. Is 60 a factor of t?
False
Suppose -43*h + 2*j + 8734 = -40*h, -4*j = 5*h - 14564. Is h a multiple of 25?
False
Suppose -343 = -3*r + 5*h, -3*r + 429 = r - h. Let k = -50 + r. Suppose 2*z - 3*t - 2 = 124, z = 5*t + k. Is z a multiple of 22?
True
Let g be 4 + (4 + -18 - -9). Does 17 divide (g/((-6)/4))/((-2)/(-357))?
True
Suppose 0 = 4*x - 2*x - 20. Suppose 5*b = 90 + x. Suppose b + 46 = 3*k. Does 22 divide k?
True
Suppose -o = -2*d - 8, 2*o + 8 - 27 = 5*d. Is (-4 - -597) + 8*1/o a multiple of 47?
False
Let h = -35 - -119. Let d = h + -82. Suppose 58 = 4*w - w + 4*y, -d*w + 2*y = -34. Is w a multiple of 2?
True
Let q(f) be the second derivative of 11/2*f**2 + 5/6*f**3 + 6*f + 0. Does 31 divide q(4)?
True
Let q = 6666 + -4520. Is 58 a factor of q?
True
Suppose 13*j + 6*j - 32*j = -387790. Does 38 divide j?
True
Suppose -t + 4*o + 34 = 0, -4*o - 17 = -2*t + 43. Let h(u) = -u**3 + 29*u**2 - 63*u + 10. Is h(t) a multiple of 19?
False
Let b(x) = 339*x**2 - 1. Let t be b(2). Suppose i = -3*q + t, 2*i = 2*q - 0*q - 898. Is 15 a factor of q?
False
Suppose -4*m + 3*i = -21, 5*m = 2*m - 2*i + 3. Suppose -3*h + 27 = m*l + 2*l, -3*h + 15 = 3*l. Suppose 2*s = t - l*t + 346, -842 = -5*s - t. Does 24 divide s?
True
Let t = 123 - 106. Let d be t/(-3) + 2 + 8/(-24). Is (-7)/((d/(-120))/(-1)) a multiple of 10?
True
Suppose 4*g + 4*r = 520, 4*g - 259 - 289 = 3*r. Let t = g + -90. Does 44 divide t?
True
Let c = 508 - -2485. Does 11 divide c?
False
Suppose 337 + 191 = n + 5*g, n - 5*g = 498. Suppose n = 4*l - 383. Does 56 divide l?
True
Let o = -127 + 129. Suppose 346 = 3*k - 5*n, o*k - 118 = k - n. Is 7 a factor of k?
False
Suppose -18*u + 18 = -54. Suppose -4*a + 741 = 5*p, u*p - 5*p + 1 = 0. Does 8 divide a?
True
Let p(k) = -1061*k - 369. Does 14 divide p(-3)?
True
Suppose 5*h + 3*q = 9, 59*q - 54*q - 15 = 0. Is h/((-32)/4) - -239 a multiple of 19?
False
Let t = -2 + -23. Let c = t - -30. Suppose 31 = u - c*g + 7, 5*g = -u + 54. Does 13 divide u?
True
Let d = 6101 + -3395. Is d a multiple of 3?
True
Suppose 0 = 3*r - 2 - 22. Let j be (-1 - (-332)/r)*4/6. Let v = 144 - j. Is 9 a factor of v?
True
Suppose 5*g + 4*t - 56430 = 0, 0 = 948*t - 951*t + 15. Is 24 a factor of g?
False
Suppose 2*j - 576 = -5*x, -2*j = 2*j + 5*x - 1132. Suppose -4*v + j = 2*p, 5*p + 53 = -0*v + v. Is 17 a factor of v?
True
Let v = -205 + 457. Is v a multiple of 63?
True
Let x = 72 - 74. Let a = x - -30. Is 189/a*(-16)/(-6) a multiple of 9?
True
Suppose 20*c - m = 16*c + 142218, -m = -c + 35556. Does 16 divide c?
False
Let y(d) = 5*d**3 - 47*d**2 + 19*d - 8. Let j be y(9). Let x be 413/(-28) + (-1)/4. Is x*((j - (1 + 1)) + -2) a multiple of 23?
False
Is 121 a factor of (-2 - 0 - 9055/10)/((-2)/4)?
True
Let w = -551 - -871. Is 10 a factor of w?
True
Suppose -6*u = -3*u + 264. Is -1*6/4*u a multiple of 44?
True
Let h = 11990 - 10486. Is h a multiple of 47?
True
Suppose -342*c + 363 = -345*c. Let r = c - -556. Does 7 divide r?
False
Let q(o) = 12301*o**2 + 45*o + 44. Does 75 divide q(-1)?
True
Suppose -34*w + 82 = -35*w. Let o be w + 0/((-25)/(-5)). Let u = -70 - o. Is u a multiple of 3?
True
Let v(q) = q**2 - 31*q + 34. Let b be v(30). Let i(n) = -2*n**2 + 11. Let z be i(b). Is 11 a factor of 3/(-9) + (-3640)/z?
False
Suppose 33*g - 3640 = -15*g + 8*g. Does 7 divide g?
True
Let b be (-49 - -44) + (11 - 1). Suppose -2*v = -2*u - b*v + 150, 3*v = -u + 75. Is 15 a factor of u?
True
Suppose 1171 = -11*t + 8*t - 4*i, 0 = -t - 4*i - 401. Let w = t - -781. Does 22 divide w?
True
Let d = 382 + -382. Suppose 19*z - 162 - 1776 = d. Is z a multiple of 12?
False
Let z(k) be the third derivative of -k**7/2520 + 2*k**6/45 - k**5/6 + 11*k**4/8 - 35*k**2. Let w(m) be the second derivative of z(m). Is 8 a factor of w(30)?
True
Let c be 14/175 - 27/25. Does 14 divide (77/(-11) - c)/(3/(-98))?
True
Suppose 5*j = 5*p - 25, 4*j + 5*p + 4 = 29. Suppose j = -3*o + 51 + 27. Is o a multiple of 13?
True
Let b(y) = -2*y**2 + 22*y - 2. Let o be b(11). Is (-90)/25*35/o a multiple of 