1 - 1297. Is r a multiple of 62?
True
Let g(x) = -23*x. Suppose 2 = j + 5. Does 10 divide g(j)?
False
Suppose 0 = 83*f - 1469 - 3179. Is f a multiple of 28?
True
Let k = 363 - 300. Is 4 a factor of k?
False
Suppose 0 = 5*f - 71 - 19. Does 33 divide (33/9)/(1/f)?
True
Let r = -483 - -835. Does 32 divide r?
True
Let j(w) = 6*w**3 - 3*w**2 - 5*w + 8. Let m be j(3). Suppose -4*c + 868 = 4*n + m, -547 = -3*n + 5*c. Does 23 divide n?
True
Does 74 divide ((-592)/(-20))/((-6)/(-45))?
True
Let r = -187 - -1330. Is 24 a factor of r?
False
Suppose 0 = 4*l - 96 - 52. Let x = 97 - l. Does 10 divide x?
True
Let k be 1 + 60 + 0 + -1. Suppose 0 = 3*j - k - 66. Is j a multiple of 9?
False
Suppose 0 = 3*j + j - 2*j. Let k(g) = 8*g - 49. Let l(c) = -9*c + 49. Let i(t) = -7*k(t) - 6*l(t). Is 16 a factor of i(j)?
False
Let v(m) = 5*m**3 - 8*m**2 - 11*m + 8. Let h(p) = 4*p**3 - 8*p**2 - 10*p + 8. Let o(j) = -6*h(j) + 5*v(j). Is o(-4) a multiple of 9?
True
Suppose -4*n = -l + 2809, 4*n = 40*l - 36*l - 11236. Does 5 divide l?
False
Let n be (-8)/(-6) - 15/(-9). Suppose 0 = s + 2*s + n*y - 324, 5*s - 535 = -4*y. Suppose -2*p + 69 = -s. Is 32 a factor of p?
False
Suppose -551 - 1129 = -4*l. Suppose l = -2*t + 7*t. Is 10 a factor of t?
False
Let o(n) = -n**2 - 13*n + 5. Let x be o(-13). Suppose -2*y + 79 = -x*q, -4*y + 127 = 2*q - 91. Is y a multiple of 8?
False
Let y(t) = 2*t**2 - 5*t + 1. Let d(c) = 6*c + c**2 + 7 - 4 - 4 + 6. Let z be d(-6). Is y(z) a multiple of 26?
True
Is (-87)/232 + (-43270)/(-16) a multiple of 26?
True
Suppose 0 = k - 3*k + 14. Does 2 divide (2/(-3))/(k/(-105))?
True
Let p(g) be the first derivative of 12*g**4 + g**3/3 - g - 300. Let b(w) = w + 6. Let k be b(-5). Does 15 divide p(k)?
False
Let s = -571 + 1778. Does 65 divide s?
False
Suppose -145 = -4*t - 25. Let u = t - 11. Does 19 divide u?
True
Let t = -453 - -645. Is 34 a factor of t?
False
Suppose 41*s + 35*s - 99104 = 0. Is 10 a factor of s?
False
Let l = 61 - -79. Suppose 2*p = 5*g + l - 22, 5*g = 3*p - 172. Does 5 divide p?
False
Let j = 574 + -466. Is 12 a factor of j?
True
Suppose 4*i + 335 = 9*i. Let y = i + -19. Does 12 divide y?
True
Let m = 11 - 9. Suppose -m*g + 460 = 3*g. Is 20 a factor of g?
False
Let r(z) = 8*z + 567. Is 27 a factor of r(0)?
True
Let r(m) = -m**3 + 7. Let s be r(0). Does 2 divide s/4*(4 + 4)?
True
Let d(x) = x**2 + 8*x - 73. Is 11 a factor of d(11)?
False
Let f(y) = -13*y**3 + 2*y**2 - 3*y + 2. Let z be f(1). Is 136 + 0 + -2 + 24/z a multiple of 33?
True
Suppose -4*a - 28 = -a - 4*u, -36 = 4*a - 5*u. Does 37 divide a/10 + (-187)/(-5)?
True
Suppose -450*c = -465*c + 55200. Is 20 a factor of c?
True
Let s be (-17)/68 - (-41)/4. Is (1 - 0)*(s + -6) a multiple of 4?
True
Suppose 4*n - 2*n = 8. Suppose 4*w + 98 = -3*m, n*m + 114 = 2*w + w. Is 5 a factor of ((-2)/(-3))/((-4)/m)?
True
Suppose -2*z + 22 = -2. Let l = z - 12. Let j = l - -5. Is j even?
False
Let k(g) = 14*g**3 - g. Let h be k(1). Suppose 0 = 5*j + h - 88. Does 8 divide j?
False
Is (-90)/9*(321/(-2) - -3) a multiple of 35?
True
Suppose -6*c + 564 + 30 = 0. Suppose -61 = -3*j + 2*i + c, 5*j + i - 284 = 0. Is 13 a factor of j?
False
Suppose 21*z - 20*z = 18. Suppose z = 8*k - 134. Is k a multiple of 9?
False
Suppose 0 = -3*t - 16 + 460. Let r = 92 + t. Is r a multiple of 16?
True
Suppose 8 = 9*r - 5*r. Suppose 2*v - 4*m = 224, -r*v - 5*m + 294 - 34 = 0. Is v a multiple of 20?
True
Let c be (-110)/11*(-6)/10. Suppose 0 = -c*h - 4 + 466. Does 6 divide h?
False
Is 4 + (3 - 155/(-5)) a multiple of 5?
False
Let z = -535 - -1067. Is 28 a factor of z?
True
Let i = -28 + 32. Suppose -5*t - 24 + 9 = 0, -p + 45 = -i*t. Is p a multiple of 33?
True
Let g = -704 + 3110. Is g a multiple of 98?
False
Let j = 13 + -17. Let a(f) = -7*f - 3. Let p be a(j). Let x = p - 5. Does 5 divide x?
True
Is 10 a factor of (13 + -14)/((-4)/(-252)*-1)?
False
Let x(s) = 12*s**3 - 3*s + 4. Is x(3) a multiple of 29?
True
Suppose -82*h = -76*h - 3192. Does 33 divide h?
False
Suppose -k - 75 = -5*a, 13*a - 11*a = -k + 37. Is a a multiple of 16?
True
Let i(k) = k + 27. Let l be i(-25). Suppose -2*o - 4 = -l*u, -2*u + u + 12 = o. Is u a multiple of 6?
False
Let n(q) = 144*q - 6. Let z be n(5). Is z/35 - 4/10 a multiple of 5?
True
Let t be (-1196)/(-10) + (-2)/(-5). Suppose -3*z + t = 2*z. Suppose 4*w - z - 29 = n, -4*w + 51 = n. Is w a multiple of 4?
False
Let v(z) be the first derivative of 7*z**2/2 + 58*z + 51. Is 20 a factor of v(21)?
False
Let z(s) = s**3 + 14*s**2 - 15*s + 14. Let v be z(-15). Suppose v*t = 9*t + 480. Does 8 divide t?
True
Let l = 18 - 16. Suppose 0 = -f - 2*x + 5, -l*f + 2*x - 5*x + 9 = 0. Suppose -j + f = -40. Does 19 divide j?
False
Is 2/14 - -22566*7/98 a multiple of 31?
True
Suppose -12 = -3*u, -u + 4*u = -3*k + 21. Suppose 0 = -k*t + t + 76. Does 19 divide t?
True
Is 1*(71 - 5) + (-8 - -3) a multiple of 29?
False
Suppose 4*p - 3*d = 168, 3*p - 3*d + 21 = 150. Suppose -177 = -9*c + p. Is 8 a factor of c?
True
Suppose 403*p - 398*p = 2275. Is 57 a factor of p?
False
Let r = -25 - -30. Suppose 50 = f + r*s, -f = -0*f - 4*s - 95. Is f a multiple of 7?
False
Suppose -4*u = -78*r + 74*r - 9732, 4*r = -4. Is 8 a factor of u?
True
Let n be (-4 + (3 - 8))*2*5. Let b = n + 105. Is b a multiple of 15?
True
Let i be -3*(-4)/18*78. Suppose 2 = 2*p + 4*y - 6, -5*p - 2*y + i = 0. Suppose -76 + p = -2*o. Is o a multiple of 8?
True
Suppose -30*z = -37*z + 42. Suppose -5*b - 4*d = -757, -2*d + 92 = 2*b - 210. Suppose -b = -z*l + 183. Is l a multiple of 14?
True
Is -272*((-5)/2)/(-15 + 16) a multiple of 8?
True
Suppose 0 = 3*q + u + 102, 82 = -2*q - 2*u + 6*u. Does 42 divide ((-75)/q)/5 + 1604/14?
False
Suppose -9 - 11 = -b - 5*r, 2*r - 16 = -2*b. Suppose 30 = s - 5*h - 253, 0 = -3*s - b*h + 769. Does 41 divide s?
False
Let k = 24 - 16. Suppose 10*g = k*g + 152. Does 13 divide g?
False
Suppose -5*h + 4*q + 24 = -6, -5 = 5*h + 3*q. Suppose 0 = 5*d - 15, -4*l - h + 6 = -4*d. Suppose 33 + 31 = l*o. Is 15 a factor of o?
False
Let y = 865 - 10. Is 9 a factor of y?
True
Let r(v) = 2*v**2 - 22*v + 41. Let p be r(22). Let w = p - 358. Is 12 a factor of w?
False
Suppose 8*l - 14 = 106. Let z be (2 + 14/(-8))*4. Suppose l = i + z. Does 7 divide i?
True
Suppose -14*z + 8*z - 1116 = 0. Let j = 282 + z. Is 8 a factor of j?
True
Suppose 3*n + i = -0 - 15, 4*n - 5*i + 1 = 0. Suppose -8 = -5*a + a. Is 51 + n + a + -1 a multiple of 14?
False
Let s = -144 + 175. Let v = 115 - 64. Let m = v - s. Is m a multiple of 10?
True
Let z(k) = k + 18. Let d be z(14). Let r = d - 18. Let s = r + 12. Is 13 a factor of s?
True
Let f(i) = -3*i**2 + 5*i + 17. Let m(h) = 5*h**2 - 11*h - 33. Let l(p) = -7*f(p) - 4*m(p). Does 3 divide l(-8)?
False
Let q be (0 - 4/(-8))/(-1)*-4. Is (0 - 6)*q*-4 a multiple of 8?
True
Suppose 0 = w - 0*w - 4*y - 45, 3*y + 3 = 0. Let i = 60 - w. Is 3 a factor of i?
False
Let s(w) = 6*w**2 - 16*w - 11. Is s(-5) a multiple of 18?
False
Suppose -571 - 104 = -9*j. Is j a multiple of 8?
False
Suppose -297*d = -291*d - 23556. Is 12 a factor of d?
False
Let c(q) = -q**2 + 10*q - 17. Let d be c(7). Suppose -d*o - k - 1820 = 0, 4*o = -0*k + k - 1820. Is 6/(-15)*o/14 a multiple of 4?
False
Suppose 5*a - 5*z - 240 = 0, -96 + 92 = -2*z. Is 5 a factor of a?
True
Let m(j) = -j + j**3 - 2*j**3 - 1 + 4*j**3. Let t be 32/18 - (4 - 38/9). Is 12 a factor of m(t)?
False
Let n(f) = 2*f**3 + 4*f**2 - 10*f - 6. Is 14 a factor of n(5)?
True
Suppose 0 = -2*b - 0*b + 18. Let f be (-3)/b + (-10)/(-3). Suppose -f*u - 5*g + 61 = -10*g, 4*u - 73 = 5*g. Does 4 divide u?
True
Let f(y) = 3*y**2 + y - 2. Let w be f(1). Suppose w*s + 5*l = 300, 378 = 3*s + 2*l - 83. Does 52 divide s?
False
Let r = -39 - -57. Is (-228)/r*(-6 - 0) a multiple of 19?
True
Let v = 29 + -37. Let l = v - -32. Does 24 divide l?
True
Let b(s) = -17*s + 71. Is b(-9) a multiple of 16?
True
Suppose 3*g - 2*g = -2*f - 4, 0 = 5*g - 2*f - 40. Let o(m) = -m**3 + 6*m**2 + m - 4. Let h be o(g). Suppose 77 + 31 = h*l. Is 17 a factor of l?
False
Suppose -3*o + 8*f + 1166 = 4*f, -o + 397 = -3*f. Is o a multiple of 10?
False
Let b be (-10)/4 + (-1)/(-2). Let r = 366 - 362. Is 5 a factor of -5*b/(r/10)?
True
Suppose 263*x - 259*x = 2348. Is x a multiple of 36?
False
Suppose 2*l = 5*d + 189 + 232, -427 = 5*d - 4