*a = -23 - 37, -2*o - 3*a = -5. Suppose 4*y = o*y - 42. Suppose 0 = 6*c - y*c + 85. Is 12 a factor of c?
False
Let u be (34*2/5)/((-112)/1960). Let a = u - -373. Does 11 divide a?
False
Let y(x) = -1302*x + 1504. Does 86 divide y(-2)?
False
Let g(z) be the first derivative of 5*z**3/3 + 7*z**2/2 + 19*z - 75. Is 4 a factor of g(-3)?
False
Suppose -10 = -7*a + 2*a - y, -4*a + 5*y - 21 = 0. Suppose x - a = -0. Does 8 divide (-2)/x + (-374)/(-11)?
True
Suppose -176*h = -272*h + 721344. Is h a multiple of 99?
False
Let s = -50 + 54. Suppose -u = -n - 4, s*n + 2*u = -n - 20. Does 6 divide 16/(4/7*(-14)/n)?
False
Let d(u) = -5*u**2 - 15*u. Let i be d(-3). Suppose i = -5*y + 3*x + 4678, -4*y = -4*x + 668 - 4412. Is y a multiple of 55?
True
Suppose w - 2 - 3 = 0, -5*m + 2*w = 0. Suppose m*v - p + 6 = 0, 0 = -p + 4*p. Is ((13 + 3)/(-2))/(v - -1) a multiple of 4?
True
Let b = 865 + 18591. Is b a multiple of 128?
True
Let s = -9145 - -11196. Is s a multiple of 42?
False
Suppose q + 41432 = 4*h, -3628*h = -3629*h - q + 10353. Does 6 divide h?
False
Let y = -2111 - -7438. Does 12 divide y?
False
Let m(v) = -710*v - 372. Let x be m(-14). Suppose 91*c - x = 83*c. Is c a multiple of 10?
False
Let x = 71 + -31. Let c = x + -40. Suppose 17*z - 14*z - 54 = c. Is 9 a factor of z?
True
Let j = -19 + 21. Suppose 22*m = 23*m - 2*i - 226, i + 449 = j*m. Does 40 divide m?
False
Let t(v) = -11*v**3 + 10*v**2 + 41*v - 2. Let p be t(-5). Let j = p + -812. Is j a multiple of 15?
False
Let m(o) be the first derivative of -o**4/4 + 5*o**3 + 11*o**2/2 + 2*o - 35. Let w be m(15). Let b = -95 + w. Does 8 divide b?
True
Let z be (-5)/(-10) - (-1)/2. Suppose -3*p + 4 + 9 = -b, 0 = -p - 5*b - z. Does 27 divide 123 - ((-4 - 1) + p)?
False
Suppose 692125 = 109*j + 111*j + 100105. Is j a multiple of 28?
False
Let x = -21 - -25. Suppose z - 3*o = 71, -x*o + 17 = z - 40. Suppose h = 2*m + 14, 80 = 5*h + 5*m - z. Is 8 a factor of h?
True
Let g(w) = -w + 4. Suppose 0 = -164*s + 169*s + 20. Let j be g(s). Suppose -j*c + 848 = -4*c. Is 20 a factor of c?
False
Let y = -23448 + 43528. Does 80 divide y?
True
Let v(a) = 35*a**2 + 187*a - 256. Does 94 divide v(23)?
True
Let c(n) = -7*n**2 + 15*n + 46. Let p(o) = -8*o**2 + 16*o + 52. Let a(h) = -6*c(h) + 5*p(h). Suppose 0 = -3*v - 2*q + q - 10, 5*q = 25. Is 12 a factor of a(v)?
True
Let c be 6/8 + (-14)/8 + 0. Let h be (4/16)/(c/(-12)). Suppose -4*j + 5*n + 23 = 0, -2*n + h = 3*j - n. Does 2 divide j?
True
Suppose -33*p + 100 = -8*p. Suppose -h - p*q + 386 = 0, -7*h + 8*h + q = 401. Is h a multiple of 7?
True
Is (48 + -15)/(2/18) a multiple of 33?
True
Let z = -609 + 937. Let g = -142 + z. Is 33 a factor of g?
False
Let b = 47 - 42. Suppose -2*u + 4*u - 873 = b*v, 4*u - 1771 = 5*v. Is 24 a factor of u?
False
Suppose -20 = 5*o, 2*q - 883 = 2*o + 259. Suppose -107*w = -98*w - q. Is w a multiple of 5?
False
Let v = -245 + 383. Let o = 265 - -581. Suppose o - v = 6*h. Is h a multiple of 9?
False
Suppose 0 = -9*i + 2*i + 28. Suppose 0 = i*x - h + 350 - 1330, -744 = -3*x + 3*h. Does 11 divide x?
False
Let j(m) be the first derivative of 3*m**3 + m**2/2 - 8*m + 132. Is j(-4) a multiple of 44?
True
Let m be -404*(5 - 138/24). Let b = -17 + m. Does 22 divide b?
True
Is 4 a factor of -2 + 8 - (25 + -16 + 5) - -3995?
False
Let a = 67909 - 40441. Does 12 divide a?
True
Suppose 4*h - 20 = t, -5*h + 4*h = t - 5. Suppose -20*a + 42 + 238 = t. Is a a multiple of 7?
True
Suppose 12*w - 47 = 25. Suppose -3*b + w*b = -57. Let s = b - -89. Is 10 a factor of s?
True
Let u(g) = -g + 1. Let v be (1 + -3)/(-1) + 1/(-1). Let d be u(v). Suppose 0*f = 4*o - f - 109, -3*f + 9 = d. Is 14 a factor of o?
True
Let b(f) = f + 24. Let h be b(-19). Suppose -m + h*m = 508. Suppose -a = -3*d + m, 2*d - 3*a - 119 = -39. Does 13 divide d?
False
Let x be 25/(-2) - 39/26. Is -35*-15*x/(-21) a multiple of 51?
False
Let q(t) be the second derivative of 4/3*t**3 + 1/20*t**5 + 0 + 11/12*t**4 - 8*t + 7*t**2. Is 17 a factor of q(-10)?
True
Suppose 3*t + 68 = -t. Let x be t*(-2)/12 - 5/(-30). Suppose w + 266 = 3*j, x*w + 112 + 146 = 3*j. Is 17 a factor of j?
False
Suppose -5*w + 18087 = -2*j - 58491, -4*w = 5*j - 61236. Is w a multiple of 13?
True
Let m be (-13)/(-3) - 3/9. Let x be 28/42*(-1 + m). Suppose -2*d - 5*y = -x - 4, -50 = -5*d + 5*y. Is d even?
True
Is 28077/18 - (-19)/(-95)*(-10)/12 a multiple of 65?
True
Suppose 210*c + 1328 = 212*c. Suppose -8*i + 1152 + c = 0. Is i a multiple of 6?
False
Suppose 2*q + 73 = -3*r, r + q + 0*q = -23. Let l = 273 - r. Is l a multiple of 42?
False
Let s(g) = -76*g - 18. Let j be ((-78)/(-9))/(-2) - 4/(-3). Is 15 a factor of s(j)?
True
Let w be 369 - 6*(1 - 4/8). Let r = w - 251. Is r a multiple of 3?
False
Let o(j) = j**3 - 5*j**2 - 2*j + 12. Let m be o(5). Suppose -c - m*c = -168. Does 13 divide c?
False
Suppose -j + 4*j - 156 = r, -5*r = -2*j + 104. Let y = j + -36. Suppose y*h + 144 = 20*h. Does 2 divide h?
True
Let k be (-15)/(-9)*1*3. Let z be 1 + (k - 1/1). Is z/(-1)*((-184)/20 + -3) a multiple of 15?
False
Suppose -2*s - 81696 = -2*q, 201*s = 3*q + 203*s - 122529. Is q a multiple of 21?
True
Let j be (-9)/12 - 26210/40. Let x = j + 898. Does 7 divide x?
False
Let u(s) = -2*s + 256. Let z be u(37). Let l = 246 - z. Is 9 a factor of l?
False
Let f = -11 + 20. Suppose f = -3*c + 15. Does 4 divide (-2)/((1/c)/((-66)/4))?
False
Is 23 a factor of 12031/7 - ((-120)/28 + 4)?
False
Suppose 746*k = -4*c + 750*k + 82252, -5*k = 10. Does 31 divide c?
False
Suppose -7*d - 85 = -3382. Suppose -d = -5*r - 4*j, 7*r - 3*r = -4*j + 376. Is r a multiple of 19?
True
Suppose 0 = 3*q + 5*r - 8086, 0 = -q + 5*r + 2085 + 637. Is 14 a factor of q?
True
Suppose 7*i - 6058 = -1480. Suppose 2*b - 1104 = 4*h, -3*h - 122 + i = b. Is 34 a factor of b?
True
Let o(k) = -3*k + k**2 - 4*k + 6 - k. Let u be o(8). Is 9 a factor of 4/u - 424/(-12)?
True
Suppose -5*d = -2*h + 623 - 13963, 3*d + 3*h = 8025. Suppose 11*w - d = -1009. Does 12 divide w?
False
Let g = 673 + -473. Let x = 310 - g. Let n = x + -105. Is n a multiple of 3?
False
Suppose 10*d - 18*d = 144. Is 31 a factor of 194/6 + 2 + 60/d?
True
Suppose -101*j + 20*j = -284945 - 68053. Is j a multiple of 16?
False
Suppose 1479 = -8*v + 9423. Let k be 3*(v/(-9) - 3). Let x = 508 + k. Is 28 a factor of x?
True
Suppose 10*y + 1213 = 11523. Is 79 a factor of y + (-14)/21*9?
False
Suppose 0 = -4*v - v - 585. Let y = 156 + v. Is y a multiple of 13?
True
Let h(d) = d**3 - 3*d**2 - 11*d + 10. Let x be h(5). Suppose 2*n - 915 = u, -x*n + 2260 = -3*u + 6*u. Does 13 divide n?
True
Let j(b) = 2*b**3 - 8*b**2 + 8*b + 20. Let q be j(6). Let y = q - -100. Is y a multiple of 26?
True
Let c(k) = 82*k**2 - 71*k + 354. Does 15 divide c(6)?
True
Let a(i) = 27*i**2 + 3 - i**3 + 16*i - 24*i**2 + 1 - 6*i. Let c be a(5). Suppose 3*f - j = 4*j + 121, -c*j - 8 = 0. Is 18 a factor of f?
False
Let r(i) = 50*i - 2702. Is r(89) a multiple of 3?
False
Let v(x) be the third derivative of -x**5/60 - 2*x**3/3 + 15*x**2. Let j be v(7). Is 10 a factor of 0/(-2) - (j - (-4 + 1))?
True
Suppose -8054229 = -582*a + 21460155. Is a a multiple of 12?
True
Suppose 23*y - 24*y + 2 = 0. Suppose y*a + 4*d - 606 = 0, d = 4*a - 768 - 435. Suppose 3*f - a + 19 = -3*o, 98 = o + 2*f. Is o a multiple of 10?
True
Is 18 a factor of 2608 - -6 - (-16)/((-20)/5)?
True
Let z(a) = -797*a - 936. Does 231 divide z(-9)?
True
Let g(l) = -14 + 15*l - 26*l + 7*l**2 - 7 + 2. Let d be g(-5). Let t = d + -115. Is 32 a factor of t?
True
Let q(c) = -c**3 - 21*c**2 - 7*c - 86. Let w be q(-21). Let r = 190 - w. Does 5 divide r?
False
Suppose 4*k + 2*y - 1120 = 0, 3*k = -2*y - 3*y + 833. Suppose 3*d - d = -5*c + 507, 3*c + k = d. Is 38 a factor of d?
True
Suppose 4*p - 12 = -4*m, -6*p + m + 9 = -4*p. Is 20/(-2)*(5 - p)*-17 a multiple of 17?
True
Let c be (3 - 2) + (4 - 4). Does 22 divide (1 - 524/(-3)) + c/3?
True
Suppose 2*f + 4*q + 44 = 0, 0*q + 97 = -5*f + 3*q. Suppose 4*h - 22 = 5*y, h - 18 = -2*h + 3*y. Is 3 a factor of (f/h - -2)*3*-12?
True
Is 86 a factor of (-588)/(-49) - (-24807)/3?
False
Suppose 4*w = b + 1159, 4*w - 115 = -5*b + 1050. Suppose 3*j - 856 = 3*s + w, -j = 4*s - 392. Does 12 divide j?
True
Suppose -3*d + d + s = -5, -d - 20 = -5*s. Suppose -h = -d*q + 283, 4*h = -3*q 