r a multiple of 5?
True
Suppose 30 = z + 8. Suppose d - 40 = -0*d + 4*v, 5*v - z = -d. Does 8 divide d?
True
Let j = -29 - -33. Suppose -z = j*z - 95. Does 9 divide z?
False
Let r(w) = 3*w**2 + 3*w. Suppose -5 - 3 = 4*k. Let a be r(k). Suppose -a*f + 8 = -4*f. Is 2 a factor of f?
True
Let m be (3 + (-1 - 2))/2. Suppose -u - 4*u = -3*f - 153, u + 4*f - 26 = m. Is 10 a factor of u?
True
Suppose -5*g - 5*s + 675 = 0, -3*g + 2*s + 409 - 29 = 0. Does 26 divide g?
True
Let s be 2/10 - 7/35. Suppose -a - 2*a = 4*x - 100, s = -3*x + 3*a + 75. Is x a multiple of 21?
False
Is 32 a factor of (1736 + -1)/5 + 5 + -1?
False
Let g(n) = 6*n**2 - 2*n + 5. Let w be g(3). Suppose w = -6*s + 203. Is s a multiple of 5?
True
Is 17 a factor of 530 + 7 + 15*(-4)/6?
True
Let k = 31 + -85. Is 6 a factor of (k/4)/(-5 - (-17)/4)?
True
Let q(c) = -2*c + 13. Let x(r) = 2*r - 14. Let n(o) = -3*q(o) - 4*x(o). Let w be n(5). Suppose -110 = -w*t + 5*t. Does 11 divide t?
True
Suppose -19*a = -21*a. Suppose a = 16*q - 9*q - 1064. Is q a multiple of 19?
True
Suppose 3*o + 0*w - 27 = -3*w, 0 = 5*w - 5. Let q = 11 - o. Suppose -97 = -2*f + q*h, 67 = 2*f - 4*h - 31. Is 12 a factor of f?
False
Let x(l) = 184*l - 110. Is 17 a factor of x(3)?
True
Let z(h) = -h + 6*h + 4 - h. Does 8 divide z(1)?
True
Suppose v - 78 = -3*x, -v = 3*v - 4*x - 248. Let l(z) = z**3 - 7*z**2 - 7*z + 9. Let c be l(7). Let p = v + c. Is p a multiple of 24?
False
Suppose 0 = -4*q + 2109 - 273. Is 36 a factor of q?
False
Let s(r) = -6*r + 20. Let b be s(7). Is 5 a factor of 0/(-2) - b - (-15)/5?
True
Suppose -18 + 6 = -6*s. Suppose 0 = -3*j - s*j + 175. Is 7 a factor of j?
True
Suppose 375 = n + 3*a, 9*a - 2 = 8*a. Is 8 a factor of n?
False
Suppose c - 5*c + 8 = 0. Let p(z) = z**2 + 3*z - 7. Let d be p(6). Suppose -w - c*w - 4*n + 23 = 0, -2*n = -5*w + d. Is 5 a factor of w?
False
Suppose -2*j + 7 - 1 = 0. Suppose -120 = -5*x - 2*g, 2*x + j*g = -g + 48. Is x a multiple of 12?
True
Let v = 499 - 254. Suppose n + 72 = v. Is 34 a factor of n?
False
Let d(u) = 10*u**2 - 11*u - 28. Let j = 37 - 41. Does 13 divide d(j)?
False
Suppose 866 = 2*a + 3*m, 17*m - 22*m + 870 = 2*a. Does 15 divide a?
False
Suppose 25*q - 23*q = 38. Is 2 a factor of q?
False
Suppose -5*c + g + 1696 = 0, c - 1697 = -4*c + 2*g. Let n = -149 + c. Is n a multiple of 28?
False
Let f be ((-1)/(-2))/(((-65)/90)/(-13)). Suppose -t + 24 = -15. Let n = f + t. Is 12 a factor of n?
True
Suppose -3*p = -2*p + 168. Suppose 17*k + 633 + 1186 = 0. Let i = k - p. Does 21 divide i?
False
Suppose 0 = -b + 6*b + 85. Let g = b + 22. Is g a multiple of 4?
False
Suppose 0 = -q + 1, 2*w + q - 7 = -26. Let l = w + 17. Suppose 0 = 5*d - l*f + 2*f - 40, 3*f = -d + 16. Is d even?
True
Let n(i) = -i**3 - 3*i**2 + i - 1. Let p be (-5 + 1)/((-9)/18). Let k be -3*(p/6 + 0). Does 6 divide n(k)?
False
Let z(i) = i + 7. Let m be z(-15). Let k be 47/((-12)/m - 1). Let f = -35 + k. Does 25 divide f?
False
Suppose 4*a = -3*z + 8*z + 17, 3*z = 3*a - 12. Suppose 4*k - 3*j - 284 = 2*k, 4*k - a*j = 562. Let i = k + -73. Is i a multiple of 22?
True
Suppose 5*t - 16 = t + y, -y = 4*t - 8. Let l(o) = 10*o**3 - 10*o**2 + 3*o - 3 + 3*o + 11*o**2 - t*o. Does 29 divide l(2)?
True
Let j(a) = a**3 - 2*a**2 - 6*a. Suppose 0 = d - 5*d - 2*w + 10, -4*d + 1 = 5*w. Is 8 a factor of j(d)?
True
Let b(k) = -k**3 + 4*k**2 - 3*k + 2. Let l be b(3). Suppose 0 = -15*h - 3 - 87. Is (l/h)/(4/(-132)) a multiple of 4?
False
Suppose -2*l + 5*l = 0. Suppose l = -z + 3*z - 8. Let u(h) = 2*h**3 - 7*h**2 + 5*h + 4. Does 20 divide u(z)?
True
Let v = -30 + 52. Is 33 a factor of 1874/v - (-28)/(-154)?
False
Suppose 0 = 10*v - 7*v - 15, 5*v - 7395 = -5*f. Does 7 divide f?
False
Is 2 a factor of (-21)/(12/22 + (-747)/1188)?
True
Suppose -1014 = -87*l + 81*l. Is 13 a factor of l?
True
Let v be (-45)/(-12)*(-40)/(-15). Suppose v - 2 = f. Let y(b) = -b**3 + 6*b**2 + 17*b + 8. Does 2 divide y(f)?
True
Suppose -3*y + 0*y = 0. Suppose -3*m + 3*r + 111 = y, -5*m + 158 = -0*m + 4*r. Let d = -4 + m. Does 16 divide d?
False
Suppose 569 = 9*h - 385. Is 37 a factor of h?
False
Suppose -9*w - 12 = -10*w. Let i(j) = 5*j - 36. Is 11 a factor of i(w)?
False
Let s = 950 + -401. Does 61 divide s?
True
Let h be 279/2 - 5/(-10). Suppose 8*j - 7*j - h = 0. Is j a multiple of 14?
True
Let x = -90 + 325. Is x a multiple of 21?
False
Let w(i) = -i - 4*i - 2 - 6*i. Let z(k) = -k**3 + 4*k**2 + 5*k - 2. Let x be z(5). Is w(x) a multiple of 7?
False
Let l = 53 - 56. Suppose -4*v + 0*v + 60 = 0. Let s = v + l. Does 8 divide s?
False
Let h(w) = 2*w**3 - 11*w**2 - 6*w + 7. Let b be h(8). Let m = -175 + b. Suppose -3*z - z + m = 0. Does 13 divide z?
True
Is 1/(-20)*5*-14564 a multiple of 11?
True
Let m(g) = g**3 + g**2 + 4*g - 1. Let y(t) = -t**3 - t**2 - 3*t + 2. Let x(p) = 3*m(p) + 4*y(p). Let z be x(0). Suppose -2*n - 33 = -z*n. Is n a multiple of 4?
False
Let s(m) = -m - 5. Let h be s(-5). Let z(j) = -2*j + 2. Let b be z(h). Does 12 divide 4/(-4) + (b - -21)?
False
Let l be 13/(-26)*(-1 + -3). Let d(t) = t**3 - 14*t - 8*t**3 + 6*t**3 - 14*t**l + 11. Is d(-13) a multiple of 12?
True
Let d be 35/45 - (-4)/18. Let j be 4*((-202)/(-4) + d). Suppose -31 = -3*h + j. Is h a multiple of 21?
False
Suppose 86*b = 75*b + 363. Is b a multiple of 11?
True
Let h = -1 + 6. Let w(f) = -f**3 + 5*f**2 + f - 1. Let b be w(h). Suppose t = -2*u + 178, u + t = b*t + 96. Does 24 divide u?
False
Is (-29481)/(-21) - -5*(-5)/(-175) a multiple of 13?
True
Let g(d) = 200*d + 12. Is 44 a factor of g(3)?
False
Is (-38)/(9/72*-2) a multiple of 12?
False
Let x be (29/(-5))/((-4)/20). Suppose -3*h = -x + 14. Does 5 divide h?
True
Let h(u) = 62*u**2 + 50*u - 180. Does 12 divide h(4)?
False
Let z = -7 - -3. Let c be z/(-3 - -1) - -12. Suppose c = o - 13. Is 9 a factor of o?
True
Suppose 3*t - 742 + 140 = -5*q, -3*t = 3*q - 612. Does 19 divide t?
True
Let j = -534 - -373. Is j/(-5) + (-28)/(-35) a multiple of 20?
False
Suppose -4*l + 1 = -3. Suppose -o - r + 3*r + 42 = 0, 0 = r + l. Is 4 a factor of o?
True
Suppose 100 + 50 = 2*t - 2*f, -2*f = 8. Let v = 205 - t. Does 19 divide v?
False
Suppose 2*x + 45 = -x. Let u be (-1 + 2 - 2)*x. Suppose 4*s - u = 13. Is 3 a factor of s?
False
Suppose -3*o = 4*o - 686. Is 2 a factor of o?
True
Let q(d) = -44*d + 4. Let n = -98 + 94. Does 24 divide q(n)?
False
Suppose 2*f + 2*k - 6*k - 70 = 0, f + 2*k - 51 = 0. Let g = -12 + f. Let l = 100 - g. Does 23 divide l?
True
Let a = -5 + 26. Suppose 0 = m + g - 5 - 4, -3*g = -m + a. Let k = m - -10. Is k a multiple of 10?
False
Suppose 34 = 4*a + n, 53 = 5*a + 5*n + 3. Is 16 a factor of 6/(-48) - (-441)/a?
False
Let y(n) = -n. Let q(z) = 2*z. Let b(d) = -q(d) - 3*y(d). Let f be b(-1). Is 12 a factor of f/3 + (-49)/(-3)?
False
Let s = 5 + 502. Is s a multiple of 10?
False
Let b = 461 + -71. Is b a multiple of 65?
True
Suppose 2*t - 5*m = 14, t = -0*m - 3*m - 4. Let r = 33 + t. Is 5 a factor of r?
True
Let x(w) = 5*w**2 - 1. Let p be x(1). Suppose 2*c + 5*z = 28, -p*z = 3*c + z - 52. Is c a multiple of 12?
True
Let x(v) = -21*v - 17. Is 5 a factor of x(-2)?
True
Let o be (3/(-4))/((10/(-8))/5). Suppose -v + 8 = 3*l, -o - 35 = -3*v - 2*l. Is v a multiple of 12?
False
Suppose -1390*q - 1256 = -1392*q. Is 20 a factor of q?
False
Suppose 5*d = -2*n + 1112, -884 = -26*d + 22*d - 3*n. Is 28 a factor of d?
True
Let c = -74 + 102. Does 2 divide c*2/12*3?
True
Let d = 822 - 405. Does 23 divide d?
False
Suppose -8645 = -16*d - 373. Is d a multiple of 13?
False
Let t = 41 - 34. Suppose -5*n + 6*n + 106 = 0. Is 5 a factor of (-4)/28 - n/t?
True
Let m = -86 - -82. Is 1 + 77 + 7 + m a multiple of 9?
True
Let s(n) = 44*n + 37. Is 19 a factor of s(54)?
True
Suppose -3*m + 1767 = 5*k - 2*m, -2*k + 2*m = -714. Is k a multiple of 34?
False
Let v(c) = -3*c - 3. Let z be v(-4). Let j = z + 5. Suppose -m + j = -0. Is 14 a factor of m?
True
Let j = -17 - -19. Suppose u - 34 = h, 5*h + j = -3. Let d = 98 - u. Is 10 a factor of d?
False
Suppose -4*c + 5*m + 670 = 0, 0 = -2*c - 2*c - 4*m + 652. Suppose 2*p - c = -p. Does 9 divide p?
False
Suppose 3*i = 3*l - 4*l + 27, l = 5*i - 45. Suppose i = 5*o - 1. Suppose d = 5*n + 4*d - 102, -o*d + 62 = 3*n. Is n a multiple of 6?
True
Let h(i) = 10*i - 2*i - 5*i - 1 + 9*i. Is h(4) a mul