 Is g a multiple of 45?
True
Suppose 0 = 3*f - 0*f. Suppose f = 2*h - 4*h + 8. Suppose 0 = -0*v + v - h*b - 18, 2*b + 144 = 5*v. Is 5 a factor of v?
True
Let t(u) = 2*u**2 + 31*u + 760. Is 31 a factor of t(0)?
False
Let z = 187 + 1356. Is z a multiple of 91?
False
Suppose -4*l + 3*l - 2 = 0. Let g = l + 20. Let i(a) = -a**3 + 16*a**2 + 43*a - 9. Is i(g) a multiple of 44?
False
Let s(a) = a**3 - 6*a**2 - 6*a**2 + 2 + a**2 - a**2. Let m be s(12). Suppose 5*x - h - 359 = 0, x + m*x = 4*h + 212. Does 8 divide x?
True
Suppose -461*p + 918231 + 8791812 = 0. Is p a multiple of 177?
True
Let b be -1 - (-1)/(2/(-196)). Let n = -4714 - -4604. Let t = b - n. Is 2 a factor of t?
False
Is -1 + -2 - (-47448)/24 a multiple of 3?
True
Suppose -190*t = -181*t - 18. Let w be (1 - 1)*-1*-1. Suppose t*z + w = 3*n - 486, 9 = 3*z. Does 41 divide n?
True
Let j be 1/(-1*2/180). Let d = 83 + j. Is 5 a factor of d/((-14)/68) + 4*-1?
True
Suppose -290829 = -11*t - 18*t - 42009. Does 33 divide t?
True
Let z(s) = 235*s + 12. Let r be z(4). Suppose 21*v = 4*v + r. Is v a multiple of 21?
False
Let i = -17503 + 25170. Is 25 a factor of i?
False
Suppose -8*c - 10*c + 140895 = 75*c. Is c a multiple of 81?
False
Is 9 a factor of (1*(-6)/12*-614)/((-2)/(-34))?
False
Let n = 278 + -272. Is 3 a factor of (-7930)/(-78) - 4/n?
False
Let v = 692 + 3710. Does 19 divide v?
False
Suppose 4*r - 116 = 596. Let i(j) = -j**3 + 12*j + 9. Let t be i(5). Let k = r + t. Does 11 divide k?
False
Let f(n) be the third derivative of 46*n**5/15 - n**4/24 + n**3/6 - n**2. Suppose 0 = -8*a + 3*a - 3*q + 13, 3*a + 3*q = 15. Is f(a) a multiple of 31?
True
Let a(q) = -4*q - 8. Let h be a(-3). Suppose -2*y = 3*y + h*f - 390, -2*y + 2*f + 174 = 0. Is y a multiple of 41?
True
Let t = 4723 - 4293. Does 3 divide t?
False
Let f = 70 + -45. Suppose 4*k = -s + 5, 2*k + 10*s - 5*s = f. Suppose k = 19*d - 16*d - 138. Is d a multiple of 6?
False
Suppose 44 = -7*h - 5. Is 10 a factor of h + 3 - 2 - -2 - -228?
False
Let k = 31 + -38. Let j be ((-21)/(-12))/k - (-3)/12. Let m(c) = 2*c + 20. Is 20 a factor of m(j)?
True
Let j(m) = -m**2 - 34*m - 67. Let s be j(-32). Let l(a) = -59*a**3 + 18*a + 52. Is 43 a factor of l(s)?
True
Let v be (-13 + -8 + 4)*-2. Suppose -5*q + 2*d + v = 0, 2*q + 28 = 5*q - 5*d. Suppose q*i - 2*i = 596. Is 38 a factor of i?
False
Suppose 63*h - 22911 = 92145 - 24210. Is h a multiple of 103?
True
Suppose 74*t - 47970 = 61*t. Is 15 a factor of t?
True
Let v(n) = n**3 + 15*n**2 + 12*n - 9. Let q = -4 - -6. Suppose c + 42 = -q*c. Is v(c) a multiple of 11?
False
Let o(k) be the second derivative of -k**4/6 + 7*k**3/6 + 2*k**2 + 18*k. Let u be o(4). Does 18 divide (-1 - -1*109) + u/(-14)?
True
Let y = 5087 + -3185. Suppose -8464 = -17*v - y. Does 51 divide v?
False
Does 14 divide (4950/11)/((-430)/(-700) + (-2)/5)?
True
Let n(c) = -7*c**2 + 2*c - 2. Let q be n(-5). Let i be q/(-4) + (-6)/8. Suppose 5*h - i - 54 = 0. Does 10 divide h?
True
Let i(p) = -191*p - 1694. Is 32 a factor of i(-37)?
False
Suppose -4*o + m - 464 = 101, -4*o - 5*m - 583 = 0. Suppose 43 = 5*r + 253. Let q = r - o. Is q a multiple of 14?
False
Suppose -7*u + 10*u - 1015 = -2*t, -5*t + 1344 = 4*u. Let q = 751 + u. Does 28 divide q?
True
Let s(w) = -2*w**2 - 25*w + 75. Let a be s(-15). Suppose -2*v - 10*u + 9*u + 336 = a, 4*v = 2*u + 672. Is v a multiple of 56?
True
Let u = 50 - -139. Let v = 424 - u. Is v a multiple of 16?
False
Let x = 108840 - 70552. Is x a multiple of 13?
False
Let u(x) = -x**3 + x**2 - x - 10. Let t be u(0). Let z(f) = -2*f**2 + 10*f**2 + f**3 - 4*f + 11*f**2 + 12 - 8*f**2 + f. Does 15 divide z(t)?
False
Let q = -31 + 33. Suppose -q*j = -7 - 707. Suppose j = 5*t + 3*g, 4*g - 141 = -2*t + g. Does 12 divide t?
True
Suppose 27*t - 55436 + 19704 - 52396 = 0. Is 4 a factor of t?
True
Suppose 10 = -3*i + 16. Let d be ((-30)/(-20))/(2*i/16). Let t(o) = 19*o. Does 13 divide t(d)?
False
Suppose 7*z + 194 = 4*z + 5*d, 4*d = -z - 59. Is 34 a factor of 1184 - 9/z*-7?
False
Suppose 10 = 2*z, 5*z = m - 307 + 44. Does 18 divide ((-174)/8)/(2586/m + -9)?
True
Let c be 2/14 - (-635)/(-35). Does 13 divide ((-124)/12)/(6/c)?
False
Let l = 36 - 36. Suppose -5*f + l*f - 25 = 0. Is 13 a factor of 69/6*(-3 - f) + 4?
False
Suppose -200 = 5*h - 5*q, 0*h - 5*q + 92 = -2*h. Let p = h - -34. Is -4*(21/(-12) - p) - -105 a multiple of 13?
True
Suppose -368*y + 394*y - 21658 = 0. Does 9 divide y?
False
Let d = 85 - -12. Let r = d - -28. Is r a multiple of 4?
False
Suppose 330*l - 334*l + 908 = 0. Let h = l + -69. Is h a multiple of 13?
False
Let i = 686 - 170. Suppose 4*g = -4*a + i, 389 = -a + 4*a + 5*g. Is a a multiple of 11?
False
Let z be (-6)/(-5) - 96/(-20). Suppose -z*g + 824 = -2*g. Is 19 a factor of g?
False
Suppose -164*f - 687 = -161*f. Let n = -193 - f. Does 9 divide n?
True
Suppose -295438 = -274*f + 10309732. Is f a multiple of 56?
False
Let t(k) = -432*k - 1757. Is t(-11) a multiple of 19?
False
Suppose 242*h - 230082 = -246*h + 482*h. Is 31 a factor of h?
True
Let d(q) = q**2 - 4*q - 8. Suppose 4*m - 7*m + 21 = 0. Let f be d(m). Suppose 20*h = 21*h - f. Does 13 divide h?
True
Suppose -2*g + 2*j - 97 + 929 = 0, 4*j + 2079 = 5*g. Let y = g + -187. Does 8 divide y?
False
Suppose 5*o - 3*o - 16 = 0. Let d(i) = -i**3 - 9*i**2 - 12*i - 14. Let h be d(-11). Suppose 4*g - o*g = -h. Is g a multiple of 15?
True
Let b = 2671 + 23122. Is 116 a factor of b?
False
Let n be 2 - 7/2 - (-55)/10. Suppose -4*w = -4*q + 264 - 1392, 848 = 3*w - n*q. Is w a multiple of 8?
True
Let i(g) = -g + 47. Let o be i(12). Suppose -2*l - 13*h + 10 = -11*h, 2*h + o = 3*l. Is 3 a factor of l?
True
Let v(o) = -107 - 52 + 58*o - 166. Is 3 a factor of v(7)?
True
Suppose 4*p + 5*b - 32 = 0, 5*b + 40 = p + 4*p. Suppose r - p = -12. Is ((-56)/(-6))/(r/(-26 + 2)) a multiple of 4?
True
Suppose 4*n - 2*n - 2*m = 78, 2*n + 2*m = 78. Suppose 71 - 8 = b + 5*h, -b + n = -3*h. Does 6 divide b?
True
Let y = 16 - -574. Let o = y + -390. Does 20 divide o?
True
Suppose 26*d + 1591 = -24773. Let x = d + 1812. Is 42 a factor of x?
True
Let x = -3142 + 3553. Is x a multiple of 3?
True
Let r(f) = 27121*f**2 + 104*f + 104. Is 86 a factor of r(-1)?
False
Let r be -4647 - (5*-1 - (11 - 19)). Is (r/(-100))/((-1)/(-6)) a multiple of 8?
False
Suppose -4*d + 3*c + 0 = 20, 2*c + 10 = -2*d. Is ((-56)/d)/((-16)/200*-5) a multiple of 28?
True
Let o = -402 + 405. Suppose 45 = o*j - 303. Does 29 divide j?
True
Let v be (-20)/45 + 0 + (-8)/(-18). Let i = 268 + -161. Suppose 3*q - i - 37 = v. Does 6 divide q?
True
Let u = 6177 + -613. Is 12 a factor of u?
False
Let v be 22/4 + (-1)/2. Let b be 43/v + 30/(-50) + 1. Does 8 divide 80/(-15)*b/(-2)?
True
Let j(x) = 2*x**3 - 9*x**2 + 3*x + 6. Let c be j(4). Suppose -3*f + 4*u + 1803 - 319 = 0, c*u + 1474 = 3*f. Is f a multiple of 65?
False
Let r(h) = 4*h**2 - h + 49. Suppose -4*i + 4*s = i - 12, -6 = -2*i + 2*s. Does 16 divide r(i)?
False
Let u(r) = -r**2 - 2*r - 5. Let y(l) = 3*l**2 + l. Let j(f) = u(f) + 3*y(f). Is 37 a factor of j(-5)?
False
Suppose -w - 44022 = -p, -3*w - 176058 = -4*p - 4*w. Does 168 divide p?
True
Let l = 71 - 65. Suppose 0 = -5*t - 15, 2*u + 6*t = 4*t + l. Suppose 0 = -u*z - 0*z + 462. Is 20 a factor of z?
False
Let n(x) = -37*x + 79. Let s be n(-7). Suppose -4*v = -4*z + 6*z - 1424, v - s = 4*z. Is 33 a factor of v?
False
Let n be (-2)/2 - (-130 + 11 + -5). Suppose 197 = -5*f + 567. Suppose -2*r + f = 4*g, -4*r = -3*g + 6*g - n. Is 6 a factor of r?
False
Let o = 9857 + 595. Suppose 18*v - 6*v - o = 0. Is 16 a factor of v?
False
Suppose 200*n = -5*g + 203*n + 35676, 4*n + 21388 = 3*g. Does 68 divide g?
True
Is 14 a factor of (-19406)/(-6) - ((-4836)/(-468) + (-11)/1)?
False
Let u = 549 - 1467. Let x be u/(-7) + (-1)/7. Let o = -75 + x. Is o a multiple of 9?
False
Suppose -25*x = 13*x - 21*x - 24276. Is 51 a factor of x?
True
Let q be ((-10)/(-10))/(1 + 0). Let c be q/4 - 1717/68. Let a = c - -61. Is 18 a factor of a?
True
Suppose -4*z = -3*u + 825, 3*u - z - 131 = 703. Suppose -297 = -2*d + 5*b, b + u = 2*d + 2*b. Is 26 a factor of d?
False
Let b(v) = v**2 + 19*v + 58. Let y be b(-15). Let x(r) = -57*r + 10. Does 11 divide x(y)?
False
Suppose -5*y + 40 = 5*y. Suppose 5*u - y = 3*u. Suppose 0 = -5*h + 3 + 12, 2*h + 194 = u*q