pose g = 4 + c. Is g a multiple of 11?
False
Let g = 3893 + -1958. Is g even?
False
Suppose -41*j + 70*j - 51*j + 483670 = 0. Is 33 a factor of j?
False
Let z = 66 - -6608. Does 26 divide z?
False
Is 69 a factor of (-9048598)/(-1352) - ((-6)/(-8) - 1)?
True
Let h(d) = -d**2 + 16*d - 9. Suppose 7*j = 6*j + 10. Let p be h(j). Suppose p*x - 46*x = 145. Does 7 divide x?
False
Is 28*(-1 - (23050/(-35))/2) a multiple of 21?
False
Let w(q) be the first derivative of 64*q**3/3 - 2*q**2 - 28*q - 15. Does 70 divide w(-3)?
True
Let s = 193 - 208. Is 8 a factor of 191 + s/6*16/(-10)?
False
Suppose -909214 = 64*m - 216*m - 174*m. Is 3 a factor of m?
False
Suppose -i = -0 + 1. Let a be i*(2 + (4 - 4)). Is 19 a factor of 36/(-1 + 3) + (-2)/a?
True
Suppose -16*z = -15*z - 19. Suppose -192 = 13*t - z*t. Suppose 19 = j - t. Is 5 a factor of j?
False
Suppose 0 = 4*x - 3*v - 13187, -28*x - v - 16492 = -33*x. Is 226 a factor of x?
False
Let m be (1 + 0)*1*49. Let p = -45 + m. Let q = p + 111. Is q a multiple of 23?
True
Let b(k) = 2*k**3 - 3*k**2 - 6*k - 25. Let o(a) = -2*a**3 + 3*a**2 + 6*a + 24. Let m(h) = 4*b(h) + 3*o(h). Is 10 a factor of m(6)?
True
Let l(s) = -s**2 - 36*s + 122. Let r be l(-39). Suppose 3699 = r*x + 4*x. Is 16 a factor of x?
False
Let x = -27 - -31. Suppose 91 = x*q - 213. Does 32 divide 7304/q + (-2)/19?
True
Let c(i) = -8*i**3 - 2*i**2 - 12*i + 2. Let l be c(-4). Let x = l + 100. Is 14 a factor of x?
True
Let u(m) = -m**3 - 9*m**2 - 8*m + 2. Let o be u(-8). Let j be o/(-6) + 170/(-30). Is (18/4)/(j/(-160)) a multiple of 40?
True
Let t be 175/(-140)*(3 + 1)*1. Let y(v) = -148*v + 135. Is y(t) a multiple of 35?
True
Let y(f) = 35*f**2 - 8*f + 116. Is 24 a factor of y(17)?
False
Let t = 4638 - 3276. Is t a multiple of 61?
False
Suppose -54*z + 557424 + 525870 = 0. Is 27 a factor of z?
True
Let t = -30 + 96. Let g = t - 123. Let i = 39 - g. Is i a multiple of 12?
True
Let n = 14 + -3. Let y(c) = -5*c + 24 + 8*c - n*c. Is 24 a factor of y(-12)?
True
Let g = 120 + -70. Suppose 3*c = -5*o + 210 - g, 0 = -4*o + 8. Suppose 3*u - 161 = -2*v, -v + 138 - c = 3*u. Is 13 a factor of v?
False
Let m(d) = -81*d - 7196. Is m(-139) a multiple of 17?
True
Let o be -8 + (-12)/(-2) - 5*-1516. Suppose -o = -13*s - 298. Is 40 a factor of s?
True
Is 11 a factor of (72/(-8) - (-5 + 6) - 0)*-418?
True
Is 44 a factor of (-483 + 6/(-3))*(3 + 279/(-15))?
False
Let i(z) be the first derivative of z**4/4 - 4*z**3 - 5*z**2 + 6*z - 97. Is i(13) a multiple of 15?
True
Let h(t) = -t**3 + 8*t**2 - 10*t - 21. Let a be h(9). Is a/(-9)*165/44 a multiple of 20?
True
Let x = 4672 + -2221. Does 17 divide x?
False
Suppose 2*v - 3*o = -5*o + 20, -5*o - 22 = -4*v. Is 2/v + 1340/80 a multiple of 17?
True
Does 20 divide (-2 - (-5175)/3) + (-40)/(-20)?
False
Let z = -50 + 116. Let v = z + -54. Suppose -56 + 4136 = v*i. Is 34 a factor of i?
True
Let a = -20 + 23. Let o(i) = -8 - 4*i**a + 8*i**2 + 3*i**3 + 0 + 2*i**3 - 3*i. Is o(-8) a multiple of 16?
True
Let o = 39773 - 11736. Does 8 divide o?
False
Let h(u) = 5*u**2 - 13*u + 9. Let f be h(2). Suppose 2*z + 20 = f*z. Is z a multiple of 4?
True
Suppose 5*s + 3*s = 56. Suppose m + 67 = 4*p, -53 = -3*p + 4*m + s. Does 8 divide p?
True
Let m(g) = 73*g + 958. Let o be m(-7). Let y = -465 - -172. Let h = y + o. Is 22 a factor of h?
True
Let v = 4965 - -3583. Is v a multiple of 100?
False
Let f = -666 + 677. Suppose 417 = -7*d + f*d + v, -3*d + 4*v + 289 = 0. Is 15 a factor of d?
False
Suppose 12 + 4 = -4*t, 7 = n - t. Suppose m = -4*a + 20, -2*a = -n*m + a + 135. Is 4 a factor of m?
True
Let y(x) = -2*x + 39. Let s be y(20). Let c(h) be the third derivative of -h**6/3 + h**5/60 + h**4/12 + h**3/3 + 9*h**2. Does 5 divide c(s)?
False
Let x(c) = -c**3 - 2*c**2 - 2*c + 43. Suppose f = 3*f + 8, -f = 5*i + 4. Is 19 a factor of x(i)?
False
Suppose -46*x = -28*x + 83*x - 803556. Is 13 a factor of x?
True
Let u = -1034 + 2378. Is 48 a factor of u?
True
Let p = 413 - 828. Let h = p + 425. Is 5 a factor of h?
True
Suppose 0 = 5*r - 45 + 35. Suppose -d - r*a = -586, 0*d - 5*d = 5*a - 2915. Does 22 divide d?
False
Suppose 0 = 4*n + 5*q + 26, -5*n - 4*q - 33 = -5. Let z be ((-150)/(-125))/(-3*n/510). Let w = z + -38. Is 4 a factor of w?
False
Is (-72)/8 + (-377927)/(-43) a multiple of 10?
True
Suppose 2 = 2*p - 4. Let s be -3 - p*-19*(-20)/(-12). Let l = -43 + s. Does 10 divide l?
False
Let w(t) = -17*t**3 - 6*t**2 + 34*t + 145. Does 17 divide w(-4)?
False
Let o = -89 - -103. Let y(z) = z**2 - 20*z + 91. Is y(o) even?
False
Let r(a) = -a**2 - 5*a - 1. Let y be r(-2). Suppose -4*s = b + 33 - 9, 12 = b - y*s. Let x = b + 11. Does 2 divide x?
False
Let v = 837 + -837. Suppose v = -65*s + 54*s + 1463. Is s a multiple of 43?
False
Suppose 119*c + 94488 - 152612 = 415258. Is 306 a factor of c?
True
Let n be (-303)/12 + (-1)/(-4). Let h = n + 29. Suppose a = h*a - 4*c - 109, 0 = -c + 2. Does 13 divide a?
True
Let w(f) = f**3 + f**2 - 2*f + 60. Let h be 2/(-5) + (-2)/(-5). Let n be w(h). Suppose 0 = 4*o - 6*o + n. Is 30 a factor of o?
True
Let k(p) = 328*p + 121. Let q(u) = -81*u - 30. Let a(s) = -2*k(s) - 9*q(s). Is 68 a factor of a(8)?
True
Suppose -28*q + 19329 + 36307 = 0. Does 266 divide q?
False
Let i = 3490 - -1098. Does 3 divide i?
False
Suppose -5*j = -2*j - 42. Let z be (1 - 1)*(-14)/j. Suppose z*s - s = -26. Is s a multiple of 26?
True
Suppose -43*r + 28*r = -9360. Suppose -i + r = -67. Is i a multiple of 55?
False
Let s = 1728 - 618. Does 20 divide s/40 - (-1)/4?
False
Suppose -6787*i = -6822*i + 111720. Is 19 a factor of i?
True
Suppose -323 = -8*j + 637. Suppose -129*y = -j*y - 7308. Is 9 a factor of y?
False
Suppose 0 = 2*j - 3*o - 6101, -22*o = -2*j - 23*o + 6121. Is 22 a factor of j?
True
Suppose 12838 = 2*d - j - 8471, 0 = 3*j - 9. Does 144 divide d?
True
Suppose 50*o = 94*o - 23056. Is o a multiple of 48?
False
Is 37 a factor of (21 - (-1144818)/36) + (-6)/4?
True
Let j = 39 + 115. Let c = -94 + j. Is c a multiple of 10?
True
Let s(f) = 13*f + 6. Suppose 4*r + 11 = 3*r + 5*l, 5*r + l = 23. Suppose 4*a - 2*m - 42 = 0, -4*a + r*m + 22 = -26. Does 41 divide s(a)?
True
Let u(t) = -2*t - 16. Let c be u(-11). Suppose 4*l - c*l + 455 = 3*z, 161 = z - 4*l. Is z a multiple of 50?
False
Let f be 3/12 + 2*(-100)/32. Let g(a) = -49*a - 38. Does 6 divide g(f)?
False
Let l be 4/(-9) - (136/18 - 8). Suppose l = -6*k + 100 + 2936. Does 46 divide k?
True
Let o(g) = 2*g**2 - 10*g - 31. Let r be o(10). Let m = 71 - r. Suppose -2*w + 3*t = -142, -w + 4*t - 82 = -m*w. Is 37 a factor of w?
True
Let q = -680 - -803. Let m = 58 + q. Is 14 a factor of m?
False
Suppose -191097 = -36*z + 311535. Is z a multiple of 7?
False
Suppose -163*z = -27*z - 1255232 - 329848. Is 35 a factor of z?
True
Suppose 0 = -4*b - b + 20. Suppose -2*f + 548 = 4*h - 0*h, b*f - 1129 = 3*h. Is f a multiple of 14?
True
Suppose -25*f = -28*f - 90. Let g be (-167854)/f - 6/45. Does 14 divide g/25 + (-1)/(-5)?
True
Let z(y) = 2*y**2 + 23*y - 223. Let b be z(7). Suppose k - 6*k = a - 565, -4*k + 471 = -3*a. Let x = b + k. Is 25 a factor of x?
True
Let p be (-1 + -14)/(3/(-8)*4). Let l(r) = r**2 - 8*r - 13. Let n be l(p). Does 12 divide (n/14)/((-1)/(-190 - 2))?
True
Suppose 111304 = -164*o + 1052666 + 66746. Does 21 divide o?
False
Let q(y) = -18 - y**2 - 9 - 21*y + 2*y**2 - 7*y. Is 22 a factor of q(31)?
True
Suppose -13*s - 4*t + 124708 = -9*t, 0 = -2*s - 2*t + 19208. Does 13 divide s?
False
Let u = 46369 + -31856. Is 9 a factor of u?
False
Let o(j) = 2*j**2 + 23*j + 93. Let r be o(-17). Let k = r - 215. Is k a multiple of 64?
False
Let h = -15096 + 19727. Is h a multiple of 21?
False
Let s = 2138 - 136. Does 84 divide s?
False
Is 124 a factor of 4226373/1044 + (-3)/(-4) + -1?
False
Is (-2)/2 - 0 - 582134/(-14)*1 a multiple of 297?
True
Suppose 3*s = -5*m + 59, -24*s + 20*s + 3*m + 127 = 0. Suppose 9*v + 1881 = s*v. Is 5 a factor of v?
False
Let s be 1231/4 + -6*(-8)/192. Suppose 9*g - s = -2*g. Is g a multiple of 15?
False
Let m(t) = -23*t + 69. Let y(j) = j**3 - 6*j**2 - 13. Let d be y(6). Is 16 a factor of m(d)?
True
Let y = 784 - 184. Suppose -3*f = 2*f - y. Is f a multiple of 12?
True
Let h(a) = 14*a**2 + 10*a - 3. Let x(u) = -40*u**2 - 31*u + 10. Let q(p) = -17*h(p) - 6*x(p). Does 22 divide q