uppose 8447 = -c*j + 59190. Is j prime?
False
Suppose 18*p - 19*p + 25 = 0. Suppose o - 82 - p = 2*k, -o - 2*k + 99 = 0. Is o prime?
True
Let j(s) = -80*s + 23. Suppose -11*h - 35 = -6*h. Is j(h) prime?
False
Suppose 3*t = 3*o + 63, 4*t - 3*t = 3*o + 11. Is ((-1409)/(-3))/(-4 - t/(-6)) composite?
False
Let s be (-24843)/15 - (-3)/15. Let n = -757 - s. Is n a composite number?
True
Suppose 0 = -60*y + 56*y + 20. Suppose 4*o - 5045 = -5*c, 2*o - o - 1280 = -y*c. Is o prime?
False
Suppose -4*v + 4605 = 469. Let j = -519 + v. Is j composite?
True
Let a be (-104)/2 + 0/(-12). Let f be (53 - -1)*(-25)/10. Let z = a - f. Is z composite?
False
Suppose 45*f - 42*f - 1740 = 0. Let v = 822 + f. Is v a composite number?
True
Let g(w) = 41*w**2 - 9*w - 25. Is g(-12) a prime number?
True
Let r be (-54)/6 + 2/2. Let a = r - -10. Suppose c + a*c - 177 = 0. Is c a prime number?
True
Suppose -y + 2*y - 2357 = -3*j, -2*y + 3*j = -4714. Suppose 3*t - 4*b = y, 4*b + 2488 = 5*t - 1451. Is t prime?
False
Suppose -u = 6*o - 2*o - 24, u - 3*o = -11. Let j(t) = 148*t + 4. Let d be j(u). Suppose -6*p = -2*p - d. Is p prime?
True
Let i be (-3)/6 + (-41)/(-2). Suppose -i - 15 = 5*m. Let v(w) = -18*w - 15. Is v(m) prime?
False
Let b(q) = q**3 - 9*q**2 + 9*q - 12. Suppose -w - 46 = -4*i, w + 1 + 1 = 0. Is b(i) prime?
False
Let o(a) = 2916*a**2 + 6*a - 11. Is o(2) a prime number?
False
Suppose 4*h = -4*c + 6 - 398, -5*h - 493 = 4*c. Let z = -68 - h. Is z prime?
False
Let y be 3 + -2 - 1*1*-2. Suppose 935 = 2*i + y*n, 470 = 3*i + 2*n - 935. Is i prime?
False
Suppose -3*g + 4*t = -13, 0*g + 4*g - 4*t = 16. Suppose 3*b - g*n + 1716 = 0, -4*n + 5*n = 5. Let j = b + 914. Is j prime?
True
Is 60/(-150) + (-90314)/(-10) a composite number?
True
Let h(q) = 3314*q - 13. Is h(6) a prime number?
False
Suppose 0 = -4*q - 2*j + 76638, 5*q + 19167 = 6*q + 2*j. Is q composite?
False
Let n be (-6)/(-4) + (-10659)/34. Let i = 461 + n. Is i composite?
False
Let v(w) = 410*w - 51. Is v(7) composite?
False
Let v(g) = 31*g + 2. Let t be v(-7). Let d = t - -530. Suppose 441 = 3*j + y - d, 0 = 4*j - y - 1001. Is j prime?
True
Let i(a) = -3*a - 29. Let m be i(-11). Suppose 2*u - 661 = 3*f, 3*u - m*f = -u + 1312. Is u a composite number?
True
Is ((-1)/(-2))/(56/2666608) a prime number?
False
Is 1 - -4 - (-7 + 16 + -6783) a composite number?
False
Let o(p) = -4859*p**3 + 2*p**2 - 2*p - 2. Is o(-1) prime?
True
Let m(k) = 783*k + 164. Is m(25) a composite number?
False
Suppose -20*q + 22*q - 9244 = 0. Suppose -w - q = -5*m + 6140, 0 = 5*m - 2*w - 10759. Is m a composite number?
False
Let a(g) = g**3 + 8*g**2 - 8*g + 3. Let j be a(-9). Let y be (-16)/j + (-10)/(-30). Suppose -3*m + 74 = -i, y*m = 4*m - 5*i - 48. Is m composite?
False
Suppose 32271 = 4*w + 5*v, -6*w = -10*w + 4*v + 32280. Is w a prime number?
True
Let q(r) = r**2 + 24. Let k = 12 - 1. Is q(k) a composite number?
True
Suppose l + 2*p - 2097 = 0, 6*l - 3*l + p = 6311. Is l a prime number?
False
Suppose 4*p = 14 - 2. Suppose -p*d + 20 = 2*d, 0 = 2*k - 5*d. Suppose -k*s + 14*s = 1304. Is s a prime number?
False
Let u be 105/5 - (-1 - -3). Suppose -2*h = v - 16 - u, 4*h + 105 = 5*v. Let z = 102 + v. Is z composite?
False
Let s(y) = y**2 + 6. Let q(t) be the second derivative of -t**4/12 - t**2/2 + 3*t. Let w be q(2). Is s(w) a prime number?
True
Suppose 8*o - 4 = 4*o. Let q be -3 - (-6 - 3/o). Is 4/q - 2631/(-9) prime?
True
Let j = -18 - -22. Suppose x - j = 0, 3*r - 3*x + x - 526 = 0. Is r prime?
False
Suppose 134*x - 127*x = 224819. Is x prime?
True
Let b = -174 + 3029. Is b prime?
False
Is 48/9 + -7 - 71792/(-12) composite?
False
Let f(r) = 8*r**2 - 3*r - 1. Suppose 3*g + 0*g - 4*w + 1 = 0, 5 = -3*g + 5*w. Let y = -7 + g. Is f(y) a prime number?
True
Let x = -826 - -4584. Is x a prime number?
False
Let x be 12/(-9)*((-1)/(-1) + -4). Suppose 0 = 2*u + x*k - 2810, -5584 = 3*u - 7*u + 4*k. Is u composite?
False
Let u = -29724 + 56557. Is u composite?
False
Suppose -4 = a - 3. Let j be a/(4 + 1061/(-265)). Suppose 0 = v + 4*v - j. Is v composite?
False
Suppose 4*x = 5*g - 12, 21 - 6 = 5*g - 5*x. Suppose -2*n + 71 = -5*b - 528, 3*n + 3*b - 888 = g. Suppose 0 = -3*c + 5*m + 851, -4*m = c + m - n. Is c prime?
False
Let x be 0*2/(-6) - -55. Is 1837/x + 2/(-5) a prime number?
False
Let u(n) = 3*n**3 - 20*n**2 + 11*n - 23. Is u(14) a prime number?
False
Let m = -13974 - -22027. Is m composite?
False
Let a(x) = x**2 + 10*x - 8. Suppose -3*k + 0*k - 33 = 0. Let w be a(k). Suppose 2*g = -g - 2*t + 38, -w*g + 2*t = -46. Is g a composite number?
True
Suppose 50*v + 15668 = 53*v + i, v - 5206 = 3*i. Is v composite?
True
Suppose 2*f = -5*v + 76203, -4*f - 23137 + 99338 = 5*v. Is v composite?
False
Suppose -1261 + 76 = -5*y. Is y prime?
False
Let v(x) = -6*x**2 + 10*x - 7. Let q be v(2). Is 1383 + 1 - (-8 - q) a prime number?
True
Is 0/12 + (1977 - -1*2) a prime number?
True
Suppose -3*s + 1635 = 267. Let k = -221 + s. Suppose -95 = -2*w + 2*z + k, 0 = 2*w - z - 326. Is w a composite number?
True
Let z(f) = 281*f**3 - 3*f**2 + 26. Is z(3) prime?
False
Suppose -2*p - 14 = 4*s, 1 = s - 2*s. Is 9/15 - 2332/p composite?
False
Let b be (-2 + 2)/(-3 + 0). Suppose b = -10*k + 5*k + 3155. Is k prime?
True
Let j be 0 + (624/13)/6. Suppose -4 = 5*y - 34. Is ((-668)/j)/((-3)/y) a prime number?
True
Let z(m) = 1 + 0*m - m**2 + 99*m**3 - 2*m + 3*m**2. Suppose -s = 5*o + 8, 11 - 1 = -5*o. Is z(s) composite?
False
Suppose l - 4 = 1. Let y = 11 - l. Suppose 0 = y*d - d - 385. Is d a prime number?
False
Suppose 0 = 4*r + 3*h + h - 4, 0 = -r - 4*h - 14. Let p be 2/r - 49/3. Is (16/p)/(1/(-179)) a prime number?
True
Let o = 1573 - 212. Is o a prime number?
True
Let p(y) be the second derivative of -17*y**5/5 - y**4/6 - y**3/6 - 11*y. Is p(-1) a prime number?
True
Let c = -191 + 112. Let i = -725 + c. Is 5/(-2)*i/10 composite?
True
Suppose 6*o - 7*o = -2. Suppose 4*t = -8 - 8. Is 314/o - (-4 - t) a prime number?
True
Let k be (-5 - -4) + 4 + 2. Let z be (10/4)/((-2)/(-4)). Suppose -4*i + k*d + 205 = i, 197 = z*i - d. Is i a composite number?
True
Let v be 3/(-9)*3*0. Is (298 - -4) + v + 3 composite?
True
Suppose -f = -4*b + 11350, 42*b = 40*b - 2*f + 5670. Is b a composite number?
False
Let x be (-27)/9 + 114/2. Suppose -3*z = -4*z + x. Suppose -2*l + 22 + z = 0. Is l a prime number?
False
Let p = -53 - -68. Let z = 5 + 27. Let l = z + p. Is l prime?
True
Let d = 10 + -4. Let r = 60 + d. Suppose -r - 986 = -4*f. Is f prime?
True
Suppose -20*c = 42829 - 361769. Is c composite?
True
Suppose 28 = -5*t - 7. Let d = t - 1. Let u = 30 + d. Is u composite?
True
Let r(o) = -4*o - 54. Let c be r(-17). Suppose 34450 = c*u - 6304. Is u composite?
True
Is (10/3)/((-40)/(-6780)) composite?
True
Let a = 596 + 84. Is -3*a/(-3) - 1 a composite number?
True
Suppose 5*p + 2*h = 35569, -18*p + 16*p - h = -14228. Is p composite?
True
Suppose 2 = -3*b + 50. Let x be (b/(-6) - -3)*-12. Is (1346 + 0)*(-2)/x prime?
True
Let w(x) = -x**2 + 5*x - 4. Let z be w(2). Suppose -z*m + 5*i = m - 471, i = m - 157. Is m a prime number?
True
Let x be ((-2)/(-4))/(4/40). Suppose -5*k = 2*p - 4, -2*p + x = -3*k + 1. Suppose -2*o = 5*t + o - 558, -2*t + 4*o + 218 = k. Is t a prime number?
False
Suppose 429*s = 427*s + 33710. Is s composite?
True
Let u(d) = 208*d**2 - d - 14. Is u(-5) a composite number?
True
Let t(l) = 2*l**2 + 4. Let c be t(2). Suppose 0 = j - 5*a - 16 - 26, j + 5*a = c. Suppose -g - j + 114 = 0. Is g prime?
False
Suppose -3*w - 6 = -5*w. Suppose -4*a = 16, -w*a + 113 = 3*v + 3395. Let c = 1835 + v. Is c a prime number?
False
Let r be 0*(-1 - 0) + -36. Let h = 14 + r. Let l = h + 26. Is l composite?
True
Let c(n) = -n**2 - 12*n + 10. Let w be 1 + 1 + -3 + -10. Let h be c(w). Suppose -5*y - h = -6*y. Is y a composite number?
True
Let k(h) = -3347*h + 38. Is k(-3) composite?
False
Let z(j) = 46467*j**2 + 2*j + 2. Is z(1) a prime number?
True
Let r(h) = -446*h - 11. Let c be r(-5). Let i = c - -121. Suppose -4*p - 2*d = -i, -4*d + 205 + 366 = p. Is p prime?
True
Suppose 0 = -586*m + 577*m + 83799. Is m a composite number?
False
Let w(v) = -222*v**3 + 2*v**2 + v. Let k(d) be the first derivative of d**4/4 + 4*d**3/3 - 5*d**2/2 - d - 4. Let b be k(-5). Is w(b) a prime number?
True
Let p = -11 - -9.