 a multiple of 41?
True
Let j = -81 + 473. Is 6 a factor of j?
False
Suppose f + p + 6 = 0, -f - 2*f + 4*p = -3. Is ((-35)/f)/(8/24) a multiple of 7?
True
Suppose 5*t = 2*f + 5, 2*f + 5*t - 13 = 4*t. Suppose -4*q + f*k - 103 = 285, -3*k + 196 = -2*q. Let p = 163 + q. Does 35 divide p?
False
Suppose -5*x - 4*t = -13759, -t + 8803 + 2213 = 4*x. Does 71 divide x?
False
Let w(x) = x + 18. Let n be w(-12). Suppose n*f - 90 = f. Does 6 divide f?
True
Let f be (-42)/(-5)*(-10)/(-4). Suppose 5*m = -0*m + 3*t, -2*m - 3*t = f. Is (135/10)/(m/(-4)) a multiple of 6?
True
Suppose 0 = -2*y - 12*y. Suppose y = -3*f + 217 - 1. Is 6 a factor of f?
True
Let u(l) = l**2 - 32*l - 27. Is u(-8) a multiple of 35?
False
Let j(u) = -9*u + 11. Let o be j(6). Let a = o + 69. Is a a multiple of 6?
False
Let l = 97 - 192. Let n = -51 - l. Does 22 divide n?
True
Let g be (-14)/1 - -4*1. Let w(b) = -2*b + 2. Let v be w(g). Suppose 0 = 5*d - v - 38. Is d a multiple of 6?
True
Suppose -27*b + 80*b - 50880 = 0. Is 12 a factor of b?
True
Is 77 a factor of (-1 - 3 - 226/4)*-14?
True
Suppose 3495 = 5*b + 5*i, -81*b + 2780 = -77*b - 4*i. Is 9 a factor of b?
False
Suppose 8*a = 3*a + 15. Suppose a*v + 15 = -3. Let r(p) = -p**2 - 7*p. Is r(v) even?
True
Let h = -616 - -1585. Does 57 divide h?
True
Let o(t) = 19*t**2 - t - 2. Let r be o(-1). Let z(w) = w**2 - 12 - r*w - 1 + 21. Does 4 divide z(19)?
False
Let n(p) = -p. Let u be n(-1). Suppose 1 = b - u. Suppose -2*k + 136 = 4*r, 0 = -r - b*k + k + 35. Is r a multiple of 11?
True
Suppose -3*a = -19 - 11. Suppose -c + a*j = 5*j - 8, -j + 144 = 5*c. Is c a multiple of 14?
True
Is 25 a factor of 27536/54 - (-54)/729?
False
Suppose -9 = 3*i + 4*m - 97, -4*m = -16. Let u be -1 - 2/1*-8. Let l = u + i. Does 15 divide l?
False
Let c = 25 + -15. Let f = 20 - c. Does 5 divide f?
True
Suppose u + 62 = -2*g, -4*g + 4*u = -2*g + 72. Let j = g - -22. Does 22 divide ((-36)/5 + 3)*j?
False
Suppose -9*g = -3*g + 24. Is -1*6/g*(-124)/(-3) a multiple of 7?
False
Let h be 9/2 + (-1)/2. Suppose h*g - 64 = -0*g. Let v = 4 + g. Does 7 divide v?
False
Suppose 5*k = -372 - 148. Let m = -60 - k. Is 5 a factor of m?
False
Suppose 0 = -0*h + 9*h. Suppose -c + 108 + 0 = h. Is 10 a factor of c?
False
Let x be (-51)/(-18)*3*878. Suppose 4*i + t = 4*t - x, 5*i + 9324 = -t. Is 17 a factor of 6/15 - i/25?
False
Let o(l) = 375*l - 770. Is o(10) a multiple of 30?
False
Suppose -k - 2*o = o - 3, -3*k = -o + 31. Suppose c + 489 = u + 44, -5*u - 433 = c. Is 18 a factor of c/k - (-14)/(-63)?
False
Let w = 38 - 54. Let f = -8 - w. Is f even?
True
Suppose 0 = 47*r - 31627 - 13305. Is r a multiple of 11?
False
Let f = 96 - -333. Is 32 a factor of f?
False
Let k be 55 + 0 + -2 - 4. Let n be (-14)/k*7/(-1). Suppose 154 - 20 = n*s. Is 17 a factor of s?
False
Let y = 24 - -981. Does 29 divide y?
False
Let a(i) = -i + 15. Let n be a(7). Let g(w) = w + 10. Is g(n) a multiple of 6?
True
Suppose -s = -0*p + 3*p - 673, 1140 = 5*p - 2*s. Does 10 divide p?
False
Let d = 10 + -10. Suppose 4*o = h - 77, d = h - 3*o + 2*o - 62. Suppose -h = -w + 41. Is w a multiple of 14?
True
Let z = -65 - -46. Let h = -11 - z. Let k = h + 5. Does 13 divide k?
True
Let l(o) = 2*o**2 + 13*o + 15. Is l(-6) a multiple of 3?
True
Let s = -318 + 427. Is s a multiple of 2?
False
Let r be (-19)/(0 + -1 - -2 - 2). Suppose -r*b = -15*b - 280. Is 10 a factor of b?
True
Let q = -372 - -993. Is 65 a factor of q?
False
Suppose 5 = -a + h, -2*a + 3*h - 14 + 2 = 0. Let n be 23/4 - a/12. Suppose n*l - l - 320 = 0. Is 11 a factor of l?
False
Suppose -5*q = -4*q - 2. Let l = q - -4. Does 14 divide (-73)/(-5) + l/(-10)?
True
Suppose -y - 2*y + 171 = 0. Suppose 4*t + 90 = 10*t. Let s = y - t. Is s a multiple of 13?
False
Suppose 0 = -3*a - 3*m + 4*m + 86, 0 = 2*a + 3*m - 61. Suppose -12 = 4*x, -2*b - a = -3*b + 5*x. Is 14 a factor of b?
True
Suppose 3*m - 5*m = -48. Suppose 5 = 3*k - 5*o - 36, 2*k - m = 5*o. Suppose -4*s - 28 = -5*g, 2*g + 5*s - 48 = -k. Is g a multiple of 8?
True
Suppose 3*d = -c + 2199, 4*d + c = 5*c + 2948. Is d even?
True
Let f(k) = 2*k**2 + 13*k + 2. Let g be f(-9). Let z = g + -41. Is z a multiple of 5?
False
Let q(b) = b**3 - 3*b**2 + 3*b - 2. Let z be q(1). Let v be z/2*(-1926)/9. Suppose 5*u - 18 = v. Does 16 divide u?
False
Suppose 13*d - 10*d - 75 = 0. Is 42 a factor of -3 + (10/d - 516/(-10))?
False
Suppose -15*b = -166 - 209. Let t be 21/2*(-12)/9. Let g = b + t. Does 3 divide g?
False
Let h(n) be the first derivative of -3*n**2 + 4*n - 1. Is h(-2) a multiple of 8?
True
Suppose -2153 = -5*z - 5*f + 4327, 6480 = 5*z - 4*f. Is z a multiple of 24?
True
Let l(u) = 8*u**2 - 6*u - 4. Let y be l(-4). Let c = -53 + y. Is c a multiple of 20?
False
Does 49 divide (47 - 0) + (-19 - -21)?
True
Suppose -2*t + 16 = 2*t - 3*y, -16 = -4*t - 4*y. Suppose -4*i + 0*z = -2*z - t, 3*i - z = 5. Does 17 divide (i - 7/2)*-166?
False
Let i = -557 + 862. Let j = -140 + i. Suppose -t + j = 4*g, -4*t = -5*t - 3. Is 14 a factor of g?
True
Let y = -222 + 375. Suppose -y = -4*n + n. Is 17 a factor of n?
True
Let n = -269 + 398. Suppose 2*u = -3*v - 0*v - n, 3*u = -9. Let p = -32 - v. Is p even?
False
Suppose 19*x - 4482 = x. Is x a multiple of 5?
False
Suppose 5*c + 5*o = -830 - 1240, 0 = -c + o - 420. Let h = -297 - c. Is 20 a factor of h?
True
Is (2/((-6)/1))/((-10)/3210) even?
False
Let a(l) = -l**2 + 9*l - 4. Let x be a(9). Let g = -2 - x. Suppose g*y - 10 = -j + 4*y, -5*y = -3*j + 31. Does 11 divide j?
False
Let w(z) = -z**2 + 9*z - 15. Let m be w(6). Let h = m - 3. Suppose 5*f - 46 - 79 = h. Does 25 divide f?
True
Is 5 a factor of 1194/(-20)*-6 - (-12)/15?
False
Let w(s) be the first derivative of -s**3/3 + 13*s**2/2 - 15*s + 18. Is 5 a factor of w(9)?
False
Suppose -5*g = -3*r - 90, 4*g + 6*r - 40 = 2*r. Let l(o) = o - 4. Is l(g) even?
False
Suppose -2*o = 5*y - 8508, 14*y + 5*o = 19*y - 8480. Is 49 a factor of y?
False
Let v = 44 - 40. Suppose -v*m = x + 2*x - 186, 0 = -x + 5*m + 81. Is x a multiple of 16?
False
Let t(k) be the first derivative of k**4/4 - 8*k**3/3 + 2*k**2 - 7*k - 11. Let y be t(8). Does 15 divide y - (0 - (0 + -3))?
False
Does 12 divide -8 + (-3355 - -9)/(-7)?
False
Let b = -1253 + 3621. Is b a multiple of 16?
True
Suppose -133*f - 14168 = -147*f. Is 11 a factor of f?
True
Let i(z) = 30*z + 78. Does 18 divide i(4)?
True
Suppose 2*q - 37*a - 698 = -32*a, a - 722 = -2*q. Is 21 a factor of q?
False
Let l = -1295 + 1463. Is l a multiple of 24?
True
Suppose 3*y - i - 226 - 2013 = 0, -5*y + i + 3735 = 0. Is 27 a factor of y?
False
Let f = -104 - -290. Let s = f - 32. Is s a multiple of 11?
True
Suppose -1489*y + 904 = -1485*y. Is y a multiple of 7?
False
Let y(t) = 6*t**2 - 42*t + 35. Is 13 a factor of y(9)?
True
Let w(q) = q**2 + 9*q - 11. Let o be w(-11). Suppose 0 = 8*u - o*u + 408. Does 35 divide u?
False
Is 65 a factor of (-4989875)/(-1625) - (-4)/13?
False
Let m = 127 + -132. Is 34 a factor of 6/10 - m/((-25)/(-1092))?
False
Suppose -2*y + 4*u = -478, -4*y - 4*u + 971 = -9*u. Let q = 438 - y. Is q a multiple of 21?
True
Let g(m) = 4*m**2 + 2*m - m**2 + 13 - 12*m - 4*m**2. Let a be g(-11). Suppose 0 = p + a*j - 5*j - 6, -3*p - 4*j = -44. Is 6 a factor of p?
True
Suppose 3*t = 219 + 117. Suppose -t = -w - w. Is 12 a factor of w?
False
Let g(q) = -13*q + 12. Let b(z) = -28*z + 25. Let d(n) = 6*b(n) - 10*g(n). Does 37 divide d(-7)?
True
Let j(b) = 2*b**2 + 17*b - 9. Let v(y) = -3*y**2 - 16*y + 9. Let i(w) = 4*j(w) + 3*v(w). Let u be 4/(-4 + 0)*-7. Is 12 a factor of i(u)?
False
Let i be -19 - (-3 - (-3 + 2)). Let n = i + 20. Suppose 3*y - 69 = 3*p, -n*y = -5*p - 50 - 13. Does 6 divide y?
False
Let a(z) = z**2 + 6*z + 3. Let m be a(-6). Let f be (4/(-1))/(m/42). Let o = -20 - f. Is 12 a factor of o?
True
Suppose -5*g + 4*i - 57 = 0, 2*i - 26 - 25 = 5*g. Is 9 a factor of (56/12)/((-2)/g)?
False
Is (-7198)/(-22) - (2 + (-100)/55) a multiple of 25?
False
Suppose p - 2*p + 8 = 2*i, -2*p + i = -36. Let c be p/72 + 137/(-9). Let y = 5 - c. Does 10 divide y?
True
Let c(b) = b**2 - 1. Let t be c(-1). Suppose t = 2*g - 55 - 27. Suppose 2*i - 7 = -3*u + 12, 4*i + 5*u - g = 0. Does 7 divide i?
True
Let s be (-16)/(-48) + 8/3. Let p be s/24 + (-117)/(-24). Suppose -4*i - 4*w + 96 = 0, -120 = -p*i + 5*w - w. Does