44 a factor of n(-10)?
True
Suppose -h - 5 = -14. Does 15 divide (-13)/(-39) - (0 - 807/h)?
True
Suppose -2*z - 5*m = 53, 12 = 3*z - 5*m + 79. Let o be (2 - (2 - 3)) + -76. Let d = z - o. Does 10 divide d?
False
Let i(j) = 9*j**2 - 7*j - 37. Let k be i(-3). Suppose 6*a = 7*a - k. Does 5 divide a?
True
Let i = -3391 - -6915. Does 8 divide i?
False
Suppose 3*u + 18 = 0, 16*j - 19*j = -u - 16578. Is 79 a factor of j?
False
Does 2 divide (-2)/19 + (-1163004)/(-1938)?
True
Let c(n) = -288*n + 539. Does 23 divide c(-3)?
True
Let f(y) = y + 7. Let x be f(-3). Let t(i) = -i**3 + 5*i**2 - 7*i + 8. Let d be t(x). Is ((-21)/12)/(d/176) a multiple of 10?
False
Let w(t) = 134*t**2 - 3*t + 3. Let x be -1 + (9 - 1) - (-17)/(-17). Let q be 1 + 0/(3/(x/4)). Does 19 divide w(q)?
False
Suppose 0 = 12*l - 4*l - 16. Suppose -5*q = -l*q - 96. Suppose a - q = -a. Does 6 divide a?
False
Suppose -700*y + 701*y = 39034. Is y a multiple of 31?
False
Suppose 422*t + 2310180 = 699*t. Does 60 divide t?
True
Let l(f) = -f**2 + 6*f - 1. Let k be l(6). Let h be 2/k - (-4 + 2). Suppose 5*d - 189 = -4*p - h*d, 4*d - 192 = -4*p. Is p a multiple of 13?
False
Let a = -58 + 129. Suppose -g - 4*o = -29, a = 2*g + 3*o + 8. Does 15 divide g?
False
Suppose -1140 = 111*v - 113*v. Is v a multiple of 6?
True
Let k = 51 + -46. Suppose w - i = -w + 4, -k*i = w - 13. Suppose 34 = 2*q + w*m - 8, -4*m - 97 = -3*q. Does 8 divide q?
False
Suppose v + i = 4*i + 8, -i + 34 = 3*v. Let q = -10 + v. Is 17 a factor of q*((2 - -55) + 2)?
False
Suppose -9*p = 9*p. Suppose 0 = 3*d - 1 - 14. Suppose -3*q - 4*b + 183 = p, -305 = -d*q - b - 2*b. Is 35 a factor of q?
False
Let n be (58/4)/((-91)/(-13468)). Let b = n + -762. Is 22 a factor of b?
False
Let d(t) = t**3 - 12*t**2 - 7*t - 42. Let y be d(16). Is 9 a factor of (y/(-42) - (-4)/(-14))*-1?
False
Let l = -51 - -87. Let t(o) = -5*o + 28. Let p be t(5). Suppose 8*x = 3*x - p*y + l, 4*x - 42 = 2*y. Is x a multiple of 3?
True
Let a be (-103)/(-7) + (-4)/(-14). Let t be (-4)/(((-288)/(-27))/(-16))*5/6. Suppose -a = t*x - 330. Is x a multiple of 9?
True
Suppose 7*n - 10 = 5*n. Suppose -2*g - 3*x + 6 = 0, -n*x + 11 = 3*g - 0*x. Does 11 divide (-676)/(-14) - (-10)/105*g?
False
Let h(v) = v + 12. Let b be h(-7). Suppose -3*s + 6728 = b*j, -7*j = -11*j - 5*s + 5385. Is 11 a factor of j?
False
Let u(x) = 12*x + 16. Let v(q) = -2*q + 16. Let n be v(10). Let t be 7 + (-4 + 0)/n. Is 14 a factor of u(t)?
True
Suppose 81981 = 9*v + 43454 - 73604. Does 12 divide v?
False
Is (-17055)/(-450)*35 - -1*(-2)/4 a multiple of 82?
False
Suppose 4*a - a = 5*a. Suppose 3*n - 3*y + 207 = -0*n, a = 4*y - 20. Let o = n - -96. Is o a multiple of 8?
True
Let g be 4/(24/153)*-10. Let k be (408/g)/(2/(-295) + 0). Suppose 0 = 4*z - 5*o - 133 - 111, 4*z - k = 3*o. Is z a multiple of 31?
False
Let a be 4311/126 - (-12)/(-56). Suppose 6*g = g + 5, -3*q - 3*g = -243. Let b = q + a. Is 15 a factor of b?
False
Does 189 divide (512/(-40) + (-8)/(-10))*(-15258)/12?
False
Let a be (-4)/1 + (-1)/1. Let q(k) = -38*k - 34*k + 2*k**2 + 13 - 32*k + 99*k. Does 19 divide q(a)?
False
Let m(d) = -49 + 0*d + d + 7 + 4*d. Let x be m(9). Suppose 450 = x*i + 2*i. Does 18 divide i?
True
Let s(k) = 11*k - 226. Let d be s(21). Suppose n - 70 = -4*m + 103, n = d*m + 155. Is n a multiple of 15?
True
Suppose -2*a + 13087 = 5*o, 112*o + 6536 = a + 113*o. Is a a multiple of 148?
False
Suppose -1311118 - 1024626 = -512*z. Is z a multiple of 23?
False
Let o(b) = 9*b**3 - 3*b - 21. Let x(l) = 5*l**3 - l - 10. Let y(a) = 6*o(a) - 11*x(a). Does 10 divide y(-4)?
False
Suppose 5*i - 3*h = -6*h + 237, 2*i = -4*h + 92. Let u = 2 - i. Let y = u + 104. Is 58 a factor of y?
True
Let i be 109200/234 + (-1)/(-3) + 0. Suppose -3*x = -i - 4894. Does 47 divide x?
False
Suppose -n = -u - 805, -19*u + 4001 = 5*n - 20*u. Is 10 a factor of n?
False
Suppose -14*p + 22430 = -67534. Is 15 a factor of p?
False
Does 66 divide 9*-14*-61*(136/24 - 2)?
True
Let u be (-2)/(-11) + (-212)/(-44). Suppose 2*r = -3*r + 20. Suppose -u*q + 3*b = -314, r*q - 9*q + 328 = 4*b. Is 4 a factor of q?
True
Suppose 0 = 34*y - 38*y + 52. Suppose -4*g + y = -243. Does 16 divide g?
True
Let g = 15 - -256. Let c = 511 + g. Does 8 divide c?
False
Let q = -2314 + 3619. Is q a multiple of 29?
True
Let h(i) be the second derivative of i**4/3 - 8*i**3/3 - 13*i**2 - 55*i - 1. Is h(-9) a multiple of 29?
False
Suppose -2*k + 47 = -7. Let o = k + -16. Suppose -4*s = -25 - o. Is s a multiple of 2?
False
Let j = 87 - 85. Suppose -4*a = -4*f - 548, j*f - 5*f = -4*a + 544. Is 116 a factor of a?
False
Let y(f) = f**3 + 3*f**2 - 4*f. Let b be y(-4). Let m be ((-8)/72 + 3/9)*18. Is 19 a factor of b + (-106)/(-4)*m?
False
Does 125 divide -15*(-180)/48*-4*-5?
True
Let m be 750 + (2 + -6 - -2). Let a = -125 + m. Does 46 divide a?
False
Suppose 0 = 4*p - 776 - 316. Let z = p - -19. Does 73 divide z?
True
Suppose 7*m - 31960 = -13*m. Suppose 0 = d - 5*q - 410, 4*d - q = -2*q + m. Is d a multiple of 50?
True
Suppose 22860 = 4*u + 3*j, -4*u + 105*j + 22836 = 102*j. Is u a multiple of 119?
True
Suppose 183*u - 2999850 = -27*u. Does 5 divide u?
True
Let q(a) = -810*a - 760. Is 59 a factor of q(-4)?
False
Let w(n) = 1962*n - 131. Does 117 divide w(11)?
False
Let h(o) = o**2 - 13*o + 45. Let a be h(7). Does 35 divide ((3 - 7) + a)*-522?
False
Let p = 37020 + -2835. Is p a multiple of 355?
False
Let a(n) = 1626*n + 62. Is 30 a factor of a(5)?
False
Let i(s) = 8*s - 16. Let m be (-1)/7 - (-348)/84 - 1. Let y be (-60)/25*(38/(-6) + m). Is i(y) a multiple of 8?
True
Suppose 10 = -5*g + 10*g. Let i(c) = -9*c - 4 + 31*c - 15*c + c**g - 11*c. Is 7 a factor of i(10)?
True
Suppose -2*i + 7758 = 9*r - 6*r, -4*r = -4*i + 15576. Is i a multiple of 162?
True
Let x(b) = 7*b**3 - 6*b**2 + 3*b - 2. Let d(m) = 5*m**3 - 4*m**2 + 2*m - 1. Let h(k) = 8*d(k) - 5*x(k). Let g = 6 + -4. Is h(g) a multiple of 6?
True
Let x(n) = 8*n + 2. Let s be x(4). Suppose 29*j + 155 = s*j. Is 8 a factor of j?
False
Suppose 2*t - u + 10 = 30, 28 = t - 5*u. Let c be 4/2 + (t - 5) - 2. Suppose -2*w + 175 - 14 = c*f, -4*w = -2*f - 362. Does 37 divide w?
False
Let i(y) = 16*y + 51. Let k be i(-14). Let a = k + 558. Is a a multiple of 11?
True
Suppose 0 = 212*j - 248*j + 83880. Does 4 divide j?
False
Is 13 a factor of 2/(1*(505995/126490 - 8/2))?
True
Suppose -v - v = -1408. Does 64 divide v?
True
Let b(f) = -f**2 + 105. Let o be b(10). Suppose -c - 3*n + 135 = 0, -2*n = o*c + 3*n - 725. Does 30 divide c?
True
Suppose -2 = x - 1. Let q(d) be the second derivative of 5*d**4/3 + d**2/2 + 62*d. Is q(x) a multiple of 21?
True
Suppose 2*o = 2*w + 2, 3*w + 14 = 7*w + 2*o. Suppose -5*d + 34 = z, w*d - 42 = -2*z + 66. Does 11 divide z?
False
Let a be (-6)/(-15) + (-52)/(-20). Let x be ((-5)/15)/(a/(-18)). Suppose -j = -2*h + 158 + 42, -x*h + 3*j = -208. Does 14 divide h?
True
Let c = 30600 + -23315. Does 235 divide c?
True
Suppose 4*f + 14 = -22. Let d be (-6)/10 + 2/((-30)/f). Let s(z) = z**3 - 2*z**2 + z + 30. Is s(d) a multiple of 30?
True
Let n(u) = 2*u**3 + 5*u + 13. Let y be n(-6). Let m = -147 - y. Does 17 divide m?
False
Let u be (-42)/63 - 42/(-9). Suppose 0 = -u*b + 12, 23 = 3*m - 4*b + 11. Is m a multiple of 4?
True
Let m(o) = o**3 - 15*o**2 - 39*o - 40. Let w be m(-17). Is (-2 + 0)*w/46 - 1 a multiple of 34?
True
Suppose m = -5*s + 65, 7*m + 4*s - 60 = 6*m. Suppose 42*g - m*g - 5*q = 1231, q - 3118 = -5*g. Does 49 divide g?
False
Suppose h - 3*q = -0*h + 19, 2*q + 85 = 3*h. Suppose 2*m = h*m - 464. Does 4 divide m?
True
Let j(i) = i**3 + 11*i**2 - 34*i - 29. Is j(-11) a multiple of 69?
True
Let k = 5581 - 5075. Is 163 a factor of k?
False
Suppose 1490 = 5*z - 10*z - 5*g, z + 323 = 4*g. Is 3 a factor of 3/6 + (z/(-6) - -6)?
True
Let q = 1929 - 2934. Suppose -3*a - 18 = -2*a. Is 3 a factor of (a/(-14) - 1) + q/(-35)?
False
Suppose 0 = 62*q - 156*q + 209150. Is q a multiple of 25?
True
Suppose 22304 = 7*h + 9*h. Is 69 a factor of h?
False
Suppose 2*w - 5*x - 216 = 0, -3*w + 0*x - 5*x = -274. Suppose -3*z - 55 = -t, t = -4*z + w - 15. Suppose -j + 2*j = t. Is 4 a factor of j?
False
Suppose 2*d - 18 = 12. Let l be 26 + (-3)/d*0. Suppose 22 = 2*o - l. Does 8 divide o?
True
Suppose -4*y + 5 - 77 = 0. Is 15 a factor of (-12)/y + 1432/