r of a?
False
Let v(u) be the second derivative of u**4/12 + 5*u**3/6 + 4*u**2 - 26*u. Let m be v(-4). Does 15 divide 1*(-2)/m - (-3795)/46?
False
Let k be 4/6 + (-122)/(-6). Let o(h) = h**2 + 12*h - 33. Let u be o(-15). Suppose 13*i - k = u*i. Is i a multiple of 3?
True
Let o = -297 + 27. Let i = 162 - o. Is 10 a factor of i?
False
Suppose 67*j - 43089 = -4*k + 68*j, 0 = -4*k + 5*j + 43077. Does 57 divide k?
True
Is 10 a factor of (0 - 6 - -16276)/(170/20 + -8)?
True
Let u(d) = 253*d**2 + 11*d - 55. Does 11 divide u(-3)?
True
Let z = 235 - 136. Let u be ((-7)/4)/(-1) - (-6171)/1452. Let x = z + u. Does 7 divide x?
True
Let t be 935/3 + ((-56)/12)/7. Let f = -139 + t. Let x = -91 + f. Does 7 divide x?
False
Let u(g) = 67*g + 39 - 2*g**3 - 7*g**2 + 36 - 24*g - 29*g. Is u(-4) a multiple of 9?
False
Let y be 12*(-1 - (3 + 45/(-10))). Is (3 + -3 + -133)*(5 - y) a multiple of 7?
True
Suppose 3*f = 3, 3*i - 4*f = -2*i + 31. Let j(z) = z**3 - 5*z**2 - 13*z - 5. Let l be j(i). Is 7/(-14) + 149/l - 2 a multiple of 7?
False
Let b(c) = -71*c - 5. Let p be b(10). Is 9 a factor of (6 - 0)*p/(-65)?
False
Suppose 0 = -5*m + 915 + 410. Let a be (-2)/((-14176)/(-1416) + -10). Let h = m + a. Is h a multiple of 11?
True
Let v(a) = 4*a**2 - 6*a - 81. Does 77 divide v(24)?
True
Let x be (-9)/18*(3 - 187). Suppose 2*r = 3*v - 538, -v + 89 + x = r. Does 51 divide v?
False
Let h be -6 - 3/6*-12. Suppose h = 4*l + 5*l - 1386. Does 11 divide l?
True
Suppose 5*n + 3*a - 35 = 0, -3 + 1 = 2*n - 2*a. Let s be 164 - (1 - n) - 1. Let q = -115 + s. Does 17 divide q?
True
Let p be 24/3*8 + (-1 - -6). Suppose -11*m - 14 = -p. Does 5 divide m?
True
Let i(j) = j**2 + 14*j + 30. Let r be i(-12). Suppose 3*g = -2*y + r, 6*y - 3*y + g = 16. Is 3 a factor of y?
True
Suppose 6*p = 2*p + 24. Let y be 1929/p + (-7)/((-14)/3). Let n = 464 - y. Does 21 divide n?
False
Suppose 0 = 19*u - 81535 + 32857. Does 61 divide u?
True
Let h = 7720 - 1611. Is 48 a factor of h?
False
Let l(w) = -w**3 + 64*w**2 - 66*w - 366. Does 12 divide l(24)?
False
Let s be (-40)/(-180) + 4/(-18). Suppose 40*q - 4672 - 2608 = s. Is q a multiple of 13?
True
Suppose 3020 = 14*m - 11778. Is m a multiple of 4?
False
Let c(w) = -122*w**3 + 2*w**2 + w. Let l be c(-1). Let b = -44 + 46. Suppose l = b*v - 169. Does 34 divide v?
False
Suppose -104*u = 32046 - 343942. Is u a multiple of 32?
False
Let z(c) = -c**3 + 8*c**2 - 3*c + 11. Suppose 5*x - 1 = 4*i, i - x = 3*i - 17. Is z(i) a multiple of 5?
True
Suppose -8467991 = -37*x - 497*x + 15458413. Does 34 divide x?
False
Suppose 0 = 4*k - 4*t - 20, -5*k - 3*t = -k + 1. Let n = k - 3. Is 16 a factor of (896/(-42))/(n/6)?
True
Let l = -24140 - -30119. Does 86 divide l?
False
Suppose 0 = -107*c - 163667 + 268417 + 4614913. Is 29 a factor of c?
True
Suppose 16 = -28*f + 29*f. Suppose -4*s - f = -96. Suppose 3*a + s = 4*g, 2*g - 5*a - 10 = -2*a. Does 4 divide g?
False
Suppose -16*i = 2*i - 1620. Suppose 6*k = 9*k - i. Is 8 a factor of k?
False
Suppose 2*y - j - 190 = 5*y, 5*j - 228 = 4*y. Let i = y + 213. Does 11 divide i?
False
Let d(a) = a**2 - a - 2. Let z be d(-4). Suppose -2*u + 54 = -y - 0*u, 3*y = -u - 141. Let b = z - y. Does 33 divide b?
True
Suppose -37*z = 41*z - 111540. Is 65 a factor of z?
True
Let t(c) = 11*c + 82 - 51 - 41. Let s be t(-8). Let b = -47 - s. Is b a multiple of 17?
True
Let w(k) = k**3 - 22*k**2 + 20*k + 25. Let o be w(21). Suppose o*s - 2*s - 154 = 0. Does 16 divide s?
False
Let c = 655 - 451. Suppose 2*m + 5*a - c = 0, -5*m + 2*a + 564 = a. Does 16 divide m?
True
Suppose -3*n - 15 = -3*c, 0 = -3*c + 2*c + 2*n + 9. Suppose 362 - 101 = -9*w. Is 5 a factor of 12/(-4) - c - w?
True
Suppose 2*n - 1919 = 4*b - 7829, 3*b = 4*n + 4440. Does 38 divide b?
False
Suppose 0 = 5*c + 143 + 117. Let l = 162 + c. Is l/6 - (-6)/(-18) a multiple of 4?
False
Suppose 0 = -2*d - 5*a + 530, 0 = 4*d - 9*a + 4*a - 1090. Is d a multiple of 2?
True
Suppose -38*c - 38*c - 347130 = -86*c. Is 60 a factor of c?
False
Suppose 5*v + 3*k - 37 = 0, -3*k - 3 = -3*v - 0*k. Is 771/v - 3/15 a multiple of 42?
False
Let y(d) = -3*d - 44. Let l be y(-34). Suppose -19*z + 21*z + 92 = 2*s, -4*z = -s + l. Is s a multiple of 8?
False
Suppose -3*z + 46*h = 51*h - 69582, 69564 = 3*z + 2*h. Is z a multiple of 207?
True
Let f(p) = 234*p**2 - 508*p - 4. Does 14 divide f(5)?
False
Let z(b) = -16*b + 98. Let m be z(-16). Suppose -2*x + 4*n = -m - 470, -4*n = x - 400. Is 17 a factor of x?
True
Is -434 + 3790 + 1 + 1*2 a multiple of 8?
False
Suppose 4*l - u - 51272 = 0, -l + u - 4714 = -17529. Is l a multiple of 125?
False
Suppose 464 = 258*g - 254*g. Suppose 2*c + g - 334 = 0. Does 6 divide c?
False
Suppose -4*x + u + 14 = 0, -6*x = -5*x - 2*u. Suppose x*k - 192 = -4*k. Suppose -20*t - 1320 = -k*t. Does 22 divide t?
True
Let i be (2 + -6)*3/(-2). Suppose r - 128 = 3*f - 7*f, 0 = 4*r - 16. Suppose -i*z + 89 = -f. Is 20 a factor of z?
True
Suppose q = -2*f - 2*q + 22697, 2*f - 22687 = -5*q. Does 16 divide f?
False
Suppose -12 = -5*u + 3*u. Suppose g + 5*s + 8 = 0, 0 = -2*g + 4*s + 6 + u. Suppose -o + 4*x = 0, -2*x + g + 0 = 0. Is o a multiple of 4?
True
Let v(c) = 37*c**3 + 4*c**2 + 4. Let q be v(-2). Let o = -126 - q. Is o a multiple of 15?
True
Let a = 306 + -303. Suppose -a*g - 2*i = -4*g + 601, 2*i + 2422 = 4*g. Is 21 a factor of g?
False
Let v = 17033 - 6633. Does 107 divide v?
False
Let t = -17 + 21. Suppose -3*o + t*o = 5. Let h(q) = 3*q**2 - 6*q - 7. Is 19 a factor of h(o)?
True
Suppose 0 = -123*q + 48*q + 407925. Is 32 a factor of q?
False
Suppose 133*h - 1197582 = 45*h - 30*h. Does 18 divide h?
False
Let g = -225 - -426. Suppose -8*x + 5*x = -g. Does 31 divide x?
False
Suppose -4*a + 6*a - 19638 = -4*a. Is 3 a factor of a?
True
Suppose 51*a = 42*a - 891. Let w = 160 + a. Is w a multiple of 9?
False
Let t(s) = 2*s**2 - 24*s - 9. Let j be t(9). Is (8/(-3))/((-1)/j*-3) a multiple of 21?
False
Suppose 10*s - 92072 = -7*s. Does 15 divide s?
False
Let g(j) = 5*j**2 - 6*j + 1. Let s be g(-3). Let w = s - 62. Suppose 4*y + 12 = 0, -w*c + 4*y + 106 + 138 = 0. Is 6 a factor of c?
False
Let n(l) = -7*l**2 + 147*l + 12. Let u be n(14). Let p = u - 604. Does 47 divide p?
True
Let y be 3528/30 + (-2 - (-36)/15). Suppose 123*p - 3485 = y*p. Does 17 divide p?
True
Suppose 5*w = -0*w + 770. Let g = -288 + w. Let o = g + 211. Is o a multiple of 3?
False
Let k(b) = 24*b**2 + 13*b + 1. Let p be k(2). Is (-1)/((-1)/(p - (5 - 3))) a multiple of 23?
False
Let m = 8240 + -7607. Does 6 divide m?
False
Let k be (-6)/(-21) - 19540/35. Let r = -390 - k. Is r a multiple of 6?
True
Let b be (5 - 12) + 208/13. Suppose 6471 = b*k - 369. Is k a multiple of 8?
True
Suppose 4*g = 5*k, -g + 2*k = -2*k. Let l(f) = -f**3 - 10*f**2 - 18*f + 43. Let a be l(-7). Suppose a*u - 17*u - 80 = g. Is u a multiple of 3?
False
Suppose -55297 = -29*p + 39098. Is 34 a factor of p?
False
Let u = 9562 - -10235. Does 116 divide u?
False
Let f(j) = 18806*j + 790. Does 6 divide f(1)?
True
Let q(u) = u - 20. Let s be q(20). Suppose 5*f + 15 = s, -w + 195 = 2*w + f. Suppose 2*p - w = -2*r, r = p - 15 - 16. Is 4 a factor of p?
True
Suppose -64 = -5*v + 4*h, 4*h - 26 - 18 = -4*v. Suppose -z - v + 13 = 0. Suppose -3*n + z = -2*n, -5*x + 4*n = -341. Is 27 a factor of x?
False
Suppose 2030 = 2*m - 4*s - 2576, 4*s + 20 = 0. Does 19 divide m?
False
Let z = -9603 + 16483. Is z a multiple of 28?
False
Suppose 59166 = 10776*n - 10767*n. Is 69 a factor of n?
False
Let r(q) = -257*q - 4373. Is 254 a factor of r(-103)?
True
Let n(i) = i**3 - 9*i**2 + 3*i + 1. Let o(z) = -z**3 + 8*z**2 - 3*z - 1. Let y(j) = 4*n(j) + 5*o(j). Let h be y(3). Is 10 a factor of 74 + h/(-2)*-8?
True
Let n = 1594 - -2847. Does 96 divide n?
False
Suppose -2*j + p - 27 = 0, 0 = 4*j - 6*j - p - 33. Let o(c) = -7*c - 14. Let g be o(j). Suppose 0 = 5*w + 2*f - 228, -w - g = -3*w - f. Does 5 divide w?
False
Let d = 67352 + -40854. Is d a multiple of 29?
False
Let z(r) = -35*r**3 - 388*r**2 - 12*r - 10. Does 7 divide z(-12)?
False
Suppose -9 = 7*k + 5. Let p be ((-295)/5)/(k/14). Suppose -3*g + 5*a = -p, g = 3*g - 5*a - 277. Does 33 divide g?
False
Let w(f) = 20*f + 62. Let i(s) = 16*s + 146. Let k be i(-8). Does 14 divide w(k)?
False
Let z = -2574 + 5470. Is 39 a factor of z?
False
Let k(d)