 = -2*v, v = 2*y + 1171. Is v composite?
True
Let x be (-7 + 4)/((-18)/3516). Let h = 917 - x. Is h a composite number?
False
Suppose 0 = 2*u + 3*u - 5*m - 45, -3*u - m + 15 = 0. Let n be 8939/(-9) + u/27. Is (-8)/(-6)*n/(-2) a composite number?
True
Let k be 4/3*(-15)/(-10). Is -1*(k + -1) + 27 composite?
True
Suppose -5*x + 21 + 4 = j, 4*x = -j + 20. Suppose -2*u + 22 = 4*n, n + 5*u + j*u - 19 = 0. Suppose n*a - 20 = 2*a. Is a prime?
False
Let c(o) = -165*o + 128. Is c(-17) a composite number?
True
Is (-5775)/(-66) + (-2 - 9/(-6)) a prime number?
False
Suppose -q + 219332 = j, -8*q = 5*j - 5*q - 1096658. Is j a prime number?
False
Let h(m) = -m**3 + 11*m**2 + 11*m + 10. Let j be h(12). Is (-3)/j*(-1542)/(-9) prime?
True
Let r = -793 - 47. Let p = r - -1385. Is p a composite number?
True
Let v(s) = 2*s - 34. Let d be v(16). Is (3 + 3023)*(1/d)/(-1) composite?
True
Let o(d) = -26*d**3 - 2*d**2 + 12*d + 3. Let c be o(-5). Suppose -c = -4*v - 75. Is v a composite number?
True
Let z = -3806 - -13783. Is z prime?
False
Suppose -4*j + 144729 = 33109. Is j a prime number?
False
Suppose 0*h - 5*h + 9870 = -a, 0 = -h - a + 1980. Let x = h - 354. Is x a prime number?
True
Let j be ((-6)/(-8))/((-12)/(-2208)). Suppose -398 = -4*y + j. Is y a composite number?
True
Let p be 8/40 + 46/(-5). Is (p/6)/((-12)/2512) prime?
False
Is (-23140)/104*(0 + 0 - 2) composite?
True
Is 1535*(-1)/(-2)*2 a prime number?
False
Suppose -2*h = -4*p + 9846, -4*p + p + 4*h + 7397 = 0. Is p a composite number?
False
Let p(b) = -b**2 + 7*b + 5. Let d be p(6). Suppose -8*g = -d*g + 6. Suppose g*n = 40 + 134. Is n prime?
False
Let l(t) = 1289*t**2 + t - 2. Let n be l(-2). Suppose 3*h + 598 = n. Let w = h - 883. Is w a prime number?
False
Let l(m) = 697*m + 237. Is l(16) composite?
True
Let t = -3 - -5. Let y(j) = t - j - 13 + 0 + 7*j**2. Is y(-6) a prime number?
False
Suppose 5*t = 4*j - 85 - 9, 3*t - 32 = -j. Let r be (-6)/(-4) - (-13)/j. Suppose 0 = 3*g + 3*f + f - 1543, r*f = 4*g - 2094. Is g a composite number?
False
Let n = 24152 - 13203. Is n a composite number?
False
Suppose 11*s - 54648 = 132792. Suppose 9*w - 1815 - s = 0. Is w a prime number?
False
Let r = -2944 - -9267. Is r a composite number?
False
Suppose 0 = -3*z + z - 16. Let r be 549/6*z/(-12). Let w = -2 + r. Is w prime?
True
Let c = -58 - -64. Is (220*1 + 3)*(-1 + c) prime?
False
Suppose g - 379 = -2*s + 516, -5*s + 2210 = -3*g. Is s prime?
False
Suppose l + 9 = 2*d, -2*d + l - 1 = -5*d. Suppose -k = 3*c - 718, -d*c + 71 = k - 408. Is c composite?
False
Let a(m) = m**3 + 12*m**2 - 25*m + 15. Let p be a(-12). Let i = p + 836. Is i composite?
False
Let s(o) be the second derivative of o**5/10 - o**3/6 - o**2/2 + 2*o. Let f be s(4). Suppose 475 = 2*x - f. Is x composite?
True
Let b = 32 - 18. Let r = b + -17. Is (-531)/6*2/r a prime number?
True
Suppose 11*m - 3924 = 15*m. Is (0 - -1) + -1 - 2 - m prime?
False
Suppose 0 = -27*g + 33*g + 54. Is ((-2634)/(-9) - -3) + 6/g a prime number?
False
Suppose 40188 = 7*z - 34873. Is z composite?
False
Let n = 7 - 3. Let s be 46 - (-5)/((-5)/n). Let o = s - -107. Is o a prime number?
True
Let u(s) = 156*s**2 - 9*s - 28. Is u(-9) prime?
True
Let a(y) = -y. Suppose l - x - 27 = 6*l, 5*x = -2*l + 3. Let c(j) = -13*j - 1. Let d(p) = l*a(p) + c(p). Is d(-5) a composite number?
True
Let l = 4999 - -148. Is l prime?
True
Suppose u - 8807 = -t - 2*t, -5*u - 3*t = -43987. Suppose -2*w = 3*w - u. Is w composite?
False
Let a = 26 - 16. Suppose 9*v - 4*v - a = 0. Suppose v*n + 166 = 4*n. Is n prime?
True
Suppose 5*h - 4581 = 59624. Is h a prime number?
True
Is 3/(((-195)/230)/(-13)) composite?
True
Let v = -17 - -42. Let k be (-5)/2*(-30)/v. Suppose -3*j - 4*z = -1955, k*j + z + 0*z - 1949 = 0. Is j a prime number?
False
Suppose -2*w + 34 = 3*o + 3, o - 3 = 3*w. Let m(p) = 12*p**2 + 5*p + 26. Is m(o) a composite number?
True
Is ((-18)/4 - (-50)/(-100)) + 3454 a prime number?
True
Let h = -6804 + 24451. Is h prime?
False
Let h be 0 - 16/(-4) - 2*1. Let t(i) = 820*i + 1. Is t(h) a composite number?
True
Let w(y) = -1173*y + 59. Is w(-4) prime?
True
Let d = 6 - 16. Let j be (-15)/25 + (-1846)/d. Suppose 5*m - j = 381. Is m prime?
True
Let k be 112/1 - (-36)/(-9). Let q be 24/k - 1364/(-18). Suppose -j - 9 = -q. Is j prime?
True
Let x(a) = -80*a - 589. Is x(-22) prime?
True
Suppose 4*k + 610 = -486. Let b = k - -185. Is b/(-1 - (-1 - -1)) a prime number?
True
Is 4109*-12*(-10)/420 composite?
True
Let o(c) be the first derivative of -7*c**2 - 3*c + 10. Is o(-4) prime?
True
Suppose -2*i + 11 = -i. Let m = i - 7. Is (-1)/m - (-17925)/100 a prime number?
True
Is 8/(-24)*(-3 - -7 - 65395) prime?
False
Let a(n) = -2*n**3 + 3*n**2 - 15*n + 3. Let b be a(6). Let w = b + 602. Is w a composite number?
False
Suppose 1621 - 481 = 3*g + u, 0 = -2*g - 5*u + 747. Is g composite?
True
Suppose -4512 = 9*n - 13*n - 5*h, 5*h = -5*n + 5635. Is n prime?
True
Let g(z) = z**3 + 9*z**2 + 9*z - 15. Let s(r) = -r**3 - 9*r**2 - 9*r + 16. Let t(j) = -5*g(j) - 4*s(j). Let o be t(-8). Let p = o - -16. Is p prime?
False
Suppose -2*z - 2*h = -5*h, 0 = z - 4*h. Suppose -g = -5*k + 1901, z*k - k - 5*g + 401 = 0. Is ((-16)/24)/((-2)/k) a composite number?
False
Suppose -8*i + 22976 = -59000. Is i a prime number?
True
Let m(h) = 18*h**3 + 5*h**2 + 5*h - 5. Suppose -t - 65 = -14*t. Is m(t) composite?
True
Let p(k) = -k**2 - 4*k + 5. Let u be p(-5). Suppose -5*m + 17 + 8 = u. Suppose 34 + 21 = m*o. Is o a composite number?
False
Suppose -2*q = -5*g - 287, -g + 293 = -q + 3*q. Is q a composite number?
True
Suppose 2*p = 3 - 1, -17 = 3*m + 4*p. Let l(s) = -69*s - 4. Is l(m) prime?
True
Suppose 5*b - 2*i + 21 = 0, 2 - 5 = -i. Let l(p) = 10*p - 9. Let v(u) = 21*u - 17. Let o(d) = b*v(d) + 7*l(d). Is o(10) a prime number?
False
Suppose 56*y - 1223611 = 3*y. Is y prime?
True
Suppose q + 0*d = d + 9, -d - 5 = 0. Suppose -q*w + w = 2*n - 574, -3*w = -3*n - 594. Is w a composite number?
True
Let s(q) = q - 1. Let j(m) = 160*m + 1. Let c(d) = j(d) - 3*s(d). Let b be c(5). Suppose 0 = 2*o - 4, -4*w + 2*o + 1467 = -b. Is w composite?
True
Let j(a) = a**3 + 25*a**2 + 55*a + 32. Is j(-22) prime?
False
Let f be 2 - (10 - (2 + 0)). Let n be -1 + -2 - (-9 - f). Suppose s - 4*s + 3639 = n. Is s prime?
True
Suppose 0 = -r + 2. Let m be 2926 + 3 - (-14 - -8). Suppose 3*v = -r*v + m. Is v a composite number?
False
Let b be -1*(23/1 + 4). Let c = -15 - b. Is -254*(1 - c/8) a prime number?
True
Let s be (0 - 2/4)*-8. Suppose k + s*b - 2 = 4*k, -k - 3*b - 18 = 0. Is (892/(-6))/(k/9) prime?
True
Let c = 5243 + -2538. Is c composite?
True
Suppose x - 9961 = -3*q, -x = -0*x - 5*q - 9977. Is x a composite number?
False
Let h(b) = 79*b**2 - 73*b + 139. Is h(36) a prime number?
False
Let h(t) = 11*t**2 - 12*t - 7. Suppose -q - 8 = -i, 0*i + 4*i + 8 = -q. Is h(q) composite?
True
Let m = 5498 + -3841. Is m composite?
False
Suppose -5*i - 2*c + 3400 + 1813 = 0, -3*c - 1029 = -i. Is i a prime number?
False
Let l = -112245 - -171346. Is l a composite number?
True
Suppose -3*j + 8 = 3*m - 16, 0 = 5*m - 25. Suppose 5*f - f + j*q = 48, f - 5 = q. Let g(v) = 2*v**2 - 8*v - 7. Is g(f) a prime number?
True
Let l(p) be the third derivative of 11*p**5/20 - p**4/12 - p**3/6 + 6*p**2. Is l(-1) a prime number?
False
Let u(s) = 19*s**2 + 13. Let t be u(-4). Suppose -5*d + f + f = -t, 3*d + f - 199 = 0. Is d a prime number?
False
Suppose -a - 2*b = -1843, -15*a + 4*b = -11*a - 7360. Is a prime?
False
Let l = -1396 - -1847. Is l composite?
True
Suppose -i - 5 = 2*w, -4*w = 5*i + 3 - 2. Let j(p) = -88*p**i - 6*p + 90*p**3 + 3*p**2 - p**2 + 10. Is j(6) composite?
True
Suppose 2*n - 4*n + 10 = 0, -3*f - 8828 = -4*n. Let s = f + 4309. Is s composite?
False
Let i = -35966 - -76659. Is i prime?
True
Let h = -4017 + 9050. Is h a prime number?
False
Suppose 16*t - 28*t = -45852. Is t composite?
False
Let i(s) = 17*s**3 + 3*s**2 - s - 15. Suppose -4*z + 21 = p, z + 5*p = 4*z - 10. Let d(o) = -9*o**3 - o**2 + 7. Let l(k) = z*d(k) + 2*i(k). Is l(-3) prime?
True
Suppose -48*h - 318767 + 1286975 = 0. Is h prime?
False
Suppose -5*i - x = -3*x - 1160, 0 = -4*i - 4*x + 928. Suppose 0 = m + m - i. Suppose -4*y = -32 - m. Is y prime?
True
Suppose 3*u = u + 4. Suppose u*h + 3*h = 0. Suppose 