+ r = 6*t. Is 24 a factor of t?
False
Let p(u) = 13*u**2 + u - 1. Let z be p(-2). Let x(h) = -h + 10*h + 9*h - 19*h + z. Does 5 divide x(6)?
False
Let g be (-5)/(-2 - 1/(-1)). Suppose -g + 5 = -2*s. Suppose -m + 3*f + s*f = -28, 3*m + 4*f - 58 = 0. Is m a multiple of 13?
False
Is 7 a factor of (29277*(-1)/(-27))/((-1)/(-6))?
False
Let a(q) = q**3 - 7*q**2 + 6*q + 3. Let n be a(7). Let h be (-4)/((-100)/n)*-5. Let k(l) = -l**2 - 10*l + 21. Is 5 a factor of k(h)?
True
Suppose -5*z = -4*z - v - 59, 3*z + 2*v = 167. Is 2 a factor of z?
False
Let l be -3 + (-57)/4*1368/(-18). Is 15 a factor of ((-57)/(-76))/(2/l)?
True
Let s(a) = -a**2 - 50*a - 20. Let g be s(-34). Suppose -g = -4*z - 4*q, 5*q - 11 = -6. Is z a multiple of 10?
True
Does 73 divide 12182 - 5/((-50)/(-15))*-6?
True
Let f(g) = 3*g**2 - 2*g**2 + 2*g**2 + 8 + g**2 - 5*g. Is 19 a factor of f(10)?
False
Let l be (-2)/3 + (-87)/(-9). Let a(d) = -d**3 + 19*d**2 - 61*d + 20. Let k be a(15). Suppose -k*q = -l - 11. Does 3 divide q?
False
Let a(p) = -5*p**2 + 41*p + 5. Let v be a(8). Suppose -g + 787 = 328. Suppose g = v*q - 243. Does 9 divide q?
True
Let d(m) = m**2 + 13*m + 5127. Is 8 a factor of d(0)?
False
Let h be (-538)/18 + 16/(-144). Is 15 a factor of h/(-1*(-4)/(-2))?
True
Let l = -6758 + 15725. Does 7 divide l?
True
Is 9 a factor of 4904 + -6*(-114)/36?
True
Suppose -w = 3*w - 12. Suppose 0 = w*r - 77 - 67. Let i = r + -4. Is 11 a factor of i?
True
Let h(f) = 462*f**2 + 4*f + 2. Suppose 0 = -2*p - 2*p - 2*v - 4, -p - 4*v - 1 = 0. Let o be h(p). Suppose 16*r - o = 11*r. Is 23 a factor of r?
True
Suppose -16*b + 15 = -11*b. Suppose 10 = b*p - 71. Suppose -2*h + p = -27. Is h a multiple of 9?
True
Suppose 538*f - 453*f = 71400. Is 14 a factor of f?
True
Suppose 93911 = 60*q + 53353 - 371402. Is 30 a factor of q?
False
Let p(v) = -25*v + 6. Let b(j) = -2*j**2 + 2*j + 38. Let s be b(5). Is 7 a factor of p(s)?
True
Let i = 139 + -147. Let q be (i + 1519/14)*(-4)/(-6). Let t = q - 46. Is t a multiple of 3?
True
Let d be (3*8)/((-3)/((-15)/10)). Suppose 5*b + 672 = d*b. Is (-3)/(3/5) + b a multiple of 10?
False
Suppose -9*x + 3*z = -6*x - 12, 4*x - 2*z = 14. Suppose 0 = -x*y + 28 + 308. Is 38 a factor of y?
False
Suppose 4 = 2*b + 4*o + 30, -2*o = -b + 3. Let q(m) = 217 + 2*m**2 + 10*m**3 - 213 - 5*m - 11*m**3 + 0*m**2. Does 49 divide q(b)?
False
Suppose 0 = 23*h - 27*h + 2108. Suppose -2*o + h = 49. Let g = o - 129. Is g a multiple of 10?
True
Let w = 13572 + -8853. Is 143 a factor of w?
True
Let w(n) be the second derivative of -28*n**3/3 + 37*n**2 + n - 27. Is 39 a factor of w(-14)?
True
Suppose 4*d + 4*f - 105816 = 0, -2*d - 11*f + 52920 = -7*f. Is 82 a factor of d?
False
Suppose 5 = 93*b - 98*b. Let u(j) = 886*j**2 - 7*j - 7. Is 29 a factor of u(b)?
False
Let k = 181 - 171. Suppose 0 = k*y - 5*y - 95. Is 15 a factor of y?
False
Let l = 913 - 408. Suppose 2*y = 4*o + 1002, -19*o - l = -y - 16*o. Does 29 divide y?
True
Let w = 501 + -509. Does 50 divide (3 - (-30)/w) + (-7209)/(-12)?
True
Let i be -5 + -3 + 1 + 2. Is -20 + 315 + i + 0 a multiple of 17?
False
Let x = 11087 + -10907. Does 177 divide x?
False
Let d = 1183 - 378. Suppose 61*j = 66*j - d. Is j a multiple of 23?
True
Suppose 0 = 5*i + b - 22, i + 4*b + 12 = 5. Suppose 1 = -a + i. Suppose -a*v = 5*z - 80, 40 = 5*z - 0*v - 4*v. Does 6 divide z?
True
Suppose -60*m + 253 = -83*m. Is 80 a factor of (16/(-12))/(m/2871)?
False
Suppose 78 = 4*r - 7*r - 3*t, 4*t + 23 = -r. Let l be (5/2 - 1)/(r/504). Is 9 a factor of (-3535)/l - 1/4?
True
Suppose d - 4475 - 23447 = 5*v, -4*d = -5*v - 111808. Does 10 divide d?
False
Let d be 1/(-2)*(-12)/(-18)*-6. Let t be 21/(-9) + d + (-4)/6. Does 17 divide 413/(-14)*(0 + t)*2?
False
Let z be 1*(-136)/(-12) - (-2)/3. Suppose -8*l + z*l = -412. Let c = -58 - l. Does 5 divide c?
True
Let g(r) = -2*r**3 + 11*r**2 + 35*r - 167. Is g(-20) a multiple of 7?
False
Let r(c) = 48*c**3 - 8*c**2 - 6*c - 10. Let l(p) = 49*p**3 - 9*p**2 - 7*p - 11. Let v(u) = -6*l(u) + 7*r(u). Is v(2) a multiple of 19?
False
Suppose -12*i + 22367 - 3866 = -9*i. Is i a multiple of 31?
False
Is 7 a factor of (-14)/1 - (1084 - 15386)?
False
Let t be (-1 + 3)/(6/12). Let z be 40/(-25)*(-6)/((-24)/(-10)). Suppose 2*r = -t*g + 42, -3*r + 93 = 2*r + z*g. Does 5 divide r?
False
Suppose 0 = -13*h + 21*h - 16. Suppose f - 19 = l, 3*f = h*l + 67 - 12. Is f a multiple of 3?
False
Suppose -3*t = -3*m - 876, m - 5*m = 2*t - 566. Suppose 4*c + t - 5 = 2*k, -c = k - 154. Is k a multiple of 15?
True
Let h(f) = -100*f - 17 + 45 - 124*f. Is h(-2) a multiple of 21?
False
Let a = 3911 + -2723. Does 18 divide a?
True
Let r = 120 - 70. Suppose 0 = r*w - 51*w + 308. Is 17 a factor of w?
False
Is 70692/4 - ((-2)/(-22) + (-170)/55) a multiple of 12?
True
Is 16 + 1726 + (-5 - (-25)/5) a multiple of 13?
True
Let j be 5*(-4)/(-5 - -1). Let z be (1 + 2/(-4))*1970/j. Suppose -3*l - 4*m = -139, -5*l - m = -3*m - z. Is 8 a factor of l?
False
Let r be 96/128*56/6. Suppose 0 = r*x - 8*x + 135. Does 45 divide x?
True
Suppose d - 4356 = w + 9080, 3*d - 2*w = 40304. Is 73 a factor of d?
True
Let y be 0 - 4*(-5)/(-20) - -25. Let d(f) = 6*f**2 - 98*f + 56. Is d(y) a multiple of 40?
True
Let r(t) = 3*t + 205. Let j be r(32). Suppose -j*i = -290*i - 12430. Is 12 a factor of i?
False
Let d(n) = 12749*n**3 - 15*n**2 + n. Is 81 a factor of d(1)?
False
Suppose 4*y + 155 = 8*v - 7*v, 0 = 5*y - 3*v + 192. Does 4 divide 6/y - (-12414)/78?
False
Suppose -4*a = -8*a - 0*a. Let c(i) be the second derivative of i**5/20 - i**3/6 + 14*i**2 - 4*i. Is c(a) a multiple of 11?
False
Is 331 a factor of 4/46 + 11/((-3289)/(-11302174))?
False
Let z(y) = y**2 - 72*y - 7544. Let t be z(-58). Let s(o) be the third derivative of o**5/60 - o**4/24 - o**2. Is s(t) a multiple of 4?
True
Let x be (-7 - -1)/((-6)/4). Suppose -12 = 4*t, 0 = -4*b + 4*t - 7*t + 7. Suppose b*w + 2*o = 216, 2*o + 97 + 135 = x*w. Does 8 divide w?
True
Suppose 0 = 10*c + 46*c - 169306 - 285302. Does 66 divide c?
True
Let g(o) = -107*o**2 + 3*o - 3. Let t be g(1). Let y = 153 + t. Let d = -19 + y. Is d a multiple of 9?
True
Suppose -8786 = -5*k + 4*v, -4*k - 6*v = -9*v - 7028. Let o = -811 + k. Does 61 divide o?
False
Is 22 a factor of ((-12254)/44 - 24)*-68?
True
Suppose 2*f - 3*h + 9 = 5*f, -7 = -f - 5*h. Let p(a) = a**2 + 5*a + 4. Let t be p(-4). Does 25 divide t + 1 + 326/f?
False
Does 86 divide (-7566)/(-8) - 11/(-44)?
True
Suppose 0 = 6*v - 15 - 15. Suppose 0 = -v*z + q - 3*q + 1889, -2*q = -4. Does 13 divide z?
True
Let z = -1443 - -779. Let p = z + 1094. Is 14 a factor of p?
False
Suppose 176473 = 87*d - 749468. Is d a multiple of 195?
False
Let z = 2546 + -1610. Is z a multiple of 18?
True
Suppose 0 = -2*p + 3*g - 41, -5*p - 4*g = g + 165. Let z = -23 - p. Suppose -z*j + j = -164. Does 15 divide j?
False
Let x(n) = 2*n**2 + 25*n - 100. Let u be x(-16). Let p(a) = -2*a**3 + 23*a**2 + 12*a + 10. Is 5 a factor of p(u)?
True
Let v = -3038 + 3800. Does 6 divide v?
True
Suppose -5*z + 7*p + 76 = 5*p, 3*z + 3*p = 33. Let h(b) = 12*b**3 + z*b**3 - 2*b**2 - 25*b**3 + 100 + b**2. Is h(0) a multiple of 29?
False
Is 3 a factor of (-8262)/(-45) + 1*(-3)/5?
True
Let p(c) = -c**2 - 28*c. Let j be p(-28). Suppose j*a + 7*a - 1246 = 0. Does 8 divide a?
False
Let c = 1418 - 538. Let p = c - 100. Is 39 a factor of p?
True
Suppose -q - 3*b + 28 = 4*q, 2*q - 13 = -3*b. Suppose 3*j = -5*k + k + 1283, -1600 = -q*k - 5*j. Is 19 a factor of k?
True
Let d = -301 - -599. Suppose -22*f - d = -25*f - 2*r, -526 = -5*f + 4*r. Is f a multiple of 4?
False
Let k be (543 - 0) + 3/(15/5). Let c = k - -57. Is 38 a factor of c?
False
Let q be -62*(36/(-8) - 4). Let t = q - 56. Suppose 4*p + p - 615 = z, -4*p + t = -5*z. Is p a multiple of 31?
True
Let a be ((-27)/(-81))/(2/61878). Suppose 15*k - a = -2513. Is 26 a factor of k?
True
Does 137 divide 2352038/390 - 20/(-150)?
False
Suppose -4*s = -91 + 39. Suppose 4*c = x - s, -2*x = -7*x + c + 141. Suppose m + 3*o - x = 60, m = -4*o + 92. Is m a multiple of 30?
False
Suppose -4*l = -5*a + 1227 + 818, 4*l = 0. Let s = 237 + a. Is s a multiple of 34?
True
Let b = 634 + -462. Let a be (-1 - (3 + -2)) + -57. Let f = b + a. Does 14 divide f?
False
Let q be ((2 + 0)/6)/((-8)/(-24)). Let v(m) = -29*m - 10. Let o