- (p - (-1 - -4) - -2)?
True
Let v be 42/(-56)*((-8)/3 + 0). Let a be v/(-9) + (-266)/(-63). Suppose 0 = -u - 2*h + 28, -17 = a*h - 5. Is 17 a factor of u?
True
Let d be 1 + (-1 + 2)/(3/(-3)). Suppose 20*h - 25*h + 3960 = d. Is h a multiple of 22?
True
Suppose 40*u = 1017695 - 364655. Is 226 a factor of u?
False
Let q(b) = 3*b**2 + 6*b - 11. Let h be 1/((-5)/2) - (-99)/(-15). Is q(h) a multiple of 21?
False
Let g(u) = 4*u + 203. Let p be g(-26). Let r be ((-7)/14)/((-1)/450). Let q = r - p. Is q a multiple of 21?
True
Let k(x) = -8*x + 21. Let j(u) = -18*u + 43. Let s(t) = -2*j(t) + 5*k(t). Does 2 divide s(2)?
False
Suppose 428624 - 1666854 = -40*r - 150*r. Is r a multiple of 19?
True
Suppose 0 = -3*g + a - 8, -4 = -3*g - 0*g - 5*a. Let l(q) = 2*q - 25. Let h be l(17). Is g/(h/(1323/(-6))) a multiple of 7?
True
Suppose n = -2*t + 11763, -11749 = -15*t + 13*t - 3*n. Is 107 a factor of t?
True
Let x = 15579 + -10306. Is x a multiple of 4?
False
Let m(s) = -s**3 + 20*s**2 + 24*s - 58. Let j be m(21). Suppose j*d - 13*d + 3024 = 0. Is d a multiple of 14?
True
Let l(s) = -s**3 + s**2 + 7*s + 1. Let j be 5 + 5*((-24)/(-20))/(-3). Let x be l(j). Suppose 5*t - 6*t - x = 0, 3*t - 32 = -4*v. Is v a multiple of 2?
False
Let q(s) = 6*s - 22. Let c = -41 - -33. Let t = 22 + c. Is 7 a factor of q(t)?
False
Suppose -5*a - 3*p + 0*p = -19, a = -2*p + 8. Suppose 0 = -42*l + 46*l + q - 1192, 0 = a*l + 4*q - 610. Is l a multiple of 13?
False
Suppose i + 856 = k, -3*k + 4*i + 1034 = -1530. Suppose 20 + k = 22*h. Is 8 a factor of h?
True
Suppose -3*t - 4*b = -9445, 10*t - 5*t - 3*b = 15761. Is 137 a factor of t?
True
Let j = 6663 - 4746. Suppose -2*g - j = -11*z + 6*z, 0 = 5*z + 2*g - 1913. Is 56 a factor of z?
False
Let s(p) = 23*p + 552. Let c be s(-24). Suppose 4 = 4*v - 4. Suppose v*z + c*z - 206 = 0. Is 14 a factor of z?
False
Let k(m) = 2*m + 20. Let g be k(14). Suppose -4*o + 7*o - g = 0. Suppose -j = -h + o, -2*h + 2*j + j + 34 = 0. Is 9 a factor of h?
False
Let h = -13096 - -13600. Is h a multiple of 168?
True
Let s be ((-2420)/50)/11 - (-3)/(-5). Is ((-264)/14)/(s/35) a multiple of 8?
False
Suppose 5*k = 5*p - 45, -5*p = k + 4 - 19. Let n(a) = 9*a**2 - 5*a - 12. Is n(k) a multiple of 14?
True
Suppose 29*g = 42*g - 1742. Let x = g - 38. Does 8 divide x?
True
Suppose -6*q = -q - 540. Let m(v) = v**2 + 11*v + 50. Let z be m(-19). Let d = z - q. Is d a multiple of 22?
False
Let i(l) = l + 17. Suppose -4*t + 15 = -21. Is i(t) a multiple of 26?
True
Let d(z) = -z + 13. Let q be d(6). Suppose 8 = q*t - 5*t. Suppose -j + 5*j = 2*l + 150, -5*j = t*l - 194. Is 16 a factor of j?
False
Let s(b) = 255*b - 458. Is s(62) a multiple of 76?
True
Is (-1635472)/(-132) + 20/330 a multiple of 118?
True
Is 29 a factor of 428/(-10)*(-559 - (-6 - 117/(-26)))?
False
Does 63 divide (-4713)/4*112/(-84)?
False
Let a(o) = -8*o + 10. Let h(i) = -23*i + 29. Let b(v) = -17*a(v) + 6*h(v). Let f be b(12). Let s = -15 - f. Is s a multiple of 5?
True
Suppose -22*y - 27*y + 50*y - 11270 = 0. Does 115 divide y?
True
Suppose 4052 = i + 3*o - 13977, 3*o = -4*i + 72098. Does 170 divide i?
False
Let f(o) = -o**3 + o**2 - o + 50. Let z(n) = -n**3 + n**2 - n + 50. Let a(i) = 7*f(i) - 6*z(i). Let k = -1 - -1. Does 10 divide a(k)?
True
Let r be 14/84 + (-147)/18. Is ((39/6)/(r/240))/(-1) a multiple of 13?
True
Let s(y) = y**3 - 16*y**2 - 15*y - 29. Let x be s(17). Suppose 1261 = 3*i + 4*z, -x*z + 594 = 3*i - 662. Is 51 a factor of i?
False
Is 242354/9 - ((-4)/70 + 5280/18900) a multiple of 272?
True
Let n(q) = 60*q**2 - 724*q. Let p be n(12). Let j = -50 + -32. Let h = p - j. Does 17 divide h?
True
Suppose 4*o = -s - 52, 7*o - 4*o = s - 39. Let g be 20/(7 + -3)*(0 + o). Let x = 2 - g. Is 16 a factor of x?
False
Suppose 18*g + 16*g - 510 = 0. Suppose -232 = -2*x + t, -x - 10*t + g*t = -116. Is x a multiple of 14?
False
Suppose 0 = 2*i - 10, 2*z - 4*z + 1117 = 5*i. Is 11 a factor of z?
False
Let l(y) = -2*y**2 - 8*y + 12. Let v be l(2). Let r be ((-272)/v)/(-2) + (-6)/9. Let f = r + 23. Is f a multiple of 7?
False
Suppose -10*w + 12 = -8. Suppose -u = w*r - 10, -4*u - r + 28 = r. Is 14 a factor of 3/((-63)/u) + 2356/14?
True
Let n = 18873 - -3420. Is 82 a factor of n?
False
Let m(q) = -5*q**3 - 25*q**2 - 5*q - 22. Let j be m(-5). Suppose -j*z + 1597 = -1136. Is 15 a factor of z?
False
Let b(s) = s**3 + 10*s**2 - 3*s - 28. Let f be b(-10). Suppose -2*n + f*i = -920, -i = -4*n + 686 + 1142. Does 19 divide n?
True
Let a(z) be the second derivative of -z**5/20 + 5*z**4/12 - 5*z**3/6 + 3*z**2/2 + 15*z. Let g be a(3). Is g/(-9) + 131/3 a multiple of 5?
False
Suppose -8*z - 4*b = -13*z + 46021, -3*z = -b - 27614. Is 15 a factor of z?
False
Suppose -3*y - 44 = c, -9*y - 4*c - 36 = -7*y. Is 51 a factor of -4 + 27110/35 - (-8)/y?
False
Suppose 65*b - 169*b + 67386 = -82*b. Is 2 a factor of b?
False
Suppose 3*a + 4*x = -a + 92, -a + 13 = -x. Let k be (5/(-10))/(2/(-60)). Suppose k*n = a*n - 387. Is 14 a factor of n?
False
Suppose -1364 = -15*g - 404. Suppose 60*x = g*x - 476. Does 17 divide x?
True
Is (-25)/((-1375)/2222)*28*5 a multiple of 17?
False
Suppose -67*h + 1802220 = 31*h. Does 30 divide h?
True
Let i be (155/(-15))/(1/(-9) - 0). Let t = 376 - i. Is 15 a factor of t?
False
Let t = 234 + -4. Suppose 0*k + 2*k - 4*d = t, 5*k + 3*d - 601 = 0. Is 7 a factor of k?
True
Let j be ((-9)/(-18))/(1/(-3 - -535)). Let t = j - -20. Does 13 divide t?
True
Let n(f) = -f**3 - 2*f**2 - f + 6. Let k be n(-5). Let d be 3/24*38*(-42 + 82). Let g = d - k. Does 14 divide g?
False
Let z be (-3 + 4)/(-1)*0 - -5. Suppose 2*b = -5*f + 1436 - 436, -z*f - 4*b + 1000 = 0. Does 25 divide f?
True
Suppose 8*s - 3*o = 13*s + 7151, 2*o - 6 = 0. Is -2*(-2 + s/16) a multiple of 6?
False
Is ((-12220)/208)/(5/(-2360)) a multiple of 59?
True
Let j(n) = n**3 - 10*n**2 - 8*n + 34. Let t be j(10). Let u = 190 + t. Is 24 a factor of u?
True
Suppose 5 + 1 = 2*x. Suppose 5*v - 4*l = -247, 0*l + 261 = -5*v - x*l. Let w = v - -112. Is w a multiple of 11?
False
Suppose 25*n - 41*n - 20*n + 508860 = 0. Does 51 divide n?
False
Suppose -112 = 3*f + 104. Is (-1 - (4 + 0))*f/10 a multiple of 9?
True
Let u(o) = o**2 - 16*o. Let r be u(16). Suppose r = 69*c - 62*c - 1330. Does 19 divide c?
True
Suppose 4*w = 2*w + 10. Suppose w*u - 39 - 96 = -5*q, 0 = q. Is u a multiple of 9?
True
Let q = 50 + 459. Suppose -267 - q = -4*a. Does 14 divide a?
False
Let d(c) = 27*c + 870. Does 10 divide d(88)?
False
Let y = -103 + 91. Does 11 divide (-3)/y - (91/(-4) - -2)?
False
Suppose -2*m + 1528 = -3*z, 0 = m - z - 650 - 114. Is m even?
True
Let j = 3745 - -590. Is j a multiple of 17?
True
Let z = -607 - -614. Suppose z*c - 1056 = -9*c. Is 4 a factor of c?
False
Let s = 3326 + 323. Is 41 a factor of s?
True
Suppose 0 = 20*p + 79*p - 791802. Does 10 divide p?
False
Let p = -1218 - -3740. Is p a multiple of 194?
True
Is 11 a factor of ((-3339)/(-6))/(71/142)?
False
Does 17 divide (-68)/20 + (-233784)/(-60)?
True
Let h = 2317 - 535. Is 27 a factor of h?
True
Suppose -50*g - 8081 = -2*x - 47*g, -g + 5 = 0. Does 66 divide x?
False
Suppose -21*w + 350 = 14*w. Suppose -3*n + t = -7*n + 2842, -5*t - w = 0. Does 9 divide n?
True
Let x = 32 + 8. Let w be (2/(-4))/((-5)/x). Suppose 0 = -2*z + w*z, 216 = 4*d - 2*z. Is d a multiple of 18?
True
Let y(d) = 5575*d + 1310. Does 103 divide y(2)?
False
Suppose 0 = 85*f - 2330634 + 246689. Is 210 a factor of f?
False
Let t(w) = 2*w - 4*w**2 - 3 + 3*w + 0 + 3*w**3. Let s(o) = -2*o + 12. Let q be s(5). Is t(q) a multiple of 5?
True
Let l = 647 + -634. Suppose 10*g + 33 = 5*x + l*g, 4*g = 5*x - 61. Does 9 divide x?
True
Let a(b) = -b**3 - 3*b**2 + 2*b - 30. Let n be (-1020)/140 + 0 + (-2)/(-7). Does 3 divide a(n)?
False
Suppose -6*m + 10*z = -3*m - 1601, -3*m + 1613 = 2*z. Is 5 a factor of m?
False
Let k(p) be the first derivative of 29*p + 1/4*p**4 + 23 + 3/2*p**2 + 7/3*p**3. Is k(-7) a multiple of 2?
True
Suppose -47*j + 102*j = 204160. Is 16 a factor of j?
True
Let s(t) = -13*t + 8*t + 8*t - 21. Let y be s(8). Suppose -y*r - 189 = -3*x, 4*r + 188 = x + 2*x. Is x a multiple of 7?
False
Suppose -2 = 19*n - 20*n, n + 194683 = 5*c. Does 143 divide c?
False
Suppose 49*b = 46*b - 12. Is (8/(-11))/b - (-4480)/44 a multiple of 17?
True
Is 66324*