a multiple of 18?
False
Let z be (2 - 5 - -4) + 1. Suppose -4*a + i - 46 = -369, 5*i - 167 = -z*a. Is a a multiple of 27?
True
Is (-1)/2 + (-12)/10*608700/(-80) a multiple of 54?
False
Let i be ((-3 - 23) + 4)/(3/6). Let f be i/10 + ((-72)/20 - -4). Let u(q) = 6*q**2 + 2*q. Is u(f) a multiple of 22?
True
Let f(l) = l**3 - 7*l**2 - 14*l - 12. Let s be (4/(16/(-3)))/(11/(-1496)). Suppose -s = -10*p - 12. Is f(p) a multiple of 6?
True
Suppose 451 = -5*l + 965 + 1641. Is 31 a factor of l?
False
Suppose -16 = -2*n + z, 0*n + 5*z + 14 = -n. Suppose -283 = -4*d - h, 2*d + n*h - 137 = h. Suppose -986 = -15*s - d. Is s a multiple of 15?
False
Suppose -4868 - 532 = -42*m - 30*m. Is m even?
False
Let i(l) = l**3 + 56*l**2 + 87*l + 445. Is i(-54) a multiple of 100?
False
Suppose -3*v = -3*r - 35721, 5*v - 2*r = -292 + 59812. Is v a multiple of 39?
False
Let o = 6599 - 3862. Is 23 a factor of o?
True
Suppose 31*u - 305 + 1142 = 0. Let n(g) = -g**2 - 56*g - 123. Is 44 a factor of n(u)?
True
Let g be 6 + 1 + -11 + (-2 - -4). Let j(i) = 9*i**2 + 2*i - 1. Let b(m) = m**2 - m - 1. Let y(d) = 3*b(d) + j(d). Is y(g) a multiple of 20?
False
Suppose -691*g = -676*g - 53835. Is g a multiple of 48?
False
Let k(g) = -2*g - 19. Let d(y) = -y - 1. Let w(j) = -3*d(j) + k(j). Let p be w(18). Suppose -10*r = -p*r - 360. Is r a multiple of 7?
False
Does 123 divide ((-118818)/12)/((-30)/12 + 2)?
True
Suppose -432 = 35*p - 19*p. Does 37 divide (22824/p)/(4/(-6)) + -3?
False
Is 2 a factor of (-16)/(-12)*(9105/10)/1?
True
Let r(o) = -o - 4. Let s be r(0). Let l be -4 + (s/(-6) - (-6035)/15). Suppose -27*h + l = -20*h. Is 13 a factor of h?
False
Suppose 40*m - 46*m - 6 = 0. Is ((-10)/(-5) + m)*445 a multiple of 41?
False
Let b(i) = -215*i - 60. Let u(f) = f. Let v(z) = b(z) + u(z). Is 14 a factor of v(-4)?
False
Does 15 divide 70*(195/26 - -10)?
False
Suppose 31*x = 38*x - 385. Suppose 5*o - 11 = 19. Suppose -o*b + 323 = -x. Is 21 a factor of b?
True
Suppose m + 5*z - 27 = 0, -3*m + 2*z = 3*z - 53. Let a(c) = 9*c**2 - 56*c - 38. Is a(m) a multiple of 86?
False
Suppose 0 = 2*l - 5481 - 2373. Suppose -21*m + 10*m = -l. Does 17 divide m?
True
Suppose 31*p = 15*p + 22787 + 4669. Does 33 divide p?
True
Let w be 417/(-2) + 3/2. Let y = -83 - w. Is 57 a factor of y?
False
Let q(p) = p**3 - 16*p**2 + 23*p - 19. Is q(20) a multiple of 52?
False
Suppose -4*k - 1492 = -35608. Is k a multiple of 17?
False
Let k = -22074 + 34502. Is k a multiple of 11?
False
Suppose 5*u - 24716 = 2*r, -4*r + 16652 + 3132 = 4*u. Is 6 a factor of u?
True
Suppose 3890 = j - 5*u, -j + 2348 = -u - 1546. Is 95 a factor of j?
True
Suppose 9*r = 4*r + 65. Suppose -4*l - g + r = 0, 3*g = l - 0*l. Suppose -5*h = 3*c - 19 - 8, -2*h + l*c = -15. Is h a multiple of 2?
True
Let d(q) = 747 - 82 - 5*q + 195 + 52*q. Is 43 a factor of d(0)?
True
Let p(r) = r**3 + 102*r**2 - 47*r - 114. Is 408 a factor of p(-30)?
True
Let u be (2 - 6) + 1375 + 3. Suppose 3*v - u = -384. Is v a multiple of 22?
True
Suppose 597 = -5*t - 573. Let n = 308 - t. Is n a multiple of 35?
False
Suppose -521*c + 541*c - 813879 = -164699. Is 79 a factor of c?
False
Suppose -108*k - 221712 = -263*k + 124*k. Is k a multiple of 20?
False
Let a(z) = 1622*z**2 + z. Let p(d) = -d + 12. Let g be p(11). Let j be a(g). Suppose j - 279 = 7*k. Does 40 divide k?
False
Suppose -630737 = -51*f + 608767. Is 28 a factor of f?
True
Suppose -d = 11*d - 12. Let o be 1*3*(d - -6). Suppose -1590 = -o*h + 90. Is h a multiple of 20?
True
Suppose 0 = -2*r - 33 + 3. Let t = r + 19. Is 24 a factor of -6*t/6 + 80?
False
Suppose 11*u - 119373 = 276453 + 271401. Is u a multiple of 15?
False
Suppose 0 = 43*z - 30*z - 2002. Does 3 divide z?
False
Let g = 219 - 215. Does 21 divide (-4154)/(-93)*18/g?
False
Suppose 5*z = -2*i + 1434 + 9521, 5*z = -3*i + 16415. Is i a multiple of 13?
True
Suppose -2*l - 4 = 0, -162 = 3*j - 7*j + 5*l. Suppose 181*k = 182*k - j. Is 10 a factor of k?
False
Suppose -266*y + 186*y + 648000 = 0. Is y a multiple of 26?
False
Is (-792607)/(-158) + ((-1)/2 - -1) a multiple of 169?
False
Suppose x - 2*y - 11 = 0, -30 = -3*x + 2*y - 9. Let k be 6 + ((-15)/x - -2). Does 13 divide (-3 + 6 - -2)*k?
False
Let c(h) = -195*h + 2503. Does 36 divide c(-28)?
False
Let a be ((-44)/3)/(50/(-2325)). Suppose -a = -15*p + 368. Does 5 divide p?
True
Let y be 6/(-15) + 548/20. Suppose 3*t - 3*p = -y, -5*p - 12 = 3*t - 1. Let o(i) = 3*i**2 + 9*i + 17. Is 20 a factor of o(t)?
False
Let s = 29969 - 17951. Does 10 divide s?
False
Suppose -25 = 5*b - 50. Suppose 4*p = -4, 0*p - 417 = -4*r + b*p. Let h = r - 93. Does 10 divide h?
True
Let i(f) = -5*f + 24. Let l be i(4). Is 7 a factor of 50 - 20/5 - l?
True
Let m(n) = n**2 + 4*n + 114. Let s be m(0). Suppose 38 = 4*r - s. Does 3 divide r?
False
Suppose -232*b - 121312 + 357024 = 0. Is b a multiple of 8?
True
Let f be 7/21 + (-190)/(-6). Let r be (-14)/42 - 118/6. Let b = f + r. Is 3 a factor of b?
True
Suppose 190366 = 42*o + 49246. Does 160 divide o?
True
Let y = -39 + 48. Suppose 4*f - y*f = -450. Is 27 a factor of f?
False
Let z(u) = -u**3 + 28*u**2 - 2*u - 312. Is 2 a factor of z(27)?
False
Suppose 27*u = 45*u. Suppose u*r - r - 457 = -2*b, b - 226 = r. Is 33 a factor of b?
True
Suppose 0*p - 5*p + c = 27, -3*p = 3*c + 27. Let q = 11 + p. Does 32 divide (-1)/q - (1124/(-20) + -2)?
False
Let g = -26 + -229. Let h = 474 + g. Is 4 a factor of h?
False
Is 12 a factor of (-3778488)/(-1768) - ((2 - 6) + 108/26)?
False
Is 2116308/248 + 2/8*-2 a multiple of 18?
False
Let t be ((-2)/11)/1 - (-4)/22. Suppose 0 = -7*w - t*w + 28. Suppose -5*k - 650 = -5*l, -l + w*k = 2*k - 130. Does 13 divide l?
True
Let n(f) = 82*f**2 + 881*f + 21. Is 12 a factor of n(-17)?
False
Is 130 a factor of 4664/1749*(-1 + (-35131)/(-4))?
False
Does 92 divide (-2211)/((-3)/5*1)?
False
Let y(w) = 369*w + 4. Let c be y(4). Let q = c + -784. Is q a multiple of 39?
False
Suppose -10*h + 7*h + o = -2573, 6 = -3*o. Let k = -595 + h. Is k a multiple of 36?
False
Let w(x) = -x**3 + 11*x**2 + 19*x + 21. Let l be w(11). Suppose 0 = -j + 4*i + 257, -4*j - 5*i = -3*j - l. Is 7 a factor of j?
True
Let t(n) = 2*n**3 - 6*n - 11. Let w be t(-2). Let k(v) = -2*v**3 - 27*v**2 - 33*v - 36. Is k(w) a multiple of 75?
False
Is 5 a factor of 139 + -1 + 3 - (-2 + 11)?
False
Let a = -20 - -22. Let f(b) = 176*b + 1. Let n be f(a). Let v = n + -220. Is v a multiple of 19?
True
Let n(m) = -778*m**3 - 9*m**2 - 9*m - 11. Let k(i) = -389*i**3 - 4*i**2 - 4*i - 5. Let a(t) = 13*k(t) - 6*n(t). Is a(-1) a multiple of 65?
True
Let m(x) = x**3 + 7*x**2 + 6*x - 16. Let i be m(-4). Is (6/(-4))/(i/(-784) - 0) a multiple of 21?
True
Suppose 8*k + 5*z - 84 = 5*k, 5*k - 5*z = 100. Suppose y = 5*s + 167, -26*y + k*y + 4*s = -534. Does 13 divide y?
True
Does 24 divide (-5894)/(-421) - (-24531 - 0)?
False
Let j be (1/(-2))/(19/(-10792)). Let k = -180 + j. Does 26 divide k?
True
Suppose -14989 = -10*t + 16421. Suppose 20*y - t = 11479. Is 17 a factor of y?
True
Suppose -172*l - 1800 = -177*l. Is 20 a factor of l?
True
Let v(y) = -43*y - 329. Is 4 a factor of v(-25)?
False
Let g = -4635 - -16369. Is g a multiple of 11?
False
Does 153 divide 5 + 126/(-28) - 17441/(-2)?
True
Suppose 5*u = -4*g + 32961, 63*g + 41210 = 68*g + 5*u. Is 73 a factor of g?
True
Does 118 divide -6015*8/(-12) - 8/(-1)?
False
Suppose -5*m = 3*h - 43346, -3*m + 31143 = -5*h + 5149. Does 26 divide m?
False
Does 23 divide (8/12 - 0) + 400477/147?
False
Let h = 102 + -99. Let s be -4 - 1336/(-6)*h. Suppose -s = -5*o + 301. Does 40 divide o?
False
Let g = 512 - 528. Let t = -11 - g. Does 2 divide t?
False
Let b be 78 + 1/(1/(-3)). Suppose -4*l + 60 = 2*w, 2*w = 5*l + 6*w - b. Is 2 a factor of l?
False
Let u be 11/1*(2 + 3/(-1)). Let g be (4/4)/(-1) + u. Is 58/6 - 4/g a multiple of 2?
True
Let f = -169 + 358. Suppose 0 = 5*d + 4*p - f, d = -4*p + 3*p + 37. Is d a multiple of 12?
False
Suppose 0 = -320*k + 217*k + 489353. Is k a multiple of 7?
False
Suppose -5*c - 318 = -3*c + m, 5*c + 794 = -2*m. Let z = c + 110. Let q = z + 69. Is 2 a factor of q?
False
Suppose d = 5*s - 2520, 7*d = 6*d + 3*s - 2522. Is (-3)/(-4) - d/100 a multiple of 14?
False
Suppose f - 15*f + 770 = 0. Is 12 a factor of (((-2304)/20)/3)/((-11)/f)?
True
Suppose 416838 = 359*n