lse
Suppose -5*d = -368 + 1078. Let s = d + 468. Is s a multiple of 15?
False
Is 20 a factor of (-702228)/(-42) - (-110)/385?
True
Let p = 8155 - 2626. Is 20 a factor of p?
False
Let f(i) = 145 - 7*i - 8*i - 201. Is f(-7) a multiple of 7?
True
Suppose -2*k - 21 = -5*w + 9, -2*k = -2*w + 12. Is 6 a factor of 4*(-3)/w + (165 - -1)?
False
Suppose -85*w + 1855748 = 16*w + 248030. Is w a multiple of 7?
True
Let l(y) = y**3 - 28*y**2 + 31*y - 22. Let i be l(27). Let c = i - -40. Is 22 a factor of c?
False
Suppose 2*m + 545 + 413 = 3*u, 0 = -4*m + 2*u - 1900. Let o = m - -728. Is 17 a factor of o?
True
Let p = -17656 - -25180. Is p a multiple of 132?
True
Suppose 22*q = 1306 + 2170. Suppose -47 = i - q. Is 13 a factor of i?
False
Suppose -3*c + 12 = 3*r, -8*c = -5*c. Suppose -r*s + 499 = 3*q, -3*s + 4*q + 223 + 145 = 0. Is s a multiple of 31?
True
Let j(m) = m**3 - 2*m**2 - 8*m + 1. Let s(q) = -6*q - 9. Let g be s(-2). Let y be 5/(30/32) - 1/g. Is 18 a factor of j(y)?
True
Let k be (-1 - 18/(-12))/(1/16). Suppose -469 = k*o - 2317. Is 36 a factor of o?
False
Suppose 3*h - 5529 = -3*q, -11 = 4*q + 9. Let i be (2/3)/(128/(-576)). Does 14 divide (h/22)/(i + 2 + 2)?
True
Let c = -38 + 50. Let r(g) = g**2 - 10*g - 19. Let t be r(c). Suppose t*a - 200 = 370. Does 19 divide a?
True
Suppose 103 = 5*f - 22. Let u = -20 + f. Suppose u*l = -79 + 309. Is l a multiple of 8?
False
Let l be ((-2)/(-11) - 15515/(-33))*6. Let w = l + -11523. Does 22 divide w/(-66) + 1/6?
True
Let w(j) = -29*j + 1666. Let n = 416 - 416. Is w(n) a multiple of 89?
False
Let a = 90 - -676. Let c = a - 286. Is 16 a factor of c?
True
Suppose 5*u - 7*u + 12 = 0. Let j(i) = 28*i + 93. Is 9 a factor of j(u)?
True
Suppose 18*g - 1072 = -y + 25*g, 0 = 4*y - 3*g - 4263. Is y a multiple of 15?
True
Let z(i) = 605*i + 7700. Does 140 divide z(0)?
True
Suppose 234*v + 62993 = 583407 + 648416. Is v a multiple of 24?
False
Let j be ((-7)/14)/(3/(-36)). Is 44 a factor of j/9*399 - 2/1?
True
Let x(f) = 6*f**2 - 60*f - 42. Does 96 divide x(17)?
True
Suppose -304*z = -147*z + 399*z - 8172644. Is z a multiple of 199?
False
Let j be (1 + 1)/(19/4883). Suppose -9*n + 1916 = -j. Does 10 divide n?
True
Is 873/388 + (-3)/((-12)/31003) a multiple of 4?
False
Suppose -41*y - 1288 = -37*y. Let g = 1013 - 1479. Let a = y - g. Does 18 divide a?
True
Let x be (-8)/(-20) - 1059/(-15). Suppose -d + x = -72. Is 22 a factor of d?
False
Let f = -432 + 1043. Let j = f - 240. Is j a multiple of 53?
True
Let p = 20303 + 1065. Is p a multiple of 71?
False
Let d be 3/1*(-50 - -361). Suppose 13*v - d = 10*v. Is 19 a factor of v?
False
Suppose -2*i = -3*y - 1638 - 294, -8 = -2*y. Is 9 a factor of i?
True
Let c = -107 + 111. Suppose 188 = -c*k - 4*a, 0 = -k + a - 30 - 7. Let t = 70 + k. Is 7 a factor of t?
True
Suppose -4197 - 6 = 9*a. Let t = -412 - a. Is 55 a factor of t?
True
Let l = 19781 - -2087. Does 28 divide l?
True
Suppose 5 = l + 2. Suppose -l*b + 4 = -5*n, b - 1 = 4*n + 5. Let v(p) = 25*p**2 - 2*p - 4. Is v(b) a multiple of 20?
True
Let w(u) = -4*u + 15. Let f(s) = 9*s - 26. Let z(g) = -19*g + 53. Let l(h) = 14*f(h) + 6*z(h). Let q(m) = -5*l(m) - 16*w(m). Is 9 a factor of q(7)?
True
Let n be 6/(-8) + ((-6)/8)/3. Is 276 + n/(1 - 0) a multiple of 58?
False
Let d(n) = 4*n**2 - 8*n - 7. Let w be d(3). Suppose 9*x - w*x = 0. Suppose -o + 145 = -x*o. Does 29 divide o?
True
Is (10 + -12)*1/((-14)/6069) a multiple of 53?
False
Let f(i) = -i**3 + 3*i**2 + 5*i + 1. Let l be f(4). Suppose 2 + 21 = 2*h + l*q, 3*h - 48 = -3*q. Suppose 0 = h*x - 16*x - 333. Is x a multiple of 19?
False
Suppose 3*u - h + 15 = 0, -17 = 4*u - 4*h + 3. Let v = 11 - 26. Let o = u - v. Is 10 a factor of o?
True
Let f = 55 - 52. Suppose 3*z = 3*x - 195, z - 2*z - f*x - 61 = 0. Does 12 divide (-3 + -19)/(-2 - z/34)?
False
Suppose -c + 2*j + 4679 = 0, 20*c - 18736 = 16*c + 3*j. Does 11 divide c?
False
Suppose l + 78 = 81. Suppose 545 = 4*a + 5*n - 2578, 3*a - 2376 = l*n. Is a a multiple of 23?
False
Let c = 115 + 557. Does 16 divide ((-3)/(-2))/(21/c)?
True
Suppose 124*p + 291962 - 467973 = 979669. Is 32 a factor of p?
False
Let d(c) = c**3 - 17*c**2 + 3*c + 54. Does 154 divide d(24)?
True
Is (48 - 4796/110)/(1/9380) a multiple of 14?
True
Suppose -8*z + 3*o + 29529 = 0, -7*z + 8*z = 5*o + 3668. Is z a multiple of 33?
False
Suppose 0*o + 11*o = 82*o - 304732. Is o a multiple of 29?
True
Is 95 a factor of (38216/(-680))/((-18)/2930) + (-3)/27?
False
Suppose -136339 = -169*t + 712886. Does 25 divide t?
True
Let g(w) = -382*w + 5. Let u be g(-5). Suppose -2*p - 2*s + 568 = 0, 5*p - s - u = -471. Is p a multiple of 32?
True
Suppose h = -5*w + 1, -3*w + 5*h + 5 = -18. Let y be (-6)/(-2) - w - -3. Let c(t) = 23*t + 6. Does 11 divide c(y)?
True
Let u = 9 - -18. Suppose -30 - u = -a. Suppose -4*w = -3*w - a. Does 5 divide w?
False
Let p be (-18)/(-5 - 1632/(-327)). Does 28 divide ((-3)/(-1))/(-5 + p/392)?
True
Let z(a) = a**2 - a - 1. Let j(l) = 4*l**2 - 5*l + 1. Let g(u) = j(u) - 2*z(u). Let v be g(3). Let f = v + 78. Does 18 divide f?
True
Let j(m) = -5*m + 37. Let t be j(7). Suppose 16*r - 6594 = t*r. Does 32 divide r?
False
Suppose z - 3*u + 12 = 0, -18*z + 14*z - 5*u = -20. Let p(m) = -m**3 + m**2 - m + 33. Does 16 divide p(z)?
False
Suppose -118793 = -45*z + 79522. Is z a multiple of 13?
True
Suppose 3*v + 8*d - 115149 = 0, -7*v = -3*v + d - 153445. Is v a multiple of 85?
False
Let y(n) = 2*n + 178. Suppose -335*i + 346*i + 429 = 0. Is y(i) a multiple of 38?
False
Let n = 37 - 34. Let y be ((-44)/(-8) - 1)/(n/6). Suppose 0*j + 176 = 4*g + 4*j, y = 3*j. Is 41 a factor of g?
True
Suppose -2132 = -20*q - 712. Let m = q - -277. Is m a multiple of 19?
False
Suppose 0*s - 9 = -3*s. Suppose s*l + 2*l = 10. Suppose l*h + 3*x - 60 - 60 = 0, 3*h - x = 158. Is 18 a factor of h?
True
Let t(a) = a**3 - 2*a**2 - 7*a + 5. Let x be t(5). Suppose 35 - 10 = -z - 4*p, 6*z = -p - 127. Let g = x + z. Does 6 divide g?
True
Let a = -1554 + 748. Let m = a + 1547. Is 57 a factor of m?
True
Let i = 31 - 28. Suppose 17 = i*l - 169. Suppose 0 = -3*q + 2*y + 28, 2*y - 14 = 5*q - l. Does 3 divide q?
False
Let j = -4161 - -5179. Is 21 a factor of j?
False
Let j = 124 - 119. Suppose 20*u - 5500 = -j*u. Does 55 divide u?
True
Let o = 5869 + -2970. Is o a multiple of 25?
False
Let b(p) = 17*p**2 - 23*p**2 + p**3 - 4*p + 6 + 0*p**3. Is 14 a factor of b(10)?
False
Suppose 245*w - 248*w + 3*x = -19116, -3*w - 2*x = -19076. Is w a multiple of 74?
True
Suppose u + 4*j = 2*u + 331, 0 = u + j + 321. Suppose -z + 141*m - 139*m = 199, 2*z + 399 = 5*m. Let f = z - u. Is 21 a factor of f?
True
Suppose q = -5*c + 215, -1075 = 3*q - 8*q - 4*c. Suppose -14*k + 3593 = -q. Does 17 divide k?
True
Suppose 287*b - 292*b = -1395. Let z = -149 + b. Is 4 a factor of z?
False
Let l be (-600)/(-14) - 90/105. Does 3 divide (14/l)/(3/828)?
False
Let d(x) be the second derivative of 7*x**4/2 - 7*x**3/6 - 13*x**2 + 147*x. Does 46 divide d(5)?
False
Let w = -11 - -103. Let n = -1017 + 1096. Let f = w + n. Is 9 a factor of f?
True
Let t = 207 + -198. Let z(n) = -n**3 + 12*n**2 - 25*n + 10. Is z(t) a multiple of 4?
True
Let y = 4276 + 6301. Does 56 divide y?
False
Let a(v) be the third derivative of -v**7/2520 + v**6/48 - v**5/15 - v**4/8 - 16*v**2. Let t(o) be the second derivative of a(o). Does 5 divide t(7)?
False
Let i = 275 + -273. Is i/((-1345)/270 + 5) a multiple of 20?
False
Let a = 4179 + -8009. Let t = -2614 - a. Is t a multiple of 76?
True
Let l(w) = 924*w**2 + 212*w + 642. Is 38 a factor of l(-3)?
True
Suppose 2*o = 3*o + 3, 4*b = 4*o + 32. Suppose 0 = 2*z + 4*x + 16 + 12, b*z = -5*x - 65. Is 13 a factor of 4/z - (-196)/3?
True
Let k = 3064 - 2450. Is 30 a factor of k?
False
Let k = -1558 + 1723. Is k even?
False
Suppose -14*u + 16*u - 4160 = 0. Suppose 126*l - u = 116*l. Does 16 divide l?
True
Suppose 4*m - 2 = 14, -5*q - m + 54 = 0. Let i = q + -8. Does 15 divide ((i - 148) + -4)*-1*1?
True
Suppose 2*l + 6 = -l, -3*l + 8994 = 5*c. Let x be 4/14 - c/(-70). Suppose -3*y + n + x = -3, 4*y - 57 = 5*n. Is 8 a factor of y?
True
Suppose -5 = -2*z - 5*p, 6*p - 3*p = -3. Suppose 0 = -4*r - 4*t + 256, -2*t + z = 1. Let f = r + -8. Does 6 divide f?
True
Let f = 318 - 317. Does 25 divide (-5400)/(-9)*(f + (-3)/12)?
T