ltiple of 3?
True
Let x = 7253 + -1940. Is x a multiple of 49?
False
Let x = 177 - 172. Suppose 0 = 3*o + x*n - 359 - 534, -4*n - 1513 = -5*o. Is o a multiple of 19?
False
Let y(b) = b**3 + 2*b**2 + 2*b + 4. Let v(u) = -u**2 + 5*u - 4. Let f be v(1). Let k be y(f). Let c(r) = 2*r**3 - 2*r**2 + 4*r + 2. Does 22 divide c(k)?
False
Let y(d) = -d**2 - 17*d + 7. Let p(n) = 18*n - 8. Let u(q) = -3*p(q) - 2*y(q). Let c be u(7). Let z = 62 + c. Does 10 divide z?
True
Suppose -i = 6*i - 10332. Is (8/(-12))/((-4)/i) a multiple of 23?
False
Suppose 12*u - 2*z - 524 = 7*u, 0 = u - 5*z - 114. Suppose 0 = 109*h - u*h - 1275. Does 15 divide h?
True
Is (((-148)/(-6))/(75/10530))/((-42)/(-210)) a multiple of 296?
False
Is 134 a factor of (2 + 9652)*(-18)/(-27) - (-8)/(-2)?
True
Suppose 0 = 5*d + 5*k - 46255, -18*k - 27745 = -3*d - 13*k. Does 37 divide d?
True
Let s(i) = -157*i + 222. Is 10 a factor of s(-44)?
True
Suppose -61*i + 47906 = -19072. Is i a multiple of 122?
True
Let k = -58 + 34. Let y = k + 26. Suppose -5*n - 5 = m + m, y*m - 1 = -3*n. Is m a multiple of 5?
True
Let t(n) = n**2 + 10*n - 16. Let k be t(-12). Suppose -k*o = 8 - 88. Suppose p - o - 19 = 0. Is p a multiple of 16?
False
Let g be 2 + 4/(-4) - 2. Let o be g*3/1 - -3. Suppose o = 2*j + 2*y - 48, 0 = 4*j - 3*y + 34 - 158. Is j a multiple of 7?
True
Let w be -1*1/2*0*-1. Let x be 1 - (-4 - (-3 + w)). Suppose -4*y = x*y - 744. Is y a multiple of 14?
False
Suppose 22*d - 64220 = 9*d. Suppose -37*m + 47*m = d. Is 16 a factor of m?
False
Suppose -46*y = -66080 - 45106 + 9986. Is y a multiple of 55?
True
Let r(f) = 10*f**2 - 49*f + 113. Is r(20) a multiple of 11?
False
Let l = -5879 - -14413. Does 41 divide l?
False
Suppose 0*i + 2*i + 40 = -5*q, 4*q = -5*i - 49. Let p be 8/16 + (-9)/q. Suppose s = p*x + 36, 0 = 2*s + 3*x - x - 42. Is 13 a factor of s?
True
Suppose -8*h + 6*h = -46. Let f = h + 52. Let g = f + -27. Is 24 a factor of g?
True
Is 36 a factor of 4/18 + (-11)/((-792)/228080)?
True
Let y be 4/18 - 122/(-18). Let o(c) = -192*c + 2246. Let j be o(12). Is 1*j*(2 + -10 + y) a multiple of 8?
False
Let p(o) = 78*o + 9. Suppose -107 = 3*b - 134. Does 79 divide p(b)?
True
Let u = -1 + -24. Let y = -25 - u. Suppose y = -2*p + 7*p - 405. Is p a multiple of 15?
False
Let g(h) = 6*h**3 - 2*h**2 - 87*h + 999. Is 36 a factor of g(9)?
True
Let s(k) = -k**2 - 68*k - 88. Is s(-65) a multiple of 16?
False
Let u(w) = 18*w**2 + 3*w - 5. Let n be u(5). Suppose -61 = -7*p - 19. Suppose -p*k + 2*k + n = 0. Is 23 a factor of k?
True
Let f be -33*-5*3/(-45). Let h(d) = -3*d**3 + 9*d**2 + 23*d - 7. Let m(g) = 8*g**3 - 28*g**2 - 69*g + 22. Let v(l) = 11*h(l) + 4*m(l). Is v(f) a multiple of 13?
False
Suppose -918*g - 24293 = -935*g. Is 30 a factor of g?
False
Let i(l) = -20*l - 210. Suppose 25*k = -358 - 17. Is 6 a factor of i(k)?
True
Let x(j) = 2*j**2 + 19*j + 10. Let c(l) = -5*l**2 - 37*l - 21. Let d(k) = -3*c(k) - 5*x(k). Suppose -27*b - 427 = -211. Is 13 a factor of d(b)?
False
Let k(r) = 5*r + 119. Let s be k(-24). Does 28 divide (-6 + 1 + s)/(25/(-675))?
False
Suppose 54*m - 25*m - 12315 = 26*m. Is 14 a factor of m?
False
Let v = -6877 + 10060. Is v a multiple of 45?
False
Suppose -4*t = -4*n + 22348, -4*t = n - 2169 - 3448. Is n a multiple of 14?
False
Does 2 divide 216010/55 + 3 - (-6)/11?
False
Let p(d) = d**2 + 9 - 3*d - 7*d**2 + 12*d**2 - 3*d**2 - 2. Is p(12) a multiple of 15?
False
Is 8456 - ((-65)/(-26))/((-6)/12) a multiple of 84?
False
Is 98 a factor of (-44 + 64)/(4/1078)?
True
Let j(o) = o**3 - 22*o**2 + 34*o - 153. Is 44 a factor of j(21)?
False
Is 325 a factor of 1/(-3)*5067156/(-236)?
False
Let k(y) = y**2 - 20*y - 1. Let o be k(20). Let q(i) = 211*i**2 - i. Is 53 a factor of q(o)?
True
Let t = -8739 - -9475. Is 6 a factor of t?
False
Let j be (100/(-8))/(2/88) + 4. Let q = -425 - j. Does 6 divide q?
False
Suppose 0 = 2*c - 73 - 259. Suppose 101 + 121 = -5*r - 2*n, -3*r - 130 = 2*n. Let m = r + c. Is 15 a factor of m?
True
Let k(x) = 21 - 8 + 4 - 6 - 61*x. Does 21 divide k(-4)?
False
Let b = -4017 + 5669. Is b a multiple of 14?
True
Let q(c) = 6*c - 1. Let w be q(0). Let u be -3 - w - (-2 + 2 + -7). Suppose u*l + 3*v - 703 = 0, 0 = -2*v - 8. Does 20 divide l?
False
Let o(r) = -3*r**3 - 3*r**2 + 5*r + 1. Let k(w) = -3*w**3 - 5*w**2 + 4*w. Let g(x) = 2*k(x) - 3*o(x). Is g(5) a multiple of 13?
True
Suppose -12 = -4*g + 2*u, 3*g + 2*g = -3*u - 7. Is 58 a factor of 120 - -1 - (g + -1)?
False
Suppose -3*g + 2*g = -n - 456, -2*g + 3*n + 913 = 0. Suppose a - 4*m - g = -0*a, 5*m + 2290 = 5*a. Is 17 a factor of a?
True
Let d = 14628 + 21008. Is d a multiple of 35?
False
Let u be 5 + -2 - (-21)/(-7). Suppose 0 = -3*m + 4*a + 631, -4*m + 3*a + 839 = -u*a. Does 16 divide m?
False
Let c(t) be the first derivative of -10*t**2 - 15*t + 14. Let u be c(-2). Let q = 47 + u. Is q a multiple of 18?
True
Does 81 divide (-56 + 4 + 376)*(1*10)/2?
True
Let i be (8/(-6))/((-10)/(-15)) + 4. Suppose -2*l + i*r + 8 + 6 = 0, 19 = 4*l - r. Is l/10 - (-264)/30*2 even?
True
Let b be 2 + -2 - (-9 + 8/2). Suppose -3*l - b*f = -3291, -3*f + 301 + 1892 = 2*l. Is 21 a factor of l?
True
Suppose 32*g = -246 + 758. Let d(h) = 2*h**2 + 3*h - 35. Is d(g) a multiple of 13?
False
Let d(s) = -s**3 + 61*s**2 - 117*s + 475. Does 14 divide d(29)?
False
Suppose 0 = 363*x + 359*x - 742*x + 58500. Is 15 a factor of x?
True
Let d be ((-13)/(-2))/(7/14). Let b be -6 - (2/(-10))/((-3)/15). Let a = d - b. Does 20 divide a?
True
Suppose 0 = 2*d - 11*d. Suppose 3*t - 795 + 291 = d. Is t a multiple of 12?
True
Let j = 16258 - 6378. Suppose 38*z - j = 43*z. Is 33 a factor of z/(-20) - (-3)/15?
True
Suppose 0 = -2*g + 6*g - 3100. Suppose 5*w = h + 775, 0 = -5*w - 0*h - 4*h + g. Is 14 a factor of w?
False
Let q(i) = -i**3 + 13*i**2 - 11*i - 16. Let w be q(12). Let v be (-20)/(4*(w - 732/(-184))). Suppose 0*r - 6 = -3*r, z + 2*r = v. Is z a multiple of 32?
False
Suppose 4*k + 21992 = 5*b, 16*b - 12*b - 3*k = 17594. Does 22 divide b?
True
Let w = 5 + -16. Let y(a) = 2*a + 9. Let g be y(w). Is (0 - -2) + (-403)/g a multiple of 3?
True
Let a = 6679 - 520. Does 13 divide a?
False
Suppose 5904 = 2*b - 13*k + 17*k, -k + 6 = 0. Does 35 divide b?
True
Let w = -8 - -1. Let x(g) = 4 - g**2 + 13*g**2 - 10*g + 7 - 13*g**2. Is x(w) a multiple of 9?
False
Let f(c) = 2714*c**2 - 20*c + 114. Is f(3) a multiple of 160?
True
Suppose 0 = -2*w + 2*t, -4*w + 9 = -2*t + 5. Suppose j + 563 = 5*h, -w*j + 79 + 251 = 3*h. Is h a multiple of 11?
False
Is 119 a factor of (-7)/(-5) + -1 - (445116/(-35) + -15)?
True
Let x(d) = d - 39. Let g(q) = 7*q - 11. Let b be g(-4). Let f(p) = -6. Let m(i) = b*f(i) + 6*x(i). Is 8 a factor of m(4)?
True
Let c(i) = -i**2 + 15*i + 22. Let l be c(16). Suppose 2*m - l = 40. Suppose -3*u + 3*j = -33, 2*u + j = m + 11. Is u a multiple of 9?
False
Let c = 209 - 113. Let b = -174 + c. Let r = 113 + b. Is 6 a factor of r?
False
Let y = 5483 - 5037. Is y a multiple of 2?
True
Let q(f) = -9*f**3 - 2*f**2 - 5*f - 4. Let k be q(-2). Let z = 331 + -61. Let p = z - k. Is p a multiple of 18?
False
Let k = -538 + 543. Suppose k*f + 4*j - 5867 = 0, -7*f + j + 1177 = -6*f. Does 16 divide f?
False
Suppose 9*s = -2457 - 2223. Does 15 divide (69 - 75) + (0 - -2 - s)?
False
Suppose -4*t = 5*n - 83, 3*t = 3*n - 8*n + 86. Suppose 22*v - 489 = n*v. Is 6 a factor of v?
False
Let y = -4781 + 11539. Is y a multiple of 21?
False
Let v be (-2)/((-19)/(1368/16)). Let g(j) = 48*j - 139. Is g(v) a multiple of 19?
False
Let t be (594/45)/(6/80). Let n = 598 - t. Does 24 divide n?
False
Let f(s) = -5*s**2 + 3. Let y be f(2). Let l = y + -5. Let h = l + 68. Is 8 a factor of h?
False
Let b(r) = 26134*r + 136. Let n be b(2). Suppose 10*v - n = -34*v. Is v a multiple of 29?
False
Suppose 39557 = 5*k + v, k - 7915 = -150*v + 151*v. Is 46 a factor of k?
True
Let r = 433 + -1479. Let m = -631 - r. Does 13 divide m?
False
Suppose 8*c = -68*c + 359632. Is c a multiple of 52?
True
Suppose z + 26 = -4*j + 9, 4*z - 5*j = 37. Suppose -z*c + 3*w + 2*w = -804, 1340 = 5*c + w. Let d = c - 189. Does 9 divide d?
False
Is 129/2322 + (-2)/(-36)*14741 a multiple of 7?
True
Let t(w) = 18*w + 50. Let j be t(3). Suppose i - 5*l - j = 348, -i - 3*l + 420 = 0. Is i a multiple of 27?
True
Suppose -2*k 