3 + 7*a**2 + 5*a - 1. Let f be v(-6). Suppose 6 + 14 = f*u. Suppose d = -3*o + 129, -u*d - 9 = -d. Is o a multiple of 9?
False
Let x = 341 - 556. Let d = 249 - x. Is d a multiple of 8?
True
Let o(i) = i**3 + 18*i**2 + 19*i + 37. Let w be o(-17). Let g be 12/w - 2*2/2. Does 20 divide (((-110)/(-3))/g)/((-6)/(-18))?
False
Let s = -48 + 48. Suppose -2*k + 3*q = -10, 5*q = -s*k + 4*k - 24. Suppose -10*a - k = -1091. Is a a multiple of 16?
False
Is (-254)/4*(296 + -326) a multiple of 14?
False
Suppose 2*h = -5*k + 2*k + 85, -3*k - 5*h = -100. Let q = k - -8. Does 19 divide q?
False
Suppose 5*s - 607 = -2*l, l - 3*s + 1193 = 5*l. Suppose 0*k + l = 2*k. Suppose -7*f + k = -552. Is f a multiple of 25?
True
Suppose -126444 + 244641 = 321*f - 347253. Is 10 a factor of f?
True
Suppose 1303507 = 53*o + 204605. Is o a multiple of 71?
False
Suppose 915 = 6*o - 7815. Suppose -v - 1014 = -3*m, 4*m + 5*v + 103 = o. Does 38 divide m?
False
Let n = -7 - -17. Suppose 6*m - n*m = 0, 5*m + 25 = 5*i. Suppose -o = -i, -5*o - 469 = -2*c - 0*o. Is 24 a factor of c?
False
Suppose -8337 = -3*u - 3*w, -7937 = -3*u + 3*w + 394. Does 35 divide u?
False
Suppose 19*p + p = 148766 + 13374. Is 67 a factor of p?
True
Suppose 3122309 = 169*k + 131009. Is 19 a factor of k?
False
Suppose -10*f = -266 - 284. Does 37 divide 31086/f + 1/(-5)?
False
Let j = -125 - -151. Is 8 a factor of (-4)/j - (-20604)/78?
True
Let r(n) be the first derivative of 13*n**3/3 - 5*n**2 - 17*n - 12. Let v(f) = 7*f**2 - 5*f - 8. Let o(i) = 6*r(i) - 11*v(i). Does 52 divide o(11)?
True
Suppose 0 = -0*g - 3*g. Suppose g = q + 20 - 72. Let d = 159 - q. Is 7 a factor of d?
False
Suppose 98*q + 1041 = 101*q. Let w = q - 94. Does 4 divide w?
False
Suppose 5 + 2 = -r - 5*c, 5*c + 1 = 2*r. Let p(h) be the first derivative of 2*h**2 + 12*h + 114. Is 4 a factor of p(r)?
True
Suppose -6*h + 59 = -1. Suppose -1915 = -4*k + 5*z, 0*z + 2*z - h = 0. Let x = k + -231. Is x a multiple of 24?
False
Let o = 22635 - 8927. Is o a multiple of 23?
True
Suppose 2*c + 1440 = c - 4*l, 5*c + 4*l + 7120 = 0. Let x = -678 - c. Does 40 divide x?
False
Let m(j) = 2*j + 3. Let y be m(-3). Let l(r) = 2*r**2 + 3*r - 4. Let d be l(y). Suppose d*u = -4*o + 2*u + 248, -187 = -3*o - 2*u. Is 13 a factor of o?
True
Does 28 divide 1587 - ((-51)/3 + -2 + 10)?
True
Is 92 a factor of ((-1248)/(-156) - (-1 - 30651)) + -2 + 8?
False
Suppose b = 3*b - b. Suppose 8 = -b*c + 4*c. Suppose -2*g - 27 - 9 = -c*q, 5*q - 2*g - 84 = 0. Is 7 a factor of q?
False
Suppose -10*c + 13851 = -29*c. Does 10 divide 8*-1*c/18?
False
Let p = -82 - -201. Suppose 0*w = w - 5*u + 12, 4*w = 3*u - 48. Let y = w + p. Does 21 divide y?
False
Let f be 3*5/(-5) - -17. Let d(w) = -w**2 + 25*w - 45. Let k be d(f). Let a = k - -75. Is 23 a factor of a?
True
Suppose -6*d + 11*d = -4*g, 5*d - 2*g = 0. Suppose d = 3*t - 121 - 44. Does 22 divide t?
False
Let v = 160 - 149. Let k(g) = -g**3 + 13*g**2 - 18*g + 16. Is k(v) a multiple of 20?
True
Let p(s) = 2*s**2 + 35*s - 15. Let h = 82 - 100. Let w be p(h). Let x(l) = 37*l + 6. Does 9 divide x(w)?
True
Suppose 141*o = 138*o. Let m(h) = -h**2 + 385. Is 35 a factor of m(o)?
True
Let k = -91 - 164. Let x = k - -36. Let o = -61 - x. Is 11 a factor of o?
False
Let d = 7435 + -1303. Is d a multiple of 26?
False
Let b = -12297 - -20923. Does 38 divide b?
True
Suppose -439 = v + 57. Let q = v + 944. Suppose -4*y + p + q = -3*p, -4*y + 3*p = -453. Does 9 divide y?
True
Let r = -26 - 75. Let d = 191 + r. Is d a multiple of 18?
True
Let l(m) = 22*m + 198. Let y be l(-9). Suppose y = 30*p - p - 7888. Is 34 a factor of p?
True
Let q(z) = -42*z - 3065. Is 7 a factor of q(-74)?
False
Let v = -9197 + 9381. Is v a multiple of 4?
True
Suppose 107*d = 114*d - 18207. Is d a multiple of 9?
True
Does 59 divide ((0 + 6)/(3/(-10)))/((-28)/4130)?
True
Does 24 divide (16 - 1) + -12 + 1972?
False
Let r = 54 - 31. Suppose 2*h + 3*w = 17, -5*h - 4*w + 3*w = -r. Suppose -258 = -6*o + h*o. Is 13 a factor of o?
False
Suppose 4*c + 0*c = o + 31, 2*c = 5*o + 83. Is 18870/225 + (-2)/o a multiple of 39?
False
Let g(i) = i**2 - 20*i - 55. Let a be g(0). Is 285/(-6)*12/75*a a multiple of 19?
True
Suppose 5*b - 7 = 8, 0 = -3*z + 4*b + 2526. Is 4 a factor of z?
False
Does 6 divide 2/11 - 4991616/(-528)?
False
Let s = 36985 + -28017. Is 118 a factor of s?
True
Let j(c) be the first derivative of 15*c**4/4 - 2*c**3/3 - 5*c**2/2 + 6*c - 17. Is 12 a factor of j(2)?
True
Does 15 divide 224/42*(-2772)/(-8)?
False
Let o = -135 + 137. Suppose 0 = 2*n - z - 263, o*n - 4*z = 123 + 149. Does 13 divide n?
True
Let h(u) = -357*u - 3020. Does 5 divide h(-16)?
False
Let t(s) = -2*s**2 - s**2 + 3*s**2 + 3*s**2. Let c be t(1). Suppose c*i + u - 6*u = 21, -4*u = -5*i + 48. Is i a multiple of 4?
True
Let b be -39 + (2 + -1)/((-3)/(-9)). Let d = b + 39. Suppose d*a = 159 + 51. Does 14 divide a?
True
Suppose y - 5*y - 4*d - 96 = 0, 0 = 3*y - 2*d + 67. Let o(i) = -i**3 - 22*i**2 + 16*i - 12. Is 3 a factor of o(y)?
False
Let f(t) = -3*t + 8. Let i be f(6). Let c be ((-224)/21 + 6)*15. Let b = i - c. Is b a multiple of 20?
True
Suppose 233*p - 232*p - 294 = 5*t, 5*p + t - 1522 = 0. Let m(c) = -74*c - 2. Let s be m(2). Let a = s + p. Is 25 a factor of a?
False
Let k = 36 + -24. Let s be (-6 + k)*(1 - 0). Suppose 224 = -4*l + s*l. Does 14 divide l?
True
Suppose 3*p = -2*k + 32, 3*k = 2*p - 2 + 63. Is k a multiple of 5?
False
Suppose 2*d + 6*d = 16. Let j = -16 + d. Does 15 divide (-4)/(-2)*21/j - -61?
False
Let k = 10679 + 16759. Is k a multiple of 150?
False
Let y(o) = 28*o - 6 - 10*o - 5*o. Is 17 a factor of y(34)?
False
Does 17 divide (-1)/(-1) + ((-728)/(-28) - -296)?
True
Suppose 17*s = 20*s + 5*m - 1889, s + 4*m - 618 = 0. Let p = s + -255. Is p a multiple of 41?
False
Let u(s) = -603*s - 24. Let a be u(2). Let y = a + 1758. Is 66 a factor of y?
True
Let f(d) = -38*d - 12. Let z = -308 - -302. Is 27 a factor of f(z)?
True
Suppose -2*i = -3*y + 1532, -17*y + 15*y = -5*i - 1036. Is 17 a factor of y?
False
Suppose -119*d + 942640 = -42757 - 98455. Is d a multiple of 94?
False
Let a(f) = -3*f**2 + 10*f - 9. Let p be a(8). Let m = p + 433. Is m a multiple of 13?
True
Let l = -57 - -107. Suppose 0 = 3*s - l - 40. Does 6 divide s?
True
Suppose 0 = 12*s - 7*s + t - 10871, 2*s = -2*t + 4342. Suppose -151*k = -156*k + s. Does 44 divide k?
False
Let x = -126 - -130. Suppose -227 = -x*a + 277. Is a a multiple of 7?
True
Suppose 0 = 5*z + 2*q - 3727, -z - 233 = 3*q - 968. Is 15 a factor of z?
False
Suppose 0 = 2*s + 5*n - 0*n - 105, -4*s - 2*n = -234. Suppose -6*x - s = -4*x. Is 3 a factor of (-9)/x*-2 + (-268)/(-5)?
False
Let z(m) = -2*m**3 + 28*m**2 - 24*m - 23. Let a be z(13). Suppose -3*t + 141 = -a*u, 59*u = 3*t + 57*u - 139. Is t a multiple of 5?
True
Let o be ((-73161)/(-63))/(-11)*-7. Suppose 0 = o*c - 738*c - 654. Does 6 divide c?
True
Suppose -12*o = -16*o + 20, 0 = -k + 4*o + 4920. Does 52 divide k?
True
Let v = 19 + -11. Let t be 1*(7 - (-57 + -2)). Is v*-1*t/(-6) a multiple of 10?
False
Suppose -9184 = 13*l - 21*l. Suppose -8*g + l = -2732. Is g a multiple of 53?
False
Let f be 24/(-72) + 3270/9. Suppose -5*j = -2*j + 9, -3*j = -2*h + 11. Suppose 2*m = 3*y - 358, 3*y + 2*m + h = f. Is 9 a factor of y?
False
Let x = -21269 + 29670. Is x a multiple of 2?
False
Let r(h) = -2*h**3 - 16*h**2 + 17*h - 7. Let d be r(-9). Let i be (-1)/d - (-2230)/20. Let m = -75 + i. Is 6 a factor of m?
True
Let h(t) be the first derivative of 4*t**3/3 - t**2/2 - t + 52. Is 52 a factor of h(-5)?
True
Let m be (-6)/2 - (-10 + -5). Let c be ((-603)/(-4))/3*32/m. Let w = c + -47. Does 33 divide w?
False
Let a(q) = -q - 10. Let v be a(-11). Let y = v + 2. Suppose -f = -3*w + 65, -f = y*w + 2*w - 103. Does 4 divide w?
False
Let m(d) = -55*d + 22. Let s be m(5). Let i = s - -176. Let o = 178 + i. Is o a multiple of 17?
False
Suppose d = -z + 1341, 3*z + 1946 - 5966 = -4*d. Suppose 30*x - 38*x = -z. Does 8 divide x?
True
Is 30 a factor of 13244 + 108 + 1 + 1?
False
Let p = 5168 - 1757. Is p a multiple of 9?
True
Suppose 535*x = -3*h + 538*x + 7956, -2*x = 14. Is 5 a factor of h?
True
Let q be 3645/(-25) + -1*(-1)/(-5). Let h = 545 + q. Is 9 a factor of h?
False
Let h be -6 - -13*(-1 - -4). Does 47 divide h/88 + -2 + 12447/24