12 a factor of p?
True
Suppose -2418 - 773 = -5*g + 3*f, 2*f = -4. Does 32 divide g?
False
Let t be 4049/5 + (-4)/(-20). Suppose -t = -3*r - 3*w, 2*r - 6*r + 1072 = 2*w. Is 38 a factor of r?
True
Let a(m) = m**2 + 39*m + 246. Does 4 divide a(-32)?
False
Let h(o) = -6*o - 22. Let a be h(-4). Suppose 5*k = -v + 160, v + a*k = -3*v + 586. Is v a multiple of 29?
True
Let m = 473 - 261. Does 17 divide 2*m/8 + -2?
True
Suppose -30 = 2*t + t. Is (-4 + (4 - 2))*t a multiple of 5?
True
Let w(h) be the first derivative of -7*h**2/2 + 4*h - 10. Does 15 divide w(-8)?
True
Let o(q) = -q**3 + 4*q**2 + 5*q + 3. Let g be o(5). Let f be 2/5*(-15)/(-6). Suppose c - g = f. Is c even?
True
Let o = 23 - 25. Is 23 a factor of ((-650)/(-35))/(o/(-14))?
False
Suppose 3*k + 3*h - 383 = h, 4*h - 379 = -3*k. Suppose -5*s + 4*s + k = 0. Does 19 divide s?
False
Let u(f) = -89*f + 2. Let l be u(-2). Let a = l - 127. Is a a multiple of 11?
False
Suppose -17*r + 309 = -2071. Is r a multiple of 20?
True
Let j(r) = r**2 + 35. Let y be j(0). Let q = 75 - y. Is 10 a factor of q?
True
Let m = 31 + 5. Suppose -m + 4 = -2*i. Is i a multiple of 11?
False
Suppose 44 = 46*y - 42*y. Is (-1 - y)*(-2 + (-20)/(-15)) a multiple of 4?
True
Is 380/(-152)*102/(-1) a multiple of 5?
True
Let m = -291 + 333. Is 5 a factor of m?
False
Suppose -q = 4*a - 16, -3*q - 2*a + 24 = 6. Suppose 0 = -q*p - 0*o + 2*o + 244, 5*o + 300 = 5*p. Suppose -6*m + 46 = -p. Is 5 a factor of m?
False
Let b(x) = 122*x - 4. Let j be b(3). Suppose n + 359 = 4*o, -2*n + 0*n = -4*o + j. Suppose -5*f + 16 + o = 0. Is f a multiple of 7?
True
Let r(a) = -2*a**2 + 7*a - 5. Let y be r(4). Let z = y - -13. Suppose 3*s + 2*k - 14 - 18 = 0, s - 14 = -z*k. Is s a multiple of 10?
True
Suppose 0 = -9*g - 426 - 834. Let x = 182 + g. Is 7 a factor of x?
True
Is -1 + 1 - -1 - (-23 + -69) a multiple of 31?
True
Suppose -31*k - 124 = -32*k. Is 42 a factor of k?
False
Suppose 0 = -9*k + 6*k + 5*h + 585, 2*k - 388 = 4*h. Does 20 divide k?
True
Suppose 19*r - 87*r + 49640 = 0. Is 5 a factor of r?
True
Suppose 0 = 98*a - 100*a + 860. Does 43 divide a?
True
Let y = 1358 + -721. Is 9 a factor of y?
False
Suppose 5*n - 26 = -11. Suppose 3*g - 126 - 78 = -2*s, -271 = -4*g - n*s. Does 14 divide g?
True
Suppose 5*h = p - 5, 5*p - 3*h - 24 = 23. Does 50 divide 1624/p + -3*6/(-30)?
False
Let f be (10*4/24)/(1/3). Suppose 5*a = 4*n - 243, n + 253 = 5*n + f*a. Does 24 divide n?
False
Suppose 2*s - 143 = -5*j + s, 0 = -5*j + 3*s + 151. Suppose -4*o + 23 + j = 0. Is o a multiple of 13?
True
Let z(k) be the first derivative of -3 + 25/3*k**3 - k + k**2. Is 8 a factor of z(1)?
False
Suppose c + 4*c = 20. Suppose -r - 39 = -c*r. Is r a multiple of 4?
False
Let z(k) = k**2 - 18*k + 3. Is z(-5) a multiple of 7?
False
Suppose 3*d + 4*i - 688 = -0*d, -2*i = -3*d + 664. Suppose -m + h + 175 = 3*m, 0 = 5*m + 4*h - d. Does 11 divide m?
True
Let d(z) = -11*z**3 + 2. Let p be d(-2). Suppose -4*c = -5*c + p. Is c a multiple of 9?
True
Suppose 4*n - 4*q = n + 146, -5*n + 220 = -2*q. Let m = n - 8. Does 5 divide m?
False
Let i be (15/6 - 4)*-108. Does 27 divide (-40)/8*(0 - i/10)?
True
Let c(f) = 140*f + 200. Is c(14) a multiple of 12?
True
Let s(n) = -n**2 + 18*n + 9. Suppose 5*j - 3*u + 7 = -4*u, -5*u - 9 = -j. Let l be 3 - (8 - j)/(-1). Is 17 a factor of s(l)?
False
Let p(c) = -c - 2. Let r be p(-2). Is r + -5 + (-68)/(-4) a multiple of 4?
True
Let m = -799 + 819. Is 16 a factor of m?
False
Suppose -295 = -2*i - 3*b + 26, i - 158 = -4*b. Suppose -2*p - 174 = -3*o, 3*o + 6*p = 4*p + i. Is o a multiple of 14?
True
Suppose 0*d - 5*d = -3*s + 79, -5 = d. Suppose t = -t + s. Does 3 divide t?
True
Suppose 6*z = 8*z. Suppose 0 = -d - 2, z = 4*b + 2*d - 0*d + 44. Let j = b - -48. Is 11 a factor of j?
False
Suppose 2*n - 2*m = 6, 6*n + 5*m - 15 = n. Suppose 3*i + 2*i = 15. Suppose a + 66 = h + n*h, i*a + 86 = 5*h. Does 6 divide h?
False
Let z = 112 + -184. Let h = -46 - z. Is 13 a factor of h?
True
Suppose 75 = 4*c - 109. Does 20 divide c?
False
Suppose -3*a = 2*h - 12, a + 3*h + 12 = 4*a. Suppose 4*u - 5*i = 265, -322 = -5*u - a*i + i. Does 4 divide u?
False
Does 84 divide (-13)/(585/(-75)) + 8572/3?
False
Suppose 4 = 3*p + 5*o, 5*p - 7*o + 2*o = 20. Let u = p + -1. Is 45 - u/(4 - 3) a multiple of 22?
False
Let m(q) = -q**3 + 10*q**2 - 2*q - 2. Let x be m(7). Let g = x - 33. Let y = 137 - g. Is 7 a factor of y?
False
Let c be 3/9 + (-44)/(-12) + -1. Suppose 205 = -c*n + 610. Is n a multiple of 15?
True
Suppose -404*s = -396*s - 1120. Is s a multiple of 4?
True
Let i(d) = -17*d + 8. Let h = -18 - -11. Let y(m) = 17*m - 7. Let j(w) = h*y(w) - 6*i(w). Does 18 divide j(-1)?
True
Suppose -4*r + 2*r + 4 = 0. Suppose -r*t + 6 = 0, -9*l + 14*l - 102 = t. Is 4 a factor of l?
False
Let u = 109 + -222. Let j = -56 - u. Is 16 a factor of j?
False
Let y(w) = -6*w. Let z be y(2). Let o = 8 + z. Is 7 a factor of ((-2)/o)/(8/752)?
False
Let z be (-185)/25 + 3/(30/4). Let l(c) = -c**3 - 5*c**2 + 4*c + 15. Is l(z) a multiple of 17?
True
Suppose -14*d + 23 = -607. Is 4 a factor of d?
False
Does 4 divide (48/21)/4 - (-14688)/168?
True
Does 34 divide 153/6*(-168)/(-18)?
True
Let k(o) = 84*o**2 + o**3 + o - 8*o - 87*o**2. Does 11 divide k(5)?
False
Suppose 3 = -3*d + 4*m, 0*m + 6 = 4*d - 2*m. Let p be (d + -4)*1*89. Let i = -57 - p. Is 13 a factor of i?
False
Suppose n - 2*s = 280, 4*n - 585 = s + 521. Let i = n + -32. Is i a multiple of 30?
False
Let o be -1*1 - (-4 - -4). Suppose 5*x - 59 + 239 = 0. Does 12 divide 3/(-1) + (o - x)?
False
Let n be (-7 + 34)/(1 + 0). Let d be 8/(12/3)*n. Let q = -4 + d. Is q a multiple of 32?
False
Suppose 58*s + 3845 = 25595. Is 15 a factor of s?
True
Suppose -7*k = -6*k - 33. Suppose k = 6*y - 3. Is 6 a factor of y?
True
Suppose -5 = -3*p - 4*g - 244, p = 3*g - 97. Let u = -41 - p. Is u a multiple of 13?
False
Let m = 4 - 0. Is ((-64)/12)/m*-18 a multiple of 6?
True
Let o be (-6)/(-3)*(42/(-4))/(-7). Suppose o*n + 142 = 4*z - 148, -5*z + 5*n = -365. Is 22 a factor of z?
False
Let y(d) = -2*d**2 + 10*d + 6. Let i be y(6). Does 5 divide (i/(-2))/(9/60)?
True
Suppose -18 = -23*m + 21*m. Is 24 a factor of m/(-4) - (-21)/(-28) - -33?
False
Suppose 6*g + 222 = -0*g. Let p = g + 182. Let t = p + -25. Is t a multiple of 40?
True
Let u = 9 + 47. Suppose u = -2*v + 4*v. Does 20 divide v?
False
Let o(s) = s + 1. Let r(a) = -a**3 - 5*a**2 - 4. Let t be r(-5). Let d be o(t). Is d/(3*3/(-51)) a multiple of 17?
True
Suppose -425*f - 246 = -427*f. Is 41 a factor of f?
True
Suppose t + j + 0 + 1 = 0, 4*j = -5*t - 1. Let l be 14/t + (-7)/(-21). Is 18 a factor of (-2)/l - (-2720)/50?
True
Let q = -412 - -420. Suppose 0*h = 5*h - 35. Let z = h + q. Is z a multiple of 5?
True
Let f be 1/((-4)/(-10))*12. Suppose -f - 27 = -b. Is b a multiple of 19?
True
Let f = 187 - 73. Let o = f - 14. Is 10 a factor of o?
True
Let u(f) = f**2 + 10*f + 3. Let a be u(-15). Suppose -a - 76 = -2*n. Does 17 divide n?
False
Is 38 a factor of ((-8)/(-10))/(44/62700)?
True
Let v(n) = 3*n - 1. Let a be v(1). Suppose -f = a*f - 555. Suppose 2*h = 4*g - 0*g + 116, 5*g - f = -3*h. Does 30 divide h?
True
Let f = 2366 - 1478. Is 72 a factor of f?
False
Let v(a) = 17*a**2 - 18*a. Is 18 a factor of v(-6)?
True
Suppose 227 = 2*s + d - 4*d, 5*d + 5 = 0. Does 11 divide s?
False
Let y = 4 + -3. Suppose 5 = 3*j + 5*a, 3*j + 2*a - y = a. Suppose -6*f + 8 + 76 = j. Is 14 a factor of f?
True
Let o be -3*2/(-6) - -3. Suppose b + z = 3*b - 2, -b + o*z = -1. Let g = b + 11. Is g a multiple of 12?
True
Let b be 54/6 + (-4 - 0). Suppose -b*d + 2*i + 53 = -0*i, 4*d - i - 43 = 0. Is 6 a factor of d?
False
Suppose 11*r = -4*h + 16*r + 1143, 5*h + 4*r = 1398. Is h a multiple of 29?
False
Suppose 2*d + 5580 = 11*d. Is 62 a factor of d?
True
Suppose 2*c = 1 + 1. Let g be 2 - c - (-14)/(-1). Let y = 5 - g. Does 9 divide y?
True
Suppose -y + 161 = 5*v + 2*y, 3*y = v - 43. Suppose 0 = -4*u + 2*s + 188 + v, 4*u - 212 = 4*s. Suppose -59 = -5*q + c - 2*c, 5*q + 2*c = u. Is 4 a factor of q?
True
Let t = 98 + -85. Suppose 20*o - 336 = t*o. Does 4 divide o?
True
Let d(p) = p**3 - 6*p - 9. Let r(q) = -q**3 + q**2 + 6*q + 8. Let c(g) = -6*d(g) - 7*r(g). Suppose j - 10 = -3*v + 13, -3*j = 5*v - 49. Does 7 divide c(j)?
True
Suppose x + 0*