/57 - 14) a multiple of 57?
False
Let t(s) = 33*s + 33. Let p(u) = u**2 + 26*u - 53. Let v be p(-28). Is 16 a factor of t(v)?
False
Let b(t) = -4681*t + 19. Is 57 a factor of b(-1)?
False
Let z be (24/(-28))/(-2*(-9)/(-84)). Suppose 5*f - 141 - 81 = 3*p, f - 49 = -z*p. Is f a multiple of 7?
False
Suppose 3 = -b, -2*i - 523 = 3*b - 5528. Does 25 divide i?
False
Is 93 a factor of (-3 + -2)*(15732/(-15) - -6)?
False
Suppose -2*c + 4*z = 20, -3*c + 5 - 27 = 2*z. Let m(s) = -34*s + 23. Is m(c) a multiple of 24?
False
Let a be 6/(-15)*(-50 + -5). Suppose 12028 = a*c - 8454. Is c a multiple of 19?
True
Suppose 3 = -2*u + 5. Let l be (-12 + 12)/(u - 0). Suppose 3*x - 5*x = 4*k - 32, l = 4*k - 5*x - 46. Does 3 divide k?
True
Let r(c) = 16*c**2 + c**3 - c - 12*c + 50 - 3*c**2. Let v be (-120)/45 - 34/3. Is 12 a factor of r(v)?
True
Let y = -46 - -64. Let i = y + -13. Let x = i - -61. Is x a multiple of 8?
False
Suppose -3*s + 557 = 563. Is 12 a factor of (-6 - -1)/5 + (-1074)/s?
False
Let b = -1899 - -509. Does 28 divide (2*6/20)/((-2)/b)?
False
Let c(m) = -106*m + 6181. Does 47 divide c(-64)?
False
Let t be -2 + 14/(2 - 0). Suppose 0 = t*k - 750 - 420. Is 22 a factor of k?
False
Let d be (-5 - -3) + -55 + -3. Let b = -25 - d. Is b a multiple of 7?
True
Let w = -2528 + 3579. Suppose -2484 = -4*a + 2*g, 5*g + w = 2*a - 191. Is 27 a factor of a?
True
Suppose 18*f - 62657 = -20861. Is 54 a factor of f?
True
Let t(s) = -s**3 + 16*s**2 + 2*s - 36. Let h be t(16). Let j be 686/3 - h/3. Suppose 10*y - j = 5*y. Is y a multiple of 27?
False
Let m = 25917 - 14495. Does 10 divide m?
False
Let m = 18560 + -13912. Is 46 a factor of m?
False
Let a = 33 - 24. Let x(r) = r - 5. Let n be x(a). Suppose 179 = 4*j + 2*h - 53, -j - n*h = -44. Is 14 a factor of j?
False
Let c(r) = r**3 + r**2 - 2*r + 2. Let u be c(-2). Suppose 0 = 6*f - 6, -i + 24 = u*f - 202. Is 14 a factor of i?
True
Let p(s) = -11409*s - 4535. Is 200 a factor of p(-3)?
False
Is 6/15 - -47836*(-5)/(-50) a multiple of 13?
True
Let n = 87 - 60. Suppose -n*k + 28*k = 81. Is k a multiple of 21?
False
Suppose -5*c - 22 = -172. Suppose -4*m + 0*a - 26 = a, 4*m + c = a. Is (-1052)/m - 4 - 2/7 a multiple of 14?
False
Let f be (-7056)/(-128) + 2/(-16). Let w = 92 - f. Let i = 105 - w. Does 11 divide i?
False
Let r = 278 - 280. Let f(g) = 3 + 4 - 8 - 64*g - 19*g. Is 33 a factor of f(r)?
True
Let p = -3040 + 3040. Suppose -4*i = -0*i - 1260. Suppose p*x = -3*x + i. Is 21 a factor of x?
True
Suppose -197*w = -268903 - 243940 - 112829. Is 27 a factor of w?
False
Suppose -23*n - 12 = -19*n. Let k be 10/(-5) + n + 136. Let v = 362 - k. Does 37 divide v?
False
Suppose -b = 2*w - 20 - 13, 0 = w - 3*b + 1. Let x(f) = f**2 - 13*f + 31. Let s be x(w). Let a = s + 3. Is 12 a factor of a?
True
Let i(a) = 1403*a - 2055. Is i(8) a multiple of 8?
False
Let b be (-13)/(-4) + (-2)/8. Suppose -97*o = 6 - 112 - 88. Suppose -o*l - 205 = -y + 46, 4*l = b*y - 751. Is 30 a factor of y?
False
Let d(p) = 20*p**2 - 31*p + 155. Let z be d(6). Let a = 1166 - z. Is 53 a factor of a?
True
Suppose 0 = 42*j - 272 - 400. Let g(l) = l**2 + 26*l - 99. Is 67 a factor of g(j)?
False
Let a = 985 + 3405. Suppose 7346 = 5*x + k, -89*k - a = -3*x - 94*k. Does 21 divide x?
True
Let p be (1*3/6)/((-2)/128). Does 4 divide (209/76)/((-2)/p)?
True
Is 35 a factor of (20/3 + 0)/(10/915)?
False
Let i be (1/1 - 0) + 346. Let g be (-1 + 6 - 1) + 301 + 22 + 4. Suppose 5*k - 1882 = -f - i, 0 = k + 5*f - g. Is k a multiple of 33?
False
Suppose 176 = 116*z - 115*z. Is z + 2 + -2 + (5 - 0) a multiple of 19?
False
Is 2 a factor of ((-201920)/112)/((-26)/91)?
True
Let x = -396 - -401. Is 2 a factor of x/(-70)*-4 - 6036/(-42)?
True
Suppose 2*r - 20 = -0. Suppose r*t - 8*t - 72 = 0. Is t a multiple of 5?
False
Suppose 3*b + 2*c + 744 = 0, -4*b = 3*c - 6*c + 975. Is 82 a factor of b/(-4)*(210/18 - 9)?
True
Suppose -8334*g + 8329*g + 10160 = 0. Is 8 a factor of g?
True
Let q be 1 - -1 - 1*-4. Let z(l) = -l**3 + 6*l**2 + 11*l + 4. Let f be z(q). Let o = f + -45. Does 9 divide o?
False
Suppose 5*v + 5902 = c - 5102, -10956 = -c - 3*v. Does 186 divide c?
True
Suppose 3*c - 2*j - 319 = 0, -5*c + 25 = 4*j - 492. Does 11 divide ((-110)/50)/((-3)/c)?
True
Let v(l) = 191*l - 715. Is 3 a factor of v(8)?
True
Let b(m) = 20*m**3 - 7*m**2 - 10*m - 10. Let c be b(-3). Let r = c - -1234. Is r a multiple of 62?
False
Let r = 433 - 431. Suppose o = 2*b + r*b - 232, -4*b - o = -240. Is b a multiple of 6?
False
Suppose r = 3*c + 22 - 229, 3*r = -3*c + 219. Let m be ((-4)/(-10) + c/(-50))*-3. Suppose -4*w + 455 = -3*s, -2*s + s + m = 0. Is 29 a factor of w?
True
Let v(n) = 247*n**2 - 124*n - 461. Is 3 a factor of v(-4)?
True
Let u(x) = -10*x + 20. Let s(k) = 12*k**3 - 3*k - 2. Let j be s(-1). Does 10 divide u(j)?
True
Let c(i) = 4 - 378*i - 155*i - 165*i. Is c(-1) a multiple of 9?
True
Is 19 a factor of 3255/(-315) + (-20)/(-6) + 1027*7?
True
Suppose -6*d + 921 = -3*d. Suppose 187 = 13*b - d. Does 2 divide b?
True
Suppose 4*w = 123 + 513. Suppose 4*j + u + 415 = 0, -3*u = 23*j - 28*j - 540. Let y = j + w. Is y a multiple of 9?
True
Let b(q) = -19*q**2. Let y be b(-2). Let s = -96 - y. Let w(o) = -9*o + 3. Does 12 divide w(s)?
False
Let o(n) = 94*n**2 + 4*n + 8. Let m be o(-3). Suppose -162 = -s - 4*p, -5*s - p + m = 3*p. Suppose 4*t - s = -2*y, -2*y + 164 = 3*t - 2*t. Is 27 a factor of y?
True
Let b be 3 + (4 - 5)*(-4472)/(-8). Let i = b + 1085. Does 4 divide i?
False
Let q be (-270)/72*8/3. Let k be (-6)/q + 7/5. Suppose -284 = -5*b - 3*w - 27, 0 = -k*w - 2. Is b a multiple of 13?
True
Let m = 1612 - 112. Is 50 a factor of m?
True
Suppose 3*k = y + 64, -3*k + 320 = 2*y - 7*y. Does 13 divide 10/5*(3 - y)?
False
Let a(u) be the second derivative of -u**5/20 - 9*u**4/4 + 7*u**3/6 + 7*u**2/2 + 73*u. Is a(-28) a multiple of 35?
True
Suppose -5*i - 2*t + 16 = 0, -i - t = 2 - 4. Suppose 4*y - 2*x = -132, -2*y - 46 = i*x - 0*x. Let g = -17 - y. Does 3 divide g?
False
Let t = -102 - -108. Suppose 0 = t*d - 281 - 43. Suppose -q - d = -4*r, -3*q + 34 = -0*r + 2*r. Is r a multiple of 2?
True
Suppose 19*k - 37*k = -108. Let l(r) = 10*r**2 + 5*r + 16. Is l(k) a multiple of 14?
True
Let m(p) = 218*p - 3339. Does 73 divide m(21)?
False
Let r(b) be the second derivative of -b**5/20 + 11*b**4/12 - 2*b**3/3 + 5*b**2 - 12*b. Does 6 divide r(8)?
False
Suppose c - 8*c = 12*c - 280611. Does 130 divide c?
False
Suppose r + 3*r = -5*l - 108, r + 93 = -4*l. Let x(f) = -f**2 - 24*f + 5. Let m be x(l). Suppose 3*k + k - 3*p = 159, m*k - 200 = 4*p. Is k a multiple of 23?
False
Let q = 10131 - -5115. Is 21 a factor of q?
True
Let z(g) = g**3 + 7*g**2 + 7*g + 5. Let i be z(-6). Let d be 8 - (1 - (i + 4)). Suppose 13*s = d*s + 375. Is s a multiple of 25?
True
Suppose 4*o - 3*j - 534 = 0, -27*o = -26*o + 5*j - 168. Is 69 a factor of o?
True
Let p be (-2)/2 + 14 + -17 - -338. Suppose 819 = 5*u - 2*m, 9*u + 4*m = 11*u - p. Is 7 a factor of u?
False
Suppose -26*n = -32*n - 4524. Let v = -707 - n. Is v even?
False
Let k = -402 + 226. Let x = 558 - k. Does 27 divide x?
False
Let i(d) = 4414*d**2 + 25*d - 7. Does 90 divide i(-2)?
False
Let x(o) be the first derivative of 8*o**3 - 8*o**2 - o - 94. Is x(2) a multiple of 10?
False
Let i(c) = -8*c - 20. Let a be i(4). Let w be (a/65)/((-2)/5). Suppose w*m = 5*m - 234. Does 13 divide m?
True
Let m(h) be the third derivative of -h**5/60 - 17*h**4/24 + 19*h**3/3 - 6*h**2. Let v be m(-19). Suppose v*c + 720 = 5*c. Does 20 divide c?
False
Suppose -4*f = t - 5595, 5*f - 51*t + 52*t - 6995 = 0. Does 7 divide f?
True
Suppose 6*l = 11*l + m - 102, l + 5*m - 30 = 0. Is 4 a factor of (-4)/(l/(-16) + 1)?
True
Is (-30)/(-10)*31984/48 a multiple of 4?
False
Suppose s = -2*s + 20*s - 3145. Let j(x) = -x**2 - 2*x. Let p be j(-2). Suppose -s = -m + 4*n, 2*m + n - 209 - 116 = p. Is m a multiple of 15?
True
Suppose 4*u - 3994 = -1719 + 23157. Is 11 a factor of u?
True
Let x(o) = 5*o**2 + 8*o - 103. Let l be x(16). Let g = l - 669. Is 14 a factor of g?
False
Let s be 1/7 - (-34)/7. Suppose -3*g + 42 = -5*d, s*g - 73 = 5*d - 13. Does 14 divide 300/21 - (g/7 - 1)?
True
Suppose -6*j + 4400 = 14*j. Suppose 0 = -5*l + 1060 - j. Is l a multiple of 14?
True
Let v(s) = -2*s + 10. Let k(j) = -4*j**2 - 6*j - 10