j(28) a prime number?
True
Suppose 0 = -9*n + 7 - 70. Let v(j) = -2*j**3 - j**2 + 9*j - 9. Is v(n) a composite number?
True
Suppose 0 = 5*f - 2*h - 43197, 181 = 3*f - 3*h - 25730. Is f a prime number?
True
Let w(t) be the third derivative of 8*t**5/15 - t**4/24 - t**3 + 8*t**2. Let z(a) be the first derivative of w(a). Is z(2) composite?
False
Suppose 1560 = -6*n + n. Let z be ((-172)/4)/(-1 + 2). Let l = z - n. Is l composite?
False
Suppose -557 + 201 = -4*n. Let c be 10 - (-1920)/(-56) - (-4)/14. Let x = n + c. Is x prime?
False
Suppose 0 = -7*z + 22569 + 40333. Is z prime?
False
Let w = 23141 + 12320. Is w composite?
False
Suppose -2*d + 6 = 5*p - 89, -223 = -4*d + p. Let w = d - -714. Is w a prime number?
True
Let n(d) = 113*d - 269. Is n(14) composite?
True
Suppose -193*z + 191*z = -62606. Is z composite?
True
Suppose 188*y - 191*y + 22179 = 0. Is y composite?
False
Suppose -4*j + 10 - 2 = -4*h, 3*j - 5*h - 6 = 0. Suppose -i - j*a + 588 = 0, 4*i = 4*a - 3*a + 2343. Is i a prime number?
False
Let w = 757 - -1188. Is w a composite number?
True
Let l be 2/14 + (-222)/(-14). Let c(n) = -12*n**2 - 10*n + 24. Let v be c(l). Is 5/(-15) - v/3 a composite number?
False
Suppose -4*j - 16 = 2*w, 0 = 5*w + 3*j + 10 - 5. Suppose -w*d + 153 = d. Let g = d + 98. Is g composite?
False
Suppose 3*q = -0*q + 444. Let s be (9 - 8) + 8*q. Suppose 0 = -3*i - 3*d + 1932, -2*i = -4*d - s - 121. Is i a composite number?
False
Let s(t) = t**3 + 3*t**2 - 10*t - 12. Let o be s(10). Let j = -805 + o. Is j a composite number?
False
Let v(q) be the first derivative of q**4/4 + 16*q**3/3 + 5*q**2 + q - 20. Is v(-6) a composite number?
True
Suppose 0 = -5*s - 20, -2*s - 34 = -2*t - 0*s. Suppose t = -2*w + 9. Is (-798)/(-9) + w/(-6) a composite number?
False
Let r(c) = -4 - 5 - 5*c + 4*c. Let g be r(-14). Suppose -g*l = -235 - 1270. Is l a prime number?
False
Let l be (-2)/10 + (-1)/(-5). Suppose l = -6*d - 337 + 1603. Is d a composite number?
False
Let a = 1856 - 313. Is a a composite number?
False
Suppose -17*r + 16977 = -16156. Is r prime?
True
Suppose 1 + 5 = 3*t. Let o(y) = 1 + 0*y**2 + 2*y**2 + 2*y + 19*y**2. Is o(t) a composite number?
False
Let g = 20 + -34. Let a be (-252)/98 - 8/g. Is 528 + (-1)/1 - a a prime number?
False
Let k be (-4 + (-36)/(-3))/2. Suppose k*r + 4*r - 3752 = 0. Is r a composite number?
True
Let g be ((-18)/12)/3*-4. Suppose -3*t + 22 = -4*t + 5*h, 4*h - 5 = 5*t. Suppose 5*i - 5479 = -2*r, g*i + 4*r + 1109 = t*i. Is i prime?
True
Let n = 87 + -83. Is 17491/n + ((-27)/(-12))/9 a prime number?
True
Suppose 0 = -15*q + 9*q + 1146. Suppose 6*l = 5*l + q. Is l a prime number?
True
Let a(j) = 3399*j + 78. Is a(21) a prime number?
False
Let d(g) = 1946*g**2 - 1. Let z be d(1). Suppose 0 = f - b - 980, -3*f + 5*f + 3*b - z = 0. Is f a composite number?
False
Let y = -2862 + 6025. Is y a composite number?
False
Let t(d) be the third derivative of 1/4*d**4 + d**3 + 0 + 0*d - 3*d**2 + 1/12*d**5. Is t(5) prime?
False
Suppose 1578 = -3*x - 3*y, x - 4*y + 627 = 91. Let l = x - -1125. Is l a composite number?
True
Let y(n) = n**2 - 28. Let m be y(0). Let a = 9 - m. Is a/(-2)*6/(-3) prime?
True
Let t(a) = 234*a - 21. Let j be t(-8). Let i = j + 4328. Is i prime?
False
Suppose -9118 + 2978 = -5*r. Suppose 0 = 4*x - s - r, 3*x - 3*s = -4*s + 921. Is x prime?
True
Suppose -8*y - y = -455427. Is y a prime number?
False
Suppose -4*a = -178 + 38. Let p(s) = -a*s + 5 - 35*s - 2*s. Is p(-4) composite?
False
Suppose -9 = -2*o + 15. Suppose 3*t = -3*t - o. Is (-657)/(-3) - (0 + t) prime?
False
Let f(d) = 4*d**2 + d + 2. Let q = -11 + 8. Let i be f(q). Is 2/7 - (-7375)/i a prime number?
True
Let p = 39 + -34. Suppose -11*i = -p*i - 5514. Is i prime?
True
Suppose -5*f - 586 = -4*g, -2*f = -5*g + 957 - 233. Let h = -59 + g. Is h composite?
True
Suppose 0 = 13*i - 17*i + 24. Suppose 8*k = -i*k + 22918. Is k a composite number?
False
Suppose -107*k + 110*k = 170265. Is k a composite number?
True
Suppose -7*g + 3*g + 14 = -3*o, 0 = 5*o + 3*g - 25. Suppose 10 - 4 = o*p. Suppose -292 - 497 = -p*l. Is l a composite number?
False
Suppose -v + t + 32 = 3*v, 4*v - 32 = 4*t. Let o = 12 - v. Is o/16 - 2054/(-8) a prime number?
True
Let j = 53 + -48. Suppose 0*p - 245 = -5*a + 2*p, 0 = 3*a + j*p - 147. Is a composite?
True
Is (9/6)/(60/230960) a prime number?
False
Suppose -4*k + 2*k = 4. Let b(t) = 19*t**2 - t - 1. Is b(k) prime?
False
Suppose 4*u - 2*f = 96, -5*f - 23 - 33 = -2*u. Suppose 18*h = u*h - 1515. Is h a composite number?
True
Let p(c) = c**2 + 2*c - 11. Let n be p(-5). Suppose 1266 = -2*q + n*q. Is q composite?
True
Suppose 0 = 3*m + 23 - 35. Suppose m*z + 1400 - 5308 = 0. Is z a prime number?
True
Suppose 4*d + 2820 = 10208. Is d a composite number?
False
Let r(n) = -286*n + 1. Let k be r(1). Let b = -501 - -89. Let i = k - b. Is i a prime number?
True
Suppose 3*p + 45 + 15 = 0. Is (-12655)/p - (-2)/8 a prime number?
False
Let b(u) be the third derivative of 11*u**4/12 - 11*u**3/6 + 26*u**2. Let c(a) = a**3 + 7*a**2 - 2*a - 10. Let j be c(-7). Is b(j) a composite number?
True
Is 15/10*7/(42/73148) prime?
True
Suppose 11659 = i + 3*s, 0 = 3*s - 6*s - 9. Suppose 3*n + 14 = 5, 0 = -5*b + n + i. Is b prime?
True
Suppose 8*c - 13*c = 25. Let o be 1 + (-3 - c) + 1. Suppose -m - o*j + 207 = 0, 4*m - 5*j - 216 = 3*m. Is m composite?
False
Suppose 2*p = 4*p + 1722. Let u = p - -1534. Is u a composite number?
False
Let d(a) = 5*a - 13. Let w be d(3). Suppose 5*b - w*n + 19 = 0, -5*b - 5*n = -b + 35. Let l(i) = 9*i**2 + 7*i + 9. Is l(b) composite?
False
Let b(u) = -89*u + 18 - 7 + 319*u - 8. Is b(4) a prime number?
False
Let k = -4931 + 9964. Is k a prime number?
False
Let n = -1427 - -6472. Is n composite?
True
Let d be (284/(-5))/(7/35). Let g = d - -418. Let m = g - 79. Is m a composite number?
True
Suppose 3*y = -2*r + 2937, 5*y + 1866 = r + 6761. Suppose 4*v + 5*w = 3069 + y, -2*v = -w - 2010. Is v a prime number?
False
Let l = 360 + -539. Let s = l + 364. Is s a prime number?
False
Suppose 4*l + l + 1278 = 2*u, -5*l - 639 = -u. Suppose -379 = -2*v + u. Is v composite?
False
Suppose 6*v + 5*o = 3*v + 28823, 28807 = 3*v + o. Is v a prime number?
True
Let g = -6 + 14. Suppose 3*y + 2 - g = 0. Is 989*y/2 - -2 a prime number?
True
Suppose -10*m = -8*m + 4, 6910 = 2*r + 2*m. Is r composite?
False
Suppose 0 = -5*h + 7*h - 6. Suppose -y = -4*w - h*y + 16, -w - 2*y + 4 = 0. Suppose -w*o = 4*j - 1872, 938 = 2*o - j + 5*j. Is o prime?
True
Suppose -3*u = -4*u - 5. Let p(g) = -3*g**3 - 2*g**2 - 3*g + 1. Is p(u) a composite number?
True
Let o(f) = -f**2 + 11*f - 14. Let u be o(9). Is (5 - u)/(-1)*-877 prime?
True
Let p be 3/2*(-4)/(-3)*2. Suppose 0 = -2*t - p*s + 842, -2*t = 3*t + 4*s - 2099. Is t a composite number?
False
Let l(i) = -i**3 + 14*i**2 + 15*i - 20. Let b be l(15). Let o be 1*2110*(-10)/b. Suppose 0 = c, c - o = -5*v + 2*c. Is v a composite number?
False
Let j = -809 + 3678. Is j composite?
True
Suppose 4*p + 3 - 1 = -2*r, 2*p = r - 7. Suppose r + 9 = -4*c. Let v = 61 + c. Is v a composite number?
True
Suppose 0 = 5*i - 3*k - 61859, -8*i - 2*k + 49496 = -4*i. Is i prime?
True
Let u be (-3 - (-3 - -3)) + 3. Suppose u = 2*p + 3*p - 6985. Is p a composite number?
True
Let j(q) = 51*q**2 - 15*q - 55. Is j(-19) composite?
True
Suppose -q - 9524 = -a, 36*a - 31*a - 2*q = 47629. Is a prime?
False
Let g = 124 - 77. Suppose k = g - 14. Is k prime?
False
Let y(f) be the third derivative of -f**5/60 + f**4/12 + f**3/2 + 12*f**2. Let x be y(6). Let m = 116 + x. Is m composite?
True
Let o(u) = 155*u**2 + 74*u - 368. Is o(5) prime?
True
Suppose -4*t + 24676 = -t - 5*y, 8226 = t - y. Is t composite?
True
Suppose 7*r - 27 - 8 = 0. Suppose 0 = -4*v + a + 4*a + 31191, 3*v - 23392 = r*a. Is v a prime number?
False
Let u = 117 - 125. Let c(y) = 8*y - 1 + y**2 + 0*y + 2*y**2. Is c(u) a composite number?
False
Let r be (-138)/(1 - (-52)/(-48)). Suppose 5*c - 13 = 7. Suppose -r = -5*l - s, -l + c*s + 989 = 2*l. Is l prime?
True
Suppose -s = 5*d + 51, 2*s - 4*s + 3*d = 76. Let v = -69 - s. Is v/(-42) + 757/3 composite?
True
Suppose -2*v + 4 = 2*k - 3*k, 4*k = -4*v + 32. Suppose -3*s + 196 = -k*w, -5*w + 90 = s - 7. Suppose -s = -2*i + 4*a, 0*a + a + 135 = 5*i. Is i prime?
False
Let w(q) = 3*q