
True
Suppose -2090*p + 111454 = -2076*p. Is 120 a factor of p?
False
Suppose -1936 = -7*i - 557. Let d = 30 + i. Suppose 7*p - d = 459. Does 14 divide p?
True
Let s be (11/4)/(22967/4592 + -5). Suppose 31*i - 33*i = -s. Does 82 divide i?
True
Let r(d) be the second derivative of d**5/20 + d**4/6 - d**3/3 - 3*d**2/2 - 22*d. Let q be r(-1). Suppose 2*z - 71 + 17 = q. Is z a multiple of 3?
True
Let z(h) be the second derivative of -h**3/2 - 11*h**2 + 10*h. Let d be z(-9). Suppose -x + 80 = 4*c - 0*c, -d*c = -5*x + 425. Does 28 divide x?
True
Let b be (-4)/10*(5 + (-195)/26). Is 10 a factor of (-61 + 232)*b*5?
False
Suppose 3*u - 196 = -4*c, 0 = -5*c - 28 + 3. Suppose 2*s - 5119 = -5*y, 0 = -3*y - 69*s + u*s + 3063. Is 11 a factor of y?
True
Let n be 508/(4/1) - (0 + -1). Let v = n - 94. Does 7 divide v?
False
Suppose -2016 = -n + 2*t, 5*t - 9990 = 2*n - 7*n. Is n a multiple of 17?
False
Suppose -3*h + 15 = 0, -5*h + 20490 = 4*u - 13459. Does 147 divide u?
False
Suppose 168*k = 165*k - z + 45737, 2*z + 15248 = k. Does 13 divide k?
False
Suppose 4*x - 2696 = 3224. Is x a multiple of 8?
True
Suppose x - x - x = 0. Let j be (1 - x) + -22 - 6/(-2). Let a = 31 + j. Is a a multiple of 6?
False
Let u = 2 + 7. Let t be (-52)/(-234)*(-2 - -38). Suppose -u*z = -t*z - 25. Is z a multiple of 14?
False
Let z be ((-92)/2)/((-15)/330). Suppose 0 = -4*l - 11*j + 15*j + z, 5*l - j - 1261 = 0. Is l a multiple of 21?
True
Let q = 1079 + 9611. Is q a multiple of 5?
True
Suppose -4*o + 42193 = 5*j, -4*j - 70*o + 74*o + 33704 = 0. Is 9 a factor of j?
True
Is ((-409308)/18)/(38/(-57)) - -11 a multiple of 59?
False
Let a(m) = -2*m**3 + 61*m**2 + 118*m - 1. Does 18 divide a(27)?
False
Let f(v) = 2*v + v - 2 + 3*v. Let y = 104 + -100. Does 6 divide f(y)?
False
Suppose 27*a - 69000 = 96*a. Let d = -652 - a. Is 52 a factor of d?
False
Suppose -5*b = p - 15, -7*b + 6*b - p - 1 = 0. Let o be b + 3 + -3 + 1 + -5. Suppose 14*r - 15*r - 5*u + 227 = 0, 5*r + u - 1231 = o. Is 16 a factor of r?
False
Let w(s) = 51*s**3 + 2*s**2 + s - 2. Let r be w(1). Let c be ((-1)/(4/(-20)))/(2/r). Is 46 a factor of c + 3 - (0 - 5)?
True
Let d(z) be the second derivative of z**4/12 + 7*z**3/6 + 6*z**2 - 24*z. Let q be d(-6). Suppose q*u - y - 232 = 3*u, -4*u + 318 = 3*y. Is 6 a factor of u?
True
Let f be (-51)/(-85)*1*-505. Let h = -292 - f. Does 9 divide h?
False
Suppose -83*p + 41*p = -29*p. Let j(q) = q**2 + 20*q + 4. Does 2 divide j(p)?
True
Suppose 277 = -l + 302. Suppose l*d - 13435 = 12265. Is 12 a factor of d?
False
Let m(f) = -3*f + 29. Let t(u) = -5*u + 59. Let h(d) = -5*m(d) + 2*t(d). Let n be 9 - 1 - 16/16. Is 8 a factor of h(n)?
True
Suppose -5*a + 3*z - 228 = -15516, -5*a + 4*z = -15284. Suppose -5*t + a = -3*d, -35*t + 3070 = -30*t - d. Is 15 a factor of t?
True
Suppose -5*r = -5*x + 635, -4*r = -3*x - 8*r + 416. Suppose 140*h = x*h + 5152. Does 46 divide h?
True
Suppose 2*n + 3*b + 14 = 4*n, -3*n + 16 = -2*b. Is 15 a factor of (-18)/(-24) - 7/n*-19?
False
Suppose 0 = c - 5*o - 16064, 4*c = 2*o - o + 64294. Is c a multiple of 114?
True
Suppose -5*z + 12 = 3*x, 4*x - 8 = 2*z + 8. Let s be 21 - 18 - 2/4*x. Suppose s + 43 = h - 5*t, 0 = -2*h - 4*t + 74. Does 4 divide h?
False
Suppose -3*x = -x - 8, 3*x = -d + 24. Suppose 8*t = d*t - 1068. Suppose -t = -25*v + 22*v. Does 21 divide v?
False
Suppose -107*m = 4*p - 105*m - 91422, -5*p - m = -114267. Does 58 divide p?
True
Suppose 19*p - 32*p = -15*p + 8292. Does 6 divide p?
True
Let u(x) = x**3 - 2494*x + 2502*x + 12 - 2*x**3 + 7*x**2. Does 8 divide u(-6)?
True
Let x = -9264 - -13677. Is x a multiple of 11?
False
Let f = 44 - 44. Suppose f*k + 30 = k + 5*c, c = 4*k - 15. Suppose 0 = -k*b + 102 + 58. Is b a multiple of 4?
True
Let w be (32963/2)/((7 + -6)/24). Does 38 divide (-4)/(-18) + w/459?
False
Let c(v) = 15*v + 14323. Is 16 a factor of c(51)?
True
Let l = -30 - 63. Let y be l + 17 - (-3 + 0). Let s = y + 105. Is 8 a factor of s?
True
Is 10 a factor of (-87505)/(-25) + 37/(-185)?
True
Let i = 193 - 214. Let a = 13 - i. Is a a multiple of 5?
False
Let r be (-1)/(795/(-200) - -4). Let s = 42 + r. Suppose -g + 84 + s = -b, -2*g - 3*b = -192. Is 15 a factor of g?
True
Suppose -233*w = -1127635 - 819779. Is w a multiple of 4?
False
Suppose 2*f - g = 3440, 2*f - 2095 = -5*g + 1345. Suppose -f = -c - 2*d + d, -2*c = 4*d - 3448. Does 33 divide c?
True
Let u(g) be the second derivative of -59*g**3/3 + 7*g**2 + 34*g. Does 22 divide u(-1)?
True
Let s = -4403 + 5440. Is 17 a factor of s?
True
Let x = 2885 - 505. Let j = x + -1444. Is j a multiple of 72?
True
Suppose 4904 = v + o, -2*o + 2122 = v - 2783. Is v a multiple of 38?
False
Let x(o) be the second derivative of 24*o + 11/3*o**3 + o**2 + 0. Does 8 divide x(3)?
False
Let v be 3 + (-2727)/18 + (-1)/2. Let g = -112 - v. Does 3 divide g?
False
Suppose -19088 - 48482 = -38*x + 25910. Is 3 a factor of x?
True
Suppose -15 = -4*o - w, 2*o - 5*w - 7 = 6. Suppose 0 = f + 2*s - 618, o*f + 2*s = -s + 2482. Is 8 a factor of f?
False
Suppose 4*g + 164 = 184. Let d(p) = 49*p**2 - 13*p + 1. Does 45 divide d(g)?
False
Suppose -6*b - 309 = -2*f - 7*b, 2*b = 6. Does 22 divide f?
False
Suppose -51 + 633 = 3*h + 3*c, 4*c = 3*h - 554. Suppose -67 = n + 23. Let p = h + n. Is p a multiple of 25?
True
Suppose -15*c - 9 = -12*c. Is 4 a factor of (-7)/((-42)/(-16))*c?
True
Is 77 a factor of (0 - -1) + 688385/37 + 44?
False
Suppose 14*h = 21*h - 5103. Let a = -321 + h. Is a a multiple of 17?
True
Let c be (-3)/15 + 165248/40. Suppose 9*q - c = -387. Does 32 divide q?
True
Suppose 217 = 2*h - d - 0*d, -3*d = 3*h - 330. Suppose t + 35 = h. Is 31 a factor of t?
False
Let i = -21 + 25. Suppose -m = i*m - 3*r - 2130, -1278 = -3*m - 4*r. Suppose 510 + m = 4*g. Is 13 a factor of g?
True
Let l = 46180 + -26698. Does 191 divide l?
True
Suppose 391511 = 3*d + 80*d. Is 102 a factor of d?
False
Is -116*8/(160/(-4085)) a multiple of 29?
True
Suppose -4*n - 32722 = -4*o - 7438, o - 3*n = 6327. Suppose -20*c + 59*c - o = 0. Does 27 divide c?
True
Suppose -27*d - 46 + 100 = 0. Suppose -13 = 3*r + 4*k - 661, 3*r + d*k - 648 = 0. Is r a multiple of 72?
True
Let j(z) be the first derivative of z**3/3 + 23*z**2/2 - 9*z - 129. Is 15 a factor of j(-24)?
True
Let u(g) = 9*g**2 - 46*g - 272. Is 13 a factor of u(-14)?
False
Let b(h) = -h**3 + 28*h**2 - 56*h + 43. Let m be b(25). Does 40 divide 5/(-5) + m - -3?
True
Suppose 6*l + 47 = 23. Is 10 a factor of (-39)/(-3) + (l + 3)*3?
True
Let g(p) = -p**3 - 3*p**2 - 4*p + 1. Let y be g(-2). Suppose -2*f - y = -51. Is f a multiple of 8?
False
Let g be (3 - 0/(-3)) + 2. Suppose -g*f - 595 = -m, 3*f - 3364 + 361 = -5*m. Does 25 divide m?
True
Suppose 5*p = -4*s - 39, 5*p - 2*s - 560 = -563. Let l(g) = -311*g + 3. Let i be l(-3). Is (i/9)/(p*(-4)/6) a multiple of 3?
False
Let h(l) = l**3 + 7*l**2 - l + 1. Suppose -5*o + 5*n + 2 = 52, -2*o - 3*n = 0. Let f be 21*-2*((-7)/o + -1). Is h(f) a multiple of 8?
True
Let m be (2 - 3) + 2 + -1. Let i(s) = -23*s + 82 - 20*s - 22*s + 62 + 67*s. Is i(m) a multiple of 16?
True
Let d(t) = t**2 - 7*t + 57. Let a be d(12). Suppose -a*n + 2004 = -114*n. Does 13 divide n?
False
Suppose 35*k - 50 = 34*k. Let c = k + -5. Let b = c - -15. Is b a multiple of 15?
True
Is (-716)/10740 + 3/((-90)/(-1051382)) a multiple of 113?
False
Suppose -15*f = -12*f - 18. Let q(a) = 5*a**2 - 2*a - 5. Let x be q(f). Suppose x = 3*j - 4*p, 5*j + p = 5*p + 261. Is 9 a factor of j?
False
Suppose -2*a - 8 = -4*b, 4*a + 8 = -4*b + 28. Suppose -2*z = -3*y - 1, 10 = b*z + 10*y - 6*y. Suppose 0 = -5*l + 15, z*l + 39 = 2*i + i. Is 15 a factor of i?
True
Let z(y) = y**2 - 8*y + 22. Let r be z(6). Suppose 18 = -2*s - r. Does 10 divide 49/s*(-40)/7?
True
Suppose -4*y + 54*g + 1032 = 58*g, -4*y - 5*g = -1029. Let a = 381 + y. Does 107 divide a?
True
Suppose 0 = 93*o - 119*o + 35306 + 333790. Is 28 a factor of o?
True
Let k = 130 + 8554. Is 42 a factor of k?
False
Let k(p) = -9*p - 87. Let j be k(-13). Is 40 a factor of j*(-1)/(15/20)*-16?
True
Let a(t) = -t**2 - t - 20. Let q be a(0). Let g = q - -23. Suppose 3*v - 4*m = 6, -g*v + 3*m + 3 = -2*m. Is 2 a factor of v?
True
Suppose -6*n + 184 = 17*n. Does 6 divide -2 + -5 + n - -39?
False
Let a(s) = -2*s**2 - s + 1. Let m(i) = 21*i**2 - 3*i + 3. Let