
False
Suppose 25*i + 4967424 = 201*i. Is 112 a factor of i?
True
Let z(t) = 1438*t - 162. Is 59 a factor of z(2)?
True
Suppose 4*q = 4*h + 14244, -2*q = 8*h - 7*h - 7113. Is 59 a factor of q?
False
Let b(a) = a**2 - 7*a - 2. Let l = -4 + 10. Let x be b(l). Is (897/(-6))/(4/x) a multiple of 25?
False
Let b(r) be the second derivative of 71*r**3/6 + 13*r**2/2 - 14*r. Let l be b(3). Suppose -2*p = 4*u - 218, 5*u = -4*p + l + 45. Does 9 divide u?
False
Suppose -2*t = -4*s + 598, -108 = -s + 2*t + 37. Let q = 414 - s. Does 17 divide q?
False
Let m be (2 + -7 + 5)/(-1 + 5). Suppose -7*k + 0*k + 364 = m. Is 26 a factor of k?
True
Let w(o) = 0*o**2 - 99 + 10*o - 78 + 3*o**2 - o**2. Is w(16) a multiple of 11?
True
Let x(q) = 948*q + 28. Let h be x(3). Suppose h = 5*w + 3*b, -2*w + 4*b = 2*w - 2304. Does 23 divide w?
True
Suppose x + 2*s = -2*s + 22, -4*x + 74 = 2*s. Suppose -x*k + 690 = -12*k. Is k even?
False
Suppose -28*b - 12*b - b = 0. Suppose 5*w - 8980 = -1870. Suppose b = 12*d - 2250 - w. Is d a multiple of 42?
False
Let b = 28754 - 22983. Is 65 a factor of b?
False
Let o(h) = -6*h + 20. Let a be o(3). Suppose a*n - 117 - 633 = 0. Is n a multiple of 25?
True
Suppose -q - 5*l + 1565 = 0, q + 3*l - 2319 = -750. Is q a multiple of 7?
True
Let q = -71 - -76. Let i be -1*3/9*(-10 - q). Suppose 2*v + g = 5*v - 43, -i*v - g + 85 = 0. Is 4 a factor of v?
True
Let p = -37359 + 54728. Is 11 a factor of p?
True
Suppose q + 2 = 3*k, 12*q - 10 = 5*k + 7*q. Suppose -2*a - 160 = -2*z - 2*z, -k*a = 2*z - 86. Suppose -z*c = -46*c + 900. Is 36 a factor of c?
True
Let s(t) = 3*t + 2. Let p be s(1). Suppose 0 = -p*j - 13 + 8. Does 45 divide (-185)/j + 7/(14/4)?
False
Let o be 0 - (2 + -10 - 2). Suppose -q - q + o = -5*w, 0 = 5*w. Suppose -k = -5*f - 23 + 84, 5*f = -q*k + 55. Is 6 a factor of f?
True
Let t = 21120 - 10806. Does 11 divide t?
False
Let u(v) = v**2 + 2*v - 7. Let x be -7 + (0/2)/6 + -4. Does 46 divide u(x)?
True
Let v = 1010 + 2562. Does 4 divide v?
True
Suppose 4*j + 32*f - 36*f = 23380, 3*j - 17479 = -5*f. Does 7 divide j?
True
Let d(c) = 58*c**2 + 726*c - 146. Is 73 a factor of d(-22)?
False
Suppose -5*w - 4*c = -3631 - 4288, -6337 = -4*w - 5*c. Does 2 divide w?
False
Let i = -51 - -52. Let x(k) = 14*k + 2. Let f be x(i). Suppose f*d = 17*d - 21. Does 7 divide d?
True
Let k(o) = o**2 + 7*o - 16. Let t(r) = -r**2 - 13*r + 31. Let w(p) = 7*k(p) + 4*t(p). Is 6 a factor of w(-4)?
True
Let u(c) = -c**2 + 23*c + 1. Let w be u(21). Let v = w + -38. Suppose 2*g = 2*l + 3*g - 339, -v*g = -l + 142. Is l a multiple of 22?
False
Suppose -4*l + 44764 = 2*d, -2666*d + 2662*d + 2*l = -89618. Is 112 a factor of d?
True
Suppose y - 9787 = 3*x, 4*y - 14*x + 13*x - 39093 = 0. Suppose 69*v + y = 76*v. Is 18 a factor of v?
False
Let h = -2040 + 6152. Suppose 17*g = g - h. Is g/(-4) + 2/(-8) a multiple of 32?
True
Suppose 181296 = 11*f + 19*f - 6*f. Does 21 divide f?
False
Let j(k) be the first derivative of -2*k**4 + k**3 + k**2/2 - k - 95. Is 5 a factor of j(-1)?
False
Let w = 4000 + -1870. Suppose -w = -13*u + 1432. Is 41 a factor of u?
False
Suppose 0*i - 6 = -6*i. Let x be (-1 - i - -2) + -896. Is (-6)/(-45) + (x/15)/(-2) a multiple of 13?
False
Suppose -8*j - 4*a - 3208 = -9*j, -4*a = -3*j + 9632. Does 19 divide j?
False
Suppose 2460578 = -1686*d + 1739*d. Is d a multiple of 50?
False
Let r(u) = u**2 + 11*u + 100. Let m be r(-18). Let v = m - -115. Is 31 a factor of v?
True
Suppose 0*f - 4*f = 3*f. Suppose f*k + 14 = 2*k - 5*p, 12 = 3*k - 3*p. Suppose k*x - 4*h - 521 = -3*x, 0 = -5*x - h + 526. Is x a multiple of 21?
True
Suppose -f = 2*f - 96. Suppose -4*d = -6*d + f. Does 8 divide d/(-3)*6/(-4)?
True
Suppose 62*f + 2 = 63*f, 3*d + 34 = 2*f. Is (-12804)/d - (-5 - 81/(-15)) a multiple of 80?
True
Is 4*(952830/(-72))/(-3) a multiple of 65?
False
Suppose -b - b = -10. Let m be (-62 + 3)/((-1)/2). Suppose b*f = -4*g - 2 + m, -73 = -3*f + g. Is f a multiple of 8?
True
Suppose -44*a - 9 = -47*a. Suppose y + 1136 = a*s, 5*s = -5*y - 558 + 2438. Does 14 divide s?
True
Suppose 6*x - 50 = 16. Suppose -2*u + x*u = -702. Let k = -36 - u. Does 8 divide k?
False
Suppose 2*p - 2287 = i, -4*i + 5611 = 3*p + 2164. Is 9 a factor of p?
False
Let z(w) = 3*w + 107. Let g be z(-35). Suppose g*h = 739 - 275. Is 16 a factor of h?
False
Suppose -3*g - 5*t + 10 = 2*g, -44 = -4*g + 5*t. Suppose 4*x + m - 660 = -4*m, 332 = 2*x + 2*m. Suppose c = g*c - x. Is 17 a factor of c?
True
Let o(f) = 17*f + 37. Suppose -28 = -4*m - 3*n, -2*n = 5*m - 19 - 16. Is 12 a factor of o(m)?
True
Suppose 2*u + 1411 = 3*u - 4*y, 2*u - 2825 = 5*y. Let s = u - 855. Is s a multiple of 16?
True
Is (854 + -293)*(4/(-6))/((-4)/6) a multiple of 58?
False
Let y = 20908 - 9393. Is 32 a factor of y?
False
Let r = -9 + 31. Let w = r + -25. Is (-21 - 3)*26/w a multiple of 11?
False
Does 4 divide (11 - 5193/(-63))*28?
True
Let i(g) = -6*g**3 - 6*g**2 - g + 8. Let h be i(-4). Let m = 135 + h. Does 5 divide m?
True
Suppose -7409340 = -101*t - 2617294. Is t a multiple of 14?
True
Let t(d) = -d**3 + 5*d**2 + d. Let h be t(5). Suppose -2*u - h*b - 14 = u, b = -4*u + 4. Suppose -u*o - 417 = -3*m - 5*o, 0 = -4*o + 4. Does 23 divide m?
True
Let q(s) = 137*s - 6. Let u(n) = 138*n - 5. Let i(g) = 6*q(g) - 7*u(g). Let l be i(-1). Does 18 divide (-26)/l - 1192/(-22)?
True
Let a(x) = x**3 + 7*x**2 + 7*x + 18. Let q = -38 + 38. Suppose 4*h = v + 9 + 9, q = -h + 3. Is a(v) a multiple of 4?
True
Suppose -3*a + 4*o + 19 = 0, -a + 2*o + 7 = -0*o. Let k = 14 + a. Suppose 7*y - 166 = -k. Is 7 a factor of y?
True
Is 49 a factor of (7 - 42)*((2 - 4) + -63)?
False
Let u be (8/16)/((-1)/(-4)). Suppose 16 = 4*h + 4*t - 24, -5*h + 38 = u*t. Suppose -155 = -x + h. Does 29 divide x?
False
Let f(q) = -9*q**2 + 23*q - 10. Let h(x) = 16*x**2 - 44*x + 19. Let m(j) = -7*f(j) - 4*h(j). Is m(6) a multiple of 7?
False
Suppose -m = -6*m - 25, -4*l = -2*m - 233518. Is l a multiple of 183?
True
Let n = -8351 + 15326. Does 80 divide n?
False
Suppose -11*t + 6 = -10*t. Suppose 0 = -5*w + 44 + t. Suppose 15*j = w*j + 5*x + 985, -x = 5*j - 979. Is 10 a factor of j?
False
Let p(f) be the first derivative of 375*f**2/2 - 10*f - 43. Does 10 divide p(2)?
True
Let x(d) = -19*d - 112. Let m be x(-6). Let p(r) = r**2 - 45 + 5*r**2 + 47 - 4*r. Is 8 a factor of p(m)?
False
Suppose 38*b - 36*b = 11430. Suppose -136*g + 127*g + b = 0. Does 15 divide g?
False
Let q(y) = 8*y**2 + 6*y - 7. Let d be q(1). Suppose -1624 = d*h - 0*h. Let g = -151 - h. Is 30 a factor of g?
False
Suppose 5*d + 0*z = -z + 1472, z + 3 = 0. Let g = -192 + d. Is g a multiple of 6?
False
Let x be (15/(-5))/9 + (-92)/(-6). Let j(o) = o**2 - o + 1. Let r(b) = 3*b**2 - 6*b + 4. Let n(z) = x*j(z) - 3*r(z). Is 7 a factor of n(-2)?
True
Suppose 5*s + 14 = 34. Suppose s*c + 1 = 197. Let j = 48 + c. Does 34 divide j?
False
Let h = -10156 + 10327. Is 22 a factor of h?
False
Let f(z) be the third derivative of -z**5/60 - z**4/3 + 7*z**3/6 - 9*z**2. Let r be f(-9). Is 17 a factor of -1*(r + (-190 - 3))?
False
Suppose 3*j - 4*z - 85 = z, z = 1. Suppose -j*k + 1932 = -23*k. Is 6 a factor of k?
True
Is (-300465)/(-462)*-7*16/(-6) a multiple of 13?
False
Let f = 312 + 60. Suppose -76*k = -82*k + f. Is k a multiple of 11?
False
Let x(g) = 46*g + 1. Let k be 1/(-3) + 8/(-12). Let h be x(k). Let d = 127 + h. Is d a multiple of 16?
False
Is 40 a factor of 10/(-55) + (0 - (-15005)/(-55))*-21?
False
Suppose 474 + 982 = 8*t. Suppose 9*j = -4*j + t. Is 50 a factor of ((-700)/j)/((-1)/2)?
True
Suppose g - 7*a + 6*a = 30, 2*a = 4*g - 122. Suppose -6*m - 1 = -g. Suppose -d + f = -42, 2*f - 3*f + 198 = m*d. Is 10 a factor of d?
True
Let v = -1642 - -2357. Does 13 divide v?
True
Let g(f) = 45*f**2 - 9*f + 9. Let j(k) = 11*k**2 - 2*k + 2. Let o(t) = -5*g(t) + 21*j(t). Let v = 14 + -17. Is 42 a factor of o(v)?
True
Let g be (-1 + 14/18)/((-442)/1989). Does 35 divide (15*(8 - g))/((-18)/(-90))?
True
Let d = 273 - 270. Suppose -2*m = -4*m - d*j + 1371, 3*j = -5*m + 3441. Does 20 divide m?
False
Let o = 1523 + -1041. Let w = o + -410. Is 6 a factor of w?
True
Suppose 3*k - 12526 = 5*d, -2 = -k - 5. Let b = -1575 - d. Is b a multiple of 13?
False
Let d be (3/(-6))/(1/(-260)). Suppose 32*x - 27*x - d = 0. Suppose -31*r + 135 = -x*r. Is