t t = f - 19. Is 4 a factor of t?
True
Suppose 3*i - 28 = 2*y, -3*i - y - 2 = 3*y. Suppose -i = h - 13. Is h a multiple of 7?
True
Is 2/6 - 1*(-5140)/6 a multiple of 18?
False
Let n = 60 + -64. Is ((-1)/((-3)/13))/(n/(-24)) a multiple of 3?
False
Suppose -3*o + 1982 = 4*v, -4*v + 0*v + 5*o + 1998 = 0. Suppose -14*d = -7*d - v. Is d a multiple of 19?
False
Suppose 0 = -5*v + 5*a + 250, -3*v + 4*v + a = 52. Let w = -9 + v. Let p = 114 - w. Does 36 divide p?
True
Let r(j) = -3*j. Let f be r(1). Let m be 3/9*-1*-3. Is (-1)/((f/36)/m) a multiple of 7?
False
Let s(k) = 19*k**2 - 10*k + 24. Is s(2) a multiple of 16?
True
Let m = -1 + 4. Suppose s = m*s - 84. Is s a multiple of 14?
True
Suppose 220 = 162*x - 160*x. Does 22 divide x?
True
Let r(p) = p**2 - 5*p + 3. Let v be r(5). Let l be 1/3 + (-213)/(-9). Suppose 4*h - 5*c + l - 97 = 0, 2*h - 9 = -v*c. Does 10 divide h?
False
Let a(q) = 11*q**2 - 9 - 5*q**2 + 3 - 3*q - q**3. Let f be a(5). Suppose 5*r + 5*j - 99 = -39, -f*j + 16 = 2*r. Is 4 a factor of r?
True
Is (851 + 4 + 4)/(0 - -1) a multiple of 33?
False
Let t = -328 + 454. Is t a multiple of 42?
True
Let w = -1 - -1. Suppose w*b - 32 = -4*b. Does 4 divide b?
True
Suppose 6*z - 2*z - 20 = 0, 5*s - 3*z - 1365 = 0. Is s a multiple of 6?
True
Let x = -443 - -859. Suppose -6*i = -22*i + x. Does 9 divide i?
False
Let d(f) = 2*f**2 + 17*f + 54. Is d(-11) a multiple of 2?
False
Suppose -22*z + 10*z = -21732. Does 12 divide z?
False
Does 5 divide (-56108)/(-312) + (5/(-6))/(-5)?
True
Suppose -4*z + 4*l = 0, l = -7*z + 2*z + 18. Let i(m) = 11*m**2 - z*m**2 - 4*m - 1 - 2 - 7*m**2. Is 14 a factor of i(-5)?
True
Does 23 divide (126056/7)/8 - -5?
False
Let c = -10 + 22. Let h = c + 2. Is h a multiple of 14?
True
Let z(y) = 88*y - 14. Is 26 a factor of z(4)?
True
Suppose 0 = -665*d + 669*d - 264. Is d a multiple of 4?
False
Let y(s) = -s - 12. Let k be y(10). Let o be 4/k + (-92)/(-22). Suppose -2*f = -3*p - o*f + 102, 5*p - 170 = -4*f. Is 21 a factor of p?
False
Suppose -19*x + 5*r - 347 = -21*x, -r - 908 = -5*x. Is x a multiple of 8?
False
Let m(f) = f**2 - 14*f + 8. Is 13 a factor of m(25)?
False
Let n(a) = a**2 + 9*a - 66. Is 2 a factor of n(-14)?
True
Let r = 1958 + -343. Is 21 a factor of r?
False
Let u be (-1)/4*1 + (-306)/(-72). Suppose -2*j = b - u, 4*b = 4*j - 6*j + 28. Is 3 a factor of b?
False
Let k = 474 - 425. Is k a multiple of 49?
True
Let t(d) = d**3 + 21*d**2 + d + 20. Let y be t(-21). Let x(m) = 38*m**2 - 3*m - 3. Is x(y) a multiple of 7?
False
Let o(r) = 2*r**2 - 9*r - 3. Let p be o(5). Suppose -p*c + 192 = c. Suppose -5*x - 3*q = -c, 3*q = -5*x + 2*q + 58. Is x a multiple of 11?
True
Let r be ((-1)/3*-3)/((-2)/44). Let n(c) = -73*c**2 + 2*c - 2. Let p be n(2). Is p/(-22) - (-4)/r a multiple of 13?
True
Is 20 a factor of (-9)/(-27)*-21 + 147?
True
Suppose 4*r + 5*y - 381 = 0, -64 = 3*r - 4*y - 373. Suppose 0*s + r = s. Is 11 a factor of s?
True
Let l(g) = -332*g - 39. Does 11 divide l(-3)?
True
Suppose m - 384 + 47 = -4*f, -m + 252 = 3*f. Suppose 2*o = 27 + f. Is o a multiple of 10?
False
Suppose 0 = 12*v - 16*v - 1568. Is 14 a factor of (-3)/9 + v/(-6)?
False
Suppose 13 = 2*q - 9. Suppose 5*k = 3*k - r, -5*k + 7 = -r. Let s = q - k. Is s a multiple of 3?
False
Let p = 178 - 113. Suppose -k = 4, g + 2*g + 3*k = -114. Let u = p + g. Does 12 divide u?
False
Suppose -2*m + 769 = i, -m + i + 397 = -i. Does 43 divide m?
True
Let f(a) be the first derivative of a**4/4 - a**3 - 17*a**2/2 + 22. Is f(6) even?
True
Let u(d) = 26*d**2 - 14*d + 2. Is u(3) a multiple of 5?
False
Suppose q - 94 = n - 16, 5*n - 4*q = -394. Let h = n + 100. Does 3 divide h?
True
Let u be (-2 - (-20)/8)*-4. Let d(p) = -31*p + 1. Is 21 a factor of d(u)?
True
Suppose z = -z + 4. Suppose -55 = z*o - 7*o. Suppose 9*g - o*g + 26 = 0. Is 4 a factor of g?
False
Suppose 0 = 5*p + 4*n - 598, 2*n = p - 71 - 57. Suppose 0 = -5*l + p + 58. Is l a multiple of 14?
False
Suppose 9*v + 18 = 15*v. Suppose 0 = -4*m + v*g + 183, -3*m - 2*g + 129 = -7*g. Is 22 a factor of m?
False
Suppose -n + 12*n + 594 = 0. Let k = 66 + n. Is k a multiple of 3?
True
Suppose -l = -5*n + 2 - 0, -4*l + 12 = 0. Let o(x) = n + 2*x + x - 23*x + 0*x**2 - x**2. Does 20 divide o(-11)?
True
Let i(p) = -9*p**3 + 2*p**2 + p. Let r be i(-1). Suppose -7*y - 54 = -r*y. Suppose -2*a = a - y. Does 3 divide a?
True
Let c = -22 + 24. Suppose 0 = c*w - 3*w - 4. Is 6 a factor of 48*(10/w)/(-5)?
True
Let s be ((-50)/(-4))/5*2. Suppose s*q - 2*q = 81. Is 6 a factor of q?
False
Suppose 5*h = 2*t, -h = -2*h. Suppose t*b - 504 = -4*b. Does 21 divide b?
True
Suppose 6*s = 2*s - 260. Let i = s - -149. Is 16 a factor of i?
False
Let x(i) = i**3 - 3*i**2 + 2*i - 3. Let w be x(3). Suppose -2*u = 5*q + 23, -q - w - 6 = -4*u. Is 20 a factor of u*40 + (1 - 1)?
True
Suppose -527 = 8*x - 55. Does 18 divide -3 - (x + 2 - 0)?
True
Is 32*(-34)/(-4) + 4 a multiple of 43?
False
Suppose -101 = -h + w, -4*h + 5*w - 4*w = -389. Is h a multiple of 24?
True
Suppose -863 = -3*b - 71. Suppose -m - 4*m + b = 4*n, -m = -4*n - 72. Does 18 divide m?
False
Let j = 562 + 103. Is 19 a factor of j?
True
Suppose -2*f + 4 = -6. Suppose v - f = 4*r + 11, 4*v - 5*r = 31. Suppose -74 = -2*u - 5*t, -3*u + 3*t = -v*u + 38. Is 16 a factor of u?
True
Let u(f) = f**3 + 12*f**2 + f + 8. Is 10 a factor of u(-7)?
False
Let c(y) = -y - 2. Suppose 17 - 5 = -3*t. Let d be c(t). Is 10 a factor of d/10 - 398/(-10)?
True
Let c be 1/(-2 - 18/(-8)). Suppose -3*p = 2 + c. Let i(y) = 13*y**2 - 2*y. Is 28 a factor of i(p)?
True
Let x = 4 - 2. Suppose 3*n = 4*w - 4, x*w = n + 3*w - 1. Suppose -c + r = -11, -2*r + 1 - 5 = n. Is 6 a factor of c?
False
Let p be (-36)/42*(-14)/2. Is 6 a factor of (56/6)/(p/18)?
False
Suppose 14 = 3*i - 2*m + 3*m, -3*i = -3*m - 6. Suppose -3*h = -5*v - 18, i*h - 2*h + 3*v = 31. Does 2 divide h?
False
Suppose 0 = -j - 11 + 605. Suppose -3*w - j = -4*l, -4*l + 298 + 306 = 2*w. Is l a multiple of 12?
False
Let r(v) = 76*v**3 + 2*v**2 - 3*v + 4. Does 59 divide r(3)?
True
Suppose 5*o - 5*l = -20, 2*o - 3*l + 12 = -2*o. Suppose 4*y = 3*u - y - 29, -5*u - 3*y + 71 = o. Is u a multiple of 13?
True
Suppose -49 = -4*b + 1015. Is b a multiple of 19?
True
Let h(r) = r**3 - 14*r**2 + 13*r + 5. Let l = 17 - 4. Let j be h(l). Suppose -a = -5*q + 110, 0*q + 44 = 3*q - j*a. Is 23 a factor of q?
True
Suppose 2*d - 2 = 5*f + 3, 0 = 3*f + 3*d + 24. Let s be (-4)/2 - (f + -16). Suppose -2*x + 3*o = -37, s + 37 = 3*x - 5*o. Does 23 divide x?
True
Let i(k) be the first derivative of 1/4*k**4 + 13 + 2/3*k**3 - k**2 - 7*k. Does 14 divide i(4)?
False
Let g(f) = f**2 - 13*f + 28. Let k be g(11). Suppose -11*c = -k*c - 260. Does 8 divide c?
False
Let w(m) = 152*m + 4. Let o be w(6). Let l = 1344 - o. Is 51 a factor of l?
False
Let l = -24 - -26. Suppose -4*g + 32 = -4*o, 4*g + 13 = -7*o + l*o. Let d(t) = 2*t**3 + 11*t**2 + 2*t - 7. Is 8 a factor of d(o)?
True
Suppose 0 = -4*b - 2*l + 2528 - 732, l = 0. Is 15 a factor of b?
False
Suppose 4*v - 8*h = -3*h + 8, 0 = 4*v - h + 8. Does 8 divide 54*((-40)/15 - v)?
False
Let r = -258 + 356. Is r a multiple of 15?
False
Let o be 6/(-15) + 146/(-10). Let p be ((-48)/o)/(2/60). Suppose 0 = 4*n - 32 - p. Is n a multiple of 8?
True
Suppose -284*w + 286*w - y - 3037 = 0, -3*w + 4538 = -5*y. Does 9 divide w?
True
Suppose 2*i - 7*i + 25 = 0. Let q be ((-56)/i)/((-10)/(-75)). Let w = -50 - q. Is w a multiple of 7?
False
Suppose 0 = 2*w - 10 - 14. Suppose 0 = 3*n + 2*d - 6 - 2, -3*d + w = -3*n. Does 10 divide 0 + (n - (-19 + -1))?
True
Let c(m) = -2*m**2 - 2. Let n be c(0). Is 7 a factor of n/(0 + (-8)/252)?
True
Let h be (1078/33)/(4/30). Let j = h + -169. Is j a multiple of 19?
True
Suppose 0 = -2*j - 3*z + 5010, 3*j + 3*z + 2*z - 7513 = 0. Is j a multiple of 31?
True
Let i = -686 + 1028. Is i a multiple of 47?
False
Suppose 0 = -2*h - 5*b + 1800 - 638, h - 3*b = 603. Is 26 a factor of h?
False
Let j = -330 - -595. Does 53 divide j?
True
Suppose -4*q - 49 = 3*w - 358, 515 = 5*w - 2*q. Does 20 divide w?
False
Suppose -1 = 2*u + 1, -3*h - 3*u + 9 = 0. Let o(n) = n**3. Let i be o(0). Suppose h*t - 101 + 13 = i. Does 11 divide t?
True
Suppose 0*v - v - 3*n = -20, -2*v + 3*n + 4 = 0. Let z(h) = -v*h + 8*h - 9 - 3*h. Does 10 divide z(-13)?
True
Suppose