ue
Let r = -449 - -1402. Is 11 a factor of r?
False
Let o(r) = -2*r**3 - 2*r**2 + 15*r + 22. Is o(-4) a multiple of 10?
False
Let v(a) = -428*a - 4. Is v(-3) a multiple of 20?
True
Suppose -146 = -9*j + 133. Suppose 26*f + 400 = j*f. Is f a multiple of 5?
True
Suppose -2*u + 5*p = 3, -7*u + 2*u + 3*p = -21. Suppose 1380 = u*v + 4*v. Does 23 divide v?
True
Let p = -11 + 17. Let d = p - -2. Is d a multiple of 8?
True
Let t(b) = b**3 - 6*b**2 + 10*b - 2. Let a be t(3). Let x(j) = -2*j + 8. Let c be x(6). Does 12 divide ((-7)/c)/(a/56)?
False
Let m(r) = 7*r**3 + r - 4*r + 1 - r**2 - 8*r**3 + 0*r. Let d be m(-3). Suppose 23*o + 410 = d*o. Is o a multiple of 25?
False
Suppose -i - 96 = 4*t, 3*i + 0*t - 5*t + 305 = 0. Let g = i + 123. Is 3 a factor of g?
False
Suppose 7*i + 5 = 2*i. Does 11 divide (243/6)/(i/(-2))?
False
Let c(r) = -r**3 - 2*r**2 + 2. Let l be c(-3). Suppose l*d - 24 = 9*d. Does 6 divide d?
True
Let q be 60/(-2*3/(-4)). Is 23 a factor of 3450/q + 6/8?
False
Let g(u) = 2*u**2 + 5*u + 5. Let v(q) = -2*q**3 - 5*q**2 - 4*q - 2. Let h be v(-3). Suppose -7*j + 61 = h. Is 24 a factor of g(j)?
False
Let x = -218 - -105. Let l = x - -172. Is l a multiple of 10?
False
Let v(c) = 3*c + 17. Suppose 5*n = 4*n + 9. Let y be v(n). Suppose 4*b + y = 2*m, -3*m + 4*m + 4*b = -8. Is 6 a factor of m?
True
Let z = -2 + 54. Let g = -87 + z. Let r = g + 68. Is r a multiple of 11?
True
Let w be (-70)/28*(2 - (-342)/(-15)). Suppose z - 3*u - w = 0, 5*u = 4*z + 7*u - 152. Is z a multiple of 8?
True
Let m(i) = 4*i**2 + i - 40. Does 10 divide m(-15)?
False
Let t(s) = s**2 - 5*s - 64. Is t(18) a multiple of 34?
True
Suppose -4*n + 0*n = 5*l - 3, -n = l. Let i be 100 + (2 - -4) + n. Suppose 0 = -3*v - 5*p + i, 3*p + 13 = v - 40. Is 25 a factor of v?
False
Suppose 2*p - 2*a = 18, 5*p = 6*p - 2*a - 10. Is 4 a factor of p?
True
Suppose -3*w + 5*m - 939 = -0*w, -1260 = 4*w - 4*m. Let t = -174 - w. Is 8 a factor of t?
True
Suppose h - 2 - 6 = l, h - 3*l - 10 = 0. Is ((-32)/(-6))/(h/(189/6)) a multiple of 4?
True
Let b(k) = -k**3 - 10*k**2 - k - 7. Let v be b(-10). Suppose 3*z + 495 = 5*s + 5*z, -4*s - v*z + 389 = 0. Is 18 a factor of s?
False
Suppose 0 = 3*p + 65 + 136. Let k = -48 - p. Is 10 a factor of k?
False
Let t(m) = -7*m + 17. Let c(s) = -7*s + 18. Let n(u) = 5*c(u) - 6*t(u). Is 15 a factor of n(6)?
True
Suppose 22066 = 37*t + 8302. Is 31 a factor of t?
True
Suppose 0*g + 5*g + 2*q = 1129, -923 = -4*g + 5*q. Suppose m - g = -30. Is 50 a factor of m?
False
Let n(z) = z**3 + 4*z**2 - 3*z - 18. Let h be n(-3). Suppose h = -3*r - 12, -4*p = -3*r - 477 - 67. Is 19 a factor of p?
True
Let z be (-1670)/14 - (-14)/49. Let n = -41 - z. Is 26 a factor of n?
True
Let l(v) = -81*v - 8. Is 16 a factor of l(-2)?
False
Let i(x) = -x**2 - 45*x - 269. Is i(-26) a multiple of 5?
True
Let m(p) = 7*p**2 - p - 3*p**2 - p - 3*p**2. Let f be m(2). Is 13 a factor of 14 + (-2)/(2 + f)?
True
Suppose 0 = a + 4*a - 15. Suppose -4*g = -3*g - a. Suppose g*x = -0*x + 54. Is x a multiple of 3?
True
Suppose 7*a = 12*a - 3*c - 201, -4*c = 8. Does 3 divide a?
True
Suppose 0 = 3*h - 3*u + 21, -3*h + h - 18 = -3*u. Does 6 divide ((-187)/33)/(1/h)?
False
Let z be (-3)/(-12) - (-162)/24. Let q(h) = 3*h**2 - 3*h - 10. Does 27 divide q(z)?
False
Let c be 15*((-16)/(-12) + -1). Suppose 5 = 4*b - c*j - 3, -3*b + 1 = -5*j. Does 2 divide b?
False
Is 30 a factor of (-46)/184 + (-5761)/(-4)?
True
Let a(y) = 28*y + 2. Let j be a(4). Suppose 4*r - 334 = -j. Does 11 divide r?
True
Suppose -5*k + 204 = -4*a + 6976, 1686 = a - 3*k. Is a a multiple of 27?
False
Suppose 39 + 13 = 13*q. Suppose -q*j + 920 = -5*f, 422 = 2*j - 5*f - 38. Is 13 a factor of j?
False
Let m be (-48)/3*(3 - 4)*8. Let f = -85 + m. Is f a multiple of 13?
False
Let m(x) = -19*x**3 + x**2. Suppose 5*o - 2*s + 84 = 0, -115 = 5*o + 3*s - 16. Let c be ((-4)/(-6))/(12/o). Is m(c) a multiple of 11?
False
Suppose 218 = -3*g - 112. Let k = g + 405. Suppose -5*h + 2*d = -513, -5*d + 815 = 5*h + k. Is 29 a factor of h?
False
Suppose 4*z - 14 - 2 = 0, -16 = 5*m + z. Let h(s) = -96*s + 16. Let p be h(m). Suppose -4*n = n + u - p, 3*n + 5*u - 218 = 0. Is 13 a factor of n?
False
Let g be 426/(-2)*(-1 - 0)*1. Let z = g + -129. Does 12 divide z?
True
Let q(w) = -w - 5. Let t be q(-5). Suppose -5*p - 9 = -k, 5*p = 3*k - t*k - 37. Does 14 divide k?
True
Suppose -3*u = 2*r + 4, 3*u - 2*r + 0*r = 4. Suppose -s + i = 1, -i - 4*i + 25 = u. Suppose -o - q = -13, s*q = -3*o + 13 + 29. Does 9 divide o?
False
Let p(v) = v**3 - 31*v**2 + 63*v - 42. Does 31 divide p(33)?
False
Suppose -4*p = -t - 13, -t = -4*p + 7*p - 15. Suppose -k - 4*v + 31 = 9, p*v = -5*k + 62. Suppose -k = -0*w - w. Is 10 a factor of w?
True
Let u = 147 + 143. Suppose -2*c - 3*c + u = 0. Does 29 divide c?
True
Let x = 6 - 14. Let g be -53 - (2 + -2 - 0). Let w = x - g. Does 8 divide w?
False
Let o = 582 + -410. Does 43 divide o?
True
Suppose 3*z - 8 = -z. Suppose -r + z*r = 0. Suppose x - 9 = 3*s, -2*s + r*s = -6. Is x a multiple of 12?
False
Suppose 562 - 63 = -4*d + 5*i, 3*d = i - 377. Let g = d + 186. Is 4 a factor of g?
True
Does 8 divide (8*19)/((-119)/(-357))?
True
Suppose -2*d - 4*i + 774 = 0, 0 = 2*d - 11*i + 7*i - 766. Is 11 a factor of d?
True
Suppose 45*m + 18300 = 57225. Is m a multiple of 37?
False
Let a be ((-7)/(-21))/(1/195). Suppose 3*x + s = a, x = -4*x - 4*s + 120. Suppose 0 = 4*b - 9*b + x. Is b even?
True
Suppose 4*m + 2*u + 0*u = -30, 5*m = u - 48. Let l = 14 + m. Suppose 4*j = 2*x + 28, 2*j - 3 = -l*x + 11. Does 7 divide j?
True
Is 47 a factor of (((-29700)/105)/10)/((-1)/133)?
False
Is (10/(-3))/(12/(-18)) + 49 a multiple of 27?
True
Let n = -39 + 45. Suppose -293 = -n*v + 7. Is 10 a factor of v?
True
Suppose -7*w + 55 = -2*w. Suppose -10*y = -w*y + 31. Is 7 a factor of y?
False
Let c(p) be the third derivative of 0 + 0*p + 1/15*p**5 + 6*p**2 + p**3 - 1/24*p**4. Is c(-4) a multiple of 24?
False
Suppose 6*d - 28 = 8. Let f(w) = d*w**2 - 6 + 5*w + 2 - 5*w**2. Does 16 divide f(4)?
True
Suppose 5*u - 3*i - 2271 = 438, 0 = 5*i + 15. Is u a multiple of 15?
True
Let b(k) = 68*k**3 + k**2 - 25*k + 102. Is 97 a factor of b(4)?
False
Suppose 4*m + 4*n = -12, 0 = -4*m - 2*n - 4 + 2. Suppose 0 = 4*q - 6 - m. Suppose -1 = -3*h + 4*h, -y - q*h + 14 = 0. Is 6 a factor of y?
False
Is 111/2*12/9 a multiple of 8?
False
Let u(b) = -b**3 - 10*b**2 + 23*b - 10. Suppose 22 = -q - 5*o, 0*q + o = -2*q - 26. Let v be u(q). Let c(d) = 8*d**2 - d - 2. Is c(v) a multiple of 4?
True
Suppose 0 = 4*q - 20 + 8. Suppose -3*t - 9 = 0, -q*c - t = t - 255. Is c a multiple of 29?
True
Let v(a) = 4*a**2 + 35*a + 140. Is 2 a factor of v(-9)?
False
Suppose -1030 = -f - 734. Is 45 a factor of f?
False
Let u = 63 - 9. Does 4 divide u?
False
Let p(d) = -7*d**2 + 2*d + 2. Let n(g) = 6*g**2 - 2*g - 1. Let u(s) = 6*n(s) + 5*p(s). Is 5 a factor of u(5)?
False
Is -96*(-5)/(-4)*-2 a multiple of 24?
True
Let g = 13 - 0. Suppose g + 9 = 2*n. Is n a multiple of 7?
False
Let v(j) be the first derivative of j**3/3 - 9*j**2/2 + j + 37. Is v(15) a multiple of 13?
True
Suppose -7*t - 1125 - 9 = 0. Let m = t - -289. Does 19 divide m?
False
Suppose -12 = -3*f + 4*t, f + 4*t - 44 = -3*f. Suppose 0*n + 128 = f*n. Does 8 divide n?
True
Let m be (-2 - 2) + (5 - -1). Let u(y) = 11*y**2 - y - 2. Let z be u(m). Let q = -14 + z. Is 13 a factor of q?
True
Let k(d) be the first derivative of d**4/4 - 10*d**3/3 + 6*d**2 + 13*d + 11. Is 20 a factor of k(9)?
True
Let i = 136 + 494. Does 8 divide i?
False
Is 6027/164 - 3/4 a multiple of 12?
True
Suppose -4 = -0*g - g. Suppose g*u - c + 21 = 2*c, 4*u - 4*c = -16. Does 10 divide (36/(-7))/(u/42)?
False
Suppose -3*d + 2*d + 22 = 4*k, -64 = -2*d - 3*k. Let j = 46 - d. Is 5 a factor of j?
False
Is (-6)/(-22) - 399360/(-264) a multiple of 17?
True
Let h(u) = 271*u**2 - 2*u - 1. Is 6 a factor of h(-1)?
False
Let v be 56/10 - 3/5. Let z(y) be the first derivative of 2*y**2 - 4*y - 4. Is z(v) a multiple of 4?
True
Let x be ((-12)/9)/2*(-9)/(-2). Let v(m) = -25*m + 16. Is 13 a factor of v(x)?
True
Suppose 5*d = -5*n + 35, 0*d - 3*d = -5*n + 67. Suppose n = -3*l - 5*g, 3*l - 27 = -2*l + 3*g. Does 19 divide 19/(3/18*l)?
True
Let b be (-3)/(-2)*22/3. Suppose -31 + b = -5*j. Suppose c + j*s = 43, -2*c + 