q - q + p, -q - 2*o + 13 = 0. Is q a multiple of 3?
True
Is (85/(-34))/(5/(-84)) a multiple of 22?
False
Let t = -19 - -94. Does 15 divide t?
True
Let z be 61*3 - 0/(-5). Is 22 a factor of ((-1)/3)/((-1)/z)?
False
Suppose 4*t = 2*i - 4, -3*i + 3*t = -0*i - 12. Does 5 divide i?
False
Let x(k) be the first derivative of -9/2*k**2 + 1 - k. Is x(-1) a multiple of 3?
False
Let q(r) = -3*r**2 - 2*r - 2. Let c(j) = 5*j**2 + 4*j + 3. Let b(m) = -4*c(m) - 7*q(m). Let d be b(4). Does 9 divide 4/d - (-129)/15?
True
Suppose -j + 76 = 2*d, -4*j + 291 = 4*d - 29. Is j a multiple of 12?
True
Let k(n) = -2*n + 10. Let o(d) = -7*d**2. Let u be o(1). Is k(u) a multiple of 10?
False
Suppose a + 85 = 136. Is a a multiple of 16?
False
Is 4 - (-11 + 0 + 1) a multiple of 8?
False
Suppose -k + 65 = 3*a, -3 - 1 = -2*k. Is a a multiple of 7?
True
Let b = -7 - -7. Suppose b*s + s - 10 = 0. Is 10 a factor of s?
True
Let k = 5 + 12. Does 3 divide k?
False
Let r(x) = 4 + 2 - 10 + 2*x**2 - 9*x. Is 15 a factor of r(8)?
False
Let x = 22 + 2. Is 5 a factor of x?
False
Let k = -3 - 0. Is 16 a factor of 1 + (-1)/(k/126)?
False
Suppose -p - 3 = 0, 2*b - 4*p - p - 17 = 0. Suppose a - 2 = b. Suppose 5*k = a*g + 180, -64 = -3*k + 2*k - 5*g. Does 18 divide k?
False
Let o(j) = j**2 + 13*j + 16. Let l be o(-12). Suppose 8*a - b = 3*a + 63, -5*b = -l*a + 42. Does 3 divide a?
False
Let d = 3 + -1. Suppose -5*o + d*i + 70 = 0, -2*i + 19 = 2*o - 23. Does 16 divide o?
True
Suppose -4*d + 130 = d - 3*n, -96 = -4*d + 4*n. Is d a multiple of 8?
False
Let r(l) be the second derivative of -l**5/20 + 3*l**4/4 - 7*l**3/6 + 7*l**2/2 - 6*l. Is r(7) a multiple of 10?
False
Let c(x) be the third derivative of -623*x**4/12 - x**3/6 + 2*x**2. Let f be c(-1). Does 22 divide 2/(-7) + f/21?
False
Suppose 9 + 3 = b - x, -5*b + x + 48 = 0. Suppose -b = -4*p + 23. Is p a multiple of 4?
True
Let p(r) = -r**2 + 12*r - 16. Does 4 divide p(10)?
True
Let h = -13 + 27. Suppose -8*x = -5*k - 3*x + 35, -2*k = 5*x - h. Is k a multiple of 7?
True
Let l(s) = -s**3 + s**2 - 2*s + 20. Let p be l(0). Suppose -5*a + 5*m + p = 0, 0 = -a - 2*m + 1. Is 2 a factor of a?
False
Suppose 4*i - 9*i = 0. Suppose 3*h - 3*g - g - 31 = i, -5*h + 110 = 5*g. Is h a multiple of 5?
False
Let j = 355 - 230. Suppose -z + 0*z + j = 0. Suppose 3*r = 5*o - z, -2*o - 2*r - 75 = -5*o. Does 10 divide o?
False
Let n(h) = h - 1. Let t be (-14)/6 - (-6)/(-9). Let k be n(t). Is 4 a factor of (-30)/k*(-12)/(-10)?
False
Suppose 0 = -4*s + 10 + 10. Let g = 7 - s. Does 2 divide g?
True
Let l(n) = 3*n**2 + 4*n + 2. Does 11 divide l(4)?
True
Let a = -5 - -7. Let k = -2 + a. Suppose 0*z + 2*z - 14 = k. Is 4 a factor of z?
False
Let c(l) = l**3 - l**2 - l + 94. Let f be c(0). Let r = 147 - f. Is 14 a factor of r?
False
Suppose 0 = -3*v - 91 + 163. Does 12 divide v?
True
Let n be (-2)/(-6) + 15/9. Suppose -n*g + 6 = -g. Does 3 divide g?
True
Let v(z) = z**2 + 7*z. Suppose 4*h = s, 5*s = 6*h - 5*h. Suppose h = 5*n + 3 + 37. Is 7 a factor of v(n)?
False
Let i be (4/(-6))/((-2)/6). Suppose a = 4 + i. Is 7 a factor of (a/4)/(15/160)?
False
Suppose 3*r - 4*r + 101 = 0. Is 12 a factor of r?
False
Let n be 36/10*(-15)/(-6). Let x = 5 + n. Let z = 2 + x. Does 16 divide z?
True
Suppose 0 = -z + 4*t + 7, 2*t - 3 = -1. Is z a multiple of 5?
False
Is 3 a factor of (342/95)/((-3)/(-10))?
True
Suppose 0 = -3*u - n - 8, 0 = 5*u - 3*n - n - 15. Let s = u + 6. Suppose 0 = s*q - 8 - 7. Does 3 divide q?
True
Suppose -w + 3 = -0*w. Suppose -2*g + w*g = -4. Let h = g - -15. Is h a multiple of 9?
False
Let g(j) = -j**3 - j**2 - 1. Let n(b) = -3*b**3 - 3*b**2 - b - 2. Let s(a) = 4*g(a) - n(a). Let f be s(-2). Suppose f*r = 4*r - 68. Does 8 divide r?
False
Let p = -2 + 6. Suppose 11 + 73 = p*l. Does 21 divide l?
True
Suppose 415 = 14*u - 9*u. Is 4 a factor of u?
False
Let p be -132*2*(-3)/12. Suppose p = t + t. Is 17 a factor of t?
False
Let q(i) = i**2 - 4*i - 10. Let z(l) = l**2. Let f be z(3). Let u be q(f). Suppose -m + u = -0*m. Does 15 divide m?
False
Suppose -20 = 4*d, 4*c - 3*c + 4*d = 68. Does 22 divide c?
True
Let l(t) = -t**3 - 2*t**2 + t + 3. Is 28 a factor of l(-5)?
False
Let w(t) be the second derivative of 1/2*t**3 - 3*t + 0 + 3/2*t**2. Is 5 a factor of w(4)?
True
Let w be (-4)/(-2)*44/8. Let z = w - -19. Is 15 a factor of z?
True
Let w(h) = -h**3 + 5*h**2 - 3*h + 2. Let q be (2 - 4)/(4/(-26)). Suppose q = 5*m - 7. Is w(m) a multiple of 3?
True
Suppose -2*c - 4*y + 212 = -3*y, 0 = -4*c + y + 424. Is 11 a factor of c?
False
Let s(g) = g**3 + 5*g**2 + g - 3. Let a be s(-3). Let x = a - 7. Suppose b = -p + 10 + 4, 4*b = x*p - 43. Is 11 a factor of p?
True
Is 353/5 - 3/5 a multiple of 9?
False
Let k(d) = -d + 11. Does 17 divide k(-6)?
True
Let n = 48 + -33. Is 6 a factor of n?
False
Let u = 18 - 9. Is 13 a factor of 52/6*u/6?
True
Suppose 3*a = a - 2. Let v be a/(-3) - 2/6. Is 4 a factor of 1*(v - -2) + 2?
True
Let i(m) = -m**3 - 11*m**2 - 13*m - 12. Let r be i(-10). Let v = -9 + r. Is v a multiple of 9?
True
Suppose 7*m - 312 = 339. Let i = m - 58. Is 18 a factor of i?
False
Suppose -2*c = -3*c - 17. Let k be 1/(-1 - 0) + -9. Let z = k - c. Is z a multiple of 4?
False
Suppose 0 = c + 2 - 21. Is c a multiple of 19?
True
Suppose -4 = 4*x - 3*s, -4*x = -0*x + 5*s - 28. Suppose -2*n + 57 = -v, -6*n - 2*v = -x*n - 110. Is n a multiple of 7?
True
Let h(y) = 13*y**3 + y. Let l = 5 - 2. Suppose l = -f + 4*f. Does 14 divide h(f)?
True
Suppose -3*s + 20 = 5*u, 3*u - 18 = -3*s - 0*s. Suppose 9 = -4*y + 89. Let c = u + y. Is c a multiple of 21?
True
Let h(v) = 14*v - 2. Let s be h(4). Let u = s + -21. Is u a multiple of 11?
True
Let u(j) = 5*j**3 + 3*j**2 + 5*j - 3. Let b(v) = -v**3 - v**2 - v. Let d(i) = 2*b(i) + u(i). Does 13 divide d(2)?
False
Suppose 24 = 3*m - 147. Suppose 0 = z - 0*z + 2. Is (m/(-12))/(z/16) a multiple of 14?
False
Let k(w) = w**3 + w**2 - w - 1. Let u be k(0). Is 4 a factor of 1 + 3/(2 + u)?
True
Suppose v - 16 = -7. Is 8 a factor of v?
False
Let w = 18 - -6. Suppose -5*j = -15, 2*j - 9 = -4*b + 3*j. Suppose 0*z = b*z - w. Is z a multiple of 8?
True
Let k be (-2 - (-14)/6)*15. Suppose 3*g - 2*o = 3*o + 31, k*g - 2*o - 39 = 0. Does 7 divide g?
True
Let j(z) = -z**3 - z**2 + 2. Let x be j(2). Let s be (8 + x)/(1/(-2)). Suppose s*h = 3*h + 9. Does 3 divide h?
True
Suppose 2*r - r - 92 = 0. Does 13 divide r?
False
Suppose -2*b = b - 30. Let n(u) = b*u + 1 - 4 - 3*u. Is 16 a factor of n(5)?
True
Suppose 5*r = 5*o + 130, -4*o = 3*r - 2*o - 58. Suppose h - 3*y - 17 = 2*y, -h + r = -4*y. Is 21 a factor of h?
True
Suppose 3*i - 12 = -i. Suppose -i*n - 114 = -3*c, -2*c + 92 = -n + 16. Suppose -5*o + 2 + c = 0. Is 8 a factor of o?
True
Suppose -3 = 5*c + 4*n + 2, c = 3*n + 18. Suppose -c*b = -b - 48. Suppose 112 = 4*s + a + b, s = a + 22. Is s a multiple of 22?
True
Suppose -b + 2 = 3*a, a = -b + 5*b + 5. Let j(x) = 8*x - 1. Is j(a) a multiple of 3?
False
Suppose 4*g - 3*g - 21 = 0. Suppose g = 5*f - 4. Is 5 a factor of f?
True
Suppose 5*j + 256 = 4*k, 5*k - j + 4*j - 283 = 0. Let a = k - 23. Is a a multiple of 12?
True
Let y = -4 + 9. Suppose y*s - 7 = -2*o + 27, -2*s = -3*o + 32. Does 12 divide o?
True
Suppose -5*f = 7 + 123. Is 13 a factor of f*1/2*-1?
True
Let m(q) = -q**3 - 7*q**2 + 6*q + 20. Is 9 a factor of m(-8)?
True
Let o = 661 - 468. Does 43 divide o?
False
Suppose 0*x = x - p - 114, -3*p + 114 = x. Is 21 a factor of x?
False
Let c(z) = z + 1. Let g be c(0). Is (-164)/(-8) + g/(-2) a multiple of 10?
True
Suppose 2783 = 13*q - 2*q. Does 41 divide q?
False
Let q be -50*1/3*6. Let l be 22/(-77) + q/(-7). Does 7 divide (1/(-2) - -1)*l?
True
Let y be (-18)/4*4/(-6). Suppose 2*p + y*s - 8*s = 39, -2*p + s = -35. Suppose p = t - 13. Is t a multiple of 16?
False
Suppose 7 = 2*m - 5. Let z(w) = w**3 - 5*w**2 - 5*w - 6. Let d be z(m). Is 2 - d - 27/(-3) a multiple of 6?
False
Let a = 298 + 72. Is 18 a factor of a?
False
Let c = -139 - -301. Is c a multiple of 13?
False
Let a(s) = -2*s**3 + 5*s. Let o(g) = -6*g**3 + g**2 + 14*g + 1. Let c(k) = 8*a(k) - 3*o(k). Does 6 divide c(3)?
True
Suppose m = -0*m + 2*t + 78, -351 = -5*m - 3*t. Does 12 divide m?
True
Let t be (38/14 + -3)*-7. Suppose x - 43 = -4*v, -t*x + 122 = 5*v + 30. Does 21 divide x?
False
Is 10 a factor of 