
Suppose -3*s - 57 = -6*s. Is s a composite number?
False
Suppose -3 = -z + 27. Let n = 53 + -36. Let v = n + z. Is v a prime number?
True
Let m(p) = 20*p**2 - 2. Is m(3) a prime number?
False
Let k be ((-142)/(-3))/((-8)/(-60)). Suppose -1756 + k = -3*d. Is d a prime number?
True
Suppose 5*d - 7 - 33 = 0. Let k = -6 + d. Suppose -7*x = -k*x - 35. Is x a prime number?
True
Let x(p) = -100*p - 1. Let u be x(-1). Suppose 94 = 3*d - 29. Let a = u - d. Is a prime?
False
Suppose 6*w - 140 = 1162. Is w a composite number?
True
Suppose -484 = -2*k - 66. Is k composite?
True
Let a = -24 - -38. Let m be (-4)/a + (-176)/(-28). Let r(t) = -t**2 + 7*t. Is r(m) prime?
False
Let s(n) be the third derivative of n**5/10 - 7*n**4/12 + 3*n**3/2 + 9*n**2. Is s(6) composite?
True
Let a(c) = 4*c**2 + 4*c + 2. Let i(k) = -3*k**2 - 3*k - 1. Let l(h) = -2*a(h) - 3*i(h). Let j be l(0). Is j/(-2 + (-234)/(-118)) a prime number?
True
Let d(f) = -f**3 + f**2 + 4*f + 9. Is d(-5) prime?
True
Suppose 8*m = 4*m + 4468. Is m a composite number?
False
Suppose 5*u - u + 2*x = -4, x = -3*u - 2. Let r = 0 + u. Suppose 0*z + 11 = q + 2*z, -z - 4 = r. Is q composite?
False
Is (-1 - (-16)/14) + 15096/21 prime?
True
Let t = -661 - -4076. Is t a composite number?
True
Let k(j) = -29*j**2 - 17*j + 4. Let r be k(-13). Is 1/3 + r/(-21) composite?
False
Is (-1 - -4)*70/30 composite?
False
Suppose 3*q + 4 = 205. Is q prime?
True
Suppose 5*a - 14069 = -4*f, -3*f + 10518 = -2*a - a. Is f a prime number?
True
Is (-597)/(-9) + 16/24 a prime number?
True
Let b(r) = 16*r + 3. Is b(10) composite?
False
Suppose 0 = 10*o - 5*o - 2390. Is o a composite number?
True
Let v = 1097 - 540. Is v composite?
False
Let n(a) = 5*a**2 + 3*a + 1. Let h(x) = 5*x**2 + 3*x. Let g(w) = -6*h(w) + 7*n(w). Let f be g(5). Let q = f - 64. Is q prime?
True
Suppose 0*s - 4*s = -148. Is s a prime number?
True
Suppose 0 = 5*l + 3*y - 1043, 122 = 2*l - 3*y - 312. Is l prime?
True
Is ((-2164)/2)/(-2) - (1 + -1) a prime number?
True
Let y = 3 + -1. Let q be (-4)/(-6)*(-21)/y. Let f = q + 96. Is f a composite number?
False
Suppose -v + 2*v = 906. Suppose 0 = -5*r - 5*u + 900, 5*r - u + 0*u = v. Is r prime?
True
Let a = 149 + -70. Is a a composite number?
False
Let q = -38 - -924. Is q a prime number?
False
Let d(a) = a + 37. Suppose 4*i - 2*f - 8 = -4*f, 4*f + 5 = -i. Suppose 4*b - 6 = -i*t, 2*b = -2*t - 2 + 6. Is d(b) a prime number?
True
Let a(z) = z**2 - 5*z. Let v be a(6). Is (v/18)/((-2)/(-318)) composite?
False
Let d = 201 + 48. Suppose d = 3*n - 0*n. Is n a prime number?
True
Suppose 3*b - 165 = -2*b. Let y = 152 + b. Is y a composite number?
True
Suppose -3*m = 2*m - 15, 3*l - 3*m - 465 = 0. Is l/3*12/8 composite?
False
Let b(v) = 22*v + 9. Is b(4) a composite number?
False
Suppose -3*w = -2*g + 224, -5*g + 54 = -3*w - 524. Suppose 0 = 2*d - 2*l - 82, -3*d - 3*l - 7 = -g. Is d a prime number?
False
Let y(x) be the second derivative of -3*x**5/20 + x**3/6 + x**2/2 - x. Let z be (-16)/7 + (-4)/(-14). Is y(z) a prime number?
True
Let a be (185/2)/(-5)*-2. Suppose 3*n - 452 = a. Is n prime?
True
Suppose 5*r + 3*j + j = 1551, 287 = r - 5*j. Is r composite?
False
Let j = 56 + -1. Is j prime?
False
Let x(v) = -48*v**3 + 2*v**2 - 4*v - 5. Is x(-2) a composite number?
True
Let g = 340 - 66. Is g a prime number?
False
Suppose 14*n = -9525 + 29447. Is n a prime number?
True
Suppose 0 = -4*b + 5641 + 647. Suppose 0 = 3*z - b + 243. Is z prime?
True
Suppose -3*z + 15 = -3. Is 12252/27 + z/27 a prime number?
False
Suppose -7*o = -3*o + 12. Let x(j) = -21*j + 4. Let m be x(o). Let n = m + -32. Is n a composite number?
True
Suppose k = -0*k + 71. Suppose i = -5*y - i + 60, 0 = -4*y - 4*i + 48. Let t = k - y. Is t a prime number?
True
Suppose 2*g - g - 2 = -2*k, -4*k - 14 = -g. Let j be ((-2)/g)/((-1)/6). Suppose 5*c - y = c + 143, 4*c = -j*y + 158. Is c composite?
False
Let g be -2 + (-4)/(4/(-35)). Let j = 83 - g. Suppose f - j = -f. Is f a prime number?
False
Let r = -8 + 16. Suppose r*m - 254 = -u + 3*m, u + m = 258. Is u a composite number?
True
Let d be (-1 - 2)/(-1 + 0). Suppose 0 = d*o - 22 - 35. Is o composite?
False
Let p(y) = y**2 + 10*y + y**2 + 0*y - 1. Let b be p(-7). Let r = b - 16. Is r a prime number?
True
Let c(t) = 3*t**3 + 4*t**2 - 7*t - 18. Let a be c(-5). Let j = -342 + 177. Let g = j - a. Is g prime?
False
Let i(o) = 5*o**3 - 2*o**2 + 2*o - 1. Let z be i(1). Suppose -8 + 24 = z*b. Suppose 5*d - 50 = q - 4*q, 27 = b*d + 5*q. Is d a composite number?
False
Suppose 24*z - 21*z = 8997. Is z composite?
False
Let i(w) = w**2 - 2*w - 11. Let v be i(-8). Suppose -101 = -2*m + v. Is m composite?
True
Suppose 132 = f - 68. Suppose -d + f = n, 0*d + 4*d = -3*n + 597. Is n composite?
True
Suppose 270 = o + 4*u, u - 760 = -5*o + 571. Suppose -2*i + o = z, 4*z - 17 + 1 = 0. Is i composite?
False
Suppose -2*d + o + 1678 = 0, -5*o = 4*d + d - 4195. Is d composite?
False
Let a = -4 + 23. Suppose 8 = -q + a. Is q composite?
False
Suppose t - 9 = 5*w, -5*t - 6 = w + 1. Let j(u) = -28*u. Let o be j(t). Suppose z = -z + o. Is z a prime number?
False
Suppose -586 = -i - i. Is i a composite number?
False
Let i(t) = -7*t**3 + 14*t**2 + t + 4. Let z = 0 + 5. Let h(k) = -10*k**3 + 21*k**2 + k + 6. Let f(w) = z*h(w) - 7*i(w). Is f(6) prime?
False
Let s = 1034 - 543. Is s a prime number?
True
Let j = 2 + 2. Suppose 2*x - 138 = -j*m, -m + 17 = x - 17. Is m a prime number?
False
Suppose -3*n = -2 - 7. Let i be 3*((-4)/n + 1). Let r(b) = -180*b**3 - 2*b**2 + 1. Is r(i) a prime number?
True
Suppose 0 = -4*q - 4 - 16, 5*w - 1595 = 2*q. Is w prime?
True
Suppose -2*d - 6 = -5*d. Suppose 0 = -d*p - 13 + 63. Is p a composite number?
True
Let c(q) be the first derivative of 22*q**3/3 + q**2/2 - q - 5. Is c(6) a prime number?
True
Let o(u) = 11*u - 10. Let c(y) = -y + 1. Let n be (-5)/(0 - -1) + 0. Let l(s) = n*c(s) - o(s). Is l(-5) composite?
True
Let q(h) = -67*h**3 + h**2 - h - 1. Is q(-2) composite?
False
Let w(l) = l**2 - 2. Let g be w(2). Suppose -2*t - g*t + 76 = 0. Is t a prime number?
True
Suppose 688 = 4*n + 5*k, 2*n + k = -180 + 518. Is n prime?
True
Let q be (6/4)/((-6)/(-24)). Is (-642)/(-18) + q/(-9) a composite number?
True
Let q(h) = -h**2 + 6*h. Let z be q(6). Suppose z = p - 0*p - 47. Is p a prime number?
True
Let w be 4/3*18/4. Let o be w/(23/(-10) + 2). Is (-5)/o + 51/4 a prime number?
True
Suppose -15 = -4*h - h. Let j be 3 + (-10 - -1)/h. Suppose j = -3*t - 22 + 631. Is t a prime number?
False
Suppose 2*k = -k + 12. Let i = k + -2. Suppose i*a = 35 + 57. Is a prime?
False
Let t be 3/(-12) + (-217)/(-4). Suppose 2*c - 62 = t. Is c/3 + 3/(-9) prime?
True
Let n be (-66)/(3/((-18)/4)). Suppose -471 = -5*w + p, w + 9 = -4*p + n. Is w a composite number?
True
Suppose 0 = 5*q - q - 1324. Is q prime?
True
Suppose 0 = -0*y - 3*y + 3*o - 15, -4*y - 5 = -o. Suppose 25 = x + 4*x. Suppose 5*l = -2*w + 228, -3*l - x - 1 = y. Is w a composite number?
True
Let l be (-6)/(-15) + 168/5. Let k = 60 - l. Is ((0 + k)*-1)/(-2) composite?
False
Let v be ((-61)/4)/(9/(-36)). Let j = v - -6. Is j a composite number?
False
Suppose -5*a + 2*v - 4*v - 51 = 0, -a + 3*v = 0. Let j = a - -31. Is j a composite number?
True
Suppose k - 2*k = -15. Let g = k + -6. Is g a composite number?
True
Suppose q = 2*f - 13, 6*f - 2*f - 5*q - 41 = 0. Let p(n) = 6*n + f*n**2 + 4*n - 4*n + 5. Is p(6) a prime number?
False
Suppose -5*r + 12 = -38. Suppose -5*z + 6 = -4*f + 41, 0 = 2*f - r. Is z*211*2/(-6) prime?
True
Suppose -5*q + 4*q + 438 = 0. Suppose p = 4*p - q. Suppose -5*k + j = 22 - 206, 4*k - 2*j - p = 0. Is k a prime number?
True
Let f be (-1 - (-3 - -3))*1. Let w = f + 8. Is w a composite number?
False
Is (1 + 105)*(0 - -1)*1 a composite number?
True
Suppose 0*q = -5*q - 25, -5*w - 2*q = -1345. Is w a composite number?
False
Let p(u) = -6*u**2 + u - 3. Let s be p(-3). Is (31/(-4))/(15/s) prime?
True
Is 2/9 - (0 - (-16804)/(-36)) prime?
True
Suppose 4*p - 5*k - 6604 = -k, -4*p = 3*k - 6604. Is p a prime number?
False
Let w(p) = -3*p**3 - 3*p**2 + 5*p - 4. Is w(-5) a composite number?
False
Let w(m) = m**3 + 8*m**2 + 9*m + 9. Let i be w(-7). Suppose 3*z = 73 - 16. Let k = i + z. Is k a prime number?
False
Let p be (-278)/(-5)*(-20)/(-8). Suppose -p = -5*u - 14. Is