2 - (-30)/12. Suppose 0 = r - b, -53*p - 2*r = -52*p - 47. Does 2 divide p?
False
Let p(m) = 54*m**2 - 117*m - 1269. Is 14 a factor of p(-11)?
True
Let p(r) = r**3 + 4*r**2 + r - 2. Let m = 4 - 18. Let i = m + 17. Is 8 a factor of p(i)?
True
Suppose 5*g + 34719 = 33891 + 91708. Is g a multiple of 73?
False
Let k = -8037 - -16428. Is k a multiple of 26?
False
Let f(q) = 16422*q**2 + 7*q - 13. Is f(-1) a multiple of 89?
False
Suppose -3*j - 4*n + 8596 = 0, 1638*j - 3*n + 2862 = 1639*j. Is j a multiple of 88?
False
Suppose 314*m = 236*m + 990600. Is m a multiple of 19?
False
Suppose 3*s - 2*t = 7199 + 10849, -3*s + 9*t = -18006. Is s a multiple of 28?
True
Suppose -39*b = -37*b - 840. Suppose -4*u + 7*u = n + 260, -b = -5*u - 5*n. Does 10 divide u?
False
Let k be (-12)/78 - 1044/(-26). Suppose -22*o - 6156 = -k*o. Is 32 a factor of o?
False
Let u be 11/(-4)*(-3 + -5). Let h(m) = m**2 - 10*m - 53. Let j be h(u). Suppose -4*y + 137 + j = 0. Is 14 a factor of y?
False
Is 15 a factor of 2766/((189/(-49))/(-9)) - (-12)/(-3)?
True
Suppose -9*n + 2*o + 655 = -14*n, -2*n + 4*o = 262. Is 17 a factor of 0 - (-7 + 6 + n)?
False
Let y = 757 - 1876. Let r = -759 - y. Is 12 a factor of r?
True
Let d be 32/((-255)/(-125) + -2). Suppose -d = 39*a - 43*a. Is a a multiple of 8?
True
Let r = 11153 + -6563. Does 85 divide r?
True
Suppose 8*l + 512 - 600 = 0. Let r(o) = -o**3 + 15*o**2 + 15*o - 10. Is r(l) a multiple of 12?
False
Suppose -2*p + 3164 - 404 = 0. Let o = p - 693. Is o a multiple of 14?
False
Let r(n) = n**3 - 16*n**2 + 18. Let b(h) = -3*h**3 - 2*h**2. Let k be b(-2). Let x be r(k). Let v = 6 + x. Is v a multiple of 24?
True
Let r(m) = 144*m**2 + 88*m + 958. Is r(-9) a multiple of 13?
True
Suppose -1682 = -5*i - 2*h + h, -999 = -3*i - 4*h. Suppose y + 4*r - i = 0, -2*r = -y + 3*r + 328. Let u = 470 - y. Is u a multiple of 32?
False
Suppose -m + 4*q = -4725, -5*m = -m + q - 18815. Is m a multiple of 39?
False
Let y = -14773 - -27863. Is 35 a factor of y?
True
Is 37 a factor of 144/(11 - 3)*7*159?
False
Is 176 a factor of ((-240)/(-320))/((-15)/(-494620))?
False
Suppose -2*y + 30 = -50. Suppose -3*r + 9 = 0, 2*a + 5*r - y = 35. Does 9 divide a?
False
Let d be 3 + (-5)/1 - 0. Let z(m) = -5*m**3 - m**2 + m + 3. Let n be z(d). Is 12 a factor of (3 - (-4 - -3)) + n?
False
Let x = 47462 - 28000. Is x a multiple of 37?
True
Let i(b) be the first derivative of 1/2*b**4 + 9*b - 28 + 7/2*b**2 - 7/3*b**3. Is 4 a factor of i(4)?
False
Suppose -9*r + 18*r = 41148. Does 37 divide r?
False
Is 6/(4/(-723)*(847/(-56) - -14)) a multiple of 24?
False
Suppose 0 = 78*m - 82*m - 3*n + 45, -37 = -3*m + n. Suppose -193 = 2*u - 713. Suppose -m*x + u = -8*x. Does 23 divide x?
False
Suppose 4*d + 1114 = 4*w + 5*d, -2*d = -w + 274. Suppose s = -5*l + 92, -5*s - 2*l = -s - w. Suppose -n + s = 2*t, 5 = -0*n + 5*n. Is 6 a factor of t?
False
Suppose 0 = -4*w - y + 3*y + 1574, 390 = w - 4*y. Let m = w + -309. Is m a multiple of 7?
False
Let p(z) = 2415*z + 7. Let u(q) = -2*q**2 - 8*q - 5. Let f be u(-3). Let g be p(f). Suppose 6*v + g = 20*v. Does 16 divide v?
False
Let b be -3 + -2188 - -1*(2 - 6). Let k = b - -6687. Is 11 a factor of k/34 + 6/(-51)?
True
Let p = -54750 + 83820. Is p a multiple of 90?
True
Suppose -280*o - 1152 = -277*o. Is 7 - 5 - (o + 2) a multiple of 4?
True
Let b(s) = -s**2 + 15*s + 16. Let p be b(16). Suppose p = 2*y - 2*u - u - 231, -5*y - u + 603 = 0. Is y a multiple of 13?
False
Let b = 108 - 104. Suppose 13 - 1 = b*u, -67 = -m + u. Let c = m + -53. Does 10 divide c?
False
Let m = -133 - -126. Let t be m/(70/(-54)) - (-4)/(-10). Suppose 4*x + 3*v = -0*x + 217, -x = t*v - 33. Does 29 divide x?
True
Let a(b) = b**2 + 15*b + 2. Let w be a(-15). Suppose 2*g = 0, w*g - 139 + 55 = 3*q. Does 10 divide ((-144)/(-14) - q/(-98)) + 2?
False
Let m be 2 - 2 - 6*-1. Suppose 5*k = m*k - 29. Is k a multiple of 3?
False
Let l(i) = -35*i + 2. Let s(g) = 105*g - 5. Let t(a) = 11*l(a) + 4*s(a). Is t(2) a multiple of 18?
True
Let c(m) = -m**3 - 18*m**2 - 39*m - 978. Does 15 divide c(-22)?
False
Let t = 65 + -36. Let b = t + -29. Suppose 4*u + 4*p = 436, 4*u - 3*p + b*p = 422. Is u a multiple of 21?
False
Let h = -79 - -431. Suppose 0 = 5*x - h - 563. Is 61 a factor of x?
True
Let l = -5677 - -10645. Does 4 divide l?
True
Suppose 3 = 3*o + 12. Let p(a) = -2*a**2 - 6*a + 3. Let t be p(o). Is 7 a factor of 2*1*t*294/18?
True
Suppose -2*w + 352 = -2*h, -10 = 3*h - h. Suppose -3*n + 0*n + w = 3*o, 4*n - o - 228 = 0. Let c = n - 43. Does 3 divide c?
False
Let r = 8324 + -7680. Is r a multiple of 7?
True
Suppose 0 = n + 18 + 71. Let p be 12/78 + -2 + n/(-13). Suppose -8*w = -p*w - 36. Is 6 a factor of w?
True
Let a(l) = -41*l**2 - 6*l - 15. Let g be a(-5). Let q = g - -1504. Does 26 divide q?
True
Suppose 6*n + 8 + 28 = 0. Let r be -2*2/n + 6735/9. Suppose 12*p - r = 5*p. Is p a multiple of 14?
False
Suppose -y = -3*q + 11, 5*q - 3*y - 25 = 2*y. Let o be -4 - -4 - 178 - q. Let i = o - -253. Is 18 a factor of i?
True
Suppose 133 - 15 = r. Suppose 607 = 3*i - 3*f + r, -4*i + 5*f = -655. Does 34 divide i?
False
Let b(p) = 2*p**3 - 9*p**2 - 10*p + 22. Let h be b(5). Is 25 a factor of h + (-148)/(-52) - 30231/(-39)?
True
Suppose 0 = 2*f - 64 + 12. Does 4 divide f/(-117) - 1518/(-27)?
True
Let q(i) = 2*i**3 + 14*i**2 - 27*i - 3. Let v(t) = t**3 + 6*t**2 - 14*t - 1. Let n(o) = 3*q(o) - 5*v(o). Is n(-8) a multiple of 17?
True
Let z(d) = 90*d**2 + d - 21. Let k be z(3). Suppose -2*n + 5*v + 111 = -417, -3*n + k = -2*v. Does 21 divide n?
False
Let d(s) = 313*s - 3048. Is d(42) a multiple of 102?
True
Is 14803293/772 + (-2)/8 a multiple of 164?
False
Suppose o = m, -14*m = -16*m - o. Suppose m = 252*i - 260*i + 1728. Does 4 divide i?
True
Does 11 divide 26118 + (-1035)/230*(-2)/3?
False
Let j = 22334 + -11131. Suppose 52*h - j = 11261. Is h a multiple of 54?
True
Suppose -5*v + 5*l + 45 = 0, 30 = 4*v - 2*v - 5*l. Is 14 a factor of 56*(9/15)/(2/v)?
True
Let x(t) be the second derivative of -5*t**3/6 - 15*t**2/2 - 59*t + 2. Suppose 5*j - 4*z + 56 = 14, 33 = -3*j + 5*z. Is x(j) a multiple of 3?
True
Let z = 98 + 546. Is 17 a factor of (-4)/((-1936)/z + 3)?
False
Let r(g) = -g**2 - 9*g - 9. Let u be r(-6). Suppose u*b = 13*b - 48. Does 3 divide 202/17 - b/(-102)?
True
Suppose d - 31 = 23. Suppose -36*z = -d*z + 2448. Is z a multiple of 8?
True
Is 20 a factor of 7500/((-12)/(-6))*(-30)/(-20)?
False
Suppose -3*p + 2*u = -166, -212 = -5*p + p + 5*u. Suppose 0 = 9*f - 23 - 13. Suppose -f*x + p + 42 = 0. Is x a multiple of 3?
False
Suppose 5*n - 2514 = -o, 3*o - 5*n - 10869 = -3227. Suppose o = -15*t + 8629. Is 58 a factor of t?
True
Suppose 2*b - 15 = -3*y, 0 = b - 6*b - 2*y + 21. Suppose -4*m + 838 = a, -b*m = -6*m + 5*a + 640. Is m a multiple of 30?
True
Let c = -15796 - -16042. Is c a multiple of 11?
False
Let j(q) be the first derivative of -13*q**2/2 - 16*q + 97. Let f = -9 - -1. Does 22 divide j(f)?
True
Let c(x) = x + 3. Let r(f) = -845*f - 59. Let l(j) = -4*c(j) - r(j). Is 37 a factor of l(1)?
True
Let f(t) = -t**3 - 29*t**2 + 62*t - 207. Is f(-33) a multiple of 14?
False
Suppose -12 = -4*t - 0*d + 4*d, -3*d = 0. Suppose 2*u = -6, t*q = 6*q + 4*u - 312. Is 9 a factor of q?
True
Is 3 a factor of 18/9*97832/14?
False
Let x(b) = -b**2 - 15*b - 10. Let p be x(-15). Let w = p + 25. Let k = -11 + w. Is k a multiple of 2?
True
Let v = -60030 - -92190. Does 20 divide v?
True
Let d = -1002 - -5842. Is 110 a factor of d?
True
Suppose -22*k + 3022 = -2676. Is k a multiple of 87?
False
Is ((16/(-96))/((-1)/(-2)))/((-9)/280206) a multiple of 173?
False
Let z(h) = -27*h + 7. Let a be z(-10). Suppose -a*f = -286*f + 1332. Is f a multiple of 50?
False
Suppose 932*i = 928*i + 16. Suppose 0*d + 1470 = 5*x - 5*d, 0 = i*x + 5*d - 1185. Is 38 a factor of x?
False
Suppose 2*q + 4*k = 9896, q + 172*k = 167*k + 4945. Is 15 a factor of q?
True
Let b be (1 - 6)*1 - -1 - 362. Let f = b + 662. Is f a multiple of 4?
True
Suppose 2*d - 4*q = 25396, -2*d - 30*q = -28*q - 25390. Is d a multiple of 4?
True
Let n(o) = 2*o**2 + 4*o - 34. Let q be n(7). Let s be 28/210 + q/(-15). Is 6 a factor of 2/s + 211/3?
False
Let g = 1766 - -5155. Does 70 divide g?
False
Let y(x) = x**2 + 12*x - 10. Let o be y(-13). Is 7 a factor of 125 + 25