 Is s prime?
False
Let o be 4/8*14 - 3. Suppose 0 = i - o + 22. Is ((-9)/i)/((-2)/(-196)) prime?
False
Let o be (-2)/7 + 46/14. Let k(a) = -a**2 + 5*a + 6. Let n be k(5). Suppose -n = -4*p + o*p. Is p a composite number?
True
Let o(f) = 3*f - 281*f**3 - 42*f**2 + 43*f**2 + 21*f**3 - 2*f. Let h be o(-2). Suppose -5*k = -2*g + 729 - h, -2*g = k - 273. Is k composite?
False
Let k(h) = h - 6. Let b be k(6). Suppose 8 = 3*x - 2*u, 2*x - u + b = 4. Suppose -2*p + x*p + 5*r = -262, 3*r + 133 = p. Is p a composite number?
True
Let w be (-78288)/(-20) + (-2)/5. Suppose -o + w - 1411 = 0. Is o a composite number?
False
Suppose 0 = -2*d + l + 194536, -5*l + 189385 = 4*d - 199701. Is d a prime number?
False
Suppose 2*d = 4*g + 16362, 0 = 5*g - 11 + 1. Is d prime?
False
Let d = -274 - -831. Is d a prime number?
True
Let o(q) = 85*q**2 + 3*q. Let n be 9/4 + 11/(-44). Let h be o(n). Let c = -179 + h. Is c prime?
True
Let f = 13 - 9. Suppose 2*v + 3*v = -2*j + 23, -f*j = -4*v + 24. Suppose v*x + 2*d - 393 = 0, -401 = -x - 4*x - 4*d. Is x a prime number?
False
Let g be (-1 - -2)*3 - 7. Let q be 5/(-3) + g/(-6). Is q/2 - (-375)/2 a prime number?
False
Is (4 + -6)/(27/(-86481)) composite?
True
Is 2*(5 + -4)*(-91112)/(-16) a prime number?
False
Suppose 0 = 3*d - 5*d - 1162. Let t be (d*1 - 1)*3. Is ((-2)/6)/(6/t) prime?
True
Suppose 184 - 37 = 7*q. Is 6159/q + 4/(-14) composite?
False
Let v be ((-662)/6)/((-1)/3). Suppose -i + 2*i - v = 0. Is i prime?
True
Let c(f) = 930*f**2 + 14*f - 25. Is c(6) a composite number?
True
Let u = 987 + 550. Is u composite?
True
Suppose 4*z - 5*m = 65987, -18*m + 20*m + 49499 = 3*z. Is z composite?
True
Let x = -144 - -145. Is 6588 + 4 - -4 - x composite?
True
Suppose 0 = -3*u - 5*g + 14971, -9*u + 4*u - 2*g + 24939 = 0. Is u a prime number?
True
Is ((-8)/12)/((-4)/35034) a prime number?
True
Let d(b) = 11*b**3 + 17*b**2 - 23*b - 103. Is d(10) a composite number?
True
Let r(k) = 571*k - 11. Let j be r(1). Let q = j - 213. Is q a composite number?
False
Suppose 0 = -2*l + l + 208. Suppose j = -3*j + l. Is 2*(-1)/2 + j prime?
False
Let o(v) = -v**3 - 10*v**2 - v - 7. Let d be o(-10). Suppose -5*l + 101 + 14 = -5*h, -d*l - 5*h + 61 = 0. Is l composite?
True
Let f(p) be the second derivative of 97*p**5/10 + p. Is f(1) composite?
True
Let r be (6 - 128)/((-4)/2). Let g = 284 - r. Is g a prime number?
True
Let c = 86793 + -34940. Is c composite?
False
Let q(n) = n - 2. Let r be q(7). Suppose -r*f = -4*v + 6, 4*f + 6 = -v + 18. Suppose 0*s = s - f, 2*j + 3*s = 160. Is j prime?
False
Suppose 38 - 34 = 2*w, 0 = 5*i + w - 265217. Is i composite?
True
Suppose -p = 3*p + 12. Suppose 2*k + 125 = 7*k. Let m = p + k. Is m composite?
True
Let s = 15447 + 46016. Is s a prime number?
True
Suppose 0 = 11*c - 12*c - 30. Let v = -21 - c. Is (139/2)/(v/36) a composite number?
True
Suppose 2*b = 3*z + 11, b - z = 2*z + 10. Let t be (1/(-3))/(b/(-15)). Suppose -3*u + 0*l = t*l - 623, 0 = 5*l + 10. Is u prime?
True
Suppose 19504 - 2271 = 19*o. Is o a prime number?
True
Let p(x) = x**3 + 4*x**2 + 2*x - 1. Let k be p(-3). Suppose o = 2*u - 7, 5*u - 13 = -k*o - 0*u. Is ((-400 + 3)*o)/1 a prime number?
True
Is (-42)/(-28)*(-3272)/(-6) - -3 composite?
False
Suppose 5*y = 2*k - k - 982, 0 = -k - 3*y + 1022. Suppose 676 = 2*p - z, -2*z = 3*p - 0*z - k. Is p composite?
False
Let a be 90 - (-2 - (-5 + 2)). Let g = a - -82. Suppose -4*c + 2*w + 69 = -g, -226 = -4*c - 5*w. Is c composite?
False
Let b(v) = -v**2 - 9*v - 6. Let d be b(-5). Suppose -4*j - 2 = -d. Suppose j*p = -3, -4*f - 4*p - p = -559. Is f a prime number?
False
Let t(j) = -4*j**3 + 4*j**2 + 21*j + 23. Is t(-8) a prime number?
False
Let m = -682 + 3603. Is m prime?
False
Let w(c) = -7*c - 21*c**3 + 8*c - 6*c**2 - 4*c - 5*c - 3. Is w(-4) prime?
True
Let v(p) = 284*p + 64. Let f be v(23). Suppose -s + 2*g + 16497 = 4*s, 2*s + 2*g = f. Is s composite?
False
Suppose 0*q - 2*q = -4*i + 32, 4*q + 14 = 3*i. Suppose 7*h + 153 = i*h. Is h composite?
True
Let m be 7/1 + (6 - 7). Let w(y) = y**3 - 5*y**2 - 5*y - 1. Let n be w(m). Suppose -5*i + o = n*o - 14, o - 2 = -i. Is i composite?
True
Let q = -107 - -454. Let l = 496 - q. Is l a composite number?
False
Suppose 5*u - 1505 - 3840 = 0. Suppose 5*s = u + 966. Is s prime?
False
Suppose b = g - 8302, -b + 24902 = 4*g - g. Is g prime?
False
Suppose -3*u - 2*u - 4760 = 0. Let z = -244 - u. Let f = -373 + z. Is f composite?
True
Let s(w) = -2*w**3 - 2 + w**2 + 3*w + 3*w**2 + 9*w. Let o be (-6)/2 + 7 + -10. Is s(o) a prime number?
False
Suppose 0 = -2*h + 3*h - 258. Suppose m - 3*m + h = 0. Is m prime?
False
Let t(m) = -2*m**2 - 14*m - 3. Let y be 1/(2 - 42/20). Let n be t(y). Is (-927)/n - (-4)/14 prime?
False
Let a(s) = 111*s**2 + 49*s + 41. Is a(-16) composite?
False
Let y = 54 + -3. Let z = y - -17. Let u = z - 46. Is u a composite number?
True
Let r(o) = 154*o - 13. Is r(2) a prime number?
False
Is ((-18)/3)/3*(-28359)/18 a prime number?
False
Let j = 11 + -9. Suppose -5*h + 444 + 411 = -2*r, -j*r - h = 873. Is 68*(r/12)/(-5) a composite number?
True
Suppose -3*g - g - 18 = 2*x, -x = 4*g + 19. Let a(w) = -492*w - 19. Is a(g) a prime number?
True
Let t(f) = 68*f - 7. Let n be t(8). Let y = n + 104. Is y composite?
False
Let w(a) be the second derivative of -414*a**5/5 - a**4/6 - 2*a**3/3 - a**2/2 + 4*a + 1. Is w(-1) a prime number?
True
Let w(q) = -4*q - 4. Let v be w(-2). Let t(d) = -4*d + 4*d + 13*d**2 + v*d - 5*d + 11. Is t(-9) prime?
False
Is (288/(-30))/(-12) + (-12182)/(-10) a composite number?
True
Suppose 0 = -j - 3*r - 14, -4*r - 8 = 4. Let w = 10 + j. Suppose -w*m - 3*b = -2732 + 681, 0 = -3*m + 3*b + 1221. Is m composite?
False
Let k be 2*((-16)/4 - -1). Is -2*k/(-8) + (-1829)/(-2) a composite number?
True
Let a = 15 + -10. Let k(y) = y**3 + 2*y**2 + 4*y + 7. Let u be k(7). Suppose 0*d + v - u = -3*d, 5*v - 790 = -a*d. Is d a composite number?
True
Suppose -12*r = -10*r + 4*g - 7990, -11958 = -3*r + 3*g. Is r composite?
False
Let u = 1007 - -1668. Suppose 2*n + 2673 = 5*m - 2, 5*m + 4*n - u = 0. Suppose 2*x + 33 = m. Is x a prime number?
True
Suppose -5*n + 342 = -2*y, 3*n = 1 + 5. Let j = 66 - 143. Let c = j - y. Is c composite?
False
Let q(m) = 57*m - 28. Is q(5) prime?
True
Suppose 2*p + 2451 = -q + 7651, -3*q + 10398 = 4*p. Let c = p - 1558. Is c a composite number?
True
Let g be (-12)/(-9)*(-1839)/(-1). Let w be (-9)/(-45) + g/(-10). Let h = 994 + w. Is h composite?
True
Let c be (-24858)/8*(-1 + (-2 - 1)). Suppose -9*j - c = -18*j. Is j a composite number?
False
Suppose -n - 4 = 0, 3*g + n = g - 28032. Is g/(-35) - (-6)/10 composite?
False
Suppose 32*f - 15904 = 28*f - 4*u, 5*f = 4*u + 19907. Is f a composite number?
True
Let c be (-5)/(145/(-30) + 4). Suppose 2*w - 1160 = -c*w. Is w prime?
False
Let p = 1615 + 790. Suppose -p = -5*u + 440. Suppose 76 = -t + u. Is t prime?
False
Let o(z) = -2*z**2 + 3. Let l be o(-3). Is (5 - 2)*(-1790)/l a composite number?
True
Suppose 132747 = 5*u + 4*c, 4*u - 3*c = 130762 - 24552. Is u composite?
True
Suppose -123 + 418 = 5*m. Let q = -84 - -60. Let v = m - q. Is v a prime number?
True
Is (-1311388)/(-39)*(-3)/(-4) composite?
False
Let a = -37 + 74. Suppose -a = k - 5*z + 830, -5*k + 2*z = 4450. Is 1/3 - k/6 prime?
True
Let l = -8359 + 18230. Is l a prime number?
True
Suppose -2*q + 112*n = 109*n - 203849, 407673 = 4*q - n. Is q composite?
False
Let t(j) = -j**2 + 4*j + 10. Let y be t(6). Let g(l) = -15*l + 5. Is g(y) a composite number?
True
Let b = -29784 + 45701. Is b composite?
True
Let p(d) = -9*d**3 - 22*d**2 - 30*d - 7. Is p(-8) a prime number?
True
Let g be 2/1 - (-4 - -3). Suppose 0 = -s - y + 75, -6*y - 383 = -5*s - g*y. Let d = 127 - s. Is d composite?
True
Suppose 0 = 2*q + 5*l - 33, -4*l - 16 = -4*q + 8. Suppose -9*d - 30 = -4*d. Is (q/d)/((-2)/116) a prime number?
False
Let q(f) = f**3 - 15*f**2 + 27*f - 11. Let k be q(13). Let s be 67*14 - 2*1. Is (s - 2)*1/k a composite number?
False
Let f(h) = h**2 - 15*h + 4. Let y be f(15). Is (1774/y)/(2/4) prime?
True
Let h(q) = 2*q**2 - 19*q - 12. Let f(u) = u + 16. Let j be f(0). Let v be h(j). Let w = v - 137. Is w a composite number?
False
Suppose -k + r + r = -751, 2*r + 3034 = 4*k. Suppose 2*j - 7*j = -5*z + 3730, -z + k = 2*j. Is z prime?
True