pose -3*p + o = 2*x, 4*x + 600 - 4667 = -p. Is x prime?
False
Suppose 12*x - 287119 + 28747 = 0. Is x a composite number?
True
Is (-2 - -5)*5*(-7233)/(-45) prime?
True
Let l be ((-4)/5)/(6/75). Let j(z) = -z**2 - 11*z + 43. Is j(l) a composite number?
False
Let f = 1 + -1. Suppose a - 5*i = -f*i + 546, -a + 3*i + 556 = 0. Is a a composite number?
False
Let v(t) = 39*t + 1. Let u be v(4). Let o = u + 225. Suppose 2*z - 2*y = y + 184, -y = 4*z - o. Is z a prime number?
False
Suppose -2*p - 4892 = 2*d, 0 = p + 3*d + 169 + 2285. Let y = 3623 + p. Is y prime?
True
Let s = 308 + -174. Suppose 2*v - s = -0*v. Is v prime?
True
Is (-2092 - 3)*261/(-45) composite?
True
Let c be (26/(-4))/((-4)/(-8)). Let o(y) = 10 + 0*y + 2 + 2 - 3*y. Is o(c) a prime number?
True
Suppose -2*x = -48 + 16. Suppose 4*s + x = 0, 2*s - s + 2589 = 5*t. Is t prime?
False
Let l(f) = 67*f**2 + 6*f - 21. Is l(6) a prime number?
False
Let c = -194 - -106. Let s = 171 - c. Is s a prime number?
False
Is (2/(-2))/(10/13450*-1) a prime number?
False
Let y(u) = -2*u**3 - 2*u**2 - u. Let b(c) = -2*c**2 + 16*c + 18. Let l(i) = -5*i**2 + 47*i + 53. Let p(q) = 8*b(q) - 3*l(q). Let k be p(-12). Is y(k) composite?
True
Suppose -v = 1, -3*r + 0 = -2*v - 8. Let q(l) = -3*l**2 - 2*l + 6*l**2 - 1 - 2*l**r + 3*l**2. Is q(6) a prime number?
True
Let f = 33278 + -17029. Is f composite?
False
Let f = -339 + -321. Is f/(-5 + 0) + -1 a prime number?
True
Let s be (-38 - 4)*79/3. Let q be (2 + -1)*s/(-1). Suppose -q + 267 = -d. Is d composite?
False
Let p(d) = -d**3 + 16*d**2 + 3*d - 43. Let o be p(16). Suppose o*q - 3*t = 8915, -5*q + t + 2555 = -6360. Is q prime?
True
Suppose 0 = 5*v + 136 - 21. Let k = 82 + v. Is k a prime number?
True
Let s = -71807 + 111846. Is s a composite number?
False
Suppose -7*t - 16*t = -13501. Is t a prime number?
True
Is (777 - 20)*(2 + -2 + 31) prime?
False
Let o(q) = 143*q. Let i be o(1). Suppose -i = 5*d - 33. Is 3/(d/(-7) - 3) a prime number?
False
Let u(h) = 3*h**2 + h - 2. Let f be u(-2). Let p(y) = y**2 + y + 57. Let a be p(0). Let d = a - f. Is d prime?
False
Suppose 0 = 5*z - 5*d - 45, 0 = -d - 7 + 2. Suppose 2*l + 2080 = z*j - 408, 3*l + 2486 = 4*j. Is j a prime number?
False
Let f = 23 + -20. Suppose -c = -f*c + r + 1401, 5*c - r - 3504 = 0. Is c prime?
True
Let d(l) = -2*l - 31. Let h be d(-17). Suppose 1459 = h*j - 3458. Is j a prime number?
False
Let b = -153 + 361. Suppose -4*t - 235 = -5*a - 9*t, -t = -4*a + b. Is a a composite number?
True
Is (-4)/(-1 - -17)*(-12918 - -2) prime?
True
Let k(w) = 1065*w - 22. Is k(7) composite?
False
Let d be -1 + 2 + 4 - 4. Suppose -3*t + 4*l = -11 - d, -3*l = 0. Suppose -4*x + 653 = -3*a, 5*x - t*a - 814 = -a. Is x a composite number?
True
Let t(n) = -27*n - 17. Let v(j) = -j + 4. Let z be v(10). Is t(z) prime?
False
Suppose -3*r = -4*o + 2*r - 8, -26 = -2*o - 5*r. Suppose 0*n - o*n = -z - 1353, 0 = 5*n + 5*z - 2255. Is n prime?
False
Suppose 0 = -4*j + 3 - 39. Is -3*((-1317)/j)/(-1) prime?
True
Let a(q) = 47*q**2 + q + 1. Let z = -17 - -12. Is a(z) prime?
True
Suppose 3*z + 44 = -z + 3*k, 3*z = -k - 46. Is 2733/7 - 8/z prime?
False
Let h(w) = -w**2 - 5*w + 9. Let g be h(-6). Suppose g*v - d - 695 = 0, 2*v + 2*v = -2*d + 940. Is v a composite number?
False
Let r(s) = 12*s**2 + 5*s + 1. Let d be 1*-1*(-54)/(-9). Is r(d) prime?
False
Suppose -3*n - 4*p - 31 = 22, -4*p - 20 = 0. Let q(k) = -7*k**3 - 9*k**2 + 14*k - 17. Is q(n) a composite number?
True
Let b = 13 - 13. Let r(l) = l + 9. Let y be r(b). Is 6/(-27) - (-1649)/y a composite number?
True
Suppose 0 = -3*f - 3, -4*w - 3*f + 4219 = -5*w. Let b = -233 - w. Is b a prime number?
True
Let i(n) = n**2 - 4. Let b be i(-3). Suppose b*j = 6*j - 161. Suppose -w - j = -2*w. Is w prime?
False
Suppose -3*k - 1 = 5*m + 14, -25 = 5*k. Suppose 0 = -m*a - 5*a. Suppose a = 8*x - 7*x - 257. Is x a composite number?
False
Suppose -72 + 82 = h. Let g(c) = -c**2 + 8*c + 16. Let p be g(h). Is ((-1)/4)/(p/4112) prime?
True
Suppose 2028 = p - 263. Is p a prime number?
False
Suppose -3*h = 2*c - 139277, -c + 118773 = 5*h + 49145. Is c composite?
True
Let x be (-5 + 0)/((-2)/438*3). Let o = 24 + x. Is o composite?
False
Let o(v) = -241*v**3 + v**2 + 7. Is o(-2) a prime number?
False
Let h be ((-6)/4)/(24/16). Is h/4 + (-6)/((-72)/24639) a composite number?
False
Let u(y) = 7*y**3 - 2*y**2 - 4*y + 4. Let a = -16 - -21. Let j be u(a). Let v = j + -364. Is v a prime number?
False
Let k(t) = -t**3 - 11*t**2 - 1. Suppose 0*s = -3*s - 3*h + 63, 5*h = 2*s - 63. Let o = s - 38. Is k(o) a prime number?
True
Let s(q) = 138*q**2 + 17*q - 13. Is s(-8) a prime number?
False
Suppose 59 = 5*r - 4*r. Is r prime?
True
Let v be (-1 - -2)/(-7*(-6)/53844). Suppose -1896 = -3*b + 3*q, -4*q + 0*q + v = 2*b. Is b a composite number?
True
Is 4/(-2)*2229/(-6) a composite number?
False
Let z(p) be the second derivative of -p**3/2 - 27*p**2/2 - 5*p. Let k be z(11). Let m = -1 - k. Is m composite?
False
Let s(z) be the second derivative of 191*z**3/6 + 3*z**2/2 - 2*z. Is s(10) a composite number?
False
Let n(z) = 2*z**3 - 4*z**2 + 8*z + 7. Let j be n(5). Let y = -64 + j. Is y prime?
False
Is (-7 + 2048 - 2)*1 a prime number?
True
Suppose 150295 = -36*w + 41*w. Is w composite?
False
Let v = 5581 + -584. Is v a composite number?
True
Suppose 0 = 6*w - 2*w - 8. Is (85/w)/5*34 composite?
True
Let z = -11531 - -24562. Is z a prime number?
False
Let x(a) = -a**3 - 13*a**2 - 9*a + 39. Let t be x(-12). Suppose -2*o + 0*d + 313 = t*d, 2*d + 650 = 4*o. Is o a prime number?
False
Suppose -3*b + 4 = 22. Let h(m) be the third derivative of -m**6/60 - m**5/10 + m**4/12 - m**3/6 - 9*m**2. Is h(b) composite?
True
Let u = 22581 - 11392. Is u a composite number?
True
Is 1/(-2 - 2)*142300/(-5) prime?
False
Is 4388 - (2 + -2 + 1) a prime number?
False
Let n = -56 + 122. Suppose -40 = t + 4*x, -3*t - 62 - n = 4*x. Let a = 7 - t. Is a a composite number?
True
Let h(u) = 591*u - 31. Is h(2) a prime number?
True
Let y = 191 + 224. Suppose 0 = 17*f - 16*f - y. Is f composite?
True
Let a(w) = -34*w**2 + 2*w. Let i be a(1). Let t = -15 - i. Suppose -2*s - t = -q, 3*s + 53 = 5*q - q. Is q prime?
True
Is (-23142 + (-99)/11)*(-2)/6 a prime number?
True
Let z = 33632 + -9975. Is z prime?
False
Suppose -3*v + 1946 = -10*v. Let r = v + 585. Is r prime?
True
Let d(f) = 51*f**3 + 3*f**2 + 3*f - 2. Is d(3) a prime number?
False
Let i be 154/(-6) + -1 + (-32)/(-48). Is 1406/3 + (i/(-6) - 4) a prime number?
False
Let o = 23155 + -13364. Is o composite?
False
Let f = 33018 - 6869. Is f a composite number?
True
Suppose w + 794 = -2*h, -5*w - 6*h + 2*h = 3964. Let x be (-7)/(21/w) - 4. Suppose -j = -5*j + x. Is j a composite number?
True
Let s(b) = b**3 + 7*b**2 + 5*b + 9. Let z be s(-6). Let a be (z/6)/(2/4). Suppose -107 = -3*l + a*c, 6*l + 3*c - 99 = 3*l. Is l composite?
True
Let q = 2916 - -430. Suppose -38*x - q = -40*x. Is x a prime number?
False
Let s(r) = 3 - 7 - 7*r + 29 + 158*r**2 - 157*r**2. Is s(13) a composite number?
False
Let v = 1594 - 845. Is v a prime number?
False
Let b(g) = 50*g**2 + 4*g - 11. Suppose 2*l + w + 6 = -w, 4*l - 5*w + 39 = 0. Let f be b(l). Let p = -1134 + f. Is p a prime number?
True
Let y(p) be the first derivative of 19*p**2/2 - 6*p - 6. Is y(1) a composite number?
False
Let k(f) = 49*f**2 - 13*f - 31. Is k(10) a composite number?
True
Let b(f) = -f - 1. Let p(k) = -32*k**2 + 5*k + 2. Let r(o) = 3*b(o) + p(o). Let t be r(3). Let d = -200 - t. Is d a prime number?
True
Let g(x) = x - 3. Let k be g(3). Suppose -n + 4 + 1 = k. Suppose c + 89 = n*p - 92, -5*p = -2*c - 177. Is p prime?
True
Suppose -n = -l - 2164, 3*l + 6482 = 3*n + 2*l. Suppose 3*x = -j + n, -5*x = 5*j - 5261 - 5514. Is j composite?
False
Suppose o + 2*s + 43 = 7*s, 0 = -o - s - 73. Let d = 137 + o. Is d composite?
True
Suppose -5*x + 14 = -3*c, 4*c + 17 = -2*x + 7*x. Let f(p) = 1158*p**2 - p. Is f(x) prime?
False
Let o = -5414 - -29113. Is o composite?
True
Let k(z) = z**2 + 8*z + 7. Let v be k(-5). Let t = 8 + v. Suppose 0 = -b - t*b, -5*b + 586 = 2*n. Is n composite?
False
Is ((-88)/(-8) + -13)/((-2)/2721) a composite number?
True
Let s = 16573 + -6900. Is s a prime number?
False
Suppose 3*h - 1150 = -h - 2*z, -3*h - 5*z + 866 = 0. Let x = h + -36. Is x p