Suppose 3*d + w = 5*d. Is d a multiple of 13?
True
Let s(x) = -x**3 + 11*x**2 - 9*x. Let d be s(10). Let c = d - 7. Is c a multiple of 2?
False
Let w(p) = p - 5. Let u be w(4). Suppose -7 = -4*a + 5. Does 20 divide (-1611)/(-27) - u/a?
True
Suppose 4*m + 15*z = 20*z + 236, -m + 59 = z. Is m a multiple of 5?
False
Suppose c = 8 - 6. Suppose 2*p - 75 = -5*j, 0*p + c*j = 3*p - 84. Does 5 divide p?
True
Suppose 3*g = -5*v + 35, -5*v - 5*g = -18 - 27. Does 17 divide -1 + 0 + v + 119 + -3?
True
Let n(t) = 3*t**3 + 9*t**2 + 3*t. Let j(y) = -16*y**3 - 46*y**2 - 14*y - 1. Let u(a) = 2*j(a) + 11*n(a). Let g(f) = f. Let v be g(-5). Is u(v) a multiple of 23?
True
Suppose 0 = 3*i - m - 2520, 3*m - 3360 = -13*i + 9*i. Does 21 divide i?
True
Let y(o) = -13*o**3 - 41. Let h(b) = -7*b**3 - 20. Let v(r) = 11*h(r) - 6*y(r). Let i be v(0). Suppose q - 2*s - i = -q, -5*q - 5*s = -25. Is q even?
False
Suppose 0*a - 3*a = -c - 620, 0 = 4*a - 5*c - 834. Is 21 a factor of a?
False
Suppose -18*d - 8 = -22*d. Suppose 4*h - d*o - 44 = 2*o, 2*h = -2*o + 6. Suppose -h*a + 2*a = -295. Is a a multiple of 17?
False
Let d(v) = v**2 + 13*v - 11. Let s be 28/(-8)*(-1 + 5). Let n be d(s). Is (5 + 1)/(n/4) a multiple of 5?
False
Suppose 332 = 4*l - 4*m, -5*m = -36*l + 38*l - 145. Does 2 divide l?
True
Suppose 2*p - 1 - 7 = 0. Let u(w) = -4*w**2 + 4. Let d(t) = -12*t**2 + t + 12. Let j(q) = -3*d(q) + 8*u(q). Is 12 a factor of j(p)?
True
Is 26 a factor of 28699/44 + -3 + (-6)/(-8)?
True
Suppose 0 = 6*i - 135 - 225. Let g = -12 + i. Does 24 divide g?
True
Suppose -3*d - 14*g + 205 = -12*g, 0 = 4*d - 5*g - 235. Is 5 a factor of d?
True
Suppose -2*s + 7 = -465. Suppose -25*u = -23*u - s. Does 13 divide u?
False
Suppose 0*v = u + 5*v - 104, 2*u - 181 = -v. Let a = 39 + u. Is 32 a factor of a?
True
Let f(v) = -v**3 + 3*v**2 + 6*v - 1. Let m(j) = -6*j + 14. Let u be m(3). Does 28 divide f(u)?
False
Let c(n) = -n**3 + 5*n**2 + 2*n - 3. Let y be (5/(-2))/(7/(-14)). Is c(y) a multiple of 4?
False
Is (-152)/30*-237 + 1/5 a multiple of 14?
False
Suppose -107 = -2*r + 123. Is r a multiple of 17?
False
Suppose 140 + 6 = r. Let h = r - 56. Does 18 divide h?
True
Suppose 9 = -2*h + 1. Is 2 + h + (-158)/(-2) a multiple of 12?
False
Let q(w) = -w**3 - 7*w**2 + 17*w - 7. Let r be q(-9). Suppose -17 = 4*j - f - 53, 4*f + 18 = r*j. Is j even?
False
Suppose -44*b + 28728 = -23*b. Is 11 a factor of b?
False
Let s be 247/38 + 5/(-2). Suppose -2*v = -4*v + 6, 5*g - 21 = -2*v. Suppose -2*y + 277 = 3*c + 74, -g*c + 205 = s*y. Is 13 a factor of c?
False
Suppose 0*x + 5*x - 4*r - 37 = 0, -4*x = 2*r - 40. Let a = 9 - x. Suppose 0 = f - i - 93, a = f - 2*i - 0*i - 94. Is 25 a factor of f?
False
Suppose -158 = -25*m + 342. Does 10 divide m?
True
Let x be 7/42 - (-70)/12. Suppose -2*u = -5*u + x. Suppose -3*a + 14 = u. Is a even?
True
Suppose 0 = 5*m + 4*r - 1230, 33*r - 36*r + 492 = 2*m. Is 41 a factor of m?
True
Let z(g) be the second derivative of 7*g**4/12 + 2*g**3/3 + 3*g**2/2 + 27*g. Is 38 a factor of z(5)?
False
Let q(t) = -t**2 + 2*t + 18. Let s(o) = o**2 - 3*o - 17. Let c(l) = 4*q(l) + 5*s(l). Does 17 divide c(-3)?
True
Suppose -22*d - 194 = -23*d. Is d a multiple of 47?
False
Let g = 1435 + -670. Is 13 a factor of g?
False
Suppose 13*a = 3*a + 1560. Is a a multiple of 12?
True
Let j be (3/(-9))/((-3)/(-45)). Let a(s) = 11*s**2 + 5*s - 6. Let r be a(j). Suppose -2*m - 2*m + r = 0. Does 15 divide m?
False
Let v(j) = 3*j - 11. Suppose 4*u + 44 = -32. Let p = -11 - u. Does 8 divide v(p)?
False
Let x(t) = -54*t - 303. Does 39 divide x(-21)?
False
Let k(o) = o**2 - 8. Let l(c) = -2*c**3 + 8*c**2 + 5. Let s be l(4). Is k(s) a multiple of 3?
False
Let z = -301 - -417. Is 14 a factor of z?
False
Let y be 2107/9 + 19/(-171). Let d be (-4)/14 - 212/(-7). Suppose 4*q - y - d = 0. Is q a multiple of 22?
True
Suppose -3*c = 4*r - 3432, -3*r + 2005 = -3*c - 569. Suppose -10*i + r = -1012. Does 27 divide i?
False
Suppose -21*y = -20*y - 57. Is y a multiple of 3?
True
Let t(u) = 11*u**3 + 5*u**2 - 11. Does 23 divide t(3)?
False
Is 10 a factor of (0 - (-59800)/70) + 4/(-14)?
False
Suppose 0*j + 42 = 3*j. Suppose 725 = 12*y + 101. Suppose -3*o + y = -j. Is o a multiple of 22?
True
Suppose 0 = -5*s + s + 1220. Suppose -4*l + 9*l = s. Does 8 divide l?
False
Suppose 0*a - 560 = -8*a. Suppose -4*x + 14 = -a. Is 5 a factor of x?
False
Suppose -2*a - r + 433 = 0, -4*a + 4*r + 55 + 841 = 0. Suppose 0 = 6*b - 87 - a. Let l = -24 + b. Is l a multiple of 17?
False
Let i = -167 + 289. Suppose -4*o + 57 = 4*l - 211, i = 2*o - l. Is 9 a factor of o?
True
Let w be (-4 + 3 - 27)*-2. Suppose -7*s + 0*s = -w. Is 8 a factor of s?
True
Suppose 12 = 3*b - 3. Suppose 2*t + b*j = 226, 4*t - 4*j - 255 - 225 = 0. Is 18 a factor of t?
False
Let d = -556 + 822. Is 7 a factor of d?
True
Suppose 3*n = -724 + 283. Let i = 138 - 240. Let w = i - n. Is w a multiple of 16?
False
Let m(s) = s**2 + 18. Suppose 63 = 5*v + 33. Is 9 a factor of m(v)?
True
Let v = 620 + -388. Is v a multiple of 29?
True
Suppose 6*v - 11*v - 2413 = -4*z, -3*z + 1811 = -4*v. Does 53 divide z?
False
Suppose -3*l - l = -56. Let v be (l/3)/((-14)/42). Is 21/2*v/(-3) a multiple of 10?
False
Suppose -21 = -3*q - 4*k, q + 3*k - 11 = 1. Suppose 0 = s - 3*i - i, q*s = -i. Suppose -5*y + s*y - 4*d + 198 = 0, 0 = -2*y - 4*d + 72. Does 11 divide y?
False
Suppose 5 = 2*h + 3*h + 2*f, -4*h - 3*f = -4. Let n be ((1 - 1)/2)/h. Is (77 - n) + 15/(-5) a multiple of 37?
True
Let t be -1*(-7)/(7/(-6)). Let g(o) be the first derivative of -10*o**2 - 12*o - 102. Does 36 divide g(t)?
True
Suppose 0 = -3*h + 2*h. Suppose -3*f - 4*k + 103 = 16, 5*f - 3*k - 116 = h. Is f a multiple of 14?
False
Suppose 0 = -4*h + 18 + 42. Let g be (-116)/10 - 6/h. Does 3 divide 5/2*g/(-5)?
True
Let i(p) = 4*p**2 - 41*p + 15. Let c be i(29). Is (-2 + (1 - 2))/((-45)/c) a multiple of 29?
False
Let x be 3*(3 + (-120)/9)/(-1). Suppose 179 = 4*z + x. Is 5 a factor of z?
False
Let l(z) be the first derivative of 2*z**3 + z**2/2 - 5*z - 32. Is 29 a factor of l(-4)?
True
Let x(i) = 258*i - 41. Does 32 divide x(3)?
False
Let r(q) = -11 - 8 + 10 - 9 + 4*q. Let s(l) = 2*l**2 - 6*l + 4. Let b be s(4). Is 10 a factor of r(b)?
True
Let u(h) = -4*h**3 - h**2 + 1. Let c be u(1). Let j = 6 + c. Suppose -j = -3*v + 31. Is 11 a factor of v?
True
Suppose 0 = -5*v - m + 24, -7 - 9 = v - 5*m. Suppose 39 - v = 5*t. Suppose -5*x - 10 = 0, t*i - 60 = 3*i - 2*x. Is 4 a factor of i?
True
Let l(p) = 78*p**2 - 2*p - 3. Is 61 a factor of l(2)?
True
Let i = 23 - 49. Is 4/(-26) - 654/i a multiple of 12?
False
Suppose -4*w + 3*r + 446 = 0, 0 = 5*r - 1 + 11. Suppose -10*b = -8*b - w. Is 5 a factor of b?
True
Is -1*3 + -2*(-6180)/24 a multiple of 7?
False
Suppose -2*x + x + 282 = 0. Suppose -4*f + x = 6. Is f a multiple of 9?
False
Let v = -19 + 18. Let y(k) = k**2 + k + 9. Let x be y(0). Let f = v + x. Is 8 a factor of f?
True
Let u = -449 - -482. Is 12 a factor of u?
False
Let s = 295 - 296. Let k be (-3)/12 - 673/(-4). Is 7 a factor of k/9 + s/(-3)?
False
Let t(j) = 195*j**2 - 24*j - 77. Is t(-3) a multiple of 14?
True
Let t be ((-48)/(-42))/((-9)/(-7) + -1). Suppose 4*s + 156 = 4*d, 4*d - 51 = 3*d + t*s. Is 4 a factor of d?
False
Let g = -42 - -82. Suppose 5*b - g = b. Is 6 a factor of (-3)/(-1) + 0 + b?
False
Let z(r) = 261*r + 51. Is 75 a factor of z(9)?
True
Suppose 95 = -g - 2*p, 3*p + 360 = -3*g - g. Let d be (-6)/4 - 938/28. Let m = d - g. Is m a multiple of 13?
True
Let d = -55 - -53. Is d*(-3)/54 + 1960/18 a multiple of 26?
False
Let k(c) be the third derivative of 2*c**4/3 - c**3/6 + 4*c**2. Let n be k(-1). Let i = 17 - n. Is i a multiple of 17?
True
Let x be (-2*2)/(-2) + 11. Suppose 4*j + d - 8 = 5*d, -4*d = -5*j + x. Let f(r) = 2*r**2 - 6*r. Does 10 divide f(j)?
True
Let n be -27 + (-18)/(-2) + -20. Suppose 4*j - 400 = -j. Let l = n + j. Does 14 divide l?
True
Let u(f) = 2*f - 19. Let q be u(11). Suppose 4*t + q*t - 602 = 0. Does 5 divide t?
False
Let l(x) = 57 - 51*x + 111*x - 84*x. Is l(-4) a multiple of 5?
False
Does 89 divide (-4659)/(-4)*((-114)/(-18) + -5)?
False
Let v = -57 - -59. Suppose l - 614 = -5*d, -9 = -v*l - 1. Is 14 a factor of d?
False
Suppose -5*n = -4*d + 569, 14*n = -4*d + 16*n + 554. Is d a multiple of 17?
True
Su