a factor of o?
False
Suppose -952 = -8*z - 6*z. Suppose c - 282 = -z. Is 19 a factor of c?
False
Let b = 69 - 68. Suppose 0 = 6*f - 9 - 15. Does 22 divide (15/f)/((-8)/(-384)*b)?
False
Let x = 429 - -9101. Is x a multiple of 10?
True
Suppose -6*w + 0 = -12. Suppose w*z = 2*p + 3672, 0 = 3*z - 6*z + 5*p + 5512. Suppose z = 12*h - 326. Does 15 divide h?
True
Let t(r) = -r**2 + 12*r - 30. Let w be t(7). Suppose 4*s - 2382 = -2*p, w*p - 3*s - 4811 - 1196 = 0. Is p a multiple of 21?
False
Let g(q) = 36*q - 142. Let c be g(4). Suppose 0 = -4*x + c*x + 252. Does 42 divide x?
True
Suppose -14580 = -2*q - p, -4*p = 5*q - 17842 - 18608. Does 30 divide q?
True
Is 21 a factor of (5607/178)/(1 - (-122)/(-128))?
True
Let r(x) = -5*x + 1184 - 1075 + x. Does 27 divide r(-20)?
True
Let y = -6605 + 9782. Suppose 0 = 8*b + 1017 - y. Is 9 a factor of b?
True
Suppose 0 = -i - 4, -3 + 5 = 2*w + 2*i. Suppose -3*u + 2814 = w*z, 519 = 4*z - 4*u - 1745. Is 12 a factor of z?
True
Suppose 2*f + 243*j - 239*j = 11780, j + 23587 = 4*f. Does 29 divide f?
False
Is (-504900)/(-84) + (-2)/(-7) - 4 a multiple of 19?
False
Let j be ((-9)/4)/(1/(-8088)*9). Suppose 4*c + 2538 = 5*t, -10*c + j = 4*t - 9*c. Is 31 a factor of t?
False
Suppose 607 = 5*q - 1223. Does 6 divide q?
True
Suppose 1033 = -4*i - m + 3838, 3*i = 2*m + 2090. Let p = -130 + i. Is 15 a factor of p?
True
Suppose -4 = 2*r - 2*z, -26 = -4*r - 2*z - 10. Is 3 a factor of (-35644)/(-114) - r/3?
True
Let q(w) = 13*w - 37*w + w**3 - 829 + 911 - 17*w**2. Is q(20) a multiple of 62?
False
Suppose 2*k + a - 49 = 0, 0 = -5*k - 3*a - a + 121. Let o(u) = 2*u**2 - 34*u - 84. Does 4 divide o(k)?
True
Let n be (-1720)/(-170) + (-4)/34. Let j(t) = 17 + 3 + 33 - n*t. Is 27 a factor of j(-11)?
False
Let w = 911 + -145. Let t = w + -316. Is t a multiple of 30?
True
Let c be (2/3 - 0)/((-42)/(-209601)). Suppose 0 = -7*w + 873 + c. Does 12 divide w?
True
Let s(g) be the first derivative of -g**2 - 11*g + 18. Let z be s(15). Let w = z + 53. Is w even?
True
Let w(j) = -12*j + 72. Let y be w(7). Is 35 a factor of ((-2)/(-12) - 415/y)*4?
False
Suppose 10 + 6 = -5*i + h, -i = 4*h - 1. Let g(q) = 0*q**3 + 3 - 5 - 3*q**3 + 9*q + 4*q**2. Is g(i) a multiple of 13?
False
Let q(l) = -l**3 + 11 + 7 - 6 - 10*l**2 - 12*l. Let u = -39 - -29. Is q(u) a multiple of 29?
False
Suppose 19 = i + 10. Suppose i*z = 321 + 237. Does 9 divide z?
False
Is (-666996)/(-58) - 90/(-1305) a multiple of 100?
True
Let n(i) = -2014*i**2 - 8*i - 10. Let a be n(-1). Does 42 divide (a/(-392))/((-2)/(-196))?
True
Suppose 2*n - 1 - 7 = 0. Suppose n*a + 5*u = 2*a + 25, -a - 3*u = -15. Is -35*((1 - 0) + a)*-2 a multiple of 11?
False
Let w = 44 + -40. Suppose w*q - 3*q - 340 = 0. Suppose 4*h + h - q = 0. Is 17 a factor of h?
True
Suppose -35*t + 49462 = -28868. Is 31 a factor of t?
False
Let k(q) = 21*q**2 - 168*q + 3555. Does 40 divide k(23)?
True
Suppose -10*t = -6*t + g - 18, -30 = -5*t - 5*g. Let f(m) = 6*m**3 - 9*m**2 - 6*m + 12. Is f(t) a multiple of 38?
True
Let j(p) = -2*p**3 + 5*p**2 + 7*p + 21. Let k be j(-10). Let r = k - 1380. Does 51 divide r?
True
Let f(l) be the first derivative of -10*l**3/3 - l**2/2 - l - 21. Let j be f(-1). Does 7 divide (-8)/10 - (-314)/j*-2?
False
Let l(k) = -3*k + 14. Let t(q) = -q + 1. Let v(n) = l(n) - 4*t(n). Let f be v(-6). Suppose f*d - 164 = -2*w, -192 = -4*d - d + 4*w. Is 8 a factor of d?
True
Let r(a) = -a**3 + 10*a**2 + 12*a - 16. Let o be r(8). Suppose -214*k = -o*k - 1668. Is 29 a factor of k?
False
Let u(c) = -48*c + 72. Let i = 703 + -714. Is 6 a factor of u(i)?
True
Suppose 3*m - 5*q = 280, 0*q + 5*q = -4*m + 385. Suppose 12*h = 7*h + m. Suppose 11*f - h = 10*f. Is f a multiple of 4?
False
Suppose 3*y + 11*y = 784. Suppose 53*h - 6 = y*h. Is 37 a factor of (1 + h)*(7 + -50)?
False
Let j(x) = -77*x**3 + x**2 - 5*x. Let p be j(-2). Is 11 a factor of 664080/p + 4/(-42)?
False
Suppose -29818 = -4*w - 2*l, 2*l - 37271 = 2299*w - 2304*w. Is 15 a factor of w?
False
Suppose -55*j + 377090 = -11*j - 9*j. Is j a multiple of 214?
False
Suppose 46*y + 4147 = 134925. Does 73 divide y?
False
Suppose 0 = -2*y + 230 - 240, -y - 18023 = -2*t. Is 77 a factor of t?
True
Let z be (-1 - 83) + -3 + 5 + -3. Is 4 a factor of z/595 - ((-246)/7 + 0)?
False
Let z(m) = 104 - 1236*m + 634*m + 734*m. Does 10 divide z(3)?
True
Let r(s) = 17*s - 23. Let p be r(30). Let l = -449 + p. Is 19 a factor of l?
True
Let s(a) = -a**3 + 8*a**2 + 6. Let j be (-3)/(((-1)/15)/(3/(-9))). Let x = -9 - j. Is 26 a factor of s(x)?
True
Let c = 13778 - 7998. Does 17 divide c?
True
Let f = 218 - 216. Suppose -c + 3*c = -f*z + 426, 4*z + c = 861. Does 18 divide z?
True
Is 199 a factor of (2244/8)/((-291)/(-38606))?
True
Let v(l) = -211*l + 32. Let y be v(-2). Let n = 688 - y. Does 26 divide n?
True
Let q be (-179)/(-1) - -4 - -5. Suppose -17 + q = 9*d. Is d a multiple of 5?
False
Let f = 5396 - 5260. Is 34 a factor of f?
True
Let x(w) = 28*w - 29. Let d be x(13). Let v = d - 160. Does 25 divide v?
True
Let k(d) = 2*d**2 - 6*d + 6. Let j be k(2). Suppose -f = 3*f - 72. Suppose i - j = y - 2*y, 0 = -y - 5*i - f. Is 2 a factor of y?
False
Let s(h) = 9*h**2 + 4*h + 4. Let l be s(-5). Suppose l + 40 = t. Suppose -5*r + t = 59. Is r a multiple of 8?
False
Suppose 2*k + 2*g = -0*g, -2*k = 4*g - 4. Let u be (3 - 5)/(1 + k). Suppose 5*f = -5*p + 475, -166 = -u*p + 2*f + 40. Does 28 divide p?
False
Let f(k) be the first derivative of -3*k**2 + 7*k + 6*k**2 + 13 - 12*k**2. Is f(-5) a multiple of 39?
False
Let r be 5/(3 - (-4)/(-8)). Suppose -4*s = -m - r - 5, -4*m + 57 = s. Is m + -1 + 3 - -1 a multiple of 16?
True
Let w be -3*(-4)/12*(2 + 11). Suppose 294 = u + w*u. Suppose 69 = 5*q - u. Is q a multiple of 4?
False
Let q(a) = a**3 + 15*a**2 - 13*a - 15. Let m be q(-8). Let r = 128 + m. Does 47 divide r?
False
Let v = -30 - 3. Let f = v - -922. Suppose f + 471 = 10*o. Does 17 divide o?
True
Is (20/9*24/(-4))/((-6)/126) a multiple of 10?
True
Suppose -428*k + 427*k + 128380 = 2*o, 0 = 3*k + 6. Is o a multiple of 58?
False
Let s(x) = -3*x**3 - 10*x**2 - 6*x - 7. Let k be s(-3). Suppose -j = -k*d + 837, 2*d + 2*j = 274 + 548. Is d a multiple of 32?
True
Suppose l + 4*j = 6132, 2*l - 9873 = -6*j + 2403. Is 76 a factor of l?
True
Let q(j) = 20*j + 623. Is q(-29) a multiple of 2?
False
Suppose -15*s + 5651 + 9334 = 0. Is 14 a factor of s?
False
Suppose 36*s = 42*s. Suppose -5*q - 151 = p, -5*q + q = -5*p + 115. Does 7 divide s - ((-2 - 0) + 0) - q?
False
Let v be (-5 + 1)*6/((-48)/92). Suppose -v*w = -25*w - 1722. Does 4 divide w?
False
Suppose -82323 - 54280 = -113*s - 4619. Does 3 divide s?
False
Let d(z) = z**2 - 8*z. Let t be d(5). Let o be 60*-10*5/t. Let f = -120 + o. Is f a multiple of 11?
False
Let t(z) = 114*z**3 + 2*z**2 - 3*z + 2. Let m(i) = i**2 + 2*i - 7. Let r be m(-4). Let f be t(r). Let b = -75 + f. Does 5 divide b?
True
Let q(h) = -h**3 - 16*h**2 + 36*h + 19. Let v be q(-18). Suppose 0 = -v*r + 290 + 2446. Is r a multiple of 16?
True
Let x = 1442 - 632. Is 9 a factor of x?
True
Let u(l) = -59*l - 116. Does 7 divide u(-6)?
True
Suppose 12*i - 382 = 1670. Let b = i + 15. Is b a multiple of 16?
False
Let q be 1/((-5)/10*-1). Suppose q*h = 0, x + 0*x + 4*h = 84. Is x a multiple of 25?
False
Let v(j) = 8*j**3 + 62*j**3 + 3*j - 10*j**3 - 3. Let x be v(1). Suppose y = -3*s + x, 3*s = -5*y + 1 + 59. Is s a multiple of 5?
True
Let y(b) = -6*b + 22. Let x be y(-5). Let h(t) = x*t**2 - 55*t**2 + 5*t - 31*t. Is h(-7) a multiple of 7?
True
Suppose 2657*k + 3473736 = 2744*k. Does 184 divide k?
True
Suppose -6*m - 3216 = -4*t, -m = -6*t + t + 4033. Let d = t - 304. Does 37 divide d?
False
Let d(j) be the third derivative of j**4/12 - 13*j**3/3 - 16*j**2. Let i = 40 - 23. Is 4 a factor of d(i)?
True
Let x = 679 - 693. Let i be (3 - -2)/((-3)/3). Does 8 divide ((-6)/i)/(x/(-840))?
True
Suppose -47*c = -48*c + 11112. Is c a multiple of 11?
False
Is 5 a factor of -1 - (8/2 - (43 + 14562))?
True
Let m = 2113 + -1255. Suppose -m*x + 855*x + 1551 = 0. Is x a multiple of 14?
False
Suppose 8022 = -26*f + 27678. Is f a multiple of 14?
True
Suppose 58*j - 8044 = 2222. Does 3 divide j?
True
Let g = -1707 - -2529. Let n = -546 + g. Is n a multiple of 23?
True
Suppose 9*n = 216 + 54. Is 107 + n/((-24)/4