*w + 204 = -3*i. Is w a multiple of 5?
False
Is 15 a factor of (-18)/45 + 66/15 + 610?
False
Let r = -9 - -10. Let j be -1 + r + 5 + -1. Suppose 3*u - j*y - 223 = 0, 2*u = 4*u + 2*y - 144. Is 15 a factor of u?
False
Let y = 1029 - 282. Is y a multiple of 12?
False
Let r(a) = -83*a + 13. Is 12 a factor of r(-1)?
True
Suppose 2*p - 46 = -2*d, -p + 0*p + 101 = 4*d. Suppose 68 = -3*y - y. Let g = y + d. Is g even?
False
Let h(t) = -t - 6. Let g be h(-4). Let w be (g - -30)/4*1. Suppose 5*j - 2*u = 89, -4*j - 51 = -w*j + 2*u. Is j a multiple of 19?
True
Let k(x) = -7*x**3 - 4*x**2 - 10*x + 3. Let b(l) = 6*l**3 + 4*l**2 + 9*l - 2. Let r(m) = -6*b(m) - 5*k(m). Let z be r(-2). Does 34 divide 111 - ((-2 - -8) + z)?
False
Let k be 4*-3*4/(-24). Suppose k*x - 18 = 50. Is 17 a factor of x?
True
Let j be -4*3/(-30) - 463/(-5). Let m = -6 + j. Is m a multiple of 19?
False
Let g = 36 - 37. Let y = 35 - g. Is 9 a factor of y?
True
Suppose 6*q - 16 = 2*q. Suppose -4*v + 3*z = -27, 7*z = -2*v + 3*z - 14. Suppose -33 = -d - q*x, 0*x + v*x + 22 = 2*d. Is d a multiple of 3?
False
Let p = 119 + -53. Suppose -g = -0*g - p. Does 37 divide g?
False
Suppose 3*q + c - 5*c = 27, -q = 4*c + 7. Suppose -2*o + 0*n - 4*n + 6 = 0, 2*o + q*n = 8. Let d(p) = 32*p**2. Does 16 divide d(o)?
True
Suppose 6*a + 23 - 11 = 0. Does 33 divide a/12 - (5950/(-12))/5?
True
Suppose 2*k + 2*l = 7*l + 4010, -l + 3998 = 2*k. Does 25 divide k?
True
Suppose u + 5*c = 25, 4*c + 5 = u + 25. Let g(x) = -x**2 + 8*x + 11. Let w be g(9). Suppose w*p + u*p = 60. Does 5 divide p?
True
Suppose 1050 = 38*o - 33*o. Does 10 divide o?
True
Suppose -n = -z - 53, -5*n + n = z - 217. Let b = n - -56. Does 55 divide b?
True
Let o(y) = 112*y - 13. Let p be o(6). Suppose 7*d - p - 580 = 0. Is d a multiple of 59?
True
Suppose -3*h + 2*x + 16224 = 0, -33*h - 4*x - 10816 = -35*h. Is 104 a factor of h?
True
Let r(b) = b**3 - 23*b**2 + 6*b - 84. Is 12 a factor of r(24)?
True
Let z = -123 + 128. Suppose -3*d + 2*w - 517 = -6*d, z*d - 5*w = 845. Is d a multiple of 8?
False
Let z be (-9)/(-18) - 30/(-4). Suppose -z*l = 5*l - 2340. Does 47 divide l?
False
Suppose 18 = 8*q + q. Let p = -3 + 5. Suppose q*a - 5*t - 96 = 0, 1 + 143 = 3*a - p*t. Is a a multiple of 11?
False
Suppose -93 - 819 = -4*n. Does 12 divide n?
True
Let h = -20 - -21. Let u be 2/3*(4 - h). Is 9 a factor of 4*(4 + 6 - u)?
False
Suppose 4*g - 2*y = -6*y - 4, -g = -y - 1. Suppose -18 = l - 5*d, 3*d - 12 - 6 = -3*l. Suppose -q + l*q + t = 13, g = q - 2*t - 28. Does 18 divide q?
True
Suppose 4*k - 41 = 4*x - 9*x, -2*x = -k - 6. Suppose 29 = -k*h - 5*j, -3*j - 19 = h + 3*h. Is 10 a factor of (0 + -4)*h - -32?
False
Let j be 5 + 1 + -4 + 3. Suppose r - 4*f + 15 = 0, f = j*r - 0*f - 20. Suppose 3*s - 164 = -4*q, 0*s - 4*q = r*s - 260. Does 16 divide s?
True
Let l = 21 + -25. Let t = l + 7. Does 14 divide ((-63)/(-6))/(t/24)?
True
Suppose -4*c - 4*o + 4 = 0, 2 = -0*c - c - 2*o. Suppose -9 = z - c*z. Is 3 a factor of z*(-12)/9 - -9?
False
Let u be 66/14 - (-6)/21. Suppose g - 5 + 1 = 0. Suppose 5*x - 52 = -4*r + u, -g*x = -4*r + 84. Is 5 a factor of r?
False
Let s be 3 - ((-11)/(-11))/((-1)/(-3)). Suppose s*q - 861 = -3*q. Is 24 a factor of q?
False
Suppose -5*g + 3 = 2*a - 2, 0 = 4*g - 20. Let l = -7 - a. Is 59*l*3/9 a multiple of 15?
False
Is 18 a factor of (9780/(-22))/(-6) - (-6)/(-66)?
False
Let w(z) = 179*z**2 + 2*z - 2. Let m be w(1). Let v = 305 - m. Does 18 divide v?
True
Does 7 divide (12/(-8) - -2)*(393 + 1)?
False
Let v(h) = 12*h - 120. Does 3 divide v(27)?
True
Does 19 divide 11892/18 - 2/3?
False
Let n(p) = -2*p**2 + 146*p - 30. Does 9 divide n(15)?
True
Suppose -6 = 8*n - 9*n. Suppose -n*i = -i - 10. Suppose o - 30 = -i. Is 9 a factor of o?
False
Let q(m) = m - 4. Let w be q(6). Suppose -14 = -2*z + w*b, 28 = 3*z + z + 3*b. Suppose -45 = z*t - 8*t. Is 9 a factor of t?
True
Let n(d) = 10*d**2 + 2*d - 11. Is 17 a factor of n(7)?
True
Suppose 8438 = 5*l - 5*c + 873, 7574 = 5*l - 2*c. Is 74 a factor of l?
False
Suppose 4*s - 80 = -t - 3*t, t + 130 = 5*s. Let v = s + 4. Suppose 2*p = -5*g + 54, -4*p + 19 + v = 4*g. Does 10 divide g?
True
Suppose 104*v = 29*v + 98625. Is v a multiple of 89?
False
Let c be (4/2 - 31)/1. Let y(n) = 2*n**2 - 24*n - 2. Let m be y(12). Let v = m - c. Does 13 divide v?
False
Suppose 3 = -3*b + 39. Suppose b*l - 14*l = -52. Let c = 65 - l. Is 7 a factor of c?
False
Suppose 3*n + 2*w = 150 + 4143, -5724 = -4*n - 5*w. Let u = 23 + -19. Is 13 a factor of n/36 + 1/u?
False
Let b = -32 - -37. Suppose -121 = -b*f + 34. Suppose f = 9*t - 8*t. Is t a multiple of 12?
False
Let a(d) = d**2 - 6*d - 3. Let c be a(6). Let o be 25 + (c - (-1 - 1)). Suppose j = -j + o. Does 4 divide j?
True
Suppose f + 2*b = 3, -f + 3*f - 3 = -5*b. Suppose f*k - 1545 + 492 = 0. Does 15 divide k?
False
Suppose -8 = -6*a + 16. Suppose 97 = 2*b + a*s - 51, -5*s = b - 89. Does 10 divide b?
False
Let x be 5 + (-10)/25*-5. Is 1540/16 - ((-7)/(-4))/x a multiple of 16?
True
Suppose 0 = 3*x - 4 - 11. Let t be (-22 - -25)*(-22)/(-3). Suppose -x = -j + t. Does 13 divide j?
False
Suppose 1715 = 3*k - 5*w, 16*w - 10 = 14*w. Is 20 a factor of k?
True
Let x = -22 - -27. Let n = 8 - x. Suppose -5*j + 345 = -3*d, n*d = -j + 3 + 48. Does 33 divide j?
True
Suppose -7*h + 6*h + 4 = 0. Suppose h*r - 2*r - 68 = 0. Is 2 a factor of r?
True
Does 10 divide -1*(9 + (-594)/9)?
False
Let z be 10*3*4/(-3). Is 4 a factor of ((-2)/5 - 0)*z?
True
Is ((-92)/(-6) - (-3)/(-9)) + 4 even?
False
Let m(j) = 8*j**2 + j + 1. Let d = 23 + -21. Let k be m(d). Let h = k - 10. Is h a multiple of 18?
False
Let f = 12 + -4. Let n = -123 - -111. Let m = f - n. Does 8 divide m?
False
Suppose 306 = 61*m - 58*m. Let i = m - 85. Is i even?
False
Let t = -92 + 207. Let d = t + -81. Is 17 a factor of d?
True
Let d = -1 - 7. Does 20 divide (-1 + d)*120/(-10)?
False
Let j be 3/(-6) + 1053/(-2). Let d be j/(-68) + (-1)/(-4). Suppose -2*x + 3*z = d*z - 7, -2*z = x - 6. Does 4 divide x?
True
Let x(w) = 11*w**3 - 3*w**2 + 3*w - 1. Let m be 3/(-9) + 46/(-6). Let q = -6 - m. Is 27 a factor of x(q)?
True
Suppose -x - 3*x + 4*y + 12 = 0, 2*x - 6 = -5*y. Suppose x*l = l - 2. Is 10 a factor of 48 + (0/(-2))/l?
False
Let b = 7 + 3. Suppose b*s = 11*s - 96. Is s/14 - 8/(-56) even?
False
Is 14 a factor of -6*42*(-2)/4?
True
Let x = 212 + -208. Suppose -6*i + 656 = -2*i. Suppose -16 = -x*w + i. Does 15 divide w?
True
Suppose -4*i = -3*h + 156, -5*i + h = 12 + 183. Let u(g) = 2*g**2 + 12*g + 27. Let d be u(-8). Let v = i + d. Is v a multiple of 7?
False
Let m(s) = 2*s + 15. Let u be m(-12). Let o be 48/u - (-4)/(-6). Is (172/o)/(14/(-21)) a multiple of 17?
False
Suppose 2*l - 4*o - 39 = l, 5*o - 66 = -3*l. Suppose 5*d + 98 = -l. Let u = d - -53. Is 14 a factor of u?
True
Suppose -g = 2*o - 13, -g + 3 = o - 5. Suppose 0*s + 30 = -g*s. Let u = 26 + s. Is 8 a factor of u?
True
Does 16 divide 278/(-4)*(9 - 110/10)?
False
Let u(l) = l**2 + 13*l - 20. Let r be u(-18). Suppose -2*c = -5*o - 65, -4*c + 3*c + 3*o + 30 = 0. Suppose m - r = -m - 3*g, -g = -m + c. Is m a multiple of 17?
False
Let w be (-75)/(-5)*(-8)/5. Does 31 divide (16/w)/(1*(-2)/426)?
False
Let z = 2716 + -1552. Does 5 divide z?
False
Suppose 3*t = -4*k + k + 24, -3*t = -4*k + 4. Suppose d - 2*d = k*g - 70, 5*g = -20. Is d a multiple of 30?
False
Is ((-198)/297)/(1/(-2760)) a multiple of 92?
True
Let h = 1547 - 847. Is h a multiple of 50?
True
Let g = 21 - 9. Let r be g/(-4)*(-2)/6. Let f(v) = 9*v + 3. Is 12 a factor of f(r)?
True
Let u(g) = -30*g - 197. Does 11 divide u(-15)?
True
Suppose 0 = -3*s + 41 + 13. Suppose p + s = 4*m, -5*p + 3 = m + 9. Does 11 divide -2 + 1 - (-30 - p)?
False
Let q be 3/((-15)/1240*-4). Let f = q + -26. Is f a multiple of 9?
True
Let p(j) = 8*j**2 - 158*j - 150. Does 15 divide p(36)?
True
Let f be 0 + 1 + -6 + 23. Suppose 0*q = 3*q + f. Does 6 divide (-20)/q*(-2 - -8)?
False
Let l(j) = j - 6. Let b be l(11). Suppose 2*u + 18 = b*u. Suppose -10*k = -u*k - 168. Is k a multiple of 14?
True
Suppose -5*r = 2*p + 10 + 8, 0 = -5*p - r - 22. Let l be (15 + p + 1)*7. Is 7 a factor of 30/(-4)*l/(-30)?
True
Let k = -163 + -11. Is k/8*(-56)/21 a multiple of 29?
True
Suppose -4*j = -t - 141, 3*t + 59 = 3*j - 58. Is (j/(-7) - 2)*175/(-10) a multiple of