 be w(20). Let r = 669 - m. Is r a multiple of 27?
False
Suppose 3*m + 0*u = u + 854, -5*m = -5*u - 1430. Does 18 divide m?
False
Is 6 a factor of 55*6/(10*2/4)?
True
Let b = -64 - -158. Let l = b + -15. Is l a multiple of 16?
False
Suppose -p + 3*o + 0*o = 15, -2*p = 5*o + 19. Let r = p - -6. Does 2 divide (-16)/24 - 46/r?
False
Let v = -357 - -1041. Does 19 divide v?
True
Suppose 2*f + 3*f + 10 = 0. Let d be (-1110)/(-50) - f/(-10). Let v = d - 9. Is v a multiple of 13?
True
Suppose 2895 = z + 753. Is 21 a factor of z?
True
Suppose -2*p + 3*p - x - 92 = 0, 2*x + 281 = 3*p. Is 9 a factor of p?
False
Suppose v - 5*b + 8 = 0, 5*v + 3*b - 7 = 9. Suppose 2*y - 8 = -v*y. Is y even?
True
Let i(l) = l**2 - 7*l + 15. Let b be i(6). Suppose -b*p + 1 = -8*p. Is 23 a factor of p + 4 + -3 + 21?
True
Let q = 40 + -23. Let k = -3 - -5. Suppose 5 = k*r - q. Is r a multiple of 11?
True
Is (-10104)/(-4) - (-19 - -26) a multiple of 38?
False
Let f be (-2)/11 - 342/(-66). Suppose -76 = -f*v + 24. Is 6 a factor of v?
False
Let k = 226 - 319. Let f = k - -29. Let c = f + 106. Is c a multiple of 11?
False
Let n(l) = -l**2 - 4*l - 3. Let f be n(-4). Let k(t) = 28*t - 6. Let c be k(f). Let p = -44 - c. Is p a multiple of 17?
False
Let a(l) = -l - 11. Let k = -11 + -8. Does 2 divide a(k)?
True
Let p be (4/3)/((-6)/(-639)). Suppose -p = -5*h + 4*f + 61, -2*f = -6. Is 5 a factor of h?
False
Suppose 10 = 4*g - 22. Suppose -g*z + 357 = -5*z. Does 48 divide z?
False
Let b be 0/(-1 - (-9)/3). Let c(w) = w**2 + w + 2. Let d be c(0). Suppose b*u = -d*u + 112. Is u a multiple of 28?
True
Let k be 421 - (1 - 2)/1. Suppose -118 = -4*d + k. Is d a multiple of 9?
True
Suppose 2*a - 468 = 4*z, 3*a + 2*z - 678 = -0*a. Is a a multiple of 12?
True
Suppose 15 = w - 3*f, 97 + 34 = 5*w - f. Does 4 divide w?
False
Suppose 5*o - 7 = 5*c + 18, 2*o - 10 = -c. Let b be 52 + (0 + c)/3. Suppose -b = -4*g + 2*v, 44 = 3*g + 3*v + 5. Is 8 a factor of g?
False
Let h(k) = 4*k + 125. Let o(l) = -l - 42. Let n(g) = 3*h(g) + 8*o(g). Is 2 a factor of n(-9)?
False
Let q = 6 + -2. Suppose 2*h - 1034 = -4*o, -o - q*o + 3*h + 1309 = 0. Suppose f = 6*f - o. Does 13 divide f?
True
Let c = -4 + 4. Suppose c = 2*j - 4*j + 80. Does 20 divide j?
True
Suppose -1295 = -g + n, -12*g - 2620 = -14*g - 4*n. Does 22 divide g?
False
Suppose -k - 279 = -z, 3*z - 4*k = -0*z + 842. Suppose 17*c - z - 916 = 0. Is c a multiple of 8?
False
Let o be -45*((-6)/5)/3. Let z = 40 - o. Is z a multiple of 11?
True
Let b(l) = -l**2 - 2*l + 975. Let d be b(0). Suppose 5*c = -225 + d. Is c a multiple of 10?
True
Let k = -441 + 883. Is k a multiple of 13?
True
Suppose -2*f - 3*f + 2*o + 12 = 0, 0 = -f - 3*o + 16. Let p be f*(-2 - (-11)/4). Suppose -2*q - p*q + 222 = -3*d, -q = -5*d - 62. Does 15 divide q?
False
Let b be -2 + (-2)/((-4)/150). Suppose 0 = 17*r - 27*r + 250. Let q = b - r. Is q a multiple of 12?
True
Suppose -106 = -s - 3*v + 29, -405 = -3*s - 4*v. Is 26 a factor of s?
False
Is 12 a factor of (-2016)/(-5 - -1) - (-3 - -3)?
True
Suppose -63*q - 48263 = -177791. Is q a multiple of 13?
False
Let s be ((-2)/(-4))/((-3)/(-6)). Suppose 2*d - 31 = s. Suppose -2*u + 36 = 3*r, u + 5*r = 3*r + d. Is 6 a factor of u?
True
Let d(h) = h**2 + 13*h - 33. Let a be d(-14). Let i = a - -52. Does 27 divide i?
False
Suppose -5*g + 239 + 786 = 0. Let u = -81 + g. Is u a multiple of 31?
True
Suppose -4 - 32 = -6*s. Let u = -51 + 87. Suppose u = -2*t + s*t. Is t a multiple of 3?
True
Suppose 5*u + 3*o + 5 = 0, -o + 0*o - 11 = -3*u. Does 21 divide u*106 - ((-12)/4)/1?
False
Let d(y) be the third derivative of -y**6/120 + 23*y**5/60 + 5*y**4/12 - 17*y**3/3 + 3*y**2. Is 45 a factor of d(23)?
False
Suppose -30*c + 35*c = 25. Suppose -b + 117 = -c. Is 13 a factor of b?
False
Let i be (-2)/(-5) + ((-159)/(-15) - 2). Suppose 0 = -i*s + 263 + 646. Is 19 a factor of s?
False
Suppose -3*w + c = -1, -2*c + 10 - 2 = -w. Suppose -w*h = 3*f - 88, -3*f + 5*h = -99 + 25. Suppose 3*z = -1 + f. Is z even?
False
Is 6/(-9)*6 + 162 a multiple of 26?
False
Let r be 2/8 - 1518/24. Let m be (-4)/(-26) + r/(-13). Let v(x) = 4*x. Is 5 a factor of v(m)?
True
Let d be ((-3)/(-6))/(1/8). Suppose -28 = -d*w + 132. Does 10 divide w?
True
Let u = -338 + 1052. Does 16 divide u?
False
Let u = -194 + 487. Is u a multiple of 16?
False
Let t be (4/12)/(3/54). Let d be (-12)/10*(-20)/t. Let q(a) = a**3 - 2*a**2 + 5*a - 4. Does 24 divide q(d)?
True
Suppose 108*t - 3250 = 98*t. Does 14 divide t?
False
Suppose 252*l - 255*l = -9. Let w = 1 - -3. Suppose r = l*n - 89, -n - r = -w*r - 43. Is n a multiple of 7?
True
Suppose 0*f = 15*f - 4020. Does 66 divide f?
False
Let i(g) = g**3 + 7*g**2 - 9*g + 15. Let s be i(-8). Let o = s + 40. Does 20 divide o?
False
Let k = 118 + -73. Let x be 1*(2 - 2 - -1202). Does 22 divide x/18 - (-10)/k?
False
Let j be ((-32)/(-28))/((-15)/21 - -1). Suppose -5*o + 0*y + y + 859 = 0, -j*o + 688 = -y. Is o a multiple of 11?
False
Let j be ((-1)/(-1) + 1)*(-206)/4. Let d = j + 175. Does 24 divide d?
True
Let q be 8/(4 - 280/68). Is (q/6)/(2/(-9)) a multiple of 20?
False
Does 11 divide 3518/10 + 4/20?
True
Let v(x) = 2*x - 7*x - 7 + 2*x. Is v(-6) even?
False
Suppose -4*k + 8 = -4*g, -5*g - 3 - 13 = -3*k. Let a(f) = -2*f**3 - 4*f**2 + 1. Does 8 divide a(k)?
False
Let a = 651 + -611. Does 4 divide a?
True
Suppose -2*b + 3*r + 659 = -1912, -2*r + 3824 = 3*b. Is b a multiple of 9?
True
Let o(f) = -f - 13. Let z be o(-16). Suppose 0 = 5*b + 4*j - 487, 406 = 4*b - 2*j - z*j. Let n = -59 + b. Does 20 divide n?
True
Suppose 5*c - 3*x - 3047 = 0, -c + 2*x = -0*c - 608. Does 19 divide c?
False
Let d = 135 + -34. Suppose 3*c - d = 22. Does 6 divide c?
False
Let z(r) = 187*r - 23. Is 16 a factor of z(5)?
True
Let k(a) = -440*a**3 + 5*a**2 + 3*a - 1. Is 63 a factor of k(-1)?
True
Suppose -2*k - 6 = -4*k. Suppose 2*u - 4*z = 12, 0*z + 1 = u + k*z. Is 5/2*88/u a multiple of 16?
False
Suppose 2*k - 6*o + 5*o - 187 = 0, k - o = 92. Does 24 divide k?
False
Let b(s) = -12*s + 2. Let g be b(-4). Let r(f) = -18*f**3 + f - 1. Let v be r(1). Let n = v + g. Is n a multiple of 16?
True
Let r(z) = -4*z - 13. Let n(m) = -m - 1. Let s(c) = -6*n(c) + 2*r(c). Does 3 divide s(-27)?
False
Let a(j) = 0 - 1 + 35*j + 50*j + 4. Is a(1) a multiple of 22?
True
Suppose -2*a - 60 = 2*a. Suppose 6*m + 1 + 119 = 0. Is (426/a)/(8/m) a multiple of 17?
False
Let j = 85 - 21. Suppose 3*u = 2*u, 4*z - u = j. Suppose 11*a - 6*a + 5*s = 55, 4*s + z = 0. Is a a multiple of 5?
True
Let x = 76 + 90. Suppose 3*z = 8*z + h - 230, -x = -3*z + 5*h. Does 5 divide z?
False
Suppose 0 = 4*v - 0*v - 16. Suppose 2*y - 88 = v*y. Is y*(-4)/(-8)*-1 a multiple of 22?
True
Suppose 5*o + h - 5*h = 1393, 544 = 2*o + 5*h. Let n = 388 - o. Does 22 divide n?
False
Suppose -3*i + 4*b + 50 = 0, 3*b + 0 = -i - 5. Let w(s) = -2*s - 2. Let r be w(i). Let y = 36 + r. Does 5 divide y?
False
Suppose 4*j + 5*x - 320 = 0, -3*x = -5*j - 4*x + 379. Does 10 divide j?
False
Let y(n) = 2*n**3 + 13*n**2 + 9*n - 1. Let z(m) = -m**3 - 6*m**2 - 5*m + 1. Let a(d) = 2*y(d) + 5*z(d). Is 8 a factor of a(-6)?
False
Is (-508)/(-16) - 20/(-16) a multiple of 11?
True
Suppose -14*u - 31 + 101 = 0. Suppose u*g = 10*g - 455. Is g a multiple of 7?
True
Let g = 1336 + 718. Is g a multiple of 13?
True
Let v be 287/21*(0 + -3). Let p = 73 - v. Is 9 a factor of p?
False
Let b be (-2)/6 + (-552)/(-36). Let l = b + -75. Let z = 86 + l. Does 21 divide z?
False
Suppose -1373 = -2*x + 5*o, 5*x = -8*o + 3*o + 3415. Does 38 divide x?
True
Let q(i) = -1. Let g(s) = 4*s + 3. Let x(d) = -g(d) + 5*q(d). Let f = 70 + -75. Is x(f) even?
True
Let r be 0*1/(-1)*1. Suppose 0*q - 4*q + 80 = r. Does 31 divide 1716/15 - 8/q?
False
Let c(i) = -i**3 - 5*i**2 + 5*i - 5. Let x be c(-5). Is 11 a factor of ((-80)/x)/(-1 + 68/66)?
True
Does 81 divide (-68 + -6054)/(2*-1)?
False
Suppose 12 = -4*p + 7*p. Let g(w) = -w**2 + 3*w + 4. Let l be g(p). Suppose l = -5*d + 85 + 35. Is 11 a factor of d?
False
Let f = -4 + 7. Let o be (0 + 3)/f - -1. Suppose o*y - 6*y = -72. Is 8 a factor of y?
False
Let f = 191 - 109. Does 41 divide f?
True
Suppose 0 = -18*r - 125 + 1565. Is 16 a factor of r?
True
Is 57 a factor of ((-119)/5 - 3)*(-17 + -3)?
False
Let a(z) = 93*z**2 + 3*z - 3. Let d = -3 - 9. Let t 