False
Let r be (-14)/21 - (-28)/6. Suppose r*m + 45 = -m. Let g = 18 + m. Is g a multiple of 4?
False
Let i(q) = q**3 - 8*q**2 - 9*q + 2. Let d be i(9). Suppose -2*v - d + 4 = -2*u, -v = -2*u. Does 13 divide (190/(-30))/(v/(-6))?
False
Let b be 6/10 + 978/(-30). Is (-28)/(-3) - b/48 a multiple of 4?
False
Let k = -1774 - -2301. Does 31 divide k?
True
Suppose 3*x = 8*x - 85. Suppose 0 = x*t - 13*t - 544. Does 29 divide t?
False
Suppose 3*a = 12, 0*d - 4*d + 4*a - 20 = 0. Is (d + -1)*1 + 62 a multiple of 10?
True
Let h(q) = 2*q**2 + 61*q - 147. Does 54 divide h(-47)?
True
Let t(r) = 2*r**3 - 14*r**2 - 10*r - 6. Is 14 a factor of t(8)?
True
Let z = 4 + -1. Let w(l) = -2 + 1 - 4*l**3 + 2*l + z*l**3. Is w(-2) a multiple of 2?
False
Suppose 0 = -26*l - 1885 + 7735. Is l a multiple of 15?
True
Suppose j + 5*t = 3*t - 25, -t = 5*j + 134. Let w(a) = -a**3 - 26*a**2 + 24*a - 33. Is 4 a factor of w(j)?
True
Let j(z) = z**2 - 20*z - 53. Is j(27) a multiple of 2?
True
Let j = -16 - -15. Let o = -1 - j. Suppose 5*g - 36 = -p, 3*g + 54 = 3*p - o. Is p a multiple of 7?
True
Suppose 2*v - 595 = -5*w, -4*v + 954 = 3*w - 201. Is v a multiple of 5?
True
Suppose 0*h - 2*s - 6 = -4*h, 5*h - 12 = -2*s. Suppose 7 = h*i - 1. Is i a multiple of 3?
False
Suppose -3*q - 3*n = -3567, -5*q + 4*n + 747 = -5153. Is q a multiple of 37?
True
Does 67 divide (85/(-20))/(-17)*1348*7?
False
Let r = -6 - 14. Let t = -26 - r. Let o = 21 + t. Does 12 divide o?
False
Suppose -3*r + 5*y = -3 - 28, -5*y - 33 = -4*r. Let p(d) = 3*d**2 - 2*d**r + 4 + 5*d**2 - 2*d**2 - 3*d. Does 38 divide p(5)?
False
Let k(l) = l**3 + 14*l**2 - 16*l - 7. Let g be k(-15). Suppose 10 = g*u - 9*u. Is (-332)/(-10) + u/50 a multiple of 33?
True
Let c = -10 - -10. Suppose -60 = -c*p + 4*p. Is ((-111)/p - 3)*5 a multiple of 5?
False
Let a(l) = 1 + 0*l**3 + 0*l**3 + 3 + l**3 + 6*l**2 + 4*l. Let q be a(-5). Suppose -4*z = -3*j + 38, 4*j - 51 = 3*z + q. Does 9 divide j?
True
Suppose 4*s + 39 = -285. Let r = s - -88. Is 3 a factor of r?
False
Let l(d) = d**3 + 2*d**2 - 114. Let a be l(0). Let o = a + 202. Is 16 a factor of o?
False
Suppose -5*h + 3*h = -5*q - 192, h = 4*q + 156. Let c = 191 + q. Does 40 divide c?
False
Let p = -6 + 30. Let k(w) = -w**3 - w**2 - 5*w - 6. Let x be k(-4). Let u = p + x. Is 29 a factor of u?
False
Let l(y) = -5*y**2 + 20*y - 5. Let a be l(14). Let n = -369 - a. Does 48 divide n?
True
Suppose -5*f + 6 = -0*f + r, -3*f + 5*r = -26. Suppose 3*a + 69 = 5*s, 0*s + f*a = 3*s - 42. Is s even?
True
Suppose 2*u = -z - 0*u + 36, 5*z - 3*u - 141 = 0. Suppose 14*o - z = 13*o. Does 6 divide o?
True
Suppose 4*l - 3362 = j, -2*l + 0*j = -4*j - 1688. Is l a multiple of 7?
True
Let x = -132 + 187. Suppose 3*v + 0*g - 369 = -3*g, -4*g - 16 = 0. Let r = v - x. Does 27 divide r?
False
Suppose -6*j = -j. Suppose l - q - 8 - 8 = j, q - 10 = -l. Is l a multiple of 2?
False
Let n = 82 + -73. Suppose n*g = 6*g, -3*b = -2*g - 792. Is 22 a factor of b?
True
Let v be (1 - 0/(-1))*7. Let l(t) = -t + 9. Let m be l(v). Is 34 a factor of 472/12*3/m?
False
Let r be 31/93 - 2/6. Suppose -b - 70 + 90 = r. Is b a multiple of 8?
False
Suppose 0 = 6*s - 7086 + 402. Does 49 divide s/5 + (-2)/(-10)?
False
Let r be (1/6 + (-22)/(-12))*-44. Let s = r + 101. Does 6 divide s?
False
Let l(q) = 14 - 12*q - 9*q + 2*q - 14*q. Let v be l(-7). Suppose p = 3*t - 3*p - v, 3*p = 3*t - 240. Does 21 divide t?
False
Let b(i) = i**3 - 2*i**2. Let o be b(2). Suppose o*x - t + 99 = x, 0 = -x - 4*t + 99. Is 22 a factor of x?
False
Let r(g) = -g**3 + 5*g - 2. Let a be r(2). Suppose h - 3*h = 2*p - 16, 5*h - 20 = a. Does 4 divide p?
True
Let y(f) be the second derivative of f**4/12 + f**3 - 3*f**2 - 5*f. Let m be y(-7). Is (-8)/m + 4 + 66 a multiple of 19?
False
Let q(g) = 91*g**2 - 10. Let n be q(-4). Does 16 divide n/10 + (-108)/180?
True
Let p(y) = 153*y**2 + 17*y + 31. Does 87 divide p(-2)?
True
Suppose 10 = -2*n, 3*b + 3*n + 99 = 5*b. Does 9 divide b?
False
Let y(d) be the first derivative of 100*d**3/3 - d**2 + d - 20. Does 21 divide y(1)?
False
Let l = -362 - -828. Suppose -p - 5*x = -5*p + 668, 3*p + 5*x - l = 0. Is (-1)/(-4) + p/24 a multiple of 4?
False
Let y(r) = 23*r**3 + r**2 - 2*r**2 + 2*r - 1 + 0*r**3. Let z(p) = -3*p - 2. Let u be z(-1). Is y(u) a multiple of 23?
True
Suppose 0 = -0*q - q + 4. Let f(n) = 3*n**2 - 5*n - 3*n + 1324 - 1316. Is f(q) a multiple of 6?
True
Suppose 2*h + 12 = 4*b, 5*h - 15 - 3 = -2*b. Let q be b/5*420/(-8). Let d = -25 - q. Is 7 a factor of d?
False
Let i(q) = q**2 + 21*q + 60. Is i(-19) a multiple of 11?
True
Suppose 0 = 3*j - j - 198. Does 34 divide (j/(-18))/((-1)/14)?
False
Let k = 504 - 234. Is k a multiple of 5?
True
Let n = 176 + -298. Let c be (-6)/(-9)*-6 - n. Suppose -2*j + 88 = -3*d - 16, 5*d = -3*j + c. Does 23 divide j?
True
Let d = 963 + -524. Is 37 a factor of d?
False
Let g(x) = x**3 - 15*x**2 - 24*x - 80. Is 39 a factor of g(19)?
False
Does 10 divide 47/((-7)/6*(-8)/28)?
False
Suppose -4*g - 8 = 3*i - 7*i, -2*g - 11 = 5*i. Let z = -36 + 56. Does 10 divide (45/(-30))/(i/z)?
True
Suppose 5*l = -3*n + 2*l + 489, -5*l - 634 = -4*n. Suppose 41 = -4*v + n. Is 5 a factor of v?
True
Suppose -55545 = -21*x - 2*x. Does 69 divide x?
True
Suppose 0 = -r - 2*r + 24. Suppose 5*d = -r*d + 546. Is 5 a factor of d?
False
Suppose 4*s - 1966 = -2*u, 0 = -6*s + 3*s + 5*u + 1481. Is s a multiple of 6?
True
Suppose 22 = 5*c + 2*t, c - 1 = -0*c + 3*t. Let v = 2 + -2. Suppose 0 = -c*p, v*p - p = -n + 18. Is n a multiple of 9?
True
Suppose 3*j - 8*j = -15. Let b(x) = 2*x**2 + 3*x - 4. Is b(j) a multiple of 10?
False
Does 2 divide (-122)/(-3)*144/96?
False
Suppose -2*c = -0 - 10, 2*i = -3*c + 135. Suppose s = 3*o - i - 30, -2*s + 120 = 4*o. Is 5 a factor of o?
True
Suppose 3*t = -5*o + 1346, 7*o = 9*o + 4*t - 544. Does 40 divide o?
False
Let h = -17 + 24. Suppose 3*q + 584 = 5*k + h*q, -2*k + 256 = -4*q. Is 20 a factor of k?
True
Let y(r) = 4*r + 309. Is 31 a factor of y(-19)?
False
Suppose 0 = v + 3*y - 2784, -y - 894 = 3*v - 9206. Suppose 11*z - v + 349 = 0. Is 44 a factor of z?
True
Let h = 51 - 19. Let z = h + -27. Is z a multiple of 3?
False
Let k = 10 - 9. Let c be -8 + -2 + -2 + k. Let t = -2 - c. Is t a multiple of 8?
False
Let c be ((-4)/(-6))/(2/9). Let l be (2 - c)/(2/(-4)). Suppose 0 = l*f - 13 - 17. Does 5 divide f?
True
Let y = -2 + 4. Suppose y*j = 3*j - 2. Suppose j*i + 0*i = 26. Is i a multiple of 13?
True
Let v = -5 - -9. Let c(q) = 3*q**2 - 6*q - 70. Let g be c(9). Is (-6 - g)*v/(-10) a multiple of 10?
True
Let r be 54/24*16/(-3). Let d be -1 + 2 + 13 + r. Suppose -2*l = 2*v - 22, 2*v - v + d = 0. Is l a multiple of 13?
True
Suppose -2*s - s = -3. Let r(q) = 37*q**3 + 2*q**2 - q - 5. Let b(w) = 1. Let n(c) = 5*b(c) + r(c). Does 18 divide n(s)?
False
Let p(i) = -51*i + 1. Let j be (1/(-2))/(3/(-6)). Let d be p(j). Let w = d - -80. Is 10 a factor of w?
True
Suppose -3*r + 2*o - 16 = -0*o, -28 = 5*r - 2*o. Let b(n) = -12*n + 8. Is 10 a factor of b(r)?
True
Suppose -11*b + 1702 = -850. Is 29 a factor of b?
True
Let h = 35 + -35. Suppose -5*k = -2*l + l - 35, h = -5*l. Is k a multiple of 7?
True
Suppose -m + 8 = -0*m. Suppose -m*q + 74 = -6*q. Is 8 a factor of q?
False
Suppose -4*l + 486 = -u, 5*l = 3*u + 125 + 479. Let o be -1 - 2*-1 - 1. Suppose 3*z + 0*i = -i + l, 2*z + 2*i - 84 = o. Does 12 divide z?
False
Let a(p) = -2*p**3 - 2*p**2 + 3*p + 2. Let y be a(-2). Suppose 207 = 2*i + i + 3*q, 0 = i + y*q - 78. Is i a multiple of 14?
False
Suppose -3*c + 3*m + 297 = m, -2*m + 6 = 0. Does 36 divide c?
False
Suppose 32 + 10 = 14*o. Let d = 159 + -95. Suppose d = m + o*m. Is 16 a factor of m?
True
Let g = -36 + 33. Does 37 divide 2972/20 + g/5?
True
Let o(r) = -3*r**3 + 3*r**2 + r + 1. Let z be o(-2). Suppose 4*k - z = 3*y, 2*y = -k + 3*k - 20. Let s = 44 - y. Is s a multiple of 9?
False
Let c(l) = 5*l + 17. Let m(p) = -60*p - 205. Let y = -14 + 16. Let t(f) = y*m(f) + 25*c(f). Is t(15) a multiple of 30?
True
Suppose -13*y + 364 = -2184. Is y a multiple of 20?
False
Let j be (-3)/((-1)/((-57)/(-9))). Let q(k) = 5 + 3 - 11 - 11 - k**2 - j*k. Does 19 divide q(-10)?
True
Let m(p) = p**2 - 16*p + 16. Suppose 4*n - 7*q + 56 = -5*q, 4*n + 3*q + 46 = 0. Does 16 divide m(n)?
False
Let i(r) = r**3 + 14*r**2 +