
False
Let y be 8*(-3)/(2*-3). Suppose -5*u + 17 = -y*u. Does 13 divide u?
False
Suppose 0*q - 3*q + 48 = 0. Let z be q/10*(2 + -7). Let x(n) = -n**2 - 10*n + 6. Does 9 divide x(z)?
False
Suppose 80 = -2*y - 3*y. Let c = y - -33. Is 17 a factor of c?
True
Suppose -6*o + 64 = -32. Let p(r) = r**2 - 8*r + 8. Let z be p(7). Let c = o + z. Is 10 a factor of c?
False
Let x be 1 + 1 + (-6 - -9). Suppose x*n - 89 = 301. Is n a multiple of 13?
True
Suppose -3*t = 3*t + 312. Let j = t + 173. Does 14 divide j?
False
Let r = -15 + 9. Let j(i) = -i**2 - 7*i + 9. Let c be j(r). Let z = 29 - c. Does 12 divide z?
False
Suppose 5*h + 2 = 4*m - 21, -2*h - 6 = 0. Suppose -16 = m*i - 0. Let c = i + 79. Does 14 divide c?
False
Let z(u) = 3*u**2 + 23*u + 14. Let n be z(-7). Suppose n = -v - 2*d + 92, 3*v - 5*d = 4*v - 107. Is v a multiple of 20?
False
Let v = -1148 - -1216. Does 19 divide v?
False
Let l = 36 + -13. Let j = 15 - l. Is 3 a factor of (-48)/j + 2/2?
False
Let g(m) = -2*m**2 - 4*m - 10. Let h(c) = 3*c**2 + 0 + 16 + 9*c + 3. Let x(r) = -5*g(r) - 3*h(r). Is x(9) a multiple of 6?
False
Suppose u = -5*v + 120, u + 455 = 6*u - 4*v. Suppose 5*h = -13*z + 12*z + 95, 0 = -5*h + 4*z + u. Does 3 divide h?
False
Let p = 4 - -2. Let n = 26 - p. Does 20 divide n?
True
Let u = -10 + 48. Suppose -2*i + 148 = u. Does 11 divide i?
True
Let k(n) = -n**3 + 63*n**2 - 366*n + 104. Does 10 divide k(56)?
True
Let p(n) = -141*n**2 + n - 6. Let a(r) = 282*r**2 - 3*r + 11. Let m(i) = 3*a(i) + 5*p(i). Is 14 a factor of m(1)?
True
Is 9 a factor of (-1024)/(-6) + (5 + -1)/12?
True
Let q(h) = h**2 + 12*h - 8. Let a be (-2)/(-4) + (-44)/(-8). Is q(a) a multiple of 20?
True
Let d = 111 + 452. Does 20 divide d?
False
Suppose -5*v = 4*p - 4624, -9*v + 12*v - 2776 = -4*p. Is v a multiple of 66?
True
Let d(m) = -4*m + 487. Is d(8) a multiple of 13?
True
Suppose -z - 8*z + 630 = 0. Does 6 divide (18/2*1)/(10/z)?
False
Let j = -55 - -101. Suppose -107 = -5*v - 2*s, 2*v + 3*s + s - j = 0. Is 7 a factor of v?
True
Does 12 divide 2550/20*3*10/9?
False
Does 13 divide (442/119)/(2/658)?
True
Let z = -21 - -21. Suppose z*y + 36 = -2*y. Let a = 86 + y. Does 14 divide a?
False
Let g = -6 - -12. Let j be -177*(40/g)/5. Is 12 a factor of (-4)/(-10) + j/(-10)?
True
Suppose 1086*g - 1077*g = 1152. Does 8 divide g?
True
Suppose 1426*w - 11640 = 1418*w. Does 53 divide w?
False
Suppose 40*v - 22*v - 2772 = 0. Does 25 divide v?
False
Let f = 8 - 5. Let j(u) = u**3 - 2*u**2 + 3*u + 1. Let g be j(f). Let c = -14 + g. Is c even?
False
Does 57 divide 4332*(9 + (-210)/24)?
True
Let n(p) = p**2 + 11*p + 8. Let z be n(-11). Suppose -3*m = -z*m + 495. Is 39 a factor of m?
False
Let b(n) = -n**3 + 15*n**2 + 21*n - 39. Is b(16) a multiple of 15?
False
Let n = -24 - -26. Suppose 0 = -n*r - 2*r + 308. Is 23 a factor of r?
False
Let u be -17 + 2 + (-3)/1. Let c = u + 38. Does 12 divide c?
False
Suppose 4*t - 2*n - 180 = 1392, 0 = -2*t - n + 790. Suppose 0*p = p + 3, 4*p + t = c. Does 13 divide c?
False
Suppose -66*k + 68*k = -2, 1288 = 3*y - k. Is y a multiple of 11?
True
Let y(a) = 2*a**3 + 17*a**2 - 17*a - 158. Is y(-7) a multiple of 4?
True
Suppose -4*k + 137 = -3*s, -5*k - 5*s + 145 = -0*s. Suppose -3*y - 16 - k = 0. Does 5 divide 1 - 1 - (y + 8)?
False
Let t be 798/24 - (-3)/4. Suppose -50 = -3*g + t. Is g a multiple of 7?
True
Suppose t + 319 = 2*o - 1162, 5*t + 2225 = 3*o. Is o a multiple of 10?
True
Suppose -292 = -22*a + 21*a. Does 9 divide a?
False
Let w be 272/(-51)*3/2. Is 15/20 + (-178)/w a multiple of 9?
False
Suppose -13*p + 12 = -10*p. Suppose q - 91 = 61. Suppose 2*r - 6*r + j = -q, 114 = 3*r + p*j. Is r a multiple of 17?
False
Suppose 3*c = -z - 0*z + 10, 72 = 3*z - 5*c. Does 5 divide z?
False
Let f = 68 + 4. Suppose v - 4*p + 6*p - 36 = 0, -3*v = -3*p - f. Is 17 a factor of v?
False
Suppose 4*q + 4*m - m - 75 = 0, 0 = -4*q + m + 55. Is 30 a factor of q/(-1)*1*-4?
True
Let d be 4/(-8)*-6 - 3. Suppose -4*p - 2*o + 22 = d, -5*p - 4*o = -3*p - 26. Suppose p - 27 = -h. Is 6 a factor of h?
True
Suppose 6*y - 3 = 9. Suppose 476 = -a + 6*a - y*t, 106 = a + 5*t. Does 12 divide a?
True
Suppose -3*l + 3*h + 334 + 824 = 0, l + 4*h = 411. Is 23 a factor of l?
True
Let f(k) = 251*k + 110. Does 22 divide f(6)?
False
Let s = 2765 + -599. Does 64 divide s?
False
Let l(j) = j**2 + 14*j + 2. Let y be l(-12). Let z = -17 - y. Suppose z*x - 8 = 22. Is x a multiple of 3?
True
Suppose 2*q + 4 = 2. Let l be q + 8/4 + -331. Does 7 divide l/(-24) - (-2)/8?
True
Let i = -13 - -13. Suppose -4*d + 94 + 82 = 0. Suppose 3*a - d - 91 = i. Is 28 a factor of a?
False
Suppose -12*h + 7*h + 25 = 0. Let j = 47 - h. Is 14 a factor of j?
True
Let b(k) = 61*k**2 - 1. Let a(y) = y**3 + 17*y**2 + 17*y + 15. Let r be a(-16). Let f be b(r). Suppose -5*g + f = -g. Is g a multiple of 5?
True
Let p(h) = -67*h + 4. Is p(-1) a multiple of 16?
False
Let i(k) = -k**2 - 78*k + 238. Does 21 divide i(-43)?
True
Suppose -100 + 28 = -2*k + 5*s, -2*k - s + 96 = 0. Is 23 a factor of k?
True
Let j = -74 + 454. Is 20 a factor of j?
True
Does 90 divide 787*(-12)/(-8)*(-18)/(-27)?
False
Suppose -v + 3*v = -18. Let j(b) = 2*b**2 + 15*b + 1. Is j(v) a multiple of 7?
True
Suppose -6*n - 84 = -120. Suppose -1068 = -n*b + 336. Is 26 a factor of b?
True
Let c(d) = -53*d - 3. Let p be c(2). Let v = -44 - p. Is 40 a factor of v?
False
Let w(h) = 2*h**2 + 4. Let q(j) = -j**3 - j**2 + j. Let y(x) = -3*q(x) - 3*w(x). Does 13 divide y(5)?
True
Suppose 57 + 1 = -2*n. Is 8 a factor of -2 - 0 - (n + -2)?
False
Suppose -10*d = -4*d - 12. Suppose -d*k - 4*c = -12, k + 0*c + 4*c - 2 = 0. Is 10 a factor of k?
True
Suppose 4*r = -6*r + 2480. Is r a multiple of 6?
False
Let j(y) = 3*y**2 + 11*y + 40. Is j(-9) even?
True
Suppose -2243 = -4*g - 3*a, 0 = -2*g + 2*a + 1328 - 210. Is g a multiple of 4?
True
Let n be -9 - (2 - (-1 + 3)). Let z(a) = a**2 + 7*a - 15. Let k be z(n). Suppose -k*y - 280 = -8*y. Is 14 a factor of y?
True
Suppose -9 = -4*j + 3. Let g(o) = -o**3 + 3*o + 5. Let c be g(0). Suppose 3*f - 46 = -4*v + 2*v, -j*f - c*v = -52. Does 8 divide f?
False
Let x(o) = -2*o**3 - 5*o**2 - 3*o. Let c be x(-2). Suppose c*h - 3 = 27. Does 15 divide h?
True
Let u(v) = v**3 + 7*v**2 + 4*v - 8. Let p be (6/7)/((-4)/28). Let f be u(p). Suppose 140 = f*y - 4*j, -4*y + 3*j = -9*y + 151. Does 6 divide y?
False
Suppose 0 = 10*w - 7*w - 207. Suppose -l + 5*d = -w, l + 0*d + 4*d - 60 = 0. Is l a multiple of 16?
True
Let x be (-4 - 2)/(6/(-4)). Suppose 5*s + 0*s + 53 = x*j, -2*s = 3*j - 57. Suppose 31 = 4*h - j. Is h a multiple of 7?
False
Suppose 4*x - 906 - 414 = 0. Is 11 a factor of x?
True
Suppose 0 = 5*q - 3*x - 3786, -2*q - 5*x + 317 = -1185. Does 14 divide q?
True
Suppose 4*b - 112 - 24 = 0. Suppose -4*n - 6 = -b. Let z = n + 58. Is 15 a factor of z?
False
Let a(u) = -u**3 + u**2 - 2*u + 1. Let f be a(-2). Let g = f + -12. Is g a multiple of 4?
False
Suppose k - 12 = -2*k. Suppose -4*t + k*h = -16, 4*t + 0*h - 4 = h. Suppose -5*n + 4*p = -57, 4*n + t = -5*p + 21. Is 5 a factor of n?
False
Let z be 9681/42 - (-1)/2. Let d = 44 - z. Let q = d - -292. Does 21 divide q?
True
Let c(g) = 4*g**2 + 13*g + 17. Does 14 divide c(-9)?
True
Let s(n) = n**3 + 5*n**2 + 10. Let i be s(-5). Let f(r) = r**3 - 10*r**2 + 10*r - 17. Is f(i) a multiple of 18?
False
Let i(m) = -8 + 14*m - 11 + 3 + 3. Let k be i(11). Let a = -93 + k. Does 12 divide a?
True
Let j(b) = -15*b - 2 - 5*b**2 - 19*b**2 - 2*b - b**3 - 10*b. Is j(-23) a multiple of 4?
False
Does 15 divide -1*110/(-11)*54/4?
True
Let t = 21 - 17. Let y(s) = 5*s. Is y(t) a multiple of 20?
True
Suppose -21 - 19 = -4*o. Is 3 a factor of o/(-8)*(-84)/7?
True
Let t be (7/(-28))/((-2)/16*2). Let w(d) = 102*d**3 + 2*d**2 - 1. Is 27 a factor of w(t)?
False
Suppose -5*b + 0*b - 3469 = -4*o, 2*o + b - 1717 = 0. Does 35 divide o?
False
Let l be (-6)/(-14) - (-8388)/28. Let k = 425 - l. Suppose 34 = 2*j + 4*h, -2*h + 16 = -5*j + k. Is 10 a factor of j?
False
Let g = 28 - 21. Suppose -2*z + g*h = 2*h - 67, 58 = 2*z - 2*h. Suppose z = 4*m + 2. Does 3 divide m?
True
Let w(c) = -c**3 - 5*c**2 + 2*c + 4. Suppose 0 = -4*v - 0*v - 24. Let h be w(v). Suppose -3*d + 76 = 2*z, -4*z - h = -d + 16. Does 14 divide d?
True
Let b(r) = -24*r - 16. Let u be b(-2). Is 6 a fact