ctor of b?
False
Suppose 749 = 5*l - 531. Is 8 a factor of l?
True
Let c be ((3 - 15)/3)/((-8)/10). Let f(t) = -t + 33. Is 28 a factor of f(c)?
True
Let d(n) = 34*n - 2. Let j be (5/4)/(2/8). Is d(j) a multiple of 28?
True
Suppose 166*d = 161*d + 7140. Is d a multiple of 68?
True
Suppose 0 = t - 3*f - 59, 4*t - 4*f + 0*f - 212 = 0. Is 25 a factor of t?
True
Suppose 3*g + 13 = -2, -2*u - g = -145. Let f = -37 + u. Is f a multiple of 10?
False
Let a(y) = 2*y**3 - 5*y**2 + 3*y + 1. Let b be -3 + 32/12 + 20/6. Is a(b) a multiple of 7?
False
Suppose 3*u = -z + 1071, -u + 0*u + 3*z = -357. Is u a multiple of 9?
False
Suppose 4*h - 21 = m, 3*m + 3 = -0. Suppose b - 54 = a, -8 = -h*a + a. Is 28 a factor of b?
True
Suppose -3*f + 1803 = 5*m, -745 = -3*m - f + 340. Suppose 417 + m = 6*h. Is 26 a factor of h?
True
Let z(g) = -g**2 + 17*g + 42. Let i be z(19). Suppose -20 = 5*k, -i*h - h + 259 = -k. Does 17 divide h?
True
Suppose 1 = -4*h - 35. Let i = 0 - h. Let p = i - -11. Is p a multiple of 5?
True
Let j(q) be the second derivative of 23*q**5/10 + q**4/6 - q**3/3 + q**2/2 - 12*q. Suppose 2 - 3 = -b. Is 14 a factor of j(b)?
False
Let u = 2812 + -1312. Suppose -u = -7*b + 4*b. Does 30 divide (36/10)/(30/b)?
True
Let m(y) = 3*y - 19. Let r be m(10). Let d = -21 - -84. Suppose -d = 8*p - r*p. Is 18 a factor of p?
False
Let j(q) = -24*q - 2. Let w be j(-1). Suppose -3*i + d + 517 = 0, i - 221 + w = -5*d. Suppose 0*y - i = -2*y. Does 22 divide y?
False
Suppose 5*o = 4*o + 298. Suppose 3*p + 4*w - 5 = 211, 0 = 4*p + 2*w - o. Is 18 a factor of p?
False
Suppose -3*i - 5*a = -13, a = 3*i + 39 - 76. Is 2 a factor of i?
False
Let a(c) = -2*c**2 + 62*c - 113. Is 5 a factor of a(28)?
True
Let l(r) = 2*r**2 + 11*r - 7. Let u(z) = -z**2 - 13*z + 2*z + 8 - z. Let g(i) = 2*l(i) + 3*u(i). Does 12 divide g(15)?
False
Suppose -135 = -2*r + 5*q, 3*r - 175 = 3*q - q. Is r a multiple of 3?
False
Let x be 4/(-30) - (-91)/(-105). Is (-2 - x)*(-784)/8 a multiple of 14?
True
Let g = -261 - -272. Is 2 a factor of g?
False
Suppose -6*v - 65880 = -18*v. Is v a multiple of 15?
True
Let y = 503 - 95. Does 6 divide y?
True
Suppose 12*x - 97 = 11*x. Suppose -104*u = -x*u - 1232. Is u a multiple of 12?
False
Suppose 20*l + 3*q = 15*l + 284, -5*l = 5*q - 290. Is 18 a factor of l?
False
Suppose -2*z + c - 149 = -2*c, 4*c = -3*z - 215. Let h = 259 + z. Suppose -8*x = -11*x + h. Does 9 divide x?
False
Let s be (6 - 6)/(2 - 1). Suppose s = 3*c + 12, 4*g + 4*c + 40 = -24. Let d = 27 + g. Does 5 divide d?
True
Let g(x) = 2*x + 25. Let b be g(-11). Let n = 60 - b. Does 9 divide n?
False
Let b(m) = 28*m**2 - 45*m + 24. Does 31 divide b(-8)?
False
Suppose 4*y + i + 336 = y, 4*y - 3*i = -435. Does 22 divide -2 + 1 - (y + 15)?
False
Suppose 5*t = 10, -5*t = 2*j - 3*t - 26. Let c(o) = 3 - 12*o + j*o + 33. Does 16 divide c(0)?
False
Let r(g) = g**2 - 8*g - 18. Let q be r(10). Suppose 0 = -q*s + 4*u + 70, 12*s = 14*s - 3*u - 68. Does 26 divide s?
False
Let s = -43 - -29. Let u(x) = -x**2 - 14*x + 20. Let y be u(s). Is (y/25)/((-4)/(-10)) even?
True
Suppose -3*q = -5*q + 12. Suppose -7*r = -q*r - 3. Suppose g - 4*c = -1, -5*c + r*c = 5*g - 61. Does 11 divide g?
True
Suppose 0 = -14*v + 5*v + 5166. Is 23 a factor of v?
False
Let y = -11 + 17. Suppose -y = -3*f + 9. Does 38 divide -2 - f*-23 - -1?
True
Is 30 a factor of (9/(-6))/(27/(-630))?
False
Suppose -3*u - 55 + 1 = 0. Let w = 585 - 563. Let t = w + u. Does 3 divide t?
False
Suppose 5*y - 28*q - 4489 = -25*q, y = -3*q + 905. Is y a multiple of 31?
True
Suppose 4*l = -3*s + 40, 2*s + 0*l - 19 = 5*l. Let m be 18/(s/4) - -2. Suppose m*p - 42 = 7*p. Is p a multiple of 12?
False
Let p = -13 + 15. Suppose 4 = -c, -4*c - 44 = -i - p*c. Let f = 12 + i. Is f a multiple of 9?
False
Suppose -k - 13 = 2*o - 4*o, -4*k - 80 = -o. Let j = -18 - k. Is j a multiple of 2?
False
Suppose 9*l = 11*l - 3232. Does 8 divide l?
True
Suppose 4*t + 2*p + 8 = 6*p, 0 = 3*t + p + 14. Suppose 5*f - f - 16 = 0. Does 34 divide (-3)/t + 665/f?
False
Suppose 3*h + 5*f = -610, 802 + 168 = -5*h + f. Let m = -123 - h. Does 5 divide m?
False
Let y(u) = -u + 7. Let b be y(2). Suppose b*s - 4*t - 355 = 58, 0 = 5*s - t - 407. Is 27 a factor of s?
True
Let q be 1/(-5) + 24/(-30). Let a = 4 + q. Suppose 137 = a*b - 25. Is 9 a factor of b?
True
Let q(m) = 8*m**3 - 2*m**2 - 2*m - 25. Is 23 a factor of q(4)?
False
Let b be (-8)/6 + 4/12. Let n be 39 + (b + 8 - 4). Suppose -v + n = 2*v. Does 3 divide v?
False
Let t(m) = 2*m**2. Let q = 25 + -24. Let g be t(q). Suppose -g*s - 55 = -7*s. Is 11 a factor of s?
True
Let o be (0/(-5))/(-1 + 4). Suppose o = -6*l + 9*l + 21. Is 22/(-5)*(l + -3) a multiple of 22?
True
Let w = -26 + 30. Suppose -w*z = -4, 2*k - 2*z + 7*z - 151 = 0. Suppose 4*f = 5*g - k - 53, -4*f = 2*g - 28. Is g a multiple of 9?
False
Let x(f) = f**3 - 3*f**2 - 5*f - 6. Let r be x(-3). Let p = 106 + r. Is 13 a factor of p?
False
Let y be (-1)/(2/(-5 - 53)). Is 29 a factor of y/(-3)*126/(-21)?
True
Suppose 0 = -5*m + 2*i + 1042, -m - 143 = 3*i - 348. Is 13 a factor of m?
True
Is 20 a factor of 3*(-1)/12 + (-5602)/(-8)?
True
Suppose p + 1 = 4. Suppose v + p*x + 4 = -6, 5*v - 4*x - 45 = 0. Suppose v*c = -237 + 752. Does 19 divide c?
False
Suppose 6*y - 24*b = -20*b + 2114, 5*y - 1720 = -5*b. Is y a multiple of 23?
False
Suppose 136 = 2*o - 5*p, o = p + 44 + 30. Is 13 a factor of o?
True
Let s(a) = 17*a + 5 - 44*a + 6*a**2 - 9*a**2 - 15. Is s(-8) a multiple of 2?
True
Let t(l) = -2*l - 24. Let n be 326/(-22) - 2/11. Does 2 divide t(n)?
True
Suppose -20 + 204 = 4*m - 5*n, -2*m + n = -98. Is 7 a factor of m?
False
Suppose 12424 = 4*b + 2*k, -2389 = -2*b - 4*k + 3823. Is 19 a factor of b?
False
Is 3 + 1 + 55 + 10/(-2) a multiple of 7?
False
Let x = -164 + 97. Let k = x - -75. Is 8 a factor of k?
True
Let x(v) = -v + 1. Let w(g) = 2*g - 7. Let p(o) = w(o) + x(o). Let r be (0 + 5)*-1*84/(-35). Does 3 divide p(r)?
True
Suppose 0*p + 3*o - 62 = 5*p, 0 = -5*p + o - 54. Let n be ((-12)/10)/(p/25). Suppose 0 = -n*k + 42 - 6. Is k a multiple of 6?
True
Let f(h) = -h - 5. Let l be f(-7). Suppose l*p = -6, 2*s + 3*s = 5*p + 405. Suppose -5*c + 8*c - s = 0. Is 13 a factor of c?
True
Does 12 divide 28322/153 + -2 + 51/27?
False
Let r(h) = h**3 - 12*h**2 - 26*h - 4. Let p be r(14). Is (-47 + 2)*p/(-18) a multiple of 17?
False
Suppose 4*y - 3*j + 15 = 0, -y - y + 2*j = 10. Suppose -98 = -4*u + 3*l, y = -3*u + l - 3*l + 65. Does 12 divide u?
False
Suppose -232 = -2*b - 210. Suppose b*f - 1100 = f. Is 10 a factor of f?
True
Does 48 divide 2125 - (-15 - (-99)/11)?
False
Suppose -47 + 149 = 6*c. Let s(b) = 2*b + 2*b**2 - b**2 + 6 - 17*b. Is s(c) a multiple of 15?
False
Suppose 11924 = 15*z - 1576. Does 5 divide z?
True
Let h(b) = b**3 - 4*b**2 + 6*b - 21. Let o be h(4). Suppose 4*c - 3*d = 324, 1 = -d + 5. Suppose -s = o*s - c. Is s a multiple of 7?
True
Let d be (-7 - -1)*(-14)/(-6). Let u be ((-9)/(-6))/((-3)/d). Suppose 90 = -4*q + u*q. Does 5 divide q?
True
Suppose 16268 = 4*q - 4*x, 810 + 15413 = 4*q + 5*x. Does 126 divide q?
False
Let p(d) = -d + 7 + 19*d**2 - 2 - 4. Suppose -3*s + 4 = 5*z - 0*s, -4*s = 4*z. Does 25 divide p(z)?
True
Let t be (-30296)/(-72) + -3*(-2)/27. Suppose 5*p = 489 + t. Is p a multiple of 35?
False
Suppose 16*d - 2980 - 220 = 0. Does 12 divide d?
False
Suppose 180*k = 175*k + 1220. Is 19 a factor of k?
False
Let l be (-14)/(-4)*(-1 - 5). Let h = l - -24. Does 14 divide h/5 - (-1148)/70?
False
Let o be 49/(-21) - (-1)/3. Let u(m) = -9*m + 6. Let v be u(-6). Is 14 a factor of ((-672)/v)/(o/20)?
True
Let f(a) = 2*a**3 + 6*a**2 + 2*a - 20. Does 14 divide f(5)?
False
Suppose 129 - 149 = -u. Is 4 a factor of u?
True
Suppose 0 = 3*a + 4*r - 4377, 2*a = a + 6*r + 1481. Is a a multiple of 47?
False
Let h(y) = -56*y**3 - 5*y**2 - 5*y - 2. Is h(-1) a multiple of 37?
False
Let q be (5 + -4)/((-2)/(-24)). Suppose q*k - 300 = 7*k. Is k a multiple of 15?
True
Let z = 1134 - 545. Is z a multiple of 19?
True
Let b(f) = -43 + 0*f**3 + 8*f + 21*f - 3*f**3 - 3*f - 28*f**2. Let s(l) = 5*l**3 + 42*l**2 - 39*l + 65. Let o(j) = -8*b(j) - 5*s(j). Is o(13) a multiple of 8?
False
Let j = 9855 - 6605. Is 25 a factor of j?
True
Let m(d) = 3*d**3 - 5*d**2 + d + 8. Does 9 divide m(4)?
False
Let i be (4 + -1)