iple of 13?
True
Let f(c) = 6*c**2 - 1. Let b = -20 + 22. Let v be (-2 - -3)*(-4 + b). Is 13 a factor of f(v)?
False
Let g be (48/30)/((-4)/(-10)). Suppose -g*f - 28 = 4*u, 5*u + 23 = -2*f + f. Is 12*(-2 + (-10)/f) a multiple of 8?
True
Suppose 5*r = -5*r + 4400. Let t = -256 + r. Does 30 divide t?
False
Suppose -15 = -c - 4*c. Suppose -127 = -5*k + 4*u + 61, c*k - 5*u - 118 = 0. Is k a multiple of 18?
True
Suppose 23*g - 15*g = 24. Suppose 39 = 3*z - g*q, -20 = -2*q - 3*q. Is z a multiple of 5?
False
Suppose p + 2*s = -2*p + 17, -5*p = -4*s + 1. Suppose -80 - 73 = -p*v. Is 6 a factor of v?
False
Suppose -h = -3*n + 467, -2*n - 4*h - 3 = -305. Is n a multiple of 5?
True
Let b(r) = 9*r**2 - 3*r. Suppose 5*k - 1 - 14 = 0. Does 24 divide b(k)?
True
Let b(h) = h**3 + h**2 + h + 3. Let y be b(-3). Let z = y + 45. Is z a multiple of 9?
True
Is 127 a factor of 8/(-2) - 9160/(-4)?
True
Suppose -2*y - 33 = -5*a, 5*a - 4*y - 31 = 2*a. Suppose -a*g + 255 = 5*l, -2*g - 5*l + 133 = 16. Does 11 divide g?
False
Suppose 0 = -4*b - 3*p + 2440, 3*b - 5*p = -640 + 2499. Is b a multiple of 25?
False
Let p(q) = 2*q**3 - 13*q**2 + 3*q + 12. Suppose 0 = -4*r + 25 + 3. Is 19 a factor of p(r)?
False
Let l = -88 + 95. Suppose -l*u = -5*s - 2*u + 755, 0 = -5*s + 3*u + 765. Is s a multiple of 21?
False
Let g(b) = 40*b**2 - 7*b + 7. Is g(6) a multiple of 29?
False
Suppose -2 = -q - 6. Is 6 a factor of -3 + (0 + 17 - q)?
True
Suppose -2*x = -418 - 8. Is 33 a factor of x?
False
Let m(s) = -13*s + 34. Let h = 59 - 73. Is 18 a factor of m(h)?
True
Let h(p) = 6*p**2 - p. Let v = 1 + 0. Let x be h(v). Suppose -2*d - x + 13 = 0. Is d a multiple of 4?
True
Suppose 367 + 1763 = 5*v - 5*f, -4*v + 1708 = -3*f. Let y = -233 + v. Is 55 a factor of y?
False
Suppose 4*c + 0*c + 144 = 0. Let o = c - -176. Is 23 a factor of o?
False
Is 1064/3*(18 + -15) a multiple of 28?
True
Let f(c) = -2*c**2 - 8*c - 27. Let h be f(-12). Is (1 - 2)*3*h/9 a multiple of 30?
False
Suppose 3*r = -11 + 5. Let x(i) be the first derivative of -5*i**4/4 - 2*i**3/3 + i**2/2 + i + 12. Is 31 a factor of x(r)?
True
Let x(m) = m**3 - 16*m**2 + 3*m + 68. Does 7 divide x(16)?
False
Let h = 0 - -2. Suppose h*k + 0 = 4. Suppose 4 = k*s, -5*w = 4*s - 100 - 13. Is w a multiple of 21?
True
Suppose 3*b = -2*b - 10. Let r(f) = 650*f - 8 + 1 + 647*f - 1327*f. Is 16 a factor of r(b)?
False
Let q(h) = -4*h + 8. Let i be q(9). Does 13 divide 138/(-4)*i/14?
False
Let v = 553 + 884. Is 3 a factor of v?
True
Suppose -2*b - 3*t - 2 + 0 = 0, 2*t - 8 = b. Let w be (-20)/b*(-4)/10. Let s(p) = -5*p**3 + 2*p**2 + 3*p + 2. Is s(w) a multiple of 14?
False
Let i be 1 - (-2 + 0) - -9. Let g = i + -12. Suppose -5*b - 4*u + 30 = -5*u, -2*u = g. Is b a multiple of 6?
True
Let u(s) = -s**3 + 3*s**2 + 5*s. Let q be u(4). Suppose 4*w - 433 = 4*l - 109, -4*w - q*l = -300. Is w a multiple of 13?
True
Suppose -5*g - 15 = 0, -3*g - 198 + 54 = -w. Is w a multiple of 11?
False
Suppose 5*j = f - 24, 3*j + 16 = 3*f + 2*j. Suppose -2*t - 150 = -3*m - m, -5*m + 180 = -f*t. Is 10 a factor of m?
True
Suppose 10*y - 770 = 840. Let h = y - -146. Does 34 divide h?
False
Is (14/(-21))/(12/(-17352)) a multiple of 29?
False
Does 25 divide 1 + 5692/6 + (-23)/(-69)?
True
Suppose 0 = 7*v - 58 - 61. Suppose -2*u + v = -205. Is u a multiple of 26?
False
Let k be ((-3)/(-4))/(30/4080). Let m be (4/6)/((-1)/84). Let r = m + k. Is 12 a factor of r?
False
Let x be (-9)/(-2) - (-6)/12. Suppose x*o = 135 + 215. Let u = o + -49. Is u a multiple of 3?
True
Suppose 0 = 4*a + 4*x - 568, -7*x = -4*x - 15. Suppose 5*c - 243 = a. Suppose 5*j = 89 + c. Does 33 divide j?
True
Suppose -792 = 330*c - 334*c. Is c a multiple of 18?
True
Let r(b) = b**3 - 8*b**2 + 2*b - 8. Let h be r(8). Let s = -6 + h. Suppose -3*c - s*g - 26 = -101, 0 = -4*c + 4*g + 120. Does 9 divide c?
True
Suppose 2*o - 7*o - 25 = 0. Let d = o + -39. Let i = -28 - d. Is 4 a factor of i?
True
Suppose -5*u = 5, 3*n - 1 = n - 5*u. Let i be -3 + n - (-6)/2. Let k = 14 - i. Does 5 divide k?
False
Is (-14)/(-77) + 7/(231/11082) a multiple of 12?
True
Let h = -109 + 115. Suppose -5 = -s - 29. Is 28 a factor of (s/(-10))/(h/140)?
True
Suppose 4*l + 5 = -4*c - 11, -4*l + c = -4. Let a(d) = 12*d**2 + 4*d + 1. Let o be a(-2). Suppose 5*f - o - 184 = l. Does 14 divide f?
False
Let d(k) = k**2 + 6*k + 8. Let h be d(-2). Suppose t - 6*t + 115 = h. Does 14 divide t?
False
Let r be ((-80)/24)/(3/45). Let b = -24 - r. Is 7 a factor of b?
False
Suppose 4881 - 21381 = -10*x. Is x a multiple of 66?
True
Let p(u) = 4*u**3 + 3*u - 2. Let b be p(1). Suppose -102 + 2 = -b*m. Is m a multiple of 6?
False
Suppose -2678 = -66*n + 27550. Is n a multiple of 17?
False
Let j be 2/8 - 70/56. Let m be 1*(-60 + j - -2). Let f = 113 + m. Is f a multiple of 27?
True
Let t be (-14)/18 - -1 - (-75)/27. Suppose -3*k - 36 - 234 = -5*v, -t*v + 162 = 3*k. Is 9 a factor of v?
True
Suppose -2547 = -4*l - d, 0 = l - d - 630 - 13. Is 22 a factor of l?
True
Suppose -794 = -4*a + 2010. Is a a multiple of 31?
False
Is (310/40)/(0 - 1/(-56)) a multiple of 14?
True
Suppose 0*j = j - 250. Suppose 410 + j = 4*o. Is o a multiple of 11?
True
Suppose 2*o - 60 = -0*o. Let c = o + -10. Suppose d + 50 = 2*q, -q = -0*q - 3*d - c. Does 13 divide q?
True
Suppose 0 = 4*c - 2*c - 386. Is c a multiple of 9?
False
Let r = 1171 + -617. Let n = r + -272. Is ((-1)/3)/((-2)/n) a multiple of 10?
False
Let x = 280 - 163. Is x a multiple of 13?
True
Let w(o) = -o**3 - 19*o**2 - 24*o - 17. Does 49 divide w(-21)?
False
Let s = -517 - -1627. Is s a multiple of 15?
True
Does 31 divide 6/21 + (-36432)/(-84)?
True
Let c = 699 + -83. Does 77 divide c?
True
Let d be 44/(-6)*(-4 + 1). Suppose 0 = -g + d + 48. Suppose -g = 2*q - 4*q. Is q a multiple of 17?
False
Is 2 a factor of -10 + 3/((-21)/(-721))?
False
Let a(p) be the third derivative of p**6/120 - p**5/15 - 5*p**4/24 + p**3/3 + 2*p**2. Suppose v - 29 = -5*s, -3*s + 5*v - 3*v + 20 = 0. Does 26 divide a(s)?
False
Let u(y) = y**3 + 6*y**2 - 2*y - 5. Let l be u(-6). Suppose l*v + 0*v = 595. Is v a multiple of 10?
False
Let n be (-594)/30 - 2/10. Let f be (-2)/(-7) + n/70. Suppose f*q - 96 = -4*q. Does 6 divide q?
True
Suppose 20*m - 4855 = 2345. Does 10 divide m?
True
Suppose -11 - 1 = -4*k. Suppose 0 = -k*p + 173 - 11. Let d = 87 - p. Is d a multiple of 14?
False
Suppose -3*a + 5*n = a - 735, -975 = -5*a - 5*n. Does 7 divide a?
False
Let r(v) = v**2 - 4*v + 3. Let u be r(2). Let t be (-10)/(-1)*u/(-2). Suppose -t*i = 2*y - 227, -4*i + 176 = -y + 4*y. Is 27 a factor of i?
False
Let b(i) be the third derivative of i**6/120 - i**5/6 + 11*i**4/12 - 5*i**3/6 - 14*i**2. Does 16 divide b(9)?
True
Suppose 5*o - 200 = -4*l, l - 160 = -4*o + 5*l. Let a be ((-32)/o)/((-1)/(-5)). Let q(p) = -8*p - 1. Is q(a) a multiple of 17?
False
Let s(t) = -t**2 - t + 2 - 3*t**2 + t**2 - 15*t**3 - 7*t**3. Let w be s(-2). Does 2 divide (96/w)/((-1)/(-7))?
True
Let r = -183 - -123. Is ((-85)/r*-3)/(2/(-16)) a multiple of 17?
True
Let x(y) = -2*y - 1. Let k be x(-2). Let h(n) = -5*n**2 - 65*n + 5. Let w be h(-13). Let u = w + k. Does 4 divide u?
True
Suppose 5*y = 2*d + 11, 2*d + y + 2*y = 13. Is 3/(24/(-220)*(-5)/d) a multiple of 10?
False
Suppose 15*r = -115 + 1870. Does 28 divide r?
False
Let y(b) = -25*b - 1. Suppose 0 = s - 2*t + 14, 2*t + 18 = -2*s - s. Let z be y(s). Suppose z - 67 = 3*a. Is a a multiple of 11?
True
Suppose -503 = -5*t + 42. Let x = 221 - t. Is x a multiple of 16?
True
Let q be (-108)/10 - (-1)/(-5). Let o = 11 + q. Let y = 24 - o. Is y a multiple of 12?
True
Let i = -22 - -37. Suppose 2*o = i + 31. Let m = o - 14. Is m a multiple of 3?
True
Suppose 24 = 14*o - 11*o. Suppose -o = -b + 7. Does 3 divide b?
True
Is (97 - 107)/((-1)/71) a multiple of 5?
True
Let o(k) be the second derivative of 5*k**4/12 + 4*k**3/3 - 5*k**2 - 8*k. Is o(-6) a multiple of 21?
False
Let m = -116 + 123. Is 1447/m - (-3)/(21/2) a multiple of 23?
True
Let w = 81 - 82. Does 22 divide w/(((-12)/1320)/(2/5))?
True
Let i(z) = -z + 20. Let x be i(-2). Suppose 96 = 23*n - x*n. Is 15 a factor of n?
False
Suppose 7*z - 5*z - 286 = 0. Is 11 a factor of z?
True
Let h = 69 - 125. Let z = -35 - h. Suppose -2*w + 14 = -2*i, 0 = -2*w - 9*i + 4*i - z. Is 2 a factor of w?
True
Suppose 7*f