t n = 322 + -238. Does 3 divide n?
True
Let j(d) = -39*d + 10. Is 4 a factor of j(-22)?
True
Let g(k) = 49*k + 102. Does 13 divide g(8)?
True
Let z = 486 - 106. Is 44 a factor of z?
False
Let x = 3 - -5. Suppose -5*b + 253 - 73 = 0. Suppose 0 = n + x - b. Is n a multiple of 10?
False
Let x(w) = w**3 - 14*w**2 - 15. Let g be x(15). Let z = g + -110. Is z a multiple of 20?
True
Let a(v) = -v**3 - 4*v**2 + 2*v + 7. Let g be a(-3). Let k(l) = l**3 + 8*l**2 - 3*l + 12. Is 6 a factor of k(g)?
True
Suppose 966 = -4*w + 2494. Suppose 2*o + 2*r - w = -r, -3*o + r = -562. Suppose 2*k = -5*n + o, n + 2*k + 64 = 3*n. Is 18 a factor of n?
True
Suppose -13*j - 15801 - 2503 = 0. Does 22 divide ((-26)/(-8))/((-16)/j)?
True
Suppose -5*j + j = -4*m + 40, -4*m = j + 15. Let y = 45 + j. Does 34 divide y?
True
Suppose 4*w + 0*w = 32. Suppose w*i = 2*i + 96. Does 7 divide i?
False
Does 60 divide (42 + -54)/(4/(-142))?
False
Let k = 82 + -82. Suppose 4*i - 49 - 35 = k. Is i even?
False
Let c be 0 - (2 - 219/3). Let s(w) = -2*w + 15. Let o be s(-7). Suppose 5*x = c + o. Does 12 divide x?
False
Let b be -1*1/(-3)*0. Suppose 6*n - 8*n + 50 = b. Does 8 divide n?
False
Suppose -3*n + 633 + 570 = -2*p, 5*p - 1980 = -5*n. Suppose -6*y = -171 - n. Is y a multiple of 20?
False
Suppose 6200 = -12*x + 32*x. Is x a multiple of 31?
True
Let b be (-18444)/(-30) + 1 + 2/10. Does 33 divide (-68)/(-170) + b/10 + 0?
False
Let a(i) = 0 - 3 + 45*i - 1 - 186*i. Is a(-1) a multiple of 13?
False
Let m be -390*(2 + 16/(-5)). Suppose m = -n + 5*n. Is n a multiple of 13?
True
Suppose 4*a - 35 = -3*a. Suppose 2*l + 480 = a*m, m - 2*l - 2 - 94 = 0. Does 21 divide m?
False
Suppose 4*a + 24 = 4*j, 2*j = -3*a + 3 - 1. Suppose 0 = -5*w - 6*p + p + 835, -677 = -j*w - p. Does 31 divide w?
False
Suppose -37*l + 34*l + 186 = 0. Is 20 a factor of l?
False
Let x(d) = 2*d**2 - 3*d - 7. Let i be x(-9). Suppose -5*u - 6*j + 2*j = -644, j = u - 127. Let k = i - u. Is 14 a factor of k?
False
Let f be -10 - ((-2 - -2) + -1). Let x = f + 13. Suppose o - x*g = -1 + 16, 5*o = 2*g + 75. Is 3 a factor of o?
True
Let o be -36*((-128)/6)/(-4). Let m be 3/(-15) + (-32)/(-10). Does 13 divide o/(-5) - m/(-5)?
True
Let t(m) = m - 9. Let f be t(10). Let x = f + 1. Let h(l) = 5*l**3 - 2*l**2 + 3*l - 2. Is 12 a factor of h(x)?
True
Let b(k) = 6 - 4*k - 9 - k**2 + 0*k**2 + 0*k**2. Let c be b(-3). Suppose q + c*q - 48 = 0. Is 24 a factor of q?
True
Suppose 0 = -2*s - 4*u - 12, -3*u - 7 = 8. Suppose 0 = -s*j - 52 + 260. Is j a multiple of 13?
True
Suppose -58 = 5*c + n + 22, 5*c + 110 = 5*n. Let g be (-4)/(-14) - 313/(-7). Let u = c + g. Does 14 divide u?
True
Let h(t) = -10*t - 5. Let l be h(-8). Is -7 + l - 4*1 a multiple of 16?
True
Suppose 4*i - 5189 = 5*u, -6476 = -144*i + 139*i - 4*u. Is 9 a factor of i?
True
Suppose 5*x - 16 = -3*x. Suppose 0 = x*s + s - 135. Is 11 a factor of s?
False
Suppose 5*q - 12 - 3 = 0. Suppose -5*b + b - 2*h = 30, q*h = 4*b + 15. Is (-36)/((3/b)/1) a multiple of 24?
True
Let h(r) = -r**3 - 8*r**2 + 5*r - 2. Suppose 5*n = -17 - 28. Is 5 a factor of h(n)?
False
Let u(a) = -2*a**2 + 8*a + 13. Let p(c) = -c**2 + 4*c + 6. Let m(l) = 13*p(l) - 6*u(l). Let w be m(3). Suppose 3*s - 21 = -r + 19, 0 = s - w. Does 31 divide r?
True
Let o = 9 - 7. Let a = o - -27. Suppose -26 = -5*i + a. Does 11 divide i?
True
Suppose 5*h + 3*s - 57 = h, -5*s = 2*h - 39. Let l be (-3)/(-2*3/h). Suppose 4*o = 22 - l. Is 2 a factor of o?
True
Let a(w) = w**3 + 13*w**2 + 17*w - 12. Does 53 divide a(-9)?
True
Suppose 18*w + 77*w - 22515 = 0. Does 16 divide w?
False
Does 2 divide 4*((-27)/(-6))/1?
True
Suppose 16 = 4*v, 0*h - 1297 = -h - 5*v. Let w = h - 766. Does 34 divide w/5 + (-1)/5?
True
Let c = -37 - -37. Suppose 0*k + 3*k - 4*i - 150 = c, 0 = 4*k + 5*i - 231. Is k a multiple of 9?
True
Let p(t) = t**2 + 22*t - 8. Is 2 a factor of p(-25)?
False
Let a = 243 - 231. Let u(z) = z**3 + 4*z**2 + 2*z. Let d be u(-3). Suppose 0 = -d*i - a + 75. Does 12 divide i?
False
Let y(h) = -9 + 0*h - 9 + 8*h. Is y(9) a multiple of 5?
False
Let k(a) = 12*a + 26. Let i be k(-4). Is 3 - 1 - (i - (-7 + 2)) a multiple of 2?
False
Let y(f) = -80*f - 1. Suppose -6 = 7*d + 15. Does 49 divide y(d)?
False
Let u = -501 - -2527. Is 35 a factor of u?
False
Let q = 70 - 115. Is 6/(-10) + (-2862)/q a multiple of 21?
True
Is ((2 - -33) + 3)*3/6 a multiple of 3?
False
Suppose 8*y + 240 - 912 = 0. Is 7 a factor of y?
True
Let s be (4/8)/(4/96). Suppose 0*q - s = -q. Is q a multiple of 12?
True
Suppose 0 = 2*p - q - 1 - 8, -3*p + 24 = -5*q. Suppose p*a + 1015 = 10*a. Is a a multiple of 13?
False
Let x = 24 - 72. Let l = 128 + x. Is 16 a factor of l?
True
Suppose -4*y - 8 = -2*r, -2*r - 2*y = 2*r + 4. Suppose c + f - 3*f - 65 = 0, r = 5*c - 5*f - 300. Is c a multiple of 11?
True
Suppose -3*y - 3 = -j, 2*y - 3*j - 6 = -1. Does 9 divide (-482)/(-15) + 1/(15/y)?
False
Let f be (-4)/14 - -822*(-26)/21. Let m = -703 - f. Does 30 divide m?
False
Suppose -139*u = -147*u + 320. Is 2 a factor of u?
True
Suppose -3*v - 3 = 45. Let o = 26 + v. Suppose 6 = i - o. Does 7 divide i?
False
Let n be 14/(-4) + (-12)/8. Is (1 + 5)*n/(45/(-12)) a multiple of 2?
True
Suppose 5*c = n + 3*c - 504, -1512 = -3*n - 5*c. Does 44 divide n?
False
Suppose 0 = 8*p - 11*p + 4*g + 807, 9 = -3*g. Is p a multiple of 21?
False
Let p(s) = 3*s**2 - 5*s + 3 + 0*s**2 - 2*s**2. Let j be p(5). Suppose -j*q + 255 = 5*a, -169 = -2*a - a - 5*q. Does 24 divide a?
True
Suppose 0 = h + 19 + 3. Let d = -33 - h. Let m = d + 95. Does 28 divide m?
True
Let a = 1499 + 85. Does 72 divide a?
True
Let y(l) = 9*l + 163. Does 36 divide y(46)?
False
Suppose -4*n = 1 - 57. Suppose -3*a - 2*a = -40. Let h = n - a. Does 2 divide h?
True
Suppose 2*m - 4*j = j + 20, j + 16 = m. Suppose 3*w + 4*r - m = 5*r, -4*r = 20. Suppose 3*p = 4*k - 36, -w*k - p = -10*k + 45. Does 3 divide k?
True
Suppose -92*l + 612123 = 45863. Is l a multiple of 71?
False
Let f be (76/4)/1*-1. Let y = 26 + f. Is y even?
False
Suppose -5*f = -7*h + 3*h - 1827, -4*f - 3*h + 1443 = 0. Does 28 divide f?
False
Let z = 35 - 47. Let l = 25 + z. Is l a multiple of 13?
True
Suppose -12*q + 4*i + 892 = -7*q, q - 182 = 2*i. Does 17 divide q?
False
Suppose -4*d - 4*t = -2*t + 22, -2*d = -5*t - 7. Let x be d/(-48)*-3*-28. Suppose -5*b + x*g + 230 = 2*g, -62 = -2*b - 4*g. Does 26 divide b?
False
Let v be -5*-4*(4 - 3). Let g be v/(-2)*6/(-12). Suppose z - q = 11, -g*z = q - 33 - 52. Is 8 a factor of z?
True
Suppose 15*f - 7*f - 152 = 0. Suppose -x - 4*g = -50, -f = -5*x + 4*g + 111. Does 6 divide x?
True
Let w be 24/9 - (-4)/(-6). Let q(z) = 5*z - 2. Let k be q(1). Suppose 0 = -5*h + w*s + 122, -3*s - 83 = -k*h - 17. Is 12 a factor of h?
False
Suppose 13*q = 10*q + 24. Let x(y) = -3*y**3 + 10*y**2 + 44*y - 7. Let z(b) = -b**3 + 3*b**2 + 15*b - 2. Let h(l) = 4*x(l) - 11*z(l). Does 9 divide h(q)?
True
Let q be 0*(-3)/(-36)*3. Let v(s) = -2*s**2 - 6*s + 3. Let a be v(5). Is a/(q - 1) - 0 a multiple of 11?
True
Suppose 2*v = -4*z + v + 380, -4*z - 5*v = -380. Suppose 2*n + 5*l = z, 43 = -3*n + 4*n + l. Does 20 divide n?
True
Let n(f) = f - 12. Let m be n(6). Let b(y) = 2*y + 9. Let o be b(m). Let r = 43 + o. Is r a multiple of 20?
True
Suppose 0 = -3*n + 15, 2*f = 5*n + 1061 + 292. Is 25 a factor of f?
False
Let k = 68 + -68. Suppose -5*f = -3 - 7. Suppose 6 = -2*s, f*c - 73 = -5*s - k*s. Does 11 divide c?
True
Let a = 249 + -112. Suppose a = g + 11. Suppose 0 = -2*m + 2*b + 120, -4*b - g = -2*m - 0*m. Is m a multiple of 19?
True
Suppose 0 = 4*o - 19 + 15. Let j(h) = -14*h**3 + h**2 - h - 4. Let u(i) = i**3 + 1. Let b(m) = -j(m) - 4*u(m). Is 4 a factor of b(o)?
False
Let q be (-2)/6 - 28/(-12). Suppose 0 = -q*a + 3*a - 10. Let i = a - 6. Does 4 divide i?
True
Let u = 2946 + -189. Is 82 a factor of u?
False
Let g(j) = -j**3 - 46*j**2 - 134*j - 22. Is g(-43) a multiple of 30?
False
Let c(l) = -l**3 - l**2 + 188. Let b be c(0). Let t be b + (-6 - 2)/(-4). Suppose -t = -8*s + 3*s. Is s a multiple of 8?
False
Let v(z) = z**2 - 5*z - 2. Let a be v(5). Does 5 divide (a/5)/(-2 - 138/(-70))?
False
Suppose 9 = 5*g - 41. Let w(b) = 2*b**3 - 18*b**2 - 6*b - 20. Is 10 a factor of w(g)?
True
Suppose -540*v = -542*v + 18. Is v a multiple of 2?
False
Suppose -4*s = -n - 620, 2*