a factor of y?
True
Suppose -7*u + 8085 = -12*u + 6*u. Does 33 divide u?
True
Suppose -9*t - 11*t = -25380. Suppose 1491 = 12*d - t. Is d a multiple of 5?
True
Suppose 0 = -4*d - 4*j - 7399 + 22415, -4*j = -d + 3734. Suppose -18*m + 768 = -d. Is m a multiple of 39?
False
Let k(i) = -i + 10. Let j be k(7). Let g be (-42)/63 + (-253)/j. Let u = g + 125. Does 7 divide u?
False
Suppose 624 = -c - 5*z, 4*c - 3*z - z = -2616. Let j = -571 - c. Is j a multiple of 26?
True
Let r be (-5 - -9)*(2 + -1). Suppose -5*s = -s - 8. Suppose -p = s*d + 3*d - 125, -3*d + r*p = -52. Does 6 divide d?
True
Let i = 2129 + -1431. Suppose -i = 5*y - 2*l, -3*y + 422 = -6*y - 2*l. Let d = -32 - y. Is d a multiple of 9?
True
Suppose y + 2*c = 4*y - 47706, 5*y + 2*c = 79526. Is y a multiple of 28?
True
Let k = -165 + 368. Let j = k - 7. Is j a multiple of 14?
True
Is 8 a factor of (1/(4/5158))/((-4)/(-56))?
False
Let l be 4/(-6)*(-6 + -9). Let i be (-2*(-92)/20)/((-2)/l). Let p = 238 + i. Is 32 a factor of p?
True
Is 28097 + (-17)/(238/(-140)) a multiple of 12?
False
Let t = -178 - -181. Does 13 divide (1 + 0)*(554 + t)?
False
Suppose -33 = -3*m + 3*g - 6*g, -5*m - 3*g + 55 = 0. Let d be 2 - m/(44/(-48)). Suppose 9*y = d*y - 640. Is 26 a factor of y?
False
Is 52 a factor of (-6 - (0 - 5)) + 8/1 - -1085?
True
Suppose 26*h - 27*h - 62 = 0. Let q = h + 146. Is 3 a factor of q?
True
Suppose 9 = 3*y, -g - 25*y + 20*y + 2045 = 0. Let m = g - 1178. Does 64 divide m?
False
Let o(c) = c + 18 + 2*c - 5*c - c. Let m be 18/153 + (-4)/34. Is 18 a factor of o(m)?
True
Let l be 354/(-5) - ((-48)/(-15) + -3). Let i = l + 93. Does 7 divide (i/6)/(3 + (-17)/6)?
False
Suppose -41097 + 108075 = 18*h. Is 50 a factor of h?
False
Let k = -15655 - -16580. Is k a multiple of 11?
False
Suppose -400 = -5*h - 0*h. Suppose -j = -2*o + j - 48, 3*o + j + h = 0. Let p = o - -38. Is 6 a factor of p?
True
Suppose 0 = -s - 2*y - 4, 0*y = -3*s - 2*y + 4. Let k(i) = 184*i**2 + 18 + 2*i - 176*i**2 + 9 + s*i. Does 11 divide k(-4)?
False
Let c be 3/2 - 12/(-8). Suppose 5*s - c*s = -6. Is 17 a factor of (s/6*(-2 + -354))/2?
False
Let k(n) = 2*n**2 - 19*n**2 + 10*n + n**3 - n + 19 - 8*n. Let v be k(17). Suppose -v = -6*l + 462. Is l a multiple of 11?
False
Suppose -34*a + 37*a = -120. Let j = 42 + a. Suppose g + 2*g - 401 = c, -2*g + 262 = -j*c. Is g a multiple of 13?
False
Let i(t) = 2*t**2 - 11*t + 12. Let y be i(1). Suppose 11*s - 4864 = y*s. Is s a multiple of 31?
False
Suppose 22*u - 37*u = 21*u - 677376. Is u a multiple of 28?
True
Suppose w + 7615 = 6*w - 4*n, 3*w = 5*n + 4556. Is w a multiple of 8?
False
Let u(b) = -12*b + 8. Let g be u(5). Let z = 56 + g. Suppose -5*x - 71 + 23 = -z*f, -4*f + 48 = 4*x. Does 3 divide f?
True
Let r be 3 - 3 - 2 - -4. Let s be 44/(2/r)*(-13)/26. Let c = 88 - s. Does 22 divide c?
True
Let c = -353 - -193. Let d = c + 215. Does 4 divide d?
False
Let w be (1 - (1 + -2)) + -27 + 1685. Suppose -5*y + w = 3*t, -y = -6*t + t + 2748. Is 50 a factor of t?
True
Let z(w) = -w**2 + 12*w + 25. Suppose 2 = -a, -3*a + 50 = 4*f - 4*a. Does 19 divide z(f)?
False
Suppose -6*h + 2*h = 2*w - 216, -h + 2*w = -59. Let b = h - 51. Suppose 0 = -v + 2*l + 62, 3*l + 307 = b*v + 64. Is 14 a factor of v?
False
Let k(u) = 3181*u - 496. Is 101 a factor of k(6)?
False
Let u = 32 + 28. Suppose -r = 0, -103*c + 107*c = -4*r + 128. Let s = u - c. Does 4 divide s?
True
Suppose -29442 = -28*w + 24486. Does 3 divide w?
True
Let h(p) = -197*p - 905. Is 30 a factor of h(-106)?
False
Let m(u) = 17*u**2 - 111*u + 1334. Is m(11) a multiple of 31?
True
Suppose 4*b - 2671 = -3*x, -3*b = -3*x - 1641 - 378. Is 123 a factor of b?
False
Let t(g) = 19*g - 15. Let m be ((-80)/6)/(5/(75/(-10))). Is 36 a factor of t(m)?
False
Let x = -2101 - -3154. Is 27 a factor of x?
True
Let n = 32 + -25. Suppose -n*i + 840 = -4*i. Is 14 a factor of i?
True
Let n(j) = 2*j**3 + 129*j**2 - 83*j + 397. Does 23 divide n(-64)?
False
Suppose 138320 = 147*r - 52*r. Is r a multiple of 8?
True
Let x(g) = -4*g + 50. Let q(a) = -a + 1. Let n(f) = 6*q(f) + x(f). Let t be n(13). Let m = t - -116. Is 12 a factor of m?
False
Let j(y) = 2*y**3 + 3*y**2 - 51*y + 102. Does 25 divide j(16)?
False
Let n(v) = -85*v - 348. Is 13 a factor of n(-7)?
True
Let k(v) = 2*v**2 + 102*v + 936. Is k(-106) a multiple of 47?
True
Let z(v) = 4*v + 7. Let t be z(6). Let j = 38 - t. Does 16 divide 1234/j + 2 + (-112)/49?
True
Suppose y = -4*k + 3*y + 38, 0 = 5*k + 3*y - 53. Suppose -5*q + 3*d - 381 = -k*q, -2*q + 4*d = -142. Let f = 37 + q. Does 31 divide f?
False
Suppose 2*b = z + 309, -5*b - 5*z + 0*z + 765 = 0. Suppose 0 = -4*w + 6*a - 4*a + 312, -2*a = -2*w + b. Suppose 4*c + w = 343. Does 10 divide c?
False
Is ((-7)/14)/(10/(-143780)) a multiple of 13?
True
Suppose 2*l = 4*i + 5*l + 39, l - 25 = 5*i. Let s be (-5)/((-5)/(-6))*(i - -4). Suppose -2*w + 92 = q - 23, 4*q + s = 0. Is w a multiple of 15?
False
Suppose 37*s + 6*s + 11854 = 139091. Is s a multiple of 2?
False
Let c(i) = -30*i + 1048. Is 4 a factor of c(29)?
False
Suppose 5*q + 3955 = -u + 3*q, -q = -4. Is u/(-18) - ((-1)/(-6) + 0) a multiple of 59?
False
Let b be (-4 + 53/(-4))*(-88)/33. Does 47 divide (b - 41) + (1157 - 1) + -2?
False
Suppose 5*q + 12606 = 7*t, 622 + 4792 = 3*t - 5*q. Is 58 a factor of t?
True
Suppose -681 = -5*x + 4*i, -4*x + 5*i = -x - 406. Let w = 351 - x. Does 25 divide w?
False
Suppose -2*g - 100 = 5*c, 0*c + 8 = -2*c. Does 4 divide ((-12)/4 + g/(-16))*-160?
True
Let v(g) = -679*g + 106. Let p be v(-4). Let y = p - 1667. Is 66 a factor of y?
False
Let i(k) = -k**3 - 7*k**2 + 6*k. Suppose -2*m - 3 = 3*d - 2, -m - 3*d - 5 = 0. Suppose -3*w = -3*p - 18, -2*p + 4*p + m*w = -24. Is 8 a factor of i(p)?
True
Is ((-162)/(-324))/(1/6350) a multiple of 25?
True
Suppose 0 = -0*o - 5*o + 1570. Let m be o/6 - 8/24. Let f = m - 34. Is 7 a factor of f?
False
Suppose m + 5*x + 0*x = 17, -45 = -4*m + 3*x. Suppose -2*c - m = c, 3*c = 2*u + 18. Is 61 + (-12)/u*5 a multiple of 13?
True
Is 42 a factor of 12 - 7 - (4 - 8394 - 0)?
False
Suppose 2*x = 1 + 5. Suppose -4*r - 37 = x*c, 11 = -2*r - 3*c - 6. Let v = r + 36. Is v a multiple of 7?
False
Let h(z) = z**3 - 26*z**2 + 76*z - 17. Is 22 a factor of h(28)?
False
Suppose -4*m = -1084 + 188. Suppose -a = -0*a + 4*x - m, -a + 236 = x. Is 16 a factor of a?
True
Let x(o) = 4526*o - 217. Is x(4) a multiple of 72?
False
Let d(a) = -a**3 + 14*a**2 + 22*a + 1. Let c be d(12). Let o = c + 195. Is 44 a factor of o?
True
Let x(s) = -s + 18. Let l(z) = -z**2 - 12*z - 17. Let g be l(-8). Let i be x(g). Suppose 6*h = i + 39. Is h a multiple of 6?
False
Let k = -8811 + 9131. Does 4 divide k?
True
Let f = -56886 + 90449. Is f a multiple of 18?
False
Let q(t) = -165*t - 9. Let f be q(-3). Suppose -900 = -6*z + f. Is z a multiple of 11?
True
Suppose 5*v + 6*v - 9088 - 41402 = 0. Does 10 divide v?
True
Let l(x) = -171*x + 11930. Is l(-28) a multiple of 26?
True
Suppose 151 = -3*y + 2*k + 894, 0 = 4*y - 4*k - 992. Is 2 a factor of y?
False
Let d(q) = 87*q**3 + 25*q - 68. Is 76 a factor of d(3)?
True
Let c(a) = -8*a + 6 - 2*a + 26*a - 12*a. Let k be c(2). Is (-20)/(-70) + 514/k a multiple of 34?
False
Let w(o) = -1157*o - 16. Does 66 divide w(-4)?
False
Let t = -12625 + 19228. Is 7 a factor of t?
False
Suppose 4*s - 22 = 14. Let k(a) = a**2 - 14*a + 10. Let l be k(s). Is 33 a factor of 1/((-10)/l)*44?
False
Suppose 0 = 4*d + k - 15891, 0 = 468*d - 470*d + 5*k + 7929. Is d a multiple of 3?
True
Let p(o) = o**2 - 7*o + 4. Let l be p(0). Suppose l*u = 529 + 471. Does 25 divide u?
True
Let t(l) = 3*l**2 + 8*l - 20. Let f be 108/24*(0 + (-4)/2). Let w(y) = 7*y**2 + 16*y - 40. Let u(k) = f*t(k) + 4*w(k). Is u(17) a multiple of 33?
False
Suppose -33*v = -170 + 3569. Let q = 134 + v. Does 2 divide q?
False
Let q = 120 + -13. Let y be (-5)/5*3 + q. Let g = -23 + y. Does 9 divide g?
True
Suppose 12 - 78 = -33*b. Does 24 divide (b - -1)/(((-21)/994)/(-1))?
False
Suppose -2*r - 4*h = 220, -11*r + 5*h = -6*r + 475. Let t be (-1 - 1)/((-4)/(-170)). Let n = t - r. Is n a multiple of 5?
True
Suppose -164841 - 135146 = -124*g - 24707. Is 10 a factor of g?
True
Suppose 0 = -o - 3*y + 20 + 6, -80 = -5*o - 5*y. Suppose 3*k - g - 1390 = 0, 945 = -o*k + 13*k + 3*g. Is 31 a factor of k?
True
Let h 