ultiple of 10?
True
Let z be (-291)/12 + (-2)/(-8). Does 11 divide z/40 + 333/5?
True
Let v = -327 - -831. Is v a multiple of 7?
True
Suppose -2*y = -4*i + 570, -i + y + 115 = -30. Is i a multiple of 70?
True
Suppose 6*l - 3*l = u - 194, 0 = -2*u + 4*l + 386. Let s = u + -29. Suppose s = 6*v - v - a, -34 = -v + a. Is 16 a factor of v?
True
Let j(x) = 2*x**2 - 22*x - 141. Does 7 divide j(29)?
True
Let t = -2 - -1. Suppose -x = -1 - 14. Let w = t + x. Does 7 divide w?
True
Does 21 divide (-153)/5*(-20)/6?
False
Let m(g) = -g**3 + 17*g**2 - g + 38. Suppose 2*c = 0, k - 17 = -0*c - c. Does 5 divide m(k)?
False
Suppose 42*q = 6965 + 15253. Is q a multiple of 15?
False
Let q = -36 - -65. Suppose -7*z = -92 + q. Is 3 a factor of z?
True
Let q(f) = -f**2 - 21*f - 22. Let j = -86 + 74. Does 43 divide q(j)?
True
Suppose 3*m = -2 + 35. Is m a multiple of 7?
False
Let j = 473 - -238. Is 9 a factor of j?
True
Suppose 0*m - 3*m = -3. Suppose -24 = -5*r + 2*a, 3*a + 1 = -r - m. Suppose -4*w + 0*w - 85 = -v, r*w + 223 = 3*v. Is v a multiple of 23?
True
Let z(r) = -17*r + 256. Is 15 a factor of z(-8)?
False
Suppose -131457 = -70*i + 30383. Does 22 divide i?
False
Suppose -3*f + 52 = 10*f. Suppose 0 = -4*p - 16, -w + f*p = -16 - 22. Is w a multiple of 4?
False
Let c be -12*273/(-6) + 4. Does 11 divide c/15*3/2?
True
Suppose -140 = -14*m - 28. Suppose 0 = -3*o + 3*a - m*a + 41, -a - 17 = -3*o. Is 3 a factor of o?
False
Let s(x) = 0*x - 3 + 4*x - 4*x + 3*x. Let o(k) = k + 1. Let i(r) = -6*o(r) + s(r). Is i(-8) a multiple of 5?
True
Let i = 768 - 433. Is 7 a factor of i?
False
Suppose m = -7 - 5. Let p be 50/18 - m/54. Suppose 2*r - 113 = y, -6*r + p*r + y = -169. Does 11 divide r?
False
Suppose -4*v - 4 = -20. Let g = v - 1. Suppose 0 = -2*i + g + 39. Is 7 a factor of i?
True
Suppose 5*j + 5 = -0, j = -2*c + 11. Let z = c - 12. Does 32 divide 2/z - (-97)/3?
True
Suppose -5*v - 159 = -59. Let z be (12/v)/((-4)/60). Does 25 divide ((-5)/3)/(z/(-135))?
True
Suppose 13 = -f - 7*g + 3*g, -4*f - 35 = -g. Let h(r) = -2*r - 13. Is 3 a factor of h(f)?
False
Let p(j) = 13*j**2 + 10*j + 2. Let t be p(-3). Suppose -76 = -g + 5*a, -3*g - a + 301 = t. Is g a multiple of 38?
False
Let p(c) = -c**2 + 5*c + 4. Let x be p(5). Suppose 0 = 4*y - 5*f - 296, x*f + 0 - 370 = -5*y. Is y a multiple of 37?
True
Let z(b) = b**3 - 7*b**2 + 9*b - 5. Let l be z(7). Suppose 0 = -2*v + v + l. Does 12 divide v?
False
Suppose -9 = -3*n - a, 7*n = 3*n - 4*a + 4. Suppose -h - 90 = n*h. Let x = h + 46. Is 12 a factor of x?
False
Let h(i) = -3*i**3 - 4*i**2 - 3*i - 3. Suppose j - 14 = 4*z, -2*z + 10 = -4*z + 2*j. Is h(z) a multiple of 12?
False
Let g(j) = j**2 + 3. Let c be g(0). Let s be 28/(3 - 7/c). Suppose z + s = 3*z. Does 5 divide z?
False
Let h = 57 + -28. Does 10 divide 1*h + (1 - 0)?
True
Let y = 64 - 73. Let m(g) = g**3 + 13*g**2 + 14*g - 21. Is 9 a factor of m(y)?
False
Let h = -34 - -34. Suppose p - 33 - 1 = -5*s, 5*p - 191 = -4*s. Suppose -p = -h*w - w. Is w a multiple of 13?
True
Let u = 26 + -26. Suppose u = 17*z - 21*z + 248. Suppose 4*i - 6 + 1 = -x, 2*i = -4*x + z. Is 6 a factor of x?
False
Is 36 a factor of (-324)/15*70/(-3)?
True
Let k be 1024/24 - (-2)/6. Let y be (-1)/(-4 - (-3945)/987). Suppose -y - k = -3*q. Is 35 a factor of q?
False
Let w(u) = -575*u + 1. Let y be w(2). Let o = -581 - y. Suppose 2*i = -6*i + o. Does 12 divide i?
False
Let q(z) = 8*z - 7. Let m(j) = -j. Let s(t) = -4*m(t) + q(t). Suppose 0 = -2*o + 2*g - 4, -3*g + 2 = -5*o - 0. Is 10 a factor of s(o)?
False
Let c(r) = -14*r + 482. Is 2 a factor of c(26)?
True
Is (-35996)/(-18) + (-122)/(-549) a multiple of 68?
False
Suppose 3*o - 1052 - 1948 = 0. Does 25 divide o?
True
Suppose -3*f - 2*d = -0*f - 1, 5*f + 5*d = 5. Does 13 divide 232/6 - (3/(-9) - f)?
False
Does 14 divide ((-2268)/(-45))/((-6)/(-40))?
True
Let p(t) = -19*t + 91. Does 13 divide p(-13)?
True
Let v = 68 - 35. Let a = v - -5. Does 32 divide a?
False
Let i(f) = f**2 + 5*f**2 - 4*f**2 + 22 + 7*f. Is i(-9) a multiple of 12?
False
Let t(v) = -841*v - 891. Does 15 divide t(-6)?
True
Let i(p) = -13*p**3 + 2*p**2 - p - 2. Suppose 3*n = 2*n - 1. Let d be i(n). Does 29 divide 1/2 + 1617/d?
True
Suppose 7*g + 0*g = 0. Suppose n + g = 1. Let z(o) = 40*o + 1. Is z(n) a multiple of 22?
False
Suppose 0 = 12*b - 8*b - 100. Suppose 0 = 21*a - b*a + 96. Does 4 divide a?
True
Let k(y) = -y**2 + 3*y + 2. Let f be k(3). Suppose -h - 3 = -3*p, 5*h + f*p - 17 = p. Suppose -h*n + 160 = 2*n. Does 8 divide n?
True
Let a(y) = y + 1. Let c(x) = 16*x - 7. Let o(n) = -5*a(n) - c(n). Is 22 a factor of o(-2)?
True
Let y be (3 - 7)/(-2) + 4. Suppose -y*u = -482 + 110. Suppose 5*m - s = -4*s + u, -2*s + 50 = 4*m. Is m a multiple of 3?
False
Suppose -1070 = -5*t - 3*f + f, 0 = 2*t + 2*f - 422. Suppose y - 4*l - t = 0, 4*y - 906 = l + l. Is y a multiple of 38?
True
Let b = 619 - 595. Suppose -144 = 3*l - 6*l. Let d = l - b. Is d a multiple of 8?
True
Let i = 21 + 1. Is 12 a factor of (1 - i/14) + (-5908)/(-49)?
True
Let x = -2 - -3. Let u(n) = -3*n + 26*n**3 - 5*n + 7*n + n**2. Is u(x) a multiple of 16?
False
Let s = 1954 + -1385. Is 5 a factor of s?
False
Let i = -5 - -365. Suppose 0*p + i = 5*p. Does 6 divide p?
True
Let z(o) = -o + 9. Let k be z(7). Suppose 4*v = -p + 23, -19 = -2*v - p - k*p. Suppose v*h = -5*j + 170, 11 + 151 = 5*h + j. Is 13 a factor of h?
False
Let a = 605 + -45. Does 40 divide a?
True
Suppose 18*y - 15*y - 564 = 0. Is y a multiple of 39?
False
Let m(i) = i**3 + 16*i**2 + 28*i. Let b be m(-13). Suppose 3*l + 4*q - 134 = 0, 75 + b = 5*l + 4*q. Does 3 divide l?
True
Suppose 2*x + 6558 = 4*u, 0 = 51*u - 55*u - x + 6549. Is u a multiple of 78?
True
Suppose 6*s - 10 = s. Suppose 0 = p - s*p. Suppose 4*m = 4*i + 104, 4*m - 5*i - 66 - 40 = p. Is 14 a factor of m?
False
Suppose -x - 5*g + 168 = 0, -6*x + g - 448 = -9*x. Does 28 divide x?
False
Let s(m) = 139*m - 37. Does 15 divide s(10)?
False
Is 3 a factor of ((-6)/8)/(1866/(-264) - -7)?
False
Suppose -3*x + 2*j - 11 - 19 = 0, -j + 33 = -3*x. Let z be ((-6)/(-9))/(x/(-2538)). Suppose -3*y = 3*w - z, 52 = 5*w - 4*w + 2*y. Does 14 divide w?
True
Let z(r) = 5*r - 2. Let u be z(4). Is ((-2)/(-4))/(u/900) a multiple of 22?
False
Let c be 2*1 - 1188/22. Let o = c - -77. Suppose -272 = -o*a + 21*a. Is a a multiple of 37?
False
Suppose 4*w = q + 348, -5*w = -0*q - q - 436. Suppose 2*f + 2*u - w + 22 = 0, 66 = 2*f - 3*u. Does 14 divide f?
False
Let l(g) be the first derivative of 5*g**2 + 2*g + 11. Is 16 a factor of l(3)?
True
Let m(u) = 2*u + 23. Let k be m(-10). Is 11 a factor of (-5 + 4)/(k/(-396))?
True
Is 4/(-10) + -6*(-2855)/75 a multiple of 12?
True
Let h = -186 - -269. Is 62 a factor of h?
False
Let y = 1194 - 592. Is 43 a factor of y?
True
Suppose 3*t - 5*t + 6 = 0. Suppose w + 36 = t*g, 3*w = -3*g + w + 27. Does 11 divide g?
True
Let l(s) = -s**2 - 2*s + 11. Let m(t) = -t**3 - 8*t**2 + 7*t - 13. Let a be m(-9). Let c be l(a). Does 9 divide (c/10)/((-10)/75)?
True
Let g be ((-68)/8)/(3/(-6)). Let a = g - 10. Suppose -a*k + 157 + 53 = 0. Is k a multiple of 10?
True
Let y be 68 + 12/(-4) - 4. Suppose -y = -5*l + 179. Is 12 a factor of l?
True
Suppose -25 = 3*d + j, -2*j + 2 = -4*j. Is 3 a factor of (-46)/d - ((-4)/16 - 0)?
True
Suppose -3*q = -3*k - 4350 + 465, -5*k - 3891 = -3*q. Is 32 a factor of q?
False
Let y be 4/10 + 17/(-5). Let k(n) = -n**2 + 8*n - 1. Let h(i) = -i**2 + 7*i - 2. Let c(l) = y*h(l) + 4*k(l). Is c(8) a multiple of 13?
True
Suppose 0 = 4*p - 3*p. Suppose -7*s + 761 + 2 = p. Suppose -151 - s = -5*w. Is w a multiple of 13?
True
Let k be 4/14 + (-68)/(-7). Let o be 4/6 + k/(-15). Suppose b - 3*b + 76 = o. Is b a multiple of 13?
False
Suppose 0 = k - a - 3, k + 3*a - 1 = 2*a. Suppose 2*i - 12 = -k*i. Suppose -i = 5*b - 18. Does 3 divide b?
True
Let y = 1024 - -124. Does 80 divide y?
False
Let t(s) = -s**3 - 1. Let v(w) = 9*w**3 + w**2 + 3*w - 4. Let u(m) = -3*t(m) + v(m). Is 35 a factor of u(2)?
True
Suppose -5*r - 21*k = -25*k - 1093, 3*k + 654 = 3*r. Is r a multiple of 13?
True
Let v(r) = 45*r - 267. Does 36 divide v(30)?
False
Suppose 0 = -5*p + 4*g + 160, p - 3*p + 52 = -4*g. Let a be (-9)/p + 241/4. Let t = 108 - a. Is 16 a factor of t?
True
Is 6 a factor of ((-12)/(-5))/(4/40)?
True
Suppos