 d(-21) a multiple of 82?
True
Let k(r) = -46*r - 16. Does 33 divide k(-19)?
True
Let u(x) = 3*x + 17. Let l be u(-8). Is l/(-14)*22*6 a multiple of 33?
True
Let d = 6136 - 2736. Is 19 a factor of d?
False
Suppose -27*y = -102149 + 13724. Does 76 divide y?
False
Suppose 0 = -22*l + 21*l + 10. Suppose -250 - 250 = -l*i. Does 5 divide i?
True
Let r = -11 + 13. Let v(m) = 0*m + r - m - 2. Is v(-6) a multiple of 3?
True
Does 64 divide 3*(-190 + 2)/((-15)/80)?
True
Let t = -4465 + 6473. Is t a multiple of 18?
False
Does 13 divide 9/(2 + 1)*781/3?
False
Let a = 1163 + -791. Is a a multiple of 6?
True
Suppose -310 = -2*j - 4*b + 1276, 3222 = 4*j - 2*b. Is j a multiple of 15?
False
Suppose 0 = 5*y + 4*p - 667, y + 3*p = 142 - 2. Suppose -2*r + y = -119. Is r a multiple of 11?
False
Let s(q) = -7*q**3 + q**2 - 2*q - 2. Is s(-2) a multiple of 31?
True
Is ((-85)/30 - 2/(-6))*-1326 a multiple of 14?
False
Let o = 118 + -70. Let a = 139 + -137. Suppose a*l = -u - 3*l + o, 5*l = 3*u - 144. Is 16 a factor of u?
True
Let o = 3 + 2. Let b(h) = 1 - o + 2 - 10*h. Does 6 divide b(-2)?
True
Let i(z) = 32*z - 69. Is 22 a factor of i(11)?
False
Let t(p) = -348*p - 28. Is t(-1) a multiple of 61?
False
Suppose -5*k + 744 = 184. Is 20 a factor of k?
False
Let y be ((-86)/(-4))/((-2)/(-4)). Let n = -25 + y. Suppose 0*a + 2*a = 4, k - n = 5*a. Is 16 a factor of k?
False
Suppose 2*p + 0*p = -4*f + 264, 5*p = 5*f - 315. Does 13 divide f?
True
Let j = 34 - 64. Does 14 divide j/(1/(-6 + 3)) - -4?
False
Let g(d) = d**3 + d**2 - 2*d - 9. Let v(w) = w**3 + 2*w**2 - w - 9. Let k(o) = 7*g(o) - 6*v(o). Let c be k(7). Let r = c - 5. Is 7 a factor of r?
True
Suppose w - 3*w + 10 = 0. Suppose -4*q + w = -3. Suppose -3*u - 10 = 5*z - z, -2 = -5*u - q*z. Is 2 a factor of u?
True
Suppose 3*o = 2*o + 5*g + 10, 3 = o + 2*g. Let k be 1 + 1 - -2*1. Suppose -12 = 4*h, -o*h = 3*c - k*h - 159. Is 18 a factor of c?
True
Let a = -4 - -4. Suppose y - 3 = a, -5*m + y + 53 + 64 = 0. Does 3 divide m?
True
Suppose -11*y - 15*y = -4914. Is 7 a factor of y?
True
Is 25 a factor of (-12292)/(-6) - 136/(-102)?
True
Let x(d) = 2*d**3 - 4 - d**3 - 10 - 10*d**2 - 3*d. Let k be x(11). Suppose s - 3*s = -k. Is s a multiple of 13?
False
Is 8/28 - 7344/(-21) a multiple of 10?
True
Let v(l) = -l**3 - 6*l**2 + 5*l - 19. Let a(m) = -m**2 + 8*m - 8. Let x be a(8). Is v(x) a multiple of 46?
False
Is 12 a factor of ((-155)/20)/(3/(-204))?
False
Does 16 divide ((-13)/((-130)/(-745)))/((-2)/4)?
False
Let g = 816 - 402. Is 69 a factor of g?
True
Let x be (7 - 16/4) + -3. Suppose 3*a - 5*h = 7 + 19, 4*h - 8 = x. Is a even?
True
Let w(o) be the first derivative of 8*o**4 - 7*o**2/2 + 3*o - 5. Is 49 a factor of w(2)?
True
Let t be (-6)/(-21) - 506/7. Let n = -2 - t. Is n a multiple of 10?
True
Suppose 0 = 2*u - 134 - 152. Is 8 a factor of u?
False
Suppose -838 = -12*f - 46. Does 22 divide f?
True
Let i be ((-1)/(-3))/((-5)/(-105)). Suppose -i - 233 = -6*t. Does 10 divide t?
True
Suppose 10*t - 666 - 714 = 0. Let j = -58 + t. Is j a multiple of 20?
True
Let h(b) = b + 6. Let s be h(-9). Let m be (-789)/(-6) - s/(-2). Suppose -4*d - 164 = -4*j, 0 = -3*j - 3*d - d + m. Is j a multiple of 21?
True
Is 9 a factor of 4/24 - 3/(-18)*1727?
True
Let u be (12 - 0 - 0)*132/198. Is 14 a factor of (-2 + u)*(7 - (0 + 0))?
True
Suppose 32*a = 29*a + 69. Suppose 1 = -2*t + a. Is t a multiple of 9?
False
Let y = 538 + -75. Is 78 a factor of y?
False
Let f(k) = 2*k**2 - 18*k + 8. Let p be f(12). Suppose 2*d = -0*d + p. Suppose -2*l - 3*l = 5*w - 90, -2*w - d = -2*l. Is l a multiple of 14?
False
Let a = -113 - -183. Is 10 a factor of a?
True
Suppose -4*w + 2276 = -0*x + x, 2*w + 2306 = x. Is 54 a factor of x?
False
Let d = 798 + 732. Is d a multiple of 9?
True
Let l = 84 - 28. Suppose -4*x + 2*x + l = 0. Suppose -3*a = a - x. Is a a multiple of 5?
False
Let q(m) = -m**3 - 2*m**2 + 1. Let r be q(-2). Suppose -2 = -g + r. Suppose -62 = g*b - 266. Does 23 divide b?
False
Suppose -7824 = 27*a - 35*a. Is 23 a factor of a?
False
Suppose 2*x + 2 = 44. Let b = x + -17. Suppose 0 = h + 4*l - 15, 0*l - 40 = -4*h + b*l. Is 6 a factor of h?
False
Let a(r) be the third derivative of r**5/60 - r**4/6 - 3*r**3/2 + 2*r**2. Let j be a(7). Let p = 1 + j. Is 11 a factor of p?
False
Let o(i) = 29*i**2 + 36*i + 1. Is o(2) a multiple of 22?
False
Let h be (0 - -3)/(15/10). Suppose -h*y = -470 - 366. Suppose y = 5*s - 4*o, -6*s - 2*o = -s - 406. Does 15 divide s?
False
Suppose -6*y - 1049 - 115 = 0. Is 13 a factor of 2 + -2 + y/(2*-1)?
False
Let p(g) = -10*g**3 - 3*g**2 - 9*g + 6. Let w be p(-6). Does 11 divide 2/5 - (w/(-20))/6?
False
Let j(x) = x**2 + 2*x - 1. Let n be j(2). Let u be (-2)/(-1) + n + -5. Does 11 divide 8/((-210)/(-51) - u)?
False
Suppose n = 3*i - 3*n - 1906, -4*i + 3*n + 2546 = 0. Does 28 divide i?
False
Let c(s) = -3*s + 4. Let d be c(-2). Let r(o) = -6*o**2 + 4*o**2 + o**3 + 10 + d*o + 10*o**2 - 3. Is r(-5) a multiple of 16?
True
Does 53 divide (-1 - (-314)/(-4))*(10 - 12)?
True
Suppose -3*x - 413 = g, -x - x - 277 = -g. Let r = x + 193. Suppose -4*v = -3*u + r, -5*v + 50 = -u + 2*u. Is u a multiple of 10?
False
Suppose -4*u - 1 = -3*h - 2, 8 = 3*u + 5*h. Suppose v - u = 2. Is 7 a factor of 27/((36/8)/v)?
False
Let n(a) = a**3 - 2*a**2 - 4*a + 7. Let h be n(3). Suppose h*g = 7 - 95. Let d = 39 + g. Does 4 divide d?
False
Let f(d) = -6*d**3 + 5*d**2 + 8*d. Let s be f(-5). Let m = -476 + s. Is m a multiple of 16?
False
Let j(n) = -n**3 - 18*n**2 + 8*n - 43. Does 4 divide j(-19)?
False
Let n(l) = 2*l**2 + 7*l + 5. Let r be n(-5). Suppose -3*x + 9 = 0, 0 = 2*g - 3*x + 2 - 11. Let t = r - g. Does 8 divide t?
False
Suppose -4227 - 345 = -2*i. Does 15 divide i?
False
Let m(f) = -5*f**2 - 18*f - 25 + 25 + 9*f**2. Is m(7) a multiple of 14?
True
Let a be (-9 - -12)/(-2 - -3). Suppose -202 = -a*u + 125. Is u a multiple of 22?
False
Let w = -663 - -663. Let n = -10 + 30. Suppose n = -w*s + s. Is 4 a factor of s?
True
Suppose -2*u + 372 = 2*u. Suppose -9 - 115 = 4*z + 2*h, -3*z - 2*h - u = 0. Let m = 44 + z. Is 10 a factor of m?
False
Let d(u) = u**3 + 2*u**2. Let g be d(-2). Suppose g = 3*r - 0*r + 39. Let c = -7 - r. Is c a multiple of 2?
True
Let a = 43 + -43. Suppose -3*h = -c - 145, 5*h + c - 4*c - 243 = a. Is h a multiple of 16?
True
Suppose 10*b - 15*b - 4*o = -2325, -930 = -2*b + 3*o. Is b a multiple of 15?
True
Let t = 117 - 126. Let u(b) = -4*b - 1 - 5 - 1. Does 11 divide u(t)?
False
Let c = 182 + -32. Let w = c - 6. Is 48 a factor of w?
True
Let g(o) = -34*o - 4. Let j be g(-2). Let v = j - -3. Is 8 a factor of v?
False
Suppose -2*u + 5*u - 445 = b, 4*u - 595 = 3*b. Does 4 divide u/12 + 2/(-6)?
True
Suppose 0 = -5*j + 7*j - 1010. Is j a multiple of 38?
False
Let k = -147 - -306. Does 53 divide k?
True
Suppose -17*x + 38 = -15*x. Is 19 a factor of x?
True
Does 44 divide (1056/9)/(27/81)?
True
Let p = -3 + 10. Let u(k) = k**3 - 7*k**2 + 6*k - 9. Let w be u(p). Is w/(-44) + (-22)/(-8) a multiple of 2?
True
Let y(u) = u**2 - 8*u + 4. Let b be y(8). Suppose -b = -0*j - j. Suppose 2*z + 2 + 0 = 0, 100 = 4*n + j*z. Does 26 divide n?
True
Suppose -f + 71 = -2*j + 6*j, 241 = 3*f - 2*j. Is f a multiple of 50?
False
Let a = 1974 - 1243. Is a a multiple of 17?
True
Let q be 4 - 2*(4 - 5). Suppose 3*y - 33 = 3*a, -2*y + 4*a = -q*y + 60. Is 4 a factor of y?
False
Suppose -3*b + 4*c - 5 = -2*b, -b - 5 = -3*c. Let q = b - -7. Suppose 0*f = -l - q*f + 54, -4*l - 2*f + 210 = 0. Does 26 divide l?
True
Suppose 0 + 7 = 3*d - 2*f, 3*d = 5*f + 22. Does 11 divide (-131 + d)/2*(-3 - -1)?
True
Suppose 0 = -4*w - 5*d + 12316, -1954 = -w - 4*d + 1136. Is w a multiple of 29?
True
Does 35 divide ((-16601)/26)/((-4)/8)?
False
Let i be (12/36)/(2/12). Suppose i*o = -2*q + 5 - 1, -q + 27 = -4*o. Is q even?
False
Let v be (-2)/6 - 61/(-3). Suppose 6 = -3*k, -v = 2*z - 3*k + 20. Let x = 71 + z. Does 9 divide x?
False
Let x(y) = y - 10. Let z be x(7). Let n be z/(-5) + 84/10. Suppose g + n - 28 = 0. Is g a multiple of 4?
False
Let j = 217 + -338. Is 9 a factor of (1/(-2))/(-1) + j/(-2)?
False
Let o(t) = 4*t**2 - 15*t + 9. Is o(-9) a multiple of 18?
True
Let v = 12 + -13. Let g = v - -4. Suppose n + g*n = 80. Does 6 divide n?
False
Suppose 7*u - 15 = 2*u - i, -4*u - 12 = -4*i. I