or of j?
True
Let v(u) = -4*u - 10. Let n = 25 + -16. Let x = 0 - n. Is v(x) a multiple of 8?
False
Is (-11977)/(-21) + 15/9 a multiple of 13?
True
Let g be (0 + 8/12)*3. Suppose -f + 22 = g*t, -3*t - 15 = -4*f + 84. Is 6 a factor of f?
True
Let m(i) be the second derivative of i**5/20 + 5*i**4/12 - 4*i**3/3 + 5*i**2 + 12*i. Does 11 divide m(-6)?
True
Suppose 4 = 3*v - 2. Suppose -v*k - 2*k = -136. Does 17 divide k?
True
Suppose 0*y + 320 = -2*y - 3*a, 150 = -y + a. Let r = 262 + y. Is 12 a factor of r?
True
Suppose 3*v - 22 = 5. Suppose -3*w + v*w - 78 = 0. Is 2 a factor of w?
False
Is 3 a factor of 301/5 - 22/110?
True
Let z(k) = 3*k**3 - 4*k**2 - 3*k + 10. Let m be z(-5). Let p = 780 + m. Suppose -8*w + p = -2*w. Is 13 a factor of w?
False
Let i(p) be the third derivative of -p**5/60 - 7*p**4/12 + p**3/6 + p**2. Let x = -7 - 6. Does 4 divide i(x)?
False
Let j = -5 + 27. Suppose 3*q = -52 + j. Is 14/(-35) - 224/q a multiple of 6?
False
Suppose 429 = -5*a + 999. Is a a multiple of 9?
False
Let l = 35 + 69. Suppose 109 + l = 3*x. Does 11 divide x?
False
Suppose y - 138 = -5*y. Suppose 0 = -21*n + y*n. Suppose n = -j - j + 34. Does 17 divide j?
True
Suppose 0 = 2*t + 59*l - 60*l - 193, 4*l = 12. Is 6 a factor of t?
False
Let t(z) = 4*z - 25. Suppose q + 33 = 4*q. Let w be t(q). Suppose -20*a = -w*a - 52. Does 13 divide a?
True
Let z be (7 - 6)/(2/4). Is 30 a factor of ((-3)/z)/((-2)/40)?
True
Let b = 6 + 4. Suppose -o - b = 4*o. Let g(q) = -12*q. Is 24 a factor of g(o)?
True
Suppose -20*g - 8 = -24*g. Suppose g*y + y - 302 = -2*t, 0 = t - 4*y - 173. Is t a multiple of 30?
False
Let t = 213 + -288. Let v(x) = -39*x + 3. Let y be v(-3). Let g = y + t. Is 9 a factor of g?
True
Suppose 58 = f - 4*k, f - 3*f + 125 = k. Does 10 divide f?
False
Suppose 16*b = 23*b - 1211. Is b a multiple of 25?
False
Suppose -5*m - 2*g = -555, m - 8 - 116 = -3*g. Suppose a + m = -3*z + 4*z, 0 = -z - 2*a + 106. Is 28 a factor of z + -1 + 1 + 0?
False
Suppose -58*p + 14*p = -8844. Is p a multiple of 18?
False
Suppose 0 = -6*x + 8*x - 1230. Is x a multiple of 23?
False
Suppose -3*d + 8*d = -245. Let j = 19 + -88. Let w = d - j. Does 19 divide w?
False
Suppose -5*g + 723 = -m - 266, 3*m = 3*g - 591. Does 10 divide g?
False
Suppose 3*u - 5*v = -0*u - 70, -2*u - 54 = 4*v. Let o = u + 17. Is (999/(-36))/(3/o) a multiple of 31?
False
Let f(v) = 4*v + 20. Let m be f(-8). Let k be 4*(-3)/m*5. Suppose g + 3*h - 49 = 0, -k*g + 11 + 260 = 2*h. Is 12 a factor of g?
False
Suppose -7*c + 2*c = -230. Let r = 102 - c. Let n = -37 + r. Is 10 a factor of n?
False
Let x be (4 - 4) + -1 - -80. Let o(m) = -m**3 + 5*m**2 - 2*m - 2. Let i be o(4). Does 22 divide -9 + i + 2 + x?
False
Let p be (-1)/((2/6)/(-1)). Let m = -49 + 125. Suppose -p*n = n - m. Is 13 a factor of n?
False
Suppose 2*r + 0*r = -28. Does 21 divide -7*(46/r - 1)?
False
Suppose p - 47 = x + 6*p, 0 = -5*p - 5. Is 5 a factor of x*((-1)/(-2))/(15/(-80))?
False
Let k = -5 - -7. Suppose -5*w - 58 = -k*d - d, 2*d + 3*w - 45 = 0. Suppose 2*h + d = 77. Is 14 a factor of h?
True
Let c be 4/10 + 200/125. Suppose 3*n + 2*n - 1107 = -4*w, c*w + 4 = 0. Is n a multiple of 21?
False
Suppose -832 - 203 = -3*p. Is p a multiple of 69?
True
Suppose 0 = -0*p + p - j - 63, 2*p - j - 121 = 0. Suppose r + p = -r. Let f = -9 - r. Is 8 a factor of f?
False
Let c be (16 + -1)*432/40. Suppose -140 = 2*j - c. Is j a multiple of 3?
False
Suppose 0 = -4*r + x + 5853, 0 = 37*r - 42*r - 2*x + 7313. Is 43 a factor of r?
False
Let s be (-242)/(-1) - 1 - 0. Let y be (-249)/2 - (-1 - 4)/10. Let f = y + s. Is f a multiple of 40?
False
Let l(t) = -30*t + 22. Is l(-5) a multiple of 12?
False
Let y(i) = -i**2 - 13*i + 8. Let c be y(-14). Is (3 - 1570/c) + 2/(-3) a multiple of 33?
True
Let d = -448 + 664. Let r = d - 97. Does 17 divide r?
True
Let d(s) = -s**3 + 2*s - 1. Let i = -1 + 2. Let o be d(i). Suppose o*t + 33 = t. Is t a multiple of 11?
True
Let q be (-825)/22*8/(-10). Suppose 117 = 7*k - q. Is 4 a factor of k?
False
Let v(x) be the third derivative of x**5/60 - 5*x**4/24 - 5*x**2. Let y be v(4). Is (13/1 + y)*1 a multiple of 3?
True
Does 63 divide 2835/(-20)*2*-2?
True
Let n be 293 - 20/(-2 - 3). Let o = 454 - n. Suppose -3*u + 5*b = -o, -u = b + 1 - 40. Is 11 a factor of u?
True
Is 38 a factor of 4/3 - (-4428)/81?
False
Suppose 2*b + 123 = 907. Suppose 0 = -7*h - 0*h + b. Is h a multiple of 7?
True
Suppose -f = 4*f. Suppose 2*z = -8, f = 2*i - 4*z - z + 62. Let p = -3 - i. Is 5 a factor of p?
False
Let x(c) = -c**3 + 3*c**2 - 4*c - 10. Does 16 divide x(-11)?
True
Is 17 a factor of 15/6*4/(-6)*-51?
True
Suppose 0 = -4*c - 3*c + 644. Let p = 174 - c. Does 18 divide p?
False
Suppose 2*b = -3 + 13. Suppose -55 = -b*l - 5*y, -2*l + 0*y = -3*y - 17. Let d(i) = -i**2 + 17*i + 2. Does 19 divide d(l)?
False
Let h(d) be the third derivative of -d**5/60 - 3*d**4/8 + 2*d**3/3 + 2*d**2. Is h(-8) even?
True
Suppose -4*y = 12, -5*y - 241 = m - 1036. Does 53 divide m?
False
Let f(d) = 3*d**3 + 5*d**2 - 7*d + 1. Let a(j) = j**3 + 4*j**2 - j - 1. Let n be a(1). Is 13 a factor of f(n)?
False
Let k(a) = 44*a**2 - 5*a - 15. Let l be k(-7). Suppose 4*w - 2013 = 2*g + 155, -4*w = -4*g - l. Suppose 0 = -14*x + 19*x - w. Does 36 divide x?
True
Let x = -803 - -974. Is 19 a factor of x?
True
Let k = 1281 - 119. Does 14 divide k?
True
Suppose 4*d = -4 + 36. Let z(v) = 10*v**2 - 10*v. Let w be z(d). Is 15 a factor of w/(-24)*12/(-5)?
False
Is (-66)/4*546/(-63) a multiple of 16?
False
Suppose 0 = f - 6 - 4. Suppose -7*l + f*l = 9. Is (l/2)/(13/104) a multiple of 12?
True
Suppose 17*y - 34*y + 46053 = 0. Is 59 a factor of y?
False
Let y be 4 + 0/(-2) - -25. Let w = y + -13. Is 8 a factor of w?
True
Let v(c) = -c**3 + 19*c**2 + 21*c + 5. Is 4 a factor of v(20)?
False
Let r(g) = -5*g + 99. Suppose s + 77 = 8*s. Does 10 divide r(s)?
False
Suppose w + 2*j - 10 = 5*j, -2*j = 4*w - 12. Suppose 0 = i + w - 6. Suppose 2*k + g - 11 = 0, i*g + 7 = -3. Is k a multiple of 4?
True
Suppose -5*t + 983 = 2*m - 612, 2*m + 2*t = 1598. Suppose -8*z + 0*z = -m. Does 10 divide z?
True
Let q(h) = -h - 5. Let r be q(-11). Suppose 3*g - r*g + 126 = 0. Suppose g = 2*y - 22. Does 7 divide y?
False
Let d = -29 + 48. Suppose 2*s - s - d = 0. Suppose 3*o + 3*k - s = 20, 20 = -4*k. Is 6 a factor of o?
True
Let r be (-4 + 7)/(0 + -1). Let s be (-8)/r*(-135)/(-10). Is 492/s + 4/(-6) a multiple of 5?
False
Let v = -17 + 59. Suppose 0*u = -2*u + v. Does 18 divide u?
False
Let k = 17 + -22. Let f(u) = -3*u**2 - 3*u. Let z be f(k). Is 4 a factor of 12/(-10)*z/9?
True
Let x be 6/4 - 424/16. Suppose -2*f + 74 = -4*m, 2*m + 72 = -f + 3*f. Let o = f - x. Does 28 divide o?
False
Let n = 7 - 7. Suppose -3*t - 4*t = n. Suppose t = 5*s - 144 - 26. Is s a multiple of 20?
False
Suppose -4*x + 248 = 5*n, x - 3*x = -n - 124. Suppose v + x = -2*k, 3*k - 92 = v - 20. Let t = v + 115. Is t a multiple of 27?
False
Suppose -n - 3*r = -2*n - 8, 4*r + 76 = -3*n. Let l be 20 + n + -1*1. Is (4 + 21 - 2) + l a multiple of 8?
False
Let i be 4/16 + 3610/(-8). Let d = -236 - i. Does 12 divide d?
False
Let l be (3/2)/(11/22). Suppose 3*o - 96 = -l*o. Is 4 a factor of o?
True
Let z = -20 + 30. Suppose 0*m + 2*m - z = 0. Suppose 0 = -5*x - m*s + 10, -5*x + s + 0 + 22 = 0. Is 4 a factor of x?
True
Suppose 5*g + 284 = 7*g. Is g a multiple of 71?
True
Suppose -5*i + 1502 = -v, 9 = -v + 4*v. Is 19 a factor of i?
False
Suppose -4*o + o + 48 = -4*c, -2*c - 2*o = 38. Suppose 0 = -194*y + 192*y - 8. Let i = y - c. Does 3 divide i?
False
Let q be -3*((-21)/(-9) + -3). Let u be 2 - (-2 - 54/q). Let h = -8 + u. Does 15 divide h?
False
Let j = 5 - 0. Suppose 2*t - j*t + 14 = z, -t + 4 = 0. Suppose 2 = z*p - 44. Is p a multiple of 17?
False
Let s = -111 + 190. Suppose 3*m - 3*z - 61 = m, 2*m + 3*z = s. Is 7 a factor of m?
True
Let r = 246 - -29. Is 95 a factor of r?
False
Suppose 7*z - 96 = 9. Let m = -2 - -2. Suppose -5*b + z + 5 = m. Is b a multiple of 2?
True
Suppose 0*x + 8 = -2*x - 3*n, 5 = x - 3*n. Let o(r) = -113*r**3 + 3*r + 2. Is o(x) a multiple of 14?
True
Let c = -19 + 18. Is 4 - (155*c - 0) a multiple of 16?
False
Is (-39)/(135/23 - 6) a multiple of 20?
False
Let o(k) = -k**2 - 8*k + 3. Let g be o(-8). Suppose -4*c + g*m + 17 = 0, -2*c - 4*m +