f 5?
False
Let l be (-10)/8 - -1 - 243/(-108). Let h be 587 - (l - 4/4). Suppose -396 = -5*n + 4*c + 341, 5*c + h = 4*n. Is n a multiple of 8?
False
Let x = -38 + 42. Let n be (0 + 0)/(0 + -1). Suppose x*c - 15 - 9 = n. Is c a multiple of 3?
True
Let p = -123 + 139. Does 3 divide 656/p + -2 + 8?
False
Let u(x) = x**3 + 14*x**2 - 6*x + 11. Suppose -l + 1 = -2. Let p be l*-1 - (-44)/(-4). Does 13 divide u(p)?
False
Let n(b) = 5*b**3 - 2*b**2 + 4*b - 4. Let v be n(2). Suppose 4*q = c + 20, 0*q - 5*c - v = -4*q. Suppose -1210 + 250 = -q*r. Is 24 a factor of r?
True
Suppose -y + 100 = 3*n, 2*y - 16*n - 240 = -14*n. Suppose y + 398 = 9*r. Suppose -33 - r = -5*i. Is i a multiple of 9?
True
Let n = -520 - -1328. Does 8 divide 55*1*-2*n/(-1010)?
True
Suppose 18*g - 1584 = 29*g. Let h = 182 + g. Does 2 divide h?
True
Let l = 1681 - 46. Is 15 a factor of l?
True
Let h be ((-75)/100)/((-3)/(-12)). Does 6 divide 3/(-1) + (-420)/(12/h)?
True
Suppose 2*u + 5*u - 70 = 0. Let p be ((-162)/(-12))/(1/u). Let r = p - 80. Is 9 a factor of r?
False
Does 31 divide (-1 + 6)*(-15283)/(-87)*(28 + 2)?
True
Suppose 0 = -4*h - 3*m + 27, 0 = -h - 4*h + 3*m + 54. Let c(a) = 10 - 20 + h + 25*a. Does 8 divide c(1)?
True
Let c be 9/36 - (-791)/4. Suppose 3*s - 744 = -2*n, 1314 = 3*n - 5*s + c. Is n a multiple of 62?
True
Let i = -11406 - -25610. Does 21 divide i?
False
Let j(f) = 2*f**2 - 10*f - 1. Let h = 28 - 15. Let q be j(h). Suppose 0 = 2*v + 3*l - q, 0*l + 15 = 3*l. Is 9 a factor of v?
False
Suppose -2*f + 3*y = -12, 0 = -3*y + 4*y + 4. Suppose -5*m + 3*m - 4*k + 2538 = f, 5*k + 10 = 0. Suppose -5*n - 353 + m = 0. Is n a multiple of 46?
True
Let r(y) = 15*y - 6. Let u be r(2). Is (u/(-9))/((-8)/588) a multiple of 5?
False
Let a = -6 + 6. Suppose -16*v + 3*v = -26. Suppose a = t + 3*y - 51, -3*t - v*y - 2*y = -178. Is t a multiple of 13?
False
Let i be 2/5*-1 - (-108)/45. Suppose g + 4*k = -29, 11 = -g - i*k - 12. Is 3 - ((g - 0) + 4) a multiple of 16?
True
Let z(g) = -g**2 + 11*g + 153. Let i(l) = 2*l**2 - 22*l - 303. Let m(n) = -2*i(n) - 5*z(n). Is 11 a factor of m(-18)?
True
Suppose -5*p = f - 1, 5*f - 5 = -0. Suppose 5*k + b - 27 = -3*b, k + b - 6 = p. Suppose -4*s = -k*s + 3*i - 118, 5*i + 126 = s. Is s a multiple of 11?
True
Suppose 0 = -5*u + 6*n - n - 440, u = -n - 84. Let l = 93 + u. Suppose 564 = -l*s + 13*s. Is 5 a factor of s?
False
Let x(b) = 60*b**2 - 1. Let h = -46 + 80. Let r = h - 33. Is 9 a factor of x(r)?
False
Let z(i) = 7*i**3 + 6*i**2 + 2*i + 2. Let f(h) = -2*h**2 - 44*h + 5. Let k be f(-22). Let y be z(k). Suppose -y = -13*g - 244. Is 27 a factor of g?
False
Let p(y) = -y**2 + 9*y + 1. Let k be p(9). Suppose 0 = 4*t - h + 35, -h - 10 = 12*t - 11*t. Let g = k - t. Is g a multiple of 10?
True
Suppose h = z + 1133 - 28, -3*z + 1129 = h. Is 11 a factor of h?
True
Let c(m) = -m + 9. Let f be c(2). Suppose -5*b + 332 = -f*b. Let d = -54 - b. Does 21 divide d?
False
Let j(o) = 49*o + 5. Suppose -5*n + 7 = -3. Is 5 a factor of j(n)?
False
Let y(m) = m**3 + 17*m**2 - 20*m + 24. Let p = -33 - -89. Let z be -14 - (208/p + (-2)/(-7)). Does 6 divide y(z)?
True
Let i be 18 + ((-12)/10)/(14/35). Suppose l - 7 = i. Suppose l = 2*g - 2*j - 10, 2*j - 22 = -g. Is 6 a factor of g?
True
Is 12 a factor of 24/44 + ((-806448)/(-132) - 14)?
True
Suppose 67*i - 378815 = 220098. Does 48 divide i?
False
Let f(m) = -331*m + 16. Let x be f(-4). Let g = x - 674. Is g a multiple of 74?
True
Let t(s) = -125*s + 441. Let h be t(3). Suppose -2*p - 207 = 4*q + p, q + 5*p = -39. Let o = q + h. Is o a multiple of 12?
True
Suppose -313*m + 38*m + 3654976 = 141*m. Is 4 a factor of m?
False
Let v = 81 - 269. Let n(f) = -f**3 + 45*f**2 - 39*f + 49. Let u be n(44). Let s = u + v. Is 9 a factor of s?
True
Suppose 1660 + 13091 = 155*x - 31284. Does 9 divide x?
True
Let f(o) = -908*o**3 + 12*o**2 + 7*o - 4. Does 44 divide f(-1)?
False
Let u be (22/2)/(12/48). Let i = -35 + u. Suppose -i = -n + 36. Is n a multiple of 15?
True
Let i be (-1*8/(-6))/(6/(-9)). Suppose 2*r = s + 11 + 11, -3*r = 4*s + 132. Does 17 divide ((-17)/i)/((-3)/s)?
True
Let q(l) = 930*l + 12. Let c be q(6). Suppose -16*u + 4*u = -c. Is 44 a factor of u?
False
Let z = -5658 - -12618. Is 80 a factor of z?
True
Suppose 9*y - 5*f = 4*y - 310, 4*y + 236 = -2*f. Is 12 a factor of 4*y/(-35)*14?
True
Let l(b) = 4*b**2 + 2. Let v be l(-2). Let r(i) be the first derivative of 9*i**2/2 + 21*i - 2028. Does 39 divide r(v)?
False
Let i be (-7 - (-22)/10)/(6/(-1000)). Suppose -3*r = -502 - i. Is r a multiple of 53?
False
Is 111 a factor of -7*28/(-49) - 0 - -1106?
True
Suppose -3*s = -3*y + 43323, 3*s - 44281 = -3*y - 928. Is 233 a factor of y?
True
Suppose 3*u = -3*s + 27, -5*u + 18 + 7 = s. Does 14 divide ((-54)/u)/(1/(-14))?
False
Is 36/(-20) + (-2291003)/(-185) a multiple of 151?
True
Let k = -1440 - -7167. Is k a multiple of 69?
True
Suppose c - 7968 + 2382 - 2730 = 0. Is 11 a factor of c?
True
Let q = 91364 - 50305. Does 166 divide q?
False
Let k = 18 - 14. Suppose 5*n = k*n - 4. Is 64 - ((-16)/(-2) + n) a multiple of 27?
False
Suppose -12*d + 2*d = -60. Suppose 3*v = d*v - 240. Is v a multiple of 40?
True
Suppose -27*p - 15 = -150. Suppose -4*x + 466 + 50 = -h, -p*h = -x + 110. Does 4 divide x?
False
Let a(w) = 789*w**2 + 54*w - 34. Is a(2) a multiple of 34?
True
Suppose 162686 = -6*u + 23*u + 47766. Is 40 a factor of u?
True
Let f = 495 - 769. Let a = f - -306. Does 16 divide a?
True
Does 11 divide 6544/5 + (27/(-15) - 3 - -5)?
True
Let t be (0 - 0) + 20/4. Let j be 2/(-5) - (-32)/t. Suppose -7*g + 8 = -j*g. Is 3 a factor of g?
False
Let w(h) = 3*h**2 - 2*h**3 + 6 + 36*h - 26*h + h**3. Suppose 10 = 5*t, -t - t - 6 = 2*v. Is w(v) a multiple of 12?
True
Is (2018368/168 - 9) + 2/(-21) a multiple of 77?
False
Let v(d) = -2*d. Let j(p) = 6*p - 130. Let c(z) = j(z) - 5*v(z). Is 32 a factor of c(27)?
False
Let d(x) = x**3 - 2*x**2 - 8*x + 2. Let c be d(4). Suppose -472 = -4*o - 5*w, -6*o + 354 = -3*o + c*w. Does 5 divide o?
False
Is 124 a factor of 72*62 + -199 + 182?
False
Let q be -3*2*(-2 + (-4)/(-3)). Suppose 6*k - 5*d + 748 = 10*k, -4*d + 748 = q*k. Is 11 a factor of k?
True
Suppose j - 4*b = -96, b - 4*b - 159 = 2*j. Let l be (j/70)/(6/20)*-1. Suppose 0 = -l*i - 3*f + 126 - 24, 4*i - 5*f = 118. Is 9 a factor of i?
True
Let y(o) = 671*o**2 - 19*o - 20. Is y(-1) a multiple of 5?
True
Let p(s) = -s**3 - 5*s**2 + 4. Let l be p(-5). Let f be -4*l/8*-2. Suppose 0*y + 318 = f*k - 3*y, -2*y + 386 = 5*k. Is 13 a factor of k?
True
Let u(t) = -9*t. Let a be u(-15). Suppose 4*d + 1 = -2*l + 3, 4*d + 33 = 3*l. Suppose a = -2*n + l*n. Is n a multiple of 9?
True
Let f(k) = 489*k**2 - 97*k - 260. Is 16 a factor of f(-4)?
True
Suppose 2*o - 5*q = -0*o + 456, 912 = 4*o + q. Suppose -r = 2*h - 471, -3*h = -2*h + 2*r - o. Suppose -h = -22*u + 20*u. Does 11 divide u?
False
Suppose 3*g - 54 = -w, g = 30*w - 31*w + 16. Is (-43)/(37/g + -2) a multiple of 51?
False
Suppose b + 4*u = 16, 2*u - 48 = -6*b + 3*b. Suppose 418 = 3*g - 4*y, 11*y - 154 = -g + b*y. Does 12 divide g?
False
Suppose 0 = 138*h - 151*h + 63193. Is 13 a factor of h?
False
Suppose -4*w = -q - 3*q + 1276, -5*q - 1267 = 4*w. Let n = 205 + w. Is 8 + -5 - (n + 4) a multiple of 16?
True
Suppose -3*v = -9, 5*v - 3 = 3*l - 0*v. Does 61 divide (1*l)/(-1)*(-37576)/352?
True
Let y(q) = -52 - q - 4*q + 7*q + 5*q. Is 5 a factor of y(11)?
True
Suppose -5*q - 5*u = -0*q - 1245, 3*u = -2*q + 499. Does 31 divide q?
True
Suppose 0 = 23*u - 12033 - 3699. Is u a multiple of 4?
True
Suppose -4*q = 2*f - 31000, 0*f = f. Suppose 0 = -6*d + 16*d - q. Is 12 a factor of d?
False
Let a be 215/45 - 6/(-27). Suppose 2*f + 2 = -3*k + k, -26 = -2*f + a*k. Suppose -62 + 224 = f*j. Is 18 a factor of j?
True
Let f(l) = -l**3 + 7*l**2 + 10*l - 2. Suppose -o - 3*o = 0. Suppose o = -24*a + 21*a + 21. Is f(a) a multiple of 9?
False
Let x be (-5)/(-15) - ((-4964)/12 + 1). Suppose o - x + 291 = 0. Is o a multiple of 3?
False
Let n(q) = -77*q + 491. Does 8 divide n(4)?
False
Let q be (5 + (-108)/20)*(-1240)/4. Let m be 0 - (-5)/(5/128). Suppose -4*u = 2*v - 0*v - m, 4*u - q = -v. Is 3 a factor of u?
True
Let a = -3028 + 3135. Is 2 a factor of a?
False
Suppose z - o = -3, -z + o - 7 = -4*z. Let i be (-4)/(-14) + (-663)/(-7). 