-m**2 - 106*m + 35. Does 26 divide k(-59)?
True
Suppose 0 = -3*p - 2*p + 25. Suppose g - 5*c + 3 = 0, g + g + 1 = p*c. Suppose 98 - 4 = g*x. Does 15 divide x?
False
Suppose 5*r = -h + 390 + 1055, 0 = 3*r + 3*h - 879. Is r a multiple of 8?
True
Suppose 29515 = 31*j - 31493. Is j a multiple of 24?
True
Let k = 1286 + -796. Does 15 divide k?
False
Suppose 4323 - 12198 = -21*h. Is 18 a factor of h?
False
Let p(t) = t**2 - 5*t + 3. Let w be p(5). Let b be -1*(-1 + 0 - w). Suppose -2*q = -b*q + 48. Is q a multiple of 12?
True
Suppose -44*i - 2*i = -13156. Is i a multiple of 11?
True
Suppose p - 10 = 3*d, 0*p - p - 2 = 3*d. Let w be (6 - -28)*14/p. Suppose -2*i + v + w = -10, 2*i - 5*v - 133 = 0. Does 16 divide i?
True
Suppose 0 = -m - 0 - 4. Let h(l) = 7*l + 6. Let u be h(m). Is 11 a factor of (-7)/(21/u)*9?
True
Is 12 a factor of 1/(14/48*(-22)/(-2002))?
True
Let k = -57 - -97. Let x = k + 32. Does 9 divide x?
True
Let a(v) = 6*v**2 - 6*v + 7. Let g(l) = 7*l**2 - 5*l + 7. Let y(t) = -5*a(t) + 6*g(t). Is y(-3) a multiple of 23?
True
Let r be (1 - 3/(-3))/1. Let x(i) = 235*i**2 - 3*i + 2. Let u be x(1). Suppose -r*j = -5*j + u. Is 13 a factor of j?
True
Let d be (-52)/14 + 4/(-14). Let u = d - -11. Let s = 8 + u. Is 4 a factor of s?
False
Let a = -71 + 75. Suppose 2*g - 3*i - 36 = g, -104 = -a*g + 4*i. Does 3 divide g?
True
Let c = -28 - -1189. Is c a multiple of 9?
True
Let q = -106 + -8. Let k = 161 + q. Does 10 divide k?
False
Suppose -81 = h - 5*x, -2*h + 3*x - 60 - 109 = 0. Let j = -1 - h. Is 15 a factor of j?
False
Let b = -97 + 71. Is (-4)/b - 6220/(-130) a multiple of 16?
True
Let y(v) be the third derivative of v**4/24 - 3*v**2. Let o(d) = -13*d - 1. Let t(m) = 4*o(m) + 44*y(m). Is t(-5) a multiple of 14?
False
Let i(d) = -d**3 - 7*d**2 + 12*d + 22. Let k be i(-9). Suppose 196 + k = 2*z. Does 14 divide z?
False
Let k be 8/(5 - 7) + 7. Suppose 3*m - 6 - 3 = 0, -3*m - 196 = -5*u. Suppose -k*y + 64 = -u. Is y a multiple of 17?
False
Let w(h) = h**2 + 6*h + 8. Let p be (-10)/(-65) + 4/(-26). Let u be p + -2 - (0 + 6). Is 8 a factor of w(u)?
True
Suppose -3 = -5*h + 4*h. Suppose v + 134 = h*a, -4*a + 4*v = v - 187. Is 11 a factor of a?
False
Suppose 0 = m + 3 - 11. Is 11 a factor of (-1)/(-4) + 86/m?
True
Let o be (-1 - 1)/((-6)/(-15)). Let z(f) = -5*f + 7*f + 26 - 2*f**3 - 32 - 3*f**2 + f**3. Is z(o) a multiple of 17?
True
Suppose 4*s - 18 = 2*s. Suppose 0 = 3*t + s, -3*n - 3*t = -6*t - 357. Is 16 a factor of n?
False
Suppose -19 = n - 20. Suppose 4*k + 2*w = 424, -4*w - 15 = n. Is k a multiple of 12?
True
Let a(z) = 4*z**2 - 8*z + 68. Is a(7) a multiple of 26?
True
Let r = 13 + 4. Suppose f - 14 = -r. Is 6 a factor of 16*((-9)/4 - f)?
True
Let b = 2310 - 1364. Does 25 divide b?
False
Let q(f) = f**3 - 2*f**2 + f. Let r be q(2). Let t be r/5 - 7/5. Is 19 a factor of 3*((t - 2) + 20)?
False
Let g(k) = -12 - k**3 - 558*k + 13*k**2 - 552*k + 2*k**2 + 1098*k. Let b be (-2)/(-5) + 68/5. Is 8 a factor of g(b)?
True
Suppose 2*s = 3*s - 197. Suppose 5*u - 365 = 3*b, 3*u + 3*b = s + 22. Does 20 divide u?
False
Suppose 5*i + 1180 = 5*m, 26*m + 2*i = 22*m + 914. Is 11 a factor of m?
True
Suppose 0 = q - 11. Suppose -y - 2*x + q = 0, 4*x + 0 - 15 = -y. Does 2 divide y?
False
Suppose -3*t - 534 = 5*f - t, 2*f - t = -219. Let d = 235 + f. Does 9 divide d?
False
Suppose 192*l - 189*l - 2340 = 0. Is l a multiple of 10?
True
Suppose -2*c = -g - 13, -1 - 15 = -4*c + 4*g. Suppose c = -2*n + 41. Is 16 a factor of n?
True
Suppose 6*p = 3*p + 5217. Is 47 a factor of p?
True
Let j = 19 + -15. Suppose c + j*l = 3*c + 48, 0 = 3*l + 9. Let s = c - -50. Does 6 divide s?
False
Suppose 3*v - 5*v = -5*a - 32, 4*v = -4*a - 48. Is 390/7 - a/28 a multiple of 16?
False
Suppose 32*w - 64*w + 1952 = 0. Is w a multiple of 41?
False
Suppose -21*s = -29*s + 2112. Does 6 divide s?
True
Let p = 86 + -44. Suppose -4*d + 17 + 3 = 0. Suppose -y = d - p. Is y a multiple of 22?
False
Suppose j = -3*i + 423, i - 67 = -3*j + 74. Suppose q + 0*q + 2*b = 147, -i = -q + b. Is 13 a factor of q?
True
Let i(b) = -b + 1. Let v be i(5). Let z = 124 + v. Is 30 a factor of z?
True
Let t(v) = v**3 + v**2 + 3. Let a be t(0). Suppose 7*n = 2*n + 10, a*j = -n + 173. Is j a multiple of 9?
False
Is 60/(-14)*1064/(-57) a multiple of 10?
True
Let o = -42 - 36. Is 14 a factor of ((-5472)/o - 0) + 2/(-13)?
True
Suppose 2*k - 7*k - c + 25 = 0, -4*c + 36 = 4*k. Suppose 60 = -3*b + k*b. Does 10 divide b?
True
Let a(b) = 2*b**2 - 2*b - 2. Let v be a(2). Suppose -14 - 8 = -2*l + v*z, -5*z - 23 = -l. Does 4 divide l?
True
Suppose -6 = x - 3*x. Suppose 2*m + 2*s - 54 = -x*s, -5*m = 2*s - 177. Suppose 0 = v - z - m - 11, 2*v - 97 = z. Is 12 a factor of v?
False
Let i(m) = 36*m + 6. Let x(t) = -37*t - 5. Let d(f) = 5*i(f) + 6*x(f). Is 21 a factor of d(-1)?
True
Let b = -590 - -782. Does 7 divide b?
False
Does 7 divide (258/215)/((-4)/(-530))?
False
Suppose -5*l = 2*q + q - 6663, -5329 = -4*l - q. Does 49 divide l?
False
Suppose -9*t - 34 = -6*t + 4*p, -2*p - 14 = t. Let i(n) = -23*n**3 - 2*n**2 + n. Let v be i(1). Let a = t - v. Is a a multiple of 6?
True
Suppose -2*b + 2*l + 28 = -3*l, -2*l - 8 = 0. Is 11 a factor of ((-42)/b)/((-3)/22)?
True
Let z be (0 + -3 - -6)/(3/78). Let k = z + -30. Does 24 divide k?
True
Let h(t) = t**3 - 2*t**2 - 3*t + 7. Suppose 9*a - 20 = 16. Does 9 divide h(a)?
True
Let c = 53 - 34. Is c a multiple of 19?
True
Let q(p) = p - 5. Let t be q(-3). Let h be (72/(-30))/(6/100). Let b = t - h. Is 16 a factor of b?
True
Let k = -45 + 71. Let i be (-4)/(-8) - k/4. Does 8 divide (-47)/(-3) - (-4)/i?
False
Suppose -16*q + 4872 = -30472. Is q a multiple of 19?
False
Let f be (-486)/11 - 4/(-22). Let b = 3 - f. Let c = b - 17. Is 11 a factor of c?
False
Suppose -6*l + 15 = -33. Is l/(-20) - (557/(-5) + 3) a multiple of 6?
True
Let d = -291 + 772. Is d a multiple of 37?
True
Let u = -319 - -701. Suppose -u + 78 = -4*c. Suppose c = 5*d - 54. Does 13 divide d?
True
Suppose -7*w - 2*w + 54 = 0. Is 46 a factor of (158/3)/(w*4/72)?
False
Let n = -827 - -1399. Does 26 divide n?
True
Suppose 7*u - 12 = u. Suppose 2*z + 4*x = 42, u*z = -2*x + 51 + 1. Does 14 divide z?
False
Let t be (5 + -5)*(-1 + 2). Let o(z) = 3*z**2 + 4*z - 3. Let s be o(3). Suppose -f = -2*l + 57, -l + t*f + s = f. Does 7 divide l?
False
Suppose -3*b + 5*b = 24. Let o(a) = a**3 + a**2 + 4. Let r be o(0). Does 14 divide 1 + b/r + 38?
True
Suppose 18 = o + 4. Suppose -408 = 11*r - o*r. Does 27 divide r?
False
Let p be (-9)/(-6)*4/3. Let q(y) = y**2 - 2*y - 1. Let m be q(-4). Suppose p*u - 43 - m = 0. Is 11 a factor of u?
True
Let l(n) = 4*n**3 - 3*n**2 - 3*n + 4. Let h be l(3). Let j = 1374 - 1330. Let i = h - j. Does 27 divide i?
False
Let z be 1/4 + 4359/(-12). Let x = z - -207. Is 10 a factor of (x/(-21))/(2/7)?
False
Let d(a) = a**3 - 21*a**2 - 35*a + 47. Does 10 divide d(23)?
True
Let u = 56 - 69. Let n = u - -30. Is n a multiple of 12?
False
Let a be (-2)/4*0/(-9 - -4). Suppose 4*i - 24 - 60 = a. Is i a multiple of 7?
True
Does 13 divide 156/(((-1)/(-4))/((-2)/(-8)))?
True
Suppose 0 = -0*a + a + 1. Let g(c) = 24*c**2 + 4*c + 1. Is g(a) even?
False
Suppose -8 = -4*l, 2*m + 2*l = 5*l + 1470. Does 6 divide m?
True
Suppose 7*v - 12 - 16 = 0. Suppose 8*g - 5*g + v*s - 343 = 0, -s = 2. Is 39 a factor of g?
True
Let k = 1040 - 621. Suppose a - 2*f + 211 + 213 = 0, -3*f + k = -a. Is 21 a factor of a/(-6) - 48/36?
False
Let b(r) = 14 - 9*r + 4*r**2 - 3*r**2 + 4 + 0*r**2. Let x be b(8). Suppose -5*l = -55 - x. Is l a multiple of 5?
False
Let m = -136 + 141. Suppose -4*r = m + 3, -z + 126 = -5*r. Does 29 divide z?
True
Suppose 385 = -2*u + 99. Let w = -58 - u. Does 17 divide w?
True
Suppose u - 8*u + 210 = 0. Suppose -5*p - u - 5 = -2*z, 4*p + 35 = 3*z. Let g = 8 + z. Is g a multiple of 8?
False
Suppose 0 = 2*b + 4*b - 1194. Suppose 3*o + 2*u + 0*u - 768 = 0, -u + 257 = o. Suppose -2*w - 4*h = 3*w - o, 4*w = h + b. Is w a multiple of 10?
True
Suppose 14*g - 82*g = -30464. Is 7 a factor of g?
True
Suppose 382*i - 380*i = 3062. Does 12 divide i?
False
Suppose -7*d + 3*d - 2*d = 0. Suppose -147 = -3*s - 3*t, 2*s - 3*t = -d*t + 78. Is 15 a factor of s?
True
Suppose 2*j - 9*j = -1785. Does 5 divide j?
True
Is 10 a factor of 28*((7 - 2) + 469/28)?
Fa