 3*j = a. Is j a prime number?
True
Suppose -3*k + 199 = -473. Let p = -157 + k. Is p composite?
False
Let b = 2 - 0. Suppose -4*x + 304 = 4*c, -b*x + 80 = -x + 3*c. Is x prime?
False
Let n(x) = 7*x + 1. Suppose -1 = 2*j - 3*j. Let v be n(j). Is ((-74)/8)/((-2)/v) prime?
True
Suppose 3*v - i = i + 630, -5*i = 3*v - 651. Let w = 75 - v. Let f = -48 - w. Is f composite?
False
Let y(u) = -18*u - 9. Let i be y(-6). Suppose 2*b + b = i. Is b a composite number?
True
Suppose 2*v + 20 = 4*j, -j + 2*v - 2 = -1. Suppose 4*c - 9 - j = 0. Suppose 46 = -c*n + 178. Is n composite?
True
Let f = -27 + 48. Is f a prime number?
False
Suppose 2*n = 4*u - 3014, 0 = 4*u - 2*n + 3*n - 3011. Is u prime?
False
Suppose 4*c - 251 = -2*f - f, 375 = 5*f - 2*c. Is f a composite number?
True
Suppose -2*p + 2592 = 4*b - 0*p, 2*b + 5*p - 1304 = 0. Is b composite?
False
Let k be ((-8)/3)/(-4)*399. Let j = 681 - k. Is j prime?
False
Let u = -354 + 497. Is u composite?
True
Let i(x) = 2*x**3 + 9*x**2 - 6*x - 3. Let a be i(7). Is (-6)/21 + a/14 composite?
True
Suppose -2*r + 33 = -r. Is r a composite number?
True
Suppose 0 = -t - 2*t + 825. Suppose -4*b - b = -t. Is b a prime number?
False
Suppose 4*w - 1136 + 280 = 0. Suppose -m + 72 = z, -4*z + 2*m + w + 56 = 0. Is z a prime number?
False
Let c = -12 - -3. Let p = -6 - c. Suppose 4*x + 16 = 0, -3*m + 95 = -2*x - p*x. Is m a prime number?
False
Suppose -g + 5 = 0, k + 3*g = 185 + 53. Is k composite?
False
Let p(w) be the second derivative of -4*w**3/3 + w**2/2 - w. Is p(-1) composite?
True
Suppose -4*m + 453 = -391. Is m prime?
True
Suppose -z = -2*a + 154, -3*a + 5*a - 154 = 3*z. Let g = 2 + a. Is g composite?
False
Let j(o) = -27*o**3 - 5*o + 1. Is j(-3) prime?
False
Suppose -2*f + 5*a = -4*f - 11, 2*a = 3*f + 26. Let r = 1 - f. Is r - -2 - -2*1 prime?
True
Let q = 793 + -363. Is (-4)/(-1)*q/8 a prime number?
False
Let f(u) = 102*u**2 + u + 2. Is f(-1) a prime number?
True
Let y = 0 - -2. Let u(n) = y*n**2 - 5*n + 2 + 1 - 1. Is u(-5) a composite number?
True
Suppose 3*m = -4*b + 5048, 7*b = 9*b - 3*m - 2506. Is b composite?
False
Let k = 1 - 0. Let q be ((-95)/(-10))/(k/2). Is ((-1)/(-1))/(1/q) a prime number?
True
Suppose 0 = 4*c - 8 - 12. Is (-171)/(-5) + (-1)/c composite?
True
Is 2/(-9) - (-3932)/36 a composite number?
False
Let i(x) = -7*x. Let z be i(-1). Let m = 28 + z. Is m a composite number?
True
Is ((-1)/(-3))/(2/948) prime?
False
Let k be (-230)/(-15)*(-3 - 0). Let t = k - 17. Let d = t - -122. Is d composite?
False
Let a = -6 + 9. Let p(m) = 3*m + m + 7*m**2 - 4*m + 4*m - a. Is p(2) a prime number?
False
Let l = -5 - -7. Suppose -4*d + 126 = 2*n, -45 = -d - l*n - 12. Is d prime?
True
Let a(h) = -2*h**3 + h**2 - 9*h + 6. Let p(y) = 3*y**3 - 2*y**2 + 17*y - 11. Let q(n) = -5*a(n) - 3*p(n). Let i = -5 + 10. Is q(i) prime?
False
Is (-2 - 32/(-12)) + 601/3 a prime number?
False
Is (-1880)/(-55) + 8/(-44) a composite number?
True
Let b be -1*(-282 - -1) - 3. Suppose 5*x - 67 - b = 0. Is x a prime number?
False
Let c(b) = 5*b - 16. Let v be c(4). Let x = 0 + 0. Suppose -v*r + 2*r + 50 = x. Is r prime?
False
Let i = -159 + 293. Is i a prime number?
False
Let s be 2*(0 + (-3)/(-6)). Suppose -5*w - s - 9 = 0. Is 3 + (-102)/w - -1 prime?
False
Let t(k) = 11*k**2 - 2*k + 1. Let c(r) = -r**3 - 4*r**2 - 3*r - 2. Let h be c(-2). Is t(h) composite?
True
Let l be 21 + -5 + 3 + -2. Suppose 14 = 2*n + 2*p, -2*n + l = n - p. Suppose n = 3*y - 3. Is y composite?
False
Let y(w) = 534*w**3 + w**2 - 2*w + 1. Let x be y(1). Suppose 5*o - 712 = -4*c + 3*o, -3*c = 3*o - x. Is c prime?
False
Let t be (-8)/6*(-510)/4. Let j(l) = -2*l - 6. Let n be j(-3). Suppose -3*g + t + 115 = n. Is g a composite number?
True
Suppose -2*d - 119 = -429. Is d composite?
True
Suppose -3*z - 107 = r + 4*r, 2*r = z - 45. Let a(u) = u**3 + 4*u**2 - 5*u + 3. Let o be a(-5). Is r/(-3)*o/2 a prime number?
True
Is (-52)/(-6)*27/18 prime?
True
Let w(u) = -u**2 + 6*u - 1. Let z be w(7). Let g(t) = -50*t - 7. Let y(s) = -33*s - 5. Let j(c) = z*y(c) + 5*g(c). Is j(11) prime?
False
Suppose -3*t = 0, -2*t + 0*t - 1430 = -5*o. Suppose -6*p + o = -4*p. Is p a prime number?
False
Let v(g) = 25*g + 3. Suppose 0 = -2*k + 4*l + 40, -2*k + 0 + 45 = -5*l. Is v(k) prime?
False
Let t(m) = m**3 + m + 519. Is t(0) a prime number?
False
Let s = 747 + -524. Is s composite?
False
Suppose -3*p + 905 = -2866. Is p prime?
False
Let h(n) = -307*n + 56. Is h(-9) prime?
True
Let s = 2954 - 1803. Is s prime?
True
Let k be (-3852)/30 - 4/(-10). Let v = 271 + k. Is v a composite number?
True
Let x(y) = -96*y - 23. Is x(-8) composite?
True
Let p(m) = -m + 6. Let a(k) = -3*k - 6. Let v be a(-5). Let t be p(v). Let c = 52 + t. Is c composite?
True
Suppose 138*t = 134*t + 5588. Is t a prime number?
False
Suppose -44 = -0*t + t. Let h(o) = 10*o**2 + 4*o - 1. Let r be h(-3). Let p = t + r. Is p prime?
False
Is -8*471/4*1/(-3) a prime number?
False
Suppose -3*b + 354 = -783. Is b a prime number?
True
Suppose 5*p + 5*q = 2890, -3*p - 3*q + 2*q + 1724 = 0. Is p prime?
False
Let a(p) = p**2 - 4*p - 3. Let l be a(8). Let j = l + -53. Let k = -5 - j. Is k a prime number?
True
Let d(w) = -48*w - 2. Let o be d(-2). Let n = 163 + o. Is n a prime number?
True
Let o = 47 + 65. Suppose 4*z - 55 = -i + o, -5*z + 15 = 0. Is i prime?
False
Let k(p) = -37*p + 90*p + 2 - 6. Is k(3) a prime number?
False
Suppose -5*k = -2*k - 15. Suppose 0 = 3*s - 4*s - k*a + 124, -3*a = 2*s - 283. Is s prime?
True
Let f = 4 + 0. Suppose -f*l + 6 = -178. Is l a composite number?
True
Suppose g + 3*g + 4*t = 148, 5 = 5*t. Let p = 73 - g. Is p composite?
False
Let t = 146 - 3. Is t composite?
True
Suppose -3*u - u = 0. Suppose u = f - 53 + 7. Is f a composite number?
True
Let i be 4532/16 + (-1)/4. Suppose 4*c = 712 + 2840. Suppose -5*q - i = -c. Is q composite?
True
Let a be 6 - 5/(10/4). Suppose 0*s - 2*s - 290 = -2*d, 0 = -a*s + 8. Suppose -3*b + d = 42. Is b prime?
False
Let v = 230 + -103. Is v a composite number?
False
Let a(z) be the second derivative of -2*z**3 - 5*z**2/2 - 3*z. Suppose 4*j = -8, -x + 2*j = 2*x + 11. Is a(x) prime?
False
Suppose u + k - 666 = -u, k = 2*u - 658. Is u a composite number?
False
Is 8/12 + 3/((-9)/(-9703)) composite?
True
Let n(f) = 9*f**3 - 2*f**2 - 14*f + 35. Is n(6) a prime number?
True
Let b(t) = 17*t + 8. Let w be b(6). Let x = w + 47. Is x composite?
False
Let r(d) = -19*d + 8. Is r(-5) a composite number?
False
Let z be ((-2)/6)/((-2)/30). Suppose 124 = 3*m - z*r, 0 = 2*m + 2*r + r - 89. Suppose -4*x = -3*x - 4*d - 19, 3*x = 5*d + m. Is x composite?
False
Let t(z) = -z**2 + 4*z + 4. Let u be t(4). Is -2*(138/u)/(-3) a prime number?
True
Suppose 4*l - 1017 = -3*m + 478, -4*m = l - 377. Is l a prime number?
True
Let h(w) = w**3 - 3*w**2 - 11*w - 1. Is h(12) composite?
False
Let h = -1 + 2. Let v be h/3 + 11/3. Suppose -v*u - l - 3*l + 860 = 0, -u = 4*l - 209. Is u a prime number?
False
Let w(z) be the first derivative of -145*z**4/4 - z**2/2 - z - 5. Is w(-1) prime?
False
Let u(n) be the first derivative of n**5/15 - n**4/24 - n**3 + n**2/2 + 3. Let t(o) be the second derivative of u(o). Is t(5) a composite number?
False
Suppose 2*z + 158 = h, -2*h + 8 = -0. Let o = 29 + z. Let b = -11 - o. Is b prime?
True
Let d be ((-16)/(-10))/((-8)/(-60)). Suppose -d = 3*u - 129. Is u prime?
False
Suppose -4*o - 5*r - 551 = 0, -3*o = -2*r + 228 + 191. Let h = -76 - o. Suppose 4*n - 13 - h = 0. Is n a prime number?
True
Let d(r) = 23*r**2 - 5 + 4 + 3. Let q be d(2). Suppose 2*b = 4*b - q. Is b prime?
True
Let x(q) = -q - 5. Suppose -3*a + d + d = -8, -d = -2*a + 6. Let b be x(a). Let m = 6 - b. Is m prime?
False
Suppose 2*z - 30 = 62. Suppose h - 43 = z. Suppose 0 = 4*k - h - 243. Is k prime?
True
Suppose 2*y - 492 = -4*j - 2*y, 2*j + y = 248. Let w = 196 - j. Is w prime?
True
Let o be 1/(164/163 - 1). Let y(c) = c**3 + 8*c**2 - 7*c + 10. Let s be y(-7). Let i = o - s. Is i prime?
False
Let o(f) = -30*f - 1. Suppose -d + 4 = 12. Let c be o(d). Let x = c - -18. Is x a composite number?
False
Let p be 5 + 1/(0 - -1). Is 4/p*948/8 a prime number?
True
Suppose 0 = 2*n + 2, -5*n + 6382 = 3*f. Is f composite?
False
Let o be -1 + 0 - -1*6. Let f be (-164)/(-6) + (-12)/(-18). Suppose -f = m - o*m. Is m a prime nu