= 4*a - 2*c + c. Is a a prime number?
True
Suppose -5*m = -555 - 560. Is m prime?
True
Suppose 1 = 4*j - 7, -4*j + 561 = x. Let u = x - 296. Is u a composite number?
False
Let h(t) = 44*t**2 + 2*t - 5. Let j be h(-9). Let v = j - 2480. Is v a prime number?
True
Is (10/(-5))/(-6)*429 prime?
False
Let t(f) = 47*f**3 - 4*f + 3. Is t(2) prime?
False
Suppose -3*n + 132 = -2*w - 114, 0 = -2*w + 6. Suppose -n - 176 = -4*x. Is x a prime number?
False
Is (-2)/4 + (-4 - 12765/(-6)) a prime number?
False
Let w(z) = -7*z**3 + 3*z**2 - 7. Is w(-5) prime?
False
Let r be ((-20)/(-15))/(4/18). Let d(c) = -c**3 + 5*c**2 + 8*c - 7. Let z be d(r). Suppose 68 = z*q - 2*h, -5*q - 5*h = -42 - 33. Is q prime?
False
Let n(r) be the third derivative of 331*r**4/24 + r**3/6 - r**2. Let s be n(1). Suppose 4*w = -4*p + 8*p + 300, -4*w - 4*p = -s. Is w a prime number?
True
Let z = 3 - 1. Suppose 3*p - 6*s = -2*s + 781, 523 = z*p - 5*s. Is p composite?
True
Is 2*(-3)/(-3) + 321 composite?
True
Suppose 0 = -4*x - 5*o + 11073, 3*x - 7572 = -2*o + 731. Is x prime?
True
Suppose 13*n = 34 + 18. Is n prime?
False
Let t = 505 + -108. Is t composite?
False
Let a(n) be the third derivative of n**6/120 - n**5/15 + n**4/12 + n**3/6 - n**2. Let w be a(2). Is 5 + w + (-18)/(-2) composite?
False
Suppose -5*v + 3 = 3*y + 4, 4*v = 5*y - 23. Let q(r) = -4*r + 3*r**3 - 5 - 7*r**2 - r**3 + r - r**y. Is q(8) composite?
True
Suppose -3*i - 951 = -3*b + 2*i, 5*b + 2*i = 1585. Is b prime?
True
Suppose 1905 = j - 421. Is j composite?
True
Suppose -4*b + 0*y = 4*y - 224, 3*b + 4*y - 166 = 0. Is b prime?
False
Suppose 5*x - 5*g = 40, 0 = 5*x + 4*g - 0*g + 5. Suppose 2*q = -0*s + x*s - 222, -3*s + 222 = -q. Is s prime?
False
Let j(q) = -39*q - 1. Is j(-5) a composite number?
True
Suppose 4*d - 5650 = -798. Is d a composite number?
False
Suppose -a = -4*q + 8 - 32, 3*q = 3*a - 18. Let l(c) = -13*c - 1. Is l(q) a prime number?
False
Let d(x) = -5*x**2 + 2*x + 6. Let v(b) = -14*b**2 + 6*b + 17. Let n(h) = 17*d(h) - 6*v(h). Let y be n(-2). Is 19/(0 - y - -1) a prime number?
True
Let j = 6 + 38. Suppose -5*y - 3*u - 27 = -179, j = 2*y - 3*u. Let g = y - 9. Is g a prime number?
True
Suppose -3*y - 3230 = -4*t, 3*t - y = 3*y + 2419. Is t composite?
False
Suppose 0*d = 2*w - 2*d - 422, 2*d = 5*w - 1061. Is w a composite number?
True
Let c(n) = 2*n**2 - 43*n - 3. Is c(-20) a prime number?
True
Let q(d) = 4*d**3 - 5*d**2 + 4*d + 3. Let g be q(4). Suppose -3*h = -0*h - g. Is h a composite number?
True
Let r = 166 + 25. Is r composite?
False
Let b be -1 + 8 - (-1)/1. Let k(q) = -q + 8. Let t be k(b). Suppose -3*r = -h - 187, 5*r + 2*h - 4*h - 312 = t. Is r composite?
True
Let p(f) = -f**2 - 6*f + 7. Let w = 3 + -10. Let t be p(w). Suppose -2*z = 4 + 6, t = k + 5*z - 12. Is k a composite number?
False
Let v(c) = 3*c**2 - 10*c - 5. Is v(18) composite?
False
Let r = -123 + 175. Let u(a) = -a**3 - 7*a**2 - 6*a + 5. Let j be u(-6). Suppose 0 = -j*l - r + 397. Is l prime?
False
Suppose q - 5*h = 2*q - 309, 295 = q - 2*h. Is q a composite number?
True
Suppose -4*t + 4*k + 8 = 0, t = -0*t + 2*k + 4. Suppose 18 = -5*n + u - 5, 4*n - 3*u + 25 = t. Is 2/(n/11)*-2 a composite number?
False
Is 1137/(-1)*6/(-18) a composite number?
False
Let b = -4794 - -8175. Is ((-1)/3)/((-7)/b) composite?
True
Suppose 8*o - 4*o + 4 = 0. Is 145 - -1 - (0 - o) a prime number?
False
Suppose 13 = 3*u - i, -2*u - 16 = -4*u - 3*i. Suppose u*j + 314 = h, -4*j = 3*h + j - 962. Is h prime?
False
Suppose -3*b = o + b - 1945, -3*b - 3901 = -2*o. Is o composite?
False
Let d be (-7)/(-2) + 3/6. Let u be 2*(-18)/(-8)*2. Suppose -174 = -3*g + 5*w, d*g - u*g + 2*w + 271 = 0. Is g composite?
False
Suppose 5*r - 33 = 4*x, -3*x - r + 19 = 4*r. Is x*(-1)/3*21 prime?
False
Suppose -6 = -5*u - 3*n, -u - 2*u = -3*n - 18. Is u composite?
False
Let m(p) = 1400*p**2 - 2*p + 1. Is m(1) prime?
True
Let k = 1544 - 535. Is k a composite number?
False
Let d(t) = 9*t**2 - 2*t - 1. Is d(3) prime?
False
Suppose 3*b - 5*r = -b + 7, -b - 5*r = 17. Is 79 - (-1 + b) - -3 a composite number?
True
Suppose 3*d + 3*p - 3 = 0, 3*d = 3*p + 4 + 17. Let j = d - 2. Suppose -6 = 3*c, 0*b + 5*c = j*b - 22. Is b a composite number?
True
Suppose 5*w = -4*d + 1339, -w - 990 = -6*d + 3*d. Is d composite?
False
Let i(a) = 8 - 9 + 87*a - 51*a + 90*a. Is i(2) prime?
True
Let s(g) = g**3 + 7*g**2 + g + 4. Let l be s(-8). Let y be l/(-3) + 3/9. Suppose -72 - y = -w. Is w prime?
False
Suppose 0 = 2*u - 3*u + c - 83, 2*u + 2*c + 166 = 0. Let i = u - -376. Is i prime?
True
Let r(l) = -l**3 + 7*l**2 + 9*l - 8. Let a be r(8). Suppose a = -4*f + 1 + 55. Is f a prime number?
False
Let d be (328/6)/(8/(-192)). Let r = -828 - d. Suppose -4*c + r = -0*c. Is c composite?
True
Let k be (1 + 1 - -2) + 0. Suppose k*u - 16 = 0, -123 = 5*b + u + 8. Let o = 49 + b. Is o a prime number?
False
Suppose -u - 8 = -5*u. Let n be -2*(-1)/u*2. Is 11/(-4 + 3 + n) a composite number?
False
Let p(n) = 20*n**2 + 23*n - 11. Is p(-6) a composite number?
False
Suppose -k + 2505 = 4*k. Is k prime?
False
Suppose -2*k = n + 6 - 80, 3*n + 5*k = 222. Suppose -n = -3*b + 319. Is b a prime number?
True
Let a(z) = z**3 - 5*z - 1. Is a(4) a composite number?
False
Suppose 5*m = 3*j + 4, -3*j - 1 + 13 = 3*m. Suppose a - m*a + 93 = 0. Is a a composite number?
True
Let g = 95 - 49. Is g composite?
True
Let r = 15 - 18. Is (-159)/(-6)*(-6)/r prime?
True
Let o(s) be the third derivative of 4*s**4/3 + s**3/6 + 3*s**2. Is o(1) prime?
False
Let b be 116 + (-2)/6*-3. Let i = 266 - b. Is i a composite number?
False
Let o(d) = 2*d**3 - 2*d**2 + 3. Let x be o(3). Let j be (19/(-3) - 1)*x. Is j/(-6) - 12/18 composite?
False
Let s(p) = -p**3 + 4*p + 3. Let l be s(-2). Let y(r) = -3*r**2 - 2*r - 3. Let d be y(l). Let b = -1 - d. Is b a composite number?
True
Suppose -2*l + 630 = -242. Suppose 0 = -0*y - 4*y + l. Is y a prime number?
True
Suppose 3*t - 199 = -2*t + 3*w, t = -w + 35. Suppose -2*d + m + t = -2*m, -5*d - 4*m = -141. Is d a prime number?
False
Let b(k) = k**3 - 10*k**2 - 6*k - 9. Is b(11) prime?
False
Suppose 0 = -0*i - 4*i + 348. Suppose 0 = -0*p - p + 3. Suppose -i = -j - b, p*b + 451 = 6*j - j. Is j a composite number?
False
Let x(s) be the third derivative of 7*s**4/8 + 4*s**3/3 + s**2. Let l be x(7). Suppose -a - l = -6*a. Is a a composite number?
False
Suppose 5*a + 187 = 4*f - 238, -a + 113 = f. Let t = 311 + -148. Suppose f = 3*c - t. Is c a composite number?
True
Suppose -3*j + 5*o = 2*j - 1200, -225 = -j - 4*o. Is j a prime number?
False
Let g(u) be the second derivative of -u**5/4 - u**4/6 - u**3/3 + u**2 + 4*u. Let n be g(-3). Let a = n + -16. Is a prime?
True
Let v = -21 - -118. Is v composite?
False
Let f = -240 - -134. Let a be 2*1*(-7)/((-7)/3). Is 6/(-2)*f/a a prime number?
True
Suppose -11 = -j - 170. Let g be (-2 - j) + (-1)/1. Suppose -4*v + 27 = -3*v - 5*w, -4*w + g = 4*v. Is v prime?
True
Let d be 3/(-15) - 9/5. Let y = d + 5. Suppose -2*z - y*z = -295. Is z a prime number?
True
Let t be 0/5 - (-3 + -2). Suppose t*w - 23 = k - 5, w = 3*k - 2. Suppose k*z - 3*z = -11. Is z a composite number?
False
Let y(o) = -o**3 + 20*o**2 - 19*o + 23. Is y(19) prime?
True
Suppose 3*r + 5*p = -0*p + 12, -5*p = 2*r - 3. Let m be 33/(-27) - (-2)/r. Let f(b) = -56*b - 1. Is f(m) composite?
True
Let f = 1302 + -223. Is f composite?
True
Suppose -14*q + 10*q = 12. Let t(b) = -15*b + 1. Let z be t(-3). Let u = q + z. Is u prime?
True
Let f(o) = 12*o + 3. Let i(u) = u. Let k(x) = -f(x) + 4*i(x). Suppose -3*r = -r + 20. Is k(r) a prime number?
False
Suppose -h + 265 - 32 = 0. Is h composite?
False
Let u(f) = 22*f**2 - f + 1. Suppose 0*j - 3*j + 6 = 0. Suppose -3*y + 5 = j. Is u(y) a composite number?
True
Let h(p) = -p**3 - 7*p**2 + 7*p - 1. Let g(f) = f**2 + 7*f - 8. Let q be g(-7). Is h(q) a composite number?
False
Suppose -5*c = 2*j - 2241, -5*c + j = 5*j - 2247. Is c prime?
False
Suppose 43 = 2*q - 121. Let u = 79 + q. Is u composite?
True
Let n = -242 + 387. Is n a prime number?
False
Suppose 3*s = 18 + 975. Is s a prime number?
True
Let w be 1*36*(-276)/9. Is w/(-42) - (-2)/(-7) a prime number?
False
Is (4 - (-27)/(-6))/(1/(-2404)) a prime number?
False
Suppose -5*r = -2*l + 525, -2 = 3*r - 5. Is l a prime number?
False
Suppose -