-3*r - 1, -r + 5*g - 25 = 0. Is 9 a factor of p(r)?
False
Let c = 9391 + 2712. Is 133 a factor of c?
True
Suppose 28 + 6 = 3*a + w, -2*a - 3*w = -32. Suppose -a*v + 12*v = 952. Does 68 divide v?
True
Suppose -24*a + 28*a + 3*i = -30, i - 28 = 5*a. Is 61 a factor of (985 + a - 1) + 0 + -2?
True
Let n = 34 + -38. Let f be (n/(-6))/(7/525). Suppose 0 = 2*a - c - f, -25 = -a + 3*c - c. Does 5 divide a?
True
Suppose 3*d + d - 933 = -3*y, -4*y - 4 = 0. Suppose -2*r + 11*j - 16*j = -177, 3*j + d = 3*r. Does 3 divide r?
True
Suppose 4*t - q = -1263, 659 = -4*t + 4*q - 601. Let h = t + 904. Does 12 divide h?
True
Suppose -336 = 2*w + 2*w. Is (w/(-15))/(10/325) a multiple of 14?
True
Let r be (-1)/4 - 6/(-24). Suppose -q = -r*q - x + 7, -4*q - 18 = x. Let s(u) = u**2 + u - 4. Is s(q) a multiple of 4?
True
Let u(r) = r**2 - 11*r + 32. Suppose -214*a = -215*a + 8. Is u(a) even?
True
Suppose 2*w = -m - 161 - 379, 5*w - 1035 = 2*m. Suppose 157*l + 3*i = 152*l + 3878, 2*l + 4*i - 1554 = 0. Let d = m + l. Does 35 divide d?
True
Let m = -3400 + 5050. Does 34 divide m?
False
Is 4/30 + 1957/285 a multiple of 7?
True
Let w(b) = 4*b - 39 + 6*b + 7*b. Let n be w(11). Let f = n - 85. Is 6 a factor of f?
False
Suppose -5*t + 42 = 4*q, q - 3*q + 4*t + 34 = 0. Is q/(715/(-11)) - (-756)/5 a multiple of 3?
False
Suppose -2*f + 4254 + 244 = 2*w, 3*w - f = 6735. Suppose 0 = i + 2*g - w, i - 2*g = -i + 4474. Does 16 divide i?
True
Let q(h) = -h + 8. Let j be q(6). Let r(z) = 4*z + 17. Let a(u) = 3*u + 14. Let y(f) = -6*a(f) + 5*r(f). Does 5 divide y(j)?
True
Let l(z) = -5*z. Let r be l(-1). Suppose -12 = -2*t - o, -o = -r*t - 2*o + 24. Does 49 divide 48 - (1 + t + -6)?
True
Let m(y) be the second derivative of -y**5/20 + 5*y**4/4 + 10*y**3/3 - 25*y**2/2 - 39*y. Is m(16) a multiple of 13?
True
Suppose 4*p - 474 = b, 0 = 3*p + 4*b + 37 - 383. Let u = p + -113. Suppose -6*k = u*k - 2420. Is 44 a factor of k?
True
Let s be 10*7/28 - (-133)/(-2). Let o = s + 181. Is 13 a factor of o?
True
Let n = 1102 + -699. Suppose -3*r + 203 = 4*l - 459, -2*r = -5*l - n. Does 13 divide r?
False
Let f(b) = -21*b**2 - 2*b + 2. Let s be f(1). Does 14 divide 0 + 0 - (-149 + s)?
False
Let w(f) be the first derivative of f**4/4 - 5*f**3/3 + 2*f**2 - 6*f + 52. Is 11 a factor of w(5)?
False
Let z be (-26862)/(-18) - (-32)/(-24). Let a = -999 + z. Is a a multiple of 21?
False
Let r be 1 + 0 - (-22)/((-44)/1330). Let v = -611 - r. Does 4 divide v?
False
Let h = -15562 + 26539. Is 73 a factor of h?
False
Suppose 4*s - 8325 = -8*s - 25*s. Is s a multiple of 4?
False
Suppose 469 = 21*i + 18592. Let h = -438 - i. Is 17 a factor of h?
True
Let f = 8171 - -421. Is 48 a factor of f?
True
Let t(v) = v**3 + 9*v**2 + 6*v - 16. Let j be t(-8). Suppose 14 = 5*p - 4*g, -3*g + j*g + 18 = p. Does 4 divide (-1)/3 + 8/p - -3?
True
Let p = -11861 - -21781. Is 16 a factor of p?
True
Let z = -5813 - -35798. Does 10 divide z?
False
Let r(l) = 20*l - 96. Let g be r(4). Let q(w) = -w**3 - 14*w**2 + 21*w + 32. Does 26 divide q(g)?
True
Let x(b) = -324*b**3 + b**2 + 5*b + 1. Let n be x(-2). Suppose 913 = 14*i - n. Let s = i - -22. Is s a multiple of 16?
True
Suppose 9510 - 1810 = 25*h. Does 126 divide h?
False
Let f be (-4)/(-10) + 4 + (-108)/45. Suppose 4*u - 9*j + 12*j = 759, -5*j + 383 = f*u. Does 27 divide u?
True
Suppose 234 = -18*n + 9*n. Suppose -3*j = -4*j - 57. Let l = n - j. Is l a multiple of 6?
False
Let j be (440/25 - 4)*20/8. Is 5 a factor of (8/4 - 1) + j?
True
Let s = 14549 + -10352. Is 66 a factor of s?
False
Let p be (-720)/8 + 2 + -5 + 3. Is p/25*(1020/(-6) + -5) a multiple of 14?
True
Suppose -21*o + 34*o = 260. Let b(x) = x**3 - 20*x**2 + 32. Is b(o) a multiple of 4?
True
Is 11 a factor of 4*-1 + (-20 - 162/(-9)) + 930?
True
Let o = -119 - -44. Let t = o - -69. Let c(q) = -2*q**3 - 8*q**2 - 8. Does 34 divide c(t)?
True
Let v(k) = -24*k**2 + 27*k - 32. Let d(p) = -13*p**2 + 13*p - 15. Let u(s) = 5*d(s) - 3*v(s). Does 12 divide u(-5)?
True
Is 214 a factor of 1740 + -5*18/(-81)*-9?
False
Suppose -6*o - 22 = 14. Let q(h) = -105*h + 140. Does 22 divide q(o)?
True
Let r = 391 - 371. Suppose -r*s + 19152 = 8*s. Is 26 a factor of s?
False
Suppose 24*u - 28*u = -136. Let l = u + 85. Is 7 a factor of l?
True
Suppose 10*o = 11*o + 5*s - 12477, 4*s + 312957 = 25*o. Does 72 divide o?
False
Suppose -15*z + 16*z - 1905 = 5851. Is 21 a factor of z?
False
Let x(k) = k**2 - 18*k - 1670. Does 17 divide x(-93)?
True
Suppose 10*d = 13678 + 4742. Let g = -1096 + d. Does 8 divide g?
False
Suppose -3*i + g = 0, -4*i + 2*i + g + 1 = 0. Let z(n) = 277*n**2 + 2*n + 3. Is z(i) a multiple of 10?
False
Let y = 48 + -88. Let w be ((-48)/y)/(0 - (-6)/10). Suppose w*f = -4*o + 428, 2*f - o = -2*f + 865. Is 9 a factor of f?
True
Let a(q) = -2*q**2 - 19*q + 81. Let h be a(-21). Let i = h + 584. Does 10 divide i?
False
Suppose 1259 = -156*u + 155*u. Let g = -630 - u. Is g a multiple of 4?
False
Let s(t) = 440*t + 26*t**2 + 2 - 440*t - 4. Is s(1) a multiple of 2?
True
Let m(i) = 11*i + 446. Let s be m(51). Let p = s - 419. Is p a multiple of 4?
True
Suppose y + 7 = -12. Let z(n) = n**2 + 20*n + 19. Let v be z(y). Suppose -5*o + 20 = -5, -5*q - o + 75 = v. Is 14 a factor of q?
True
Let a(k) be the third derivative of k**5/10 - k**4/8 - 10*k**3/3 + 6*k**2. Let i(l) = 9*l**2 - 4*l - 30. Let n(y) = -7*a(y) + 5*i(y). Does 8 divide n(-5)?
False
Let u(i) = i**2 - 14*i - 25. Let x be u(16). Let v(p) = -p**2 + 8*p - 4. Let l be v(x). Does 7 divide (-76 + l/(-3))*-1?
True
Suppose -6*a - 2*f = -2*a - 22, 0 = 5*a - 2*f - 5. Suppose 4*o + 3 = -1, -g + 7 = -a*o. Suppose g*b = 12, 2*b - 4*b - 699 = -5*k. Is k a multiple of 30?
False
Let k(j) = j. Let i be k(-7). Let h be 62/i + 6/(-42). Is 13 a factor of 3/1*(-102)/h?
False
Let j(h) = -32*h**2 - h. Let l be j(1). Let x = 27 + l. Is 3 a factor of 23 + (x - -4 - 2)?
False
Suppose -146 + 338 = -16*s. Does 5 divide s/27 + (-1984)/(-9)?
True
Suppose -16 = -4*c + 5*z - z, 5*c + 2*z + 8 = 0. Suppose 8*y - 6*y - 590 = c. Suppose -h + 4*x = 2*h - 191, 0 = -5*h + 2*x + y. Is h a multiple of 21?
False
Suppose -175 - 119 = -6*f. Suppose 51*j - 120 = f*j. Is j a multiple of 6?
True
Let q be (4 + 28/3)*2*-3. Let a be (39/(-26))/(6/q). Is 18 a factor of 2 + (4756/a - (-4)/20)?
False
Suppose 5*w - 5*x = 5195, x + 4171 = -34*w + 38*w. Does 12 divide w?
True
Let m be 32 + 7/(-14)*8. Does 10 divide 5874/21 - (-8)/m?
True
Let d be ((-1)/2)/((-23)/(-8) - 3). Suppose 0*u - d*u = u. Suppose 0 = -u*c + 4*c - 52. Is 3 a factor of c?
False
Let s = 15156 + -6994. Is s a multiple of 11?
True
Let b = -40603 + 57595. Is b a multiple of 12?
True
Suppose -4*x = k - 4*k - 98, -3*k = -x + 20. Let z = x - 34. Is 1665/30*z/(-6) a multiple of 13?
False
Let r(v) = -7*v - 25. Let k be r(-4). Suppose -5*h + 902 = -4*s, -k*h + 2*s + 906 = 2*h. Is h a multiple of 13?
True
Let h be (-63)/315 - (-9362)/10. Suppose -26*i + h = -25*i. Does 18 divide i?
True
Let b be (-10)/(1 - -1) + (-44)/(-11). Let n(i) = 14*i**2 - 1 - 109*i**3 - 3*i + 47*i**3 - 208*i**3 - 16*i**2. Is 54 a factor of n(b)?
True
Let x(w) = -w**3 + 6*w**2 + 4*w + 24. Let q = 55 + -48. Let k be x(q). Suppose -2*a + k*h = -59 - 7, -3*a + 5*h + 101 = 0. Is a a multiple of 9?
True
Let m(f) = 832*f + 536. Let w(a) = -128*a - 82. Let r(l) = -5*m(l) - 32*w(l). Is r(-11) a multiple of 54?
True
Is 48 a factor of 3880/168 + -23 + 52412/42?
True
Suppose 28*g = 163 - 23. Suppose 2*c = -z + g*z - 1614, -z - 5*c = -420. Is 49 a factor of z?
False
Suppose 0 = -2*g - 3*z + 49, 5*z = 2*g - 80 + 7. Let j = 19 - -6. Let h = j + g. Does 9 divide h?
True
Let d = -4 + 8. Suppose w + d*s - 493 = 0, 4*w - 1955 = 3*s - 40. Does 27 divide w?
False
Let w(m) = 156*m - 2494. Is 17 a factor of w(55)?
True
Suppose 13059 = -2*j + 14989. Is 2 a factor of j?
False
Let b(v) = v**2 - 6*v - 1. Let i be b(6). Let t be (-3 - (-1 - i)) + 3. Suppose t = -4*d - d + 195. Is 13 a factor of d?
True
Let l = 567 + -1486. Let s = 1430 + l. Is 23 a factor of s?
False
Let l(i) = 19*i + 3. Let h be l(-12). Let c = -73 - h. Is 4 a factor of c?
True
Let m = -49 + 53. Let x be 2 - (m - -106*1). Let z = x - -193. Does 10 divide z?
False
Is 128 a factor of (32/(-3))/(((-4)/(-210))/((-208)/130))?
True
Suppose 0 = -8*a - 1544 + 6576. Suppo