- t + 1360, 5*t + 1059 = 4*c. Is c prime?
True
Let z(v) = 68*v - v**3 + 10*v**2 + 7 - 63*v + 2*v**3. Suppose -1 = m + 6. Is z(m) prime?
False
Suppose -5*o - 331 = 2*t, 0*t + 2*t - 3*o = -323. Let r = 284 + t. Is r a composite number?
True
Suppose 5*v = 400 - 65. Is v a composite number?
False
Let k(w) = -w + 11. Is k(-26) a composite number?
False
Let j(m) be the first derivative of 22*m**3/3 + 3*m**2/2 + 2*m - 2. Let y be j(-2). Is y/9 + (-2)/6 prime?
False
Suppose -2*d + 3*u = -5*d + 18, 0 = -d + 4*u - 14. Suppose -d*p - 3*p = -185. Is p a prime number?
True
Let z = 336 - 239. Is z a composite number?
False
Let n = 2301 + -1417. Suppose -2*y = -3*z - 6*y - 9, -4*z + 1 = y. Is z/(-4) + n/16 composite?
True
Let u(v) = -12*v - 4. Let d be u(-3). Suppose c + 127 = w + d, 384 = 4*w - 2*c. Is w prime?
True
Let w(i) = -23*i**3 + 9*i**2 - 5*i - 7. Let d(c) = -12*c**3 + 4*c**2 - 2*c - 3. Let k(b) = 5*d(b) - 2*w(b). Let f(z) = z. Let m be f(-1). Is k(m) prime?
False
Let s(n) = 69*n + 2. Is s(3) composite?
True
Let d = -3 + 5. Suppose d*q - 190 = 448. Suppose 3 = -4*s + 3*s, 0 = -2*u - s + q. Is u composite?
True
Suppose -10*m + 3616 + 15834 = 0. Is m prime?
False
Let t(h) = 2*h + 2. Let v be t(-7). Let f be ((-6)/(-4))/(3/44). Is v/2*f/(-4) composite?
True
Let r(k) = 2*k**2 + 16*k - 23. Is r(-16) composite?
False
Suppose 3*i = -x + 5*x - 151, 5*x + 2*i = 183. Is x prime?
True
Let s(t) = t**2 - 3*t - 1. Let x be s(2). Let i be 4/(-6) + (-71)/x. Suppose 0 = 4*u - 77 - i. Is u composite?
True
Let o(r) = 0*r - 3 - r - 3*r + 0 - r**3 - 3*r**2. Is o(-5) a composite number?
False
Let z be (8/(-10))/(1/(-5)). Suppose -z*d = 2*m - 202, 3*d + 5 = -5*m + 139. Is d a prime number?
True
Let m(y) be the third derivative of y**5/60 - 7*y**4/24 + 4*y**3/3 - 3*y**2. Let i be m(6). Is i/(-7) - 2673/(-21) prime?
True
Let r be -6*(0 - 1/3). Suppose 5*j + 148 = 4*q, 0*q = r*q - 3*j - 74. Is q a composite number?
False
Let w = 166 + -113. Is w prime?
True
Let b(t) = 95*t + 36. Is b(7) a composite number?
False
Let l(m) = -4*m**2 + 2*m - 2. Let w be l(2). Let b = -10 - w. Suppose -105 = -b*f + f. Is f prime?
False
Suppose 3*u - 24235 = 4796. Is u a prime number?
True
Suppose 0*m = 2*m - 8. Suppose 2 = m*r - 5*r + 2*k, -5*r = -k - 17. Suppose r*n - g - 1016 = 3*g, -5*g = -25. Is n prime?
False
Let n(s) = -14*s**3 - s**2 - 5*s + 3. Let k be n(3). Let r = k - -746. Is r a composite number?
False
Let u(x) = 19*x**2 - 2*x - 7. Is u(4) a composite number?
True
Let q(d) = -d + 79. Let p = -7 - -7. Is q(p) a prime number?
True
Is (1 - 268/(-6))/((-1)/(-9)) prime?
False
Let d(u) = 43*u - 4. Let m be d(-5). Let z = m + 380. Is z a composite number?
True
Let k = 0 - -2. Let b(a) = -2*a - 2*a + k*a + a + 113. Is b(0) a prime number?
True
Let s = -797 + 1384. Is s a composite number?
False
Let l(j) = -7*j**3 + 2*j + 2. Is l(-1) a composite number?
False
Suppose -3*a - 2*a + 10 = 0. Let r be (-2)/9 - 210/27. Is a/r + (-1290)/(-8) prime?
False
Suppose -3*j + 17 = j + 3*y, 0 = -4*j + 3*y - 1. Suppose b = 4 + j. Is (4/b*-39)/(-2) a composite number?
False
Is (1 + (0 - 179))*(-24)/48 composite?
False
Let b = 239 + -153. Suppose -8*h + 4*z + 227 = -3*h, b = 2*h - 4*z. Is h a prime number?
True
Suppose -y + 3*y + 4*c = 414, 5*y + 5*c - 1025 = 0. Is y prime?
False
Let r be 1*(-2 + 3)*0. Suppose 4*o + 0*a - 5*a - 40 = r, 5*o = a + 71. Is o a prime number?
False
Let i(v) = -2*v**3 - 2*v**2 + 3*v + 4. Suppose f = 4*p + 14, 0 = -5*p + f + f - 19. Is i(p) a prime number?
True
Let j = 21 - -22. Is j composite?
False
Let f = 1 - 2. Let u be f + (0 + -39)/1. Let q = u - -77. Is q a composite number?
False
Suppose 4*v + 1 = 3*b, -3*b = -b - v - 4. Suppose 5*y - p - 637 = 0, y + 3*p = -b*y + 502. Is y a prime number?
True
Let m = -2 - 2. Is 2/m - 183/(-2) prime?
False
Suppose -5*t - 641 = r, 252 = -3*t - r - 133. Let i = t - -205. Is i a composite number?
True
Let y = 8 + -1. Is y a prime number?
True
Let c(o) = -o**3 - 12*o**2 - 6*o - 3. Let v = -9 + -3. Is c(v) prime?
False
Let t = 257 - -11. Suppose -y - 3*y = -t. Is y composite?
False
Let v = 2 + -6. Let y(b) = -b - 4. Let w be y(v). Suppose w = 3*i - 2*i - 35. Is i a prime number?
False
Suppose q = -0*q. Suppose -5*p - 4*o + 403 = q, -6*o + 154 = 2*p - 2*o. Is p composite?
False
Suppose -9*r + r = -5560. Is r a prime number?
False
Suppose -w + 226 = w. Is w a prime number?
True
Suppose -1 = -4*w - 13. Let u be 1 + 0 + (-2 - w). Is (1 - 20)/(u/(-2)) prime?
True
Suppose 2*k - 25 = -3*k. Suppose k*b - 6*b + 2*g = -159, 5*g + 15 = 0. Suppose 0*m = -3*m + b. Is m composite?
True
Let d = 1544 - 925. Is d a prime number?
True
Let v be 1245/2 - 21/14. Suppose -5 = -2*b + 1, 3*y = -2*b + v. Is y prime?
False
Let c be 0*(6/(-4) + 1). Let t be (c + (-3)/6)*0. Suppose 5*j + 3*w - 160 = t, -6*j + j + 4*w + 195 = 0. Is j prime?
False
Suppose 0 = -6*l + l. Suppose -5*j = -15 + 5. Suppose l = j*t + t - 93. Is t a composite number?
False
Let w(u) = 23*u + 1. Let c(z) = -45*z - 2. Let m(n) = 3*c(n) + 5*w(n). Is m(-1) composite?
False
Suppose 0 = -2*y + 14 + 308. Is y prime?
False
Let c = 5 - 0. Suppose 0 = -5*t - f + 74 + 4, -c*t + 3*f + 86 = 0. Let p = -3 + t. Is p a prime number?
True
Let i(f) = -f**2 - 4. Let c be i(0). Let h = -3 + c. Let k(a) = -7*a + 4. Is k(h) prime?
True
Suppose 4*j = -5*a + 713, j = 2*a - 3*j - 302. Is a composite?
True
Let r = -1769 - -5842. Is r composite?
False
Let w(b) be the third derivative of -b**6/120 - b**5/15 - b**4/6 - b**3/6 + 3*b**2. Is w(-4) a composite number?
True
Let n(u) be the third derivative of u**5/60 - u**4/24 + 37*u**3/6 - 4*u**2. Is n(0) a composite number?
False
Let x(u) = -130*u**3 - u + 1. Let d be x(1). Let m = -93 - d. Is m a composite number?
False
Let n = 164 + -7. Is n a prime number?
True
Let g be (-2 + 6)*(-2)/(-4). Suppose 2*z = g*r + 34, 4*r + 71 = 4*z - r. Is z a prime number?
False
Is 164 - -1 - (6 - 4) a composite number?
False
Suppose -2*p + 319 = 3*g, 4*g - g = -5*p + 820. Is (0 - 1)*(1 - p) composite?
True
Let n = 6 + -4. Suppose 30 = b - 3*f, 3*b + n*f = -f + 54. Let o = 34 - b. Is o composite?
False
Let h(a) = -a**2 - 10*a + 21. Let p be h(-11). Suppose 2*g + 26 = 3*g. Is g/4*p*1 prime?
False
Suppose -3*h + 710 = 3*t - 1036, -3*t = -3*h + 1752. Is h a composite number?
True
Suppose 0 = 2*o - y - 4103, o - 2*y + y = 2052. Is o a composite number?
True
Let g = -40 - -13. Is (-601)/(-9) + (-6)/g a composite number?
False
Let p(v) = 415*v**2 - 5*v + 7. Is p(2) prime?
True
Suppose -m = -2*c + 4*c - 387, 0 = 2*m + 3*c - 775. Is m composite?
False
Suppose -2*q = 6*q - 17624. Is q a composite number?
False
Let x(a) = -a + 7. Let n be x(5). Let k = n + 0. Is k a prime number?
True
Let l be 2/3 - 68/(-6). Let i be 4/l - (-14)/(-6). Let x = 21 - i. Is x a composite number?
False
Let g = 17 + -10. Suppose 5*n + b = g, -2*n + 0*b - 2 = 2*b. Suppose n*i + 4 = 3*i. Is i composite?
True
Suppose 5*z + 1986 + 314 = 0. Is (z/8)/((-2)/4) composite?
True
Let u = 3726 - 2627. Is u prime?
False
Let g(z) be the second derivative of -z**5/10 - 7*z**4/12 + 5*z**3/3 - 11*z**2/2 + 2*z. Let a be g(-8). Suppose 0*m + a = 5*m. Is m a composite number?
False
Suppose -2*w - 5 + 3 = 0. Let b(x) = 97*x**2 + 1. Let k be b(w). Suppose 3*d - 5*d + k = 0. Is d a composite number?
True
Let c(q) = q**2 + q + 11. Is c(-8) a prime number?
True
Let l(z) = 2*z**2 - 8*z + 7. Let s(n) = -n + 17. Let u be s(7). Is l(u) a prime number?
True
Let h = -4 + -3. Let y = 11 + h. Suppose 2*p = -n + 34, -n - p = -y*n + 74. Is n a prime number?
False
Let c = -105 + 370. Is c a composite number?
True
Is ((-2)/(-1))/((-2)/(-794)) a composite number?
True
Let p be 16*(4/(-2) + 0). Let t = p - -54. Is t a composite number?
True
Suppose 3*i = -5*b + 17, -i + 2*b = -5*i + 32. Let u(g) = 0*g**3 + 7 + 0*g**3 - g**2 + 2*g + i*g**2 - g**3. Is u(8) a prime number?
True
Suppose -5*f - 5*w + 245 = 0, 4*f - 97 - 95 = -5*w. Is f prime?
True
Let i = -41 - -7. Let z = i + 93. Is z composite?
False
Let y(g) = 14*g. Let w be y(-1). Let z be (-24)/w - (-4)/14. Suppose -z*q + 139 = -335. Is q a prime number?
False
Let k(m) = 59*m - 3. Let g be k(2). Suppose 6*p - g = p. Is p composite?
False
Let d be -3 + (0 - -3) - -486. Suppose d = 4*n + 2*h, 4*n - 176 - 305 = -h. Is 