 45?
True
Suppose 9*j - 9 = 6*j. Suppose 264 = -j*t + 4*t. Suppose -12 = 4*d - t. Is 21 a factor of d?
True
Let i = 263 - 236. Let m = i - -21. Is 24 a factor of m?
True
Suppose 20 = 11*m - 7*m. Suppose 0*w - 3*w - 5*j = -395, -445 = -3*w + m*j. Does 10 divide w?
True
Suppose 150 = -6*r + 11*r. Suppose 3*o + 2 = 2*a - r, 2*o = -3*a + 22. Suppose 0 = -2*q + a + 4. Is 3 a factor of q?
False
Does 111 divide (0 + (-2)/14)*((-1653)/(-57) + -42946)?
False
Suppose 7*x = -841 + 4383. Suppose 10*t - x = -t. Does 46 divide t?
True
Let c(g) = 12*g**2 - g**2 + 4*g**2 + 3*g**2. Suppose 0 = 7*n - 9 + 2. Is 18 a factor of c(n)?
True
Suppose 12*v - 6*v = 0. Suppose 0 = 9*x - 11*x + 42. Let i = v + x. Is 19 a factor of i?
False
Let u = 615 + -612. Suppose u*g = 12*g - 15876. Is g a multiple of 63?
True
Let z(w) = -304*w**3 + 2*w**2 - 2*w - 4. Let m be 5/(-1 + -4)*1. Does 16 divide z(m)?
True
Let x(s) = 41*s**3 - 3*s**2 - 7*s - 6. Let i be x(3). Suppose -15*c = -18*c + i. Is c a multiple of 7?
False
Let z(c) = c**2 + 10*c + 16. Let l be z(-8). Suppose 3*m - 7*m + 956 = l. Let d = m - 131. Does 14 divide d?
False
Suppose -36*h + 711583 = 13*h - 460399. Does 41 divide h?
False
Suppose 0 = -3*t + 4*t - 2. Let p(m) = 3*m**t - 21*m + 23*m - 2*m**2 + 32. Is p(0) a multiple of 16?
True
Suppose 12*m + 18*m + 33*m = 752409. Is m a multiple of 27?
False
Suppose -3*z = -5*z - 2. Let t be (((-22)/(-4))/(-1))/((-16)/32). Is (0 + -2)/(z/t) a multiple of 10?
False
Let b(o) = 38*o**2 - 7*o. Let a be (12/(-8))/3*(4 - 12). Is b(a) a multiple of 21?
False
Let q(f) = -279*f - 830. Is 9 a factor of q(-10)?
False
Suppose -5*r = 5*s - 50, s - 7*r = -5*r - 2. Suppose 4*v - 346 = -s. Is 5 a factor of v?
True
Let g = 1417 - 822. Let o = g + -462. Does 7 divide o?
True
Let m be (-10768)/(-240) + (-4)/(-30). Suppose m*w + 31 = 46*w. Is 4 a factor of w?
False
Let d be (13 - 5)*(13 - -3). Let a = -16 + d. Let b = a - 77. Is 12 a factor of b?
False
Let t(z) = 483*z + 88. Does 19 divide t(10)?
False
Let b = 50 - 47. Let k = 54 + -34. Suppose -p = -5*p + k, -3*h - b*p + 45 = 0. Does 5 divide h?
True
Suppose -23 = -4*d - 7. Suppose 5*s - 574 = -4*f, -d*f + 556 = -0*f - 4*s. Is f a multiple of 13?
False
Let n(d) be the second derivative of 7*d**5/20 - d**4/3 + d**3/3 - 3*d**2/2 + 3*d + 3. Does 45 divide n(3)?
False
Suppose 732*l - 733*l + 32020 = -3*c, -l - 2*c = -32040. Is 28 a factor of l?
True
Suppose -31*f + 25*f = 28*f - 373456. Does 132 divide f?
False
Let c(k) = -5*k**3 - 3*k**3 - 4*k + 7*k**3 + 3*k. Let i be c(-1). Suppose -f - 5 = -i*f. Is f a multiple of 5?
True
Suppose 183*b = -172*b + 343*b + 5748. Does 11 divide b?
False
Suppose 3829 - 11729 = 10*y. Let b = -120 - y. Is 67 a factor of b?
True
Is 100 a factor of (-34)/(-612)*-8 - 166504/(-9)?
True
Let p = -97564 - -231340. Does 22 divide p/80 - (-3)/(-15)?
True
Let y be 29*12 - 17/((-34)/8). Suppose y = 10*d + 6*d. Does 9 divide d?
False
Suppose 14*k - 63 = 7*k. Let c(n) = n**3 - 6*n**2 - 8*n - 1. Is 14 a factor of c(k)?
False
Suppose 0*l + 39 = -3*l. Let v = 13 + l. Suppose u - 21 = -v*u. Is 10 a factor of u?
False
Does 85 divide ((-1843)/(-57))/(2/234)?
False
Let i(v) = 3*v - 19. Let d be 2/2 + (-1)/((-4)/24). Let z be i(d). Suppose 0 = h + z*f - 23, -h + 2*f = 3 - 14. Does 2 divide h?
False
Let p = 63852 - 30727. Is p a multiple of 25?
True
Suppose -40*n - 19*n - 47*n + 3548456 = 0. Is 20 a factor of n?
False
Let y(n) = n**3 + 54*n**2 - 4*n - 50. Let z(q) = -2*q**2 + q + 1. Let h(m) = -y(m) - 6*z(m). Is 4 a factor of h(-42)?
True
Let z be (-2)/3 - (-5)/(30/562). Suppose -d = -p + z, 4*p - 70 - 295 = -3*d. Is p even?
True
Let k = 4218 + -3926. Let u be 434 + 1*-1*-1. Let i = u - k. Is i a multiple of 11?
True
Suppose 6*v = 2*v + 20. Let i(l) = l**3 + 9*l**2 - 2*l + 12. Is 8 a factor of i(v)?
True
Let b = 211 + -51. Suppose t + 3*x + 115 = 0, 5*t + x + 4*x + 625 = 0. Let v = b + t. Is v even?
True
Suppose 5*v = 7*v - 6. Suppose 3*m = -v*m + 768. Suppose -3*l - 2*w + 124 = -l, -2*l = w - m. Is l a multiple of 29?
False
Suppose -7*d + 90 = 27. Suppose 0 = d*g - 15 - 1686. Is g a multiple of 11?
False
Let k(a) = 6*a + 45. Suppose 54 = -20*d - 46. Is 4 a factor of k(d)?
False
Is (-8816)/(-2) - (14 + 323/(-19)) a multiple of 34?
False
Suppose 8*s - 13 + 37 = 0. Is 49 a factor of (0 + s)/((-587)/(-196) - 3)?
True
Let i(b) = 6*b + 1 + b**2 - 8*b**2 + b**2 - b**2. Let j be i(12). Is 6/(((-2)/2)/(j/22)) a multiple of 23?
False
Let q = 23 + -23. Suppose 2*n - 3*n = 3*y - 417, -5*n - 3*y + 2145 = q. Suppose -14*d + n = -10*d. Is 12 a factor of d?
True
Let b be -26 - ((-30)/5 - 0). Is 24 a factor of (61/(-4))/((5/b)/1)?
False
Does 13 divide (-4 - 3) + 46/6 - (-122419)/3?
True
Let g(y) = -y**3 + 9*y**2 - 11*y - 17. Let l be g(7). Let k = l - -159. Let x = -113 + k. Is 4 a factor of x?
False
Let u(f) = -3 + 2 - 32*f - 2*f**2 - 3 + 2. Does 15 divide u(-10)?
False
Let m(a) = 23*a - 315. Let j = -877 - -904. Is m(j) a multiple of 7?
False
Suppose -3*j + 5*l + 11 = l, 5*j - 4*l = 13. Let a be (-5 + 2 + 40)/j. Let i = 48 - a. Is 10 a factor of i?
False
Does 17 divide (-64)/832 + 159123/39?
True
Let a = 928 - 943. Let k(l) = l**3 + 15*l**2 - 33*l - 27. Is 36 a factor of k(a)?
True
Suppose -1321*z + 1320*z = -1512. Is z a multiple of 54?
True
Let o(c) = -14*c. Let v be o(1). Let z = v + 26. Suppose 0 = -z*n + 3*n + 918. Does 15 divide n?
False
Let m(v) = -v**3 - 6*v**2 + 8*v + 53. Let y be m(-6). Let x be (63/(-6))/(y/(-10)). Suppose -u + 2*u = c + x, -2*c = -4*u + 92. Is 25 a factor of u?
True
Let n = -33503 - -41084. Does 7 divide n?
True
Let a(w) = 2*w**2 - 43*w + 18. Let x be a(21). Does 35 divide (-27811)/(-42) - x - (-1)/(-6)?
True
Suppose -q - 1308*l = -1306*l - 441, 0 = 3*q + 4*l - 1337. Is q a multiple of 7?
True
Suppose 58 - 193 = 5*k + 2*v, -2*k - 2*v = 54. Let l be 3*4/6 + -104. Let y = k - l. Is y a multiple of 8?
False
Suppose -2043 = 5*i - 5583. Suppose -3*g - 3*l = -i, -5*l = 5*g - g - 940. Is g a multiple of 30?
True
Let m(w) = -226*w - 1513. Is 14 a factor of m(-10)?
False
Let s(p) = 6*p**2 - p - 1. Let z be s(-1). Suppose z*b = 3*b. Let o = 30 + b. Is 10 a factor of o?
True
Let y(h) = h**3 + 19*h**2 - 216*h - 575. Does 99 divide y(-23)?
True
Suppose 12*c - 33 = 9*c. Suppose c = 2*o - 1. Does 30 divide 1/(-6) - (-307)/o?
False
Let z be ((-202)/(-6))/((-2)/(-6)). Let t = z + -88. Is 3 a factor of t?
False
Suppose -64*v - 4*j - 16604 = -67*v, 0 = -3*v - j + 16594. Is v a multiple of 171?
False
Let v = -6099 + 12819. Is v a multiple of 42?
True
Suppose 2*v + 4*k + 8 + 2 = 0, 5*v = -2*k - 65. Let x = v - -18. Suppose x*w = 386 - 107. Does 24 divide w?
False
Let t = -9433 - -13392. Is t a multiple of 37?
True
Suppose -m + 3*n - 663 = -3*m, 330 = m + 2*n. Let j = m - 32. Does 38 divide j?
True
Suppose -13 = -7*i + 15. Suppose 0 = -3*s - i*z - z - 40, z - 1 = 0. Is 10 a factor of (15*s/10)/((-3)/8)?
True
Suppose -37*p + 7 = 44. Does 12 divide 5/(20/(-436))*p?
False
Suppose 11*b - 14*b = -1212. Let q = -124 + b. Is 24 a factor of q?
False
Let f(i) = 3*i - 10. Let s be f(4). Let h be s*-2 + 9*21/9. Suppose h*n = 9*n + 48. Is n a multiple of 4?
False
Let f(h) be the first derivative of h**2/2 + 2*h - 32. Let y be f(-2). Suppose y = 16*d - 19*d + 150. Does 9 divide d?
False
Let b(a) be the first derivative of -69*a**4/2 + 2*a**2 - 9*a - 10. Let y(s) = 69*s**3 - 2*s + 5. Let x(i) = -3*b(i) - 5*y(i). Does 12 divide x(1)?
False
Suppose 0 = -9*q + 2*q + 21. Suppose -4*j + 2*j - g = -311, -5*j + 761 = -q*g. Is 9 a factor of j?
False
Suppose -64*g - 2150 = -59*g. Let p = 43 - g. Is 64 a factor of p?
False
Suppose 16*r = 33*r + 18819. Let v = r + 2510. Does 15 divide v?
False
Let v(l) = -2*l**3 - 40*l**2 + 27*l + 16. Let s = -142 - -121. Is 11 a factor of v(s)?
False
Does 7 divide 428160/624 + (-6)/39?
True
Suppose -149*h + 113*h - 163*h = -1200368. Is h a multiple of 33?
False
Suppose -5*g = 15 + 10, -k - g = 3. Suppose 0 = -17*d + 16*d + i + 440, 0 = -k*i + 10. Is d a multiple of 24?
False
Is 17 a factor of (3 + -6)*-411 + 2 + 0 + 3?
False
Suppose 2*s = 4*x + 566, -4*s - 4*x + 3*x + 1114 = 0. Let r = 596 - s. Does 47 divide r?
False
Let u = 52 - 45. Suppose 0 = 5*z - u - 18. Is 25 a factor of z - 3892/(-52) - (-4)/26?
False
Let i(j) = -4*j - 76. 