se
Let i = 30714 - 18674. Is i a multiple of 21?
False
Let x = 5573 + -1496. Is x a multiple of 13?
False
Let k(u) = 669*u - 17. Let s be k(-5). Is s/(-15) + (-6)/45 a multiple of 14?
True
Let g(m) = m**2 + 3*m + 1. Let s(k) = k**3 - 37*k**2 - 35*k + 20. Let j(q) = -3*g(q) - s(q). Is 41 a factor of j(34)?
True
Suppose u - 5 = 517. Suppose 7*b - u = -2*b. Let s = 120 - b. Is 47 a factor of s?
False
Suppose 26 - 6971 = -9*t + 1560. Is t a multiple of 27?
True
Let z = 22512 - 12784. Is 33 a factor of z?
False
Let z(b) = b**3 - 19*b**2 - 3*b + 1905. Is 6 a factor of z(0)?
False
Suppose -4*g = 3*p + 552, -4*g + 0*p + 3*p = 576. Let b = -93 - g. Let z = 90 - b. Is 3 a factor of z?
True
Let q be 4/10*10 + (1 - 1). Suppose n - 1484 = -3*u, q*u + 0*u - 5*n - 1966 = 0. Is 38 a factor of u?
True
Let w(i) = -i**2 + 14*i - 11. Let o be w(10). Suppose 5 = -5*v, s - o = -0*s + 2*v. Let t = s - 14. Is t a multiple of 11?
False
Let z(q) = 567 + 11*q + 5*q**3 - 2*q**2 - 573 - q**3 + 0*q**3 - 3*q**3. Does 17 divide z(3)?
False
Suppose 69*t - 67*t + 85950 = 5*k, 5*t = -5*k + 85950. Does 5 divide k?
True
Suppose 0 = b - 5*f - 2, 3*f = 4*b - 2*f - 23. Let h(p) = p**2 - 9*p + 14. Let r be h(b). Suppose r = j - 44 + 12. Is 16 a factor of j?
True
Suppose -15*y - 18680 = -1070. Let x = y + 1804. Is 10 a factor of x?
True
Let o = 27079 + -19071. Does 91 divide o?
True
Let b be ((-8)/(-10))/((-231)/(-115) - 2). Suppose -k - b = 44. Let p = k - -251. Is p a multiple of 23?
True
Suppose 0 = -10*t + 15*t. Suppose -z + 133 + 18 = t. Does 19 divide z?
False
Let a(b) = 2*b**2 + 48*b + 92. Is a(-72) a multiple of 3?
False
Suppose 3*b + b + 1085 = 3*k, 4*b - 2*k = -1090. Let n = -388 - b. Let g = -66 - n. Is 18 a factor of g?
False
Suppose -18*x + 28*x = 43500. Suppose -5*s + x = 5*p, 0 = 4*p - 0*p - 4*s - 3440. Does 12 divide p?
False
Is 42/56 + (-4110)/(-24) a multiple of 43?
True
Suppose 48*f - 46*f + q - 790 = 0, 3*f - 1175 = -4*q. Is f a multiple of 4?
False
Let d = 11631 + -7366. Let j = -2375 + d. Is 15 a factor of j?
True
Does 55 divide (6800/(-6))/(15 + (-7952)/528)?
True
Suppose -14*a + 200*a - 305003 + 71387 = 0. Does 3 divide a?
False
Is 15 a factor of 156960/7 - (9 - 3411/378)*6?
False
Let c(z) = -z**2 - 17*z - 57. Let o be c(-12). Let d be -4*((-35)/10 + o). Suppose -2*q = 2*t - 69 - 101, -d*q + 346 = 4*t. Is t a multiple of 12?
False
Let n(m) = -m**2 + 13*m - 11. Let j be n(12). Suppose -r + j = -4*z, 6*r - 2*r - 15 = 5*z. Suppose -49 = -2*c - z. Is 9 a factor of c?
False
Let n be (3 - -27)/5 - 1. Is (1*(-22)/(-8))/(n/680) a multiple of 54?
False
Let z = 131 + -61. Let i = 74 - z. Suppose i*o = -5*o + 1296. Does 12 divide o?
True
Let j(x) = -x**2 + 7*x + 5. Let r be j(6). Let c(u) = 4*u + 19. Is c(r) a multiple of 7?
True
Suppose -18113052 = 183*g - 344*g - 187*g. Is g a multiple of 119?
False
Let y = 68909 + -47734. Is y a multiple of 121?
True
Let j = 8619 - 4403. Is 68 a factor of j?
True
Let i = -9720 - -19588. Is i a multiple of 52?
False
Is 312 a factor of 3 + (2 - -5 - -24)*684/4?
True
Let f(w) = 6*w + 80. Let k(g) = -3*g. Let i(a) = -f(a) + k(a). Is i(-28) a multiple of 37?
False
Suppose 171*l - 10533306 = -891471. Does 15 divide l?
True
Suppose -l + 4*z + 1403 = -1516, -4*z = 4*l - 11616. Is l a multiple of 17?
True
Let v be 4 + (267 - 5) + -3. Suppose v = 3*u - 283. Is u a multiple of 8?
False
Suppose -f + 22084 = 5*w, 109*f + 17624 = 4*w + 105*f. Is 13 a factor of w?
False
Let d be (-2 + -4 - -4) + -4. Let t be (-5)/(45/d)*27 - -4. Suppose 17*z = t*z - 100. Is 10 a factor of z?
True
Suppose 217244 = 80*w - 261156. Is w a multiple of 52?
True
Suppose -11*w + 34*w + 91724 = 0. Is 12 a factor of (w/2*-1)/(-13 - -15)?
False
Suppose x + 96 = 7*x. Suppose -2468 = x*q - 7412. Does 28 divide q?
False
Suppose -164 + 104 = 12*o. Let k(y) = -22*y + 147. Is k(o) a multiple of 35?
False
Is (9/((-27)/3174))/((-2)/19) a multiple of 23?
True
Let z(n) = -n + 1. Let w be z(-5). Let x(b) = -33 - 8*b + w*b - 3*b - 10*b. Is x(-12) a multiple of 15?
False
Let o(r) = -r**3 + 9*r**2 + 2*r + 2. Let z be o(9). Does 13 divide (-54)/15*z/(-8) - -4?
True
Suppose 5*o - 48842 = 4*h, -5*h + 29329 = 3*o - 4*h. Does 18 divide o?
True
Does 243 divide (-15 + -3)*(19188/(-12) - -12)?
False
Let m(d) = -5764*d**3 - d**2 + 17*d + 46. Is 20 a factor of m(-2)?
True
Let l = -592 + 8246. Is 27 a factor of l?
False
Suppose -2*q = -3*f - 0*f - 143, -2*q + 2 = 0. Let w = f - -291. Does 6 divide w?
False
Let l = -382 + 544. Suppose -5*i + 223 = -l. Let d = 41 + i. Is 18 a factor of d?
False
Suppose -8 = -2*f - 4*u, 2*f + 1 = -2*u + 9. Suppose -f = -w - 2. Let l(r) = 13*r - 4. Is 22 a factor of l(w)?
True
Let f be (-4)/((-8)/(-10))*(-1)/1. Suppose -2*r = f*z - 1706 + 284, 0 = -5*r - 20. Is z a multiple of 26?
True
Is (315/28)/9 - ((-1907190)/24)/3 a multiple of 108?
False
Let o(a) = -1885*a + 2692. Is 108 a factor of o(-4)?
False
Is 39 a factor of 8184/154*(1108/24 - 6/9)?
True
Let w = 8241 + 1321. Does 13 divide w?
False
Let c(d) = -3*d**3 - 4*d**2 - 4*d - 10. Let p(h) = 4*h - 27. Let f be p(8). Suppose 3*t - 1 = 2*l, 0 = -2*l + f*t - 4 + 9. Is 13 a factor of c(l)?
False
Let a = 201 - 121. Suppose -g = 32 - a. Suppose 0 = -w + 4*c + 45, -4*w - c + 313 - g = 0. Does 17 divide w?
False
Suppose 0 = -o + 4*v + 1173 + 87, 3*o = -4*v + 3732. Is o a multiple of 16?
True
Suppose -5*j - 256*c + 74519 = -257*c, -5*c = 5*j - 74555. Does 11 divide j?
True
Suppose 0 = 23*l + 197*l - 629200. Is l a multiple of 11?
True
Suppose -5*y + 305891 = 12*n, 3*n + 5*y - 33790 - 42664 = 0. Is n a multiple of 69?
False
Let x(j) = -j**3 + 2*j**2 + 0*j**2 - j - 16*j**2 - 7 - 7*j. Let o be x(-13). Let s = o + 103. Does 31 divide s?
True
Let k(q) = -9*q - 5 - 286*q**2 + 288*q**2 - 9. Is 20 a factor of k(17)?
False
Suppose -6*y + 15076 - 5500 = 13*y. Does 8 divide y?
True
Suppose -s = -4*k + 14, -4*k = s - 17 + 15. Let m(h) = 10*h**2 + 4*h + 7. Is m(s) a multiple of 7?
True
Let s = -305 - -293. Let q = s + 24. Is q a multiple of 6?
True
Does 22 divide ((-208)/(-520))/((-3)/(-565))*996/8?
False
Suppose 3*l + 2*h = 12, 0 = 4*l + 3*h - 14 - 3. Does 57 divide (l + (-43)/2)/((-58)/2204)?
True
Let y = -2692 + 3357. Is y a multiple of 3?
False
Let g(i) = 3*i**3 + 19*i**2 - 153*i + 49. Does 137 divide g(11)?
True
Suppose 2*f - 2248 = 2*j, 1132 = -90*f + 91*f - 3*j. Is f a multiple of 20?
True
Suppose 30*i = 1964339 - 177839. Is 25 a factor of i?
True
Is ((-1026)/95)/((-13)/7735) a multiple of 96?
False
Let t(a) = -19*a + 1269. Does 28 divide t(-22)?
False
Let s = -77 - 22. Does 11 divide (224/12)/((-3)/s)?
True
Let g(q) = -500*q + 66. Let i(s) = -249*s + 33. Let a(c) = 6*g(c) - 11*i(c). Does 15 divide a(-2)?
True
Suppose 89*i - 685568 = -15*i. Is i a multiple of 16?
True
Suppose -7*i - 2 - 19 = 0. Let s(m) = -8*m + 13. Let p be s(i). Suppose -623 - p = -5*v. Does 11 divide v?
True
Let x(p) = p**3 - 6*p**2 + 2*p - 12. Suppose -d + 4*f = -14 - 8, -4*f - 16 = 0. Let h be x(d). Suppose h*a - 252 = -4*a. Is a a multiple of 21?
True
Suppose -6*u - 4*u + 80 = 0. Suppose 0 = -2*n + u, -2*n = -y + 6*y - 163. Is y a multiple of 10?
False
Suppose 27*x + 190 = -11*x. Let t(u) = -44*u + 92. Is 12 a factor of t(x)?
True
Let m(v) = -1612*v**3 + v + 1. Let b(f) = -7*f + 13. Let x be b(2). Let i be m(x). Suppose -5*o + i = -2*s, 377 + 267 = 2*o - s. Is o a multiple of 36?
True
Let k = 296 + -292. Suppose 0 = -2*z - 5*l + 995, 0*z - l = -k*z + 1957. Is 70 a factor of z?
True
Let j = 2286 - 1015. Let z = j - 636. Does 19 divide z?
False
Let t be (-1 - -3)*((-196)/(-8))/(-7). Let r(j) = -j**3 - 6*j**2 - 12. Is 22 a factor of r(t)?
False
Let q = 31742 - 23154. Is 10 a factor of q?
False
Let l = -1235 + 2326. Let s = 1849 - l. Suppose s = 12*t - 1258. Is 42 a factor of t?
True
Let j(n) = n**2 + 83*n**3 + 10*n - 16*n + 6*n. Is j(1) a multiple of 21?
True
Let q be 6 + -7 - (-80)/2. Let x = 38 - q. Let l(i) = 9*i**2 + i. Does 2 divide l(x)?
True
Let x(f) = -26*f - 35. Let q(c) = c - 8. Let i be q(4). Let b be x(i). Suppose 6*p - 309 = -b. Is p a multiple of 20?
True
Let w = 14250 + -10034. Is w a multiple of 62?
True
Let a(t) = 1044*t + 222. Is a(5) a multiple of 5?
False
Let q(n) = 2*n**2 + 24*n + 18. Suppose -98 = -5*d + 2*i, -4*d - 96*i = -91*i - 52. Is 1