 a?
True
Let t be (-43)/(-1) + (-2 - -3). Suppose 1 = -2*u + 9. Let w = t + u. Is w a multiple of 4?
True
Suppose -11358 = -12*v + 48630. Does 81 divide v?
False
Suppose -28 - 132 = -32*w. Suppose -g = -3*m - 2*g - 86, 5*m - 2*g + 136 = 0. Does 2 divide 32/w*(-70)/m?
True
Let o(z) = -165*z - 104. Is 7 a factor of o(-5)?
True
Let q = 57 - 96. Let k = 171 + q. Suppose -47*n = -50*n + k. Is 11 a factor of n?
True
Let w(y) be the third derivative of -y**6/120 + 7*y**5/30 - 13*y**4/24 + 7*y**3/6 - 6*y**2. Let h be w(5). Let f = -68 + h. Is f a multiple of 33?
True
Let u(x) = -7 + 10 + 2*x**2 - 3*x**2 + 16*x + 8*x. Let d be 3655/255 - (-2)/3. Is u(d) a multiple of 11?
False
Suppose 0 = -2*u + 3*u + 3791 - 14475. Is u a multiple of 65?
False
Let j = -55 + 100. Let a = -1 + j. Let o = 57 - a. Is 13 a factor of o?
True
Suppose 0 = -3*y + 11 + 16. Let u = 648 + -657. Does 14 divide 3/u - (-201)/y?
False
Let z = -6375 - -12227. Is 133 a factor of z?
True
Suppose 29*a = 236 + 924. Does 5 divide a?
True
Is 52 a factor of 4/(76/(-95)) - (2 + -37373)?
False
Suppose 0 = -9*l + 36. Suppose 0*z - 58 = -2*u + l*z, 56 = 2*u - 5*z. Is 3 a factor of u?
True
Let m(x) = x**2 + 24*x - 58. Let a(f) = f - 37. Let z be a(3). Is m(z) a multiple of 8?
False
Does 8 divide (-4913)/(-5) + (-14)/(-35)?
False
Let c be (-1)/2 - 3/(-6). Suppose -69 = -2*t - 3*i + 4, c = 2*t - 5*i - 49. Does 3 divide t?
False
Let w(d) = 111*d**2 - 22*d + 136. Is w(6) a multiple of 80?
True
Let l be (-660)/84 + (-6)/(-7). Let h(m) be the second derivative of -m**5/20 - 2*m**4/3 - 3*m**3/2 - 5*m**2 - 2*m. Is h(l) a multiple of 2?
True
Let a(q) = 433*q + 123. Let o be a(-3). Let c = -434 - o. Does 53 divide c?
True
Let m(t) = -63*t + 3. Let z(p) = 190*p - 10. Let v(l) = -20*m(l) - 6*z(l). Let f be v(2). Suppose 2*i - 6*i = -f. Is 12 a factor of i?
True
Suppose 0 = -4*r + 2*f + 1402, r - 48*f = -47*f + 349. Is 11 a factor of r?
True
Let d(u) = 151*u**2 + 27*u + 2. Is d(2) a multiple of 15?
True
Let p(g) = -28*g - 529. Let k be p(-19). Let v = 3 - -3. Suppose 2*f + 506 = 3*n, -11*n - k*f + 837 = -v*n. Does 16 divide n?
False
Suppose 0 = 5*o - 2*p - 14026, 298*p = 4*o + 302*p - 11260. Is o a multiple of 72?
True
Suppose 0 = -2*l + 45 - 41. Let x be 9/l - 4/(-8). Suppose x*w - 1500 = -7*w. Is 12 a factor of w?
False
Let n(s) = -s**3 + 14*s**2 - 33*s - 17. Let p be n(15). Let w = p - -1229. Does 41 divide w?
True
Let j be (-2 - 7*-2)/((-21)/238). Let b = j + 18. Let s = b - -252. Is s a multiple of 44?
False
Let f(k) = -k**3 - 6*k**2 - 7*k - 6. Let z be f(-5). Suppose -4*g - 3*x + 1 = -6*x, -12 = 2*g - z*x. Let p = g + 14. Is 3 a factor of p?
True
Let h(k) = -40*k**3 + 5*k**2 - 44*k - 174. Is 33 a factor of h(-5)?
False
Let k(o) = -48*o**2 + o. Suppose 0 = -0*x - 3*x + q + 6, -5*x - 10 = 5*q. Let a be k(x). Let w = 139 + a. Does 14 divide w?
False
Suppose -25*w - 2*u + 81402 = -19*w, w - 3*u = 13557. Does 45 divide w?
False
Suppose 463 = -4*s + 1831. Suppose 71*j - 76*j = 535. Let u = s + j. Is u a multiple of 47?
True
Let l(q) = 3*q + 21. Let f(n) = n**3 - 6*n**2 - 14*n - 13. Let x be f(8). Let z = -3 + x. Is l(z) a multiple of 3?
True
Let d = 245 + -242. Suppose 5*o - 5778 + 1386 = -2*u, 0 = -d*o - u + 2636. Does 11 divide o?
True
Let l(t) = 5*t - 64. Let w be l(18). Does 63 divide 226*(-4)/6*(-39)/w?
False
Let p be 48/10 + (-13)/(-65). Suppose -4*h + 5*h - p = 0. Let m(f) = f**3 - 6*f**2 + 10*f - 12. Is m(h) a multiple of 13?
True
Let z(o) = o - 7. Let d be z(-4). Let n = 5 + d. Is 7 a factor of 1692/28 + n/14 - 1?
False
Suppose 0*x - 12 = -3*x. Suppose -f - 4*p - 12 = 0, -x*f + 0*f - 4*p = 0. Suppose 0 = 2*c + s - 17 - 46, -2*c = -f*s - 58. Is 7 a factor of c?
False
Let m(p) = p**3 - 8*p**2 + 12*p + 4. Let a be m(4). Let j(y) = -y**3 - 11*y**2 - 2*y + 24. Is j(a) a multiple of 6?
True
Suppose -232*p + 1836655 = -1888801. Does 26 divide p?
False
Let g be (-382)/6 + 2/(-6). Let s = g + 66. Suppose -4*k + 97 = -5*m, -s*k + 0*m - m = -45. Does 12 divide k?
False
Suppose -5*g = -2*g + 2*f + 483, 5*g + f = -812. Let l = 281 + g. Is 11 a factor of l?
False
Is (-52253)/(-5) - 822/1370 a multiple of 5?
True
Let w(p) = 8*p + 36. Let i be w(-6). Let k be (2/(i/(-9)))/(9/96). Suppose -341 = 5*q - k*q. Does 4 divide q?
False
Suppose 4*g = 4*v - 3985 - 4015, -g = 5. Suppose 91 = -4*r + v. Is 28 a factor of r?
True
Suppose 0 = 68*t + 27*t - 149530. Does 15 divide t?
False
Let x = -562 - -806. Let n = x - 148. Is n a multiple of 3?
True
Is 7 a factor of (-3)/((-9)/(-6615)*-7)?
True
Suppose 21*x + 4*x - 343650 = -54*x. Is 2 a factor of x?
True
Suppose -3*n + 2454 = -5*x - 3920, 2*x = -3*n + 6367. Is 3 a factor of n?
False
Let v = 4630 + -2766. Suppose -304 = 13*i - v. Is i a multiple of 12?
True
Let r(m) = 41*m - 12. Let w be r(7). Suppose -w = -5*b + 285. Suppose -5*n + b + 83 = 0. Is 13 a factor of n?
True
Suppose -242*h + 3276477 - 492535 = -2724220. Is 31 a factor of h?
False
Suppose 0 = -48*t + 43*t. Suppose -12 = 5*a + r - 31, 5*a + 5*r - 15 = t. Suppose 10 = a*q - 2*q. Is 3 a factor of q?
False
Let x be 24/(-9)*(-7)/(14/(-93)). Let q = 92 + x. Is 18 a factor of 12/q*-46*16?
False
Suppose 3*q = 7*q - z - 24, 2*z - 18 = -3*q. Let y = -1 + q. Suppose 5*x + c - 565 = 4*c, 0 = y*x + c - 545. Is x a multiple of 11?
True
Suppose -497 = -22*n - 79. Let h(d) = 55*d + 56. Does 14 divide h(n)?
False
Suppose 445 + 652 = 2*y + 5*z, 3*y - 2*z - 1693 = 0. Suppose -42*o + y = -39*o. Does 5 divide o?
False
Let q = 30 + -30. Suppose q = -11*s - s. Suppose 67*n - 72*n + 420 = s. Is 28 a factor of n?
True
Let n(q) = -843*q - 2468. Is n(-8) a multiple of 36?
False
Does 66 divide (-19)/((-95)/18048) + (-8)/(-20)?
False
Let p be ((-1)/(-2))/(1/2). Let y(w) = 0*w - 18131*w**3 + 9092*w**3 - w + 1 + 9107*w**3 + w**2. Is 23 a factor of y(p)?
True
Let k(s) be the second derivative of -13*s**3/3 - 3*s**2 - 106*s. Does 12 divide k(-3)?
True
Let c be -4 - -48 - (-15 - -13). Suppose y - 116 = -3*t, -2*t + c = -2*y - 42. Does 20 divide t?
True
Let p be (-648)/(-270)*(-10)/(-6). Suppose n = p*g + 832, 3*n = 4*g + 284 + 2252. Does 6 divide n?
True
Let k(s) = -30112*s + 2 + 30091*s + 41*s**2 - 24*s**2. Let t = -2 - -6. Does 30 divide k(t)?
False
Let i be 441/84 + 2/(-8). Suppose 10*y + i*s - 265 = 5*y, 5*s = -4*y + 216. Let j = -23 + y. Is j a multiple of 5?
False
Let x = -226 - -238. Suppose -8*a + x*a - 60 = 0. Is a a multiple of 7?
False
Does 10 divide 1007/((9/(-8))/(-9)) - (-12)/3?
True
Suppose 6*s = 7*s + 3. Let h be (-75*10/15)/(s/3). Suppose 0 = -i - n - n + 53, i = -3*n + h. Is i a multiple of 14?
False
Suppose -25 = 3*l - 8*l. Suppose 2*o + 30 + 100 = -4*y, 4*o = l*y + 182. Let a = -18 - y. Is 11 a factor of a?
False
Let s(z) = -3*z**3 + 5*z**2 - 4*z - 3. Let a be s(3). Let u = 56 + a. Suppose 6*k = 4*j + 3*k - 377, 417 = 4*j + u*k. Is j a multiple of 39?
False
Suppose 5 = r - 2*r. Let w be 216/36 + (-1 - -3*4/(-3)). Is -1 + w - r/1 a multiple of 3?
False
Let u(k) be the first derivative of -11*k**4/2 + 60. Is 35 a factor of u(-2)?
False
Let l(n) = -n**2 - 11*n + 22. Suppose -5*p - 235 = 2*s + 21, -5*s = p + 65. Let r = p - -41. Is l(r) a multiple of 11?
False
Suppose 0*t + 32*t - 128 = 0. Let k(v) = 14*v**2 - 11*v + 34. Is 3 a factor of k(t)?
False
Suppose 7*u = 10*u - 138. Suppose -6*h = -u + 16. Suppose 0 = 2*r - h*n - 203, 3*n + 5 = 4*n. Does 6 divide r?
True
Let k = -532 - -571. Suppose -k*t + 27880 = -19*t. Does 34 divide t?
True
Suppose 4*r - 4 = 0, -2*n + r + 21 - 70 = 0. Does 16 divide (n/21)/2 + 4356/77?
False
Let b(u) = -u**3 - 2*u**2 + 4*u + 1. Let f be b(-4). Suppose f*r - 11*r = 1440. Is r a multiple of 34?
False
Let f(m) = 7*m - 47. Let l be (-4 + 78/18)*51. Is f(l) a multiple of 6?
True
Let d = -2013 - -2077. Is d a multiple of 11?
False
Suppose -85*u = 58*u - 47*u - 607968. Is u a multiple of 25?
False
Suppose -410 = -4*z + 3*k, -3*z + 513 = 2*z - 4*k. Suppose -20 = -5*n, -2*n + 182 = 5*q - z. Suppose -150 + q = -5*y. Is y a multiple of 2?
False
Let y = 8649 - 4969. Does 16 divide y?
True
Suppose 2*q - 13*q + 44 = 0. Suppose q*l - 6*l + 2*c = 6, -c = 0. Does 27 divide l*(1/(-1) - 26)?
True
Is 17 a factor of (-16 - 9 - -15)/(2/(-727))?
False
Suppose f = -4*d + 31636, -5*f - 2*d + 249778 - 91562 = 0. Is f a multiple 