t p(j) = 3*j - 25. Is p(13) a composite number?
True
Let k = 1 - -2. Suppose -k*w - 28 + 259 = 0. Is w prime?
False
Suppose -5*w = 8*u - 4*u + 18, 3*u + 4*w + 14 = 0. Let n be u/6*(-9)/(-3). Is (n - 1)*1 + 76 a composite number?
True
Let o(r) = -2*r**3 - 9*r**2 - 9*r - 3. Is o(-6) prime?
False
Let t = -3 - -9. Is 9/(-6)*(-88)/t a prime number?
False
Let i(m) = -2*m - 5. Let d be i(-6). Suppose 6 = -3*f, d*g - 3*f = 3*g + 602. Is g prime?
True
Let a(b) = -338*b - 3. Is a(-2) a composite number?
False
Suppose -524 = -i + 109. Suppose d - 4*d + i = 0. Is d a composite number?
False
Let l = 1387 + 506. Suppose -5*x - 608 = -l. Is x a prime number?
True
Suppose g - 3*w = 11, -1 = 4*g + 5*w + 6. Suppose g*s = 10 + 20. Is s composite?
True
Let g = 967 - 180. Is g a composite number?
False
Suppose 5*y + 4*w - 286 = 0, 0 = -4*y - 2*w + 321 - 97. Let m = 11 + y. Is m composite?
True
Let a(q) be the first derivative of -6*q**2 + 7*q + 2. Suppose -3*d - 3*g = 18, -5*g + 9 = -5*d - 11. Is a(d) composite?
False
Let r(w) = 3*w**2 - 2*w. Let d be (-1)/(-2) - 35/10. Is r(d) prime?
False
Is (-2)/(-4)*-4*(-844)/8 composite?
False
Let j(c) = -6*c. Let n be j(-8). Suppose 2*f - 86 = n. Is f a prime number?
True
Let r be -1 - 0 - 0 - -25. Let g be r/9 + (-4)/6. Suppose g*v + 31 = 3*v. Is v composite?
False
Let r = 25 + -18. Let k(x) = -x**3 + 7*x**2 + x + 6. Let o be k(r). Suppose -6 = -s + o. Is s prime?
True
Let g(d) = -34*d - 3. Let l(o) = -o + 6. Let b be l(3). Suppose -4 = 2*t + u, t + u = b*u - 12. Is g(t) prime?
False
Let g(j) be the second derivative of -j**4/3 - j. Let i be g(1). Is (46/(-4))/(2/i) a composite number?
False
Suppose 2*g + 15226 = 2*l, 0*l + 15226 = 2*l - 4*g. Is l composite?
True
Let y = 1 - 0. Let g be -45*(-2*y + 1). Suppose 2*t - 78 = -4*c, -5*c + g = -2*t + 3*t. Is t composite?
True
Suppose t + 2*m = -t + 2, -3*t + 4*m + 31 = 0. Let s = -6 - -9. Suppose r - 46 = -s*o + t*r, 4*r + 4 = 0. Is o composite?
True
Let x = -48 + 67. Is x prime?
True
Let t = -4201 - -7728. Is t prime?
True
Is (4/(-4))/(1/(-95)) a composite number?
True
Suppose 0 = 4*s - 11*s + 714. Suppose -1 = -3*a + 8. Suppose s = -0*r + a*r. Is r a composite number?
True
Suppose 3*g - 8*g - 25 = 0, j - 25 = 5*g. Suppose j = -7*x + 10*x - 879. Is x prime?
True
Suppose -s = -4*y - 858, -3*y = 2*y - 5. Is s a composite number?
True
Let j(m) be the third derivative of m**4/4 + 7*m**3/6 + 4*m**2. Is j(5) a composite number?
False
Let n = -21 + 14. Let q = -4 - n. Suppose -4*m = q*j - 67, -3*j + 58 = -m - 19. Is j composite?
True
Let a(b) = -7*b**3 + 2*b**2 + 5*b + 221. Let k(p) = 3*p**3 - p**2 - 2*p - 111. Let c(u) = -2*a(u) - 5*k(u). Is c(0) a prime number?
True
Suppose 53*j = 60*j - 28273. Is j prime?
False
Let z be 12/(-54) - 58/(-18). Suppose 0*g + 3*g = 3. Suppose -5*n + z*y + 14 = -13, n = -y - g. Is n prime?
True
Let y = 7 - 2. Let g be (-3 - 787)*(-2)/y. Suppose 2*d - 3*w = g, 3*w = -2*d - 144 + 472. Is d a composite number?
True
Let s be -1 - 4/((-8)/10). Suppose 0 = s*o - 2*o. Is 18*2 + 1 + o a prime number?
True
Let j(h) = 185*h + 1. Let c be j(1). Let v = c + -130. Is ((-55)/(-20))/(2/v) prime?
False
Suppose 5*u - 4*j - 18181 = -0*j, -5*j = -5. Is u a composite number?
False
Suppose -1469 + 128 = -3*g. Is g composite?
True
Let o(v) be the second derivative of v**5/10 + v**4/6 - v**3/3 - 3*v**2/2 - v. Is o(4) composite?
False
Suppose 7*d = -7*d + 6314. Is d a prime number?
False
Let r be (-2)/(-5) + (-14)/10. Let v(b) = b**2 - b. Let g be v(r). Suppose 5*d = -2*s + 99, d = -2*d + g*s + 69. Is d composite?
True
Let x(p) be the second derivative of p**5/10 - 7*p**4/12 + 5*p**2/2 - 4*p. Is x(8) prime?
False
Let a(j) = 138*j**3 + 2*j**2 - 1. Let b be a(1). Let m = 51 - -41. Let p = b - m. Is p composite?
False
Suppose -648 = -5*f + u + 558, 4*u = -f + 258. Suppose 4*r + f = 718. Is r a composite number?
True
Let a = 11 - 7. Is 1/a + (-15)/(-4) a composite number?
True
Let n = -1 + 1. Suppose n = 3*u + 2*u - 15. Suppose 0 = -0*b + u*b - 45. Is b prime?
False
Let a be (-1)/7 - 1125/63. Let l = a - -179. Is l composite?
True
Suppose 4*h - 2*h = 6. Let i(m) = -m - 1. Let f be i(-5). Suppose f*g - 27 = -h. Is g composite?
True
Let y(u) = -35*u - 31. Is y(-12) a composite number?
False
Let u be (21/(-4))/(2/(-24)). Let c be (-1)/((-3)/(-6) - 1). Suppose c*o - u = -17. Is o a composite number?
False
Let t(a) = -a**2 + 6*a + 4. Let b be t(7). Let j be 4/b*12/2. Let n(s) = -2*s - 10. Is n(j) a prime number?
False
Let r(l) = -5*l**3 - 3*l**2 + 4*l - 3. Is r(-4) composite?
True
Let z = -5 + 5. Suppose z = -5*h + 9*h. Let q = h - -10. Is q a composite number?
True
Let o be 1/(-4) + (-17)/(-4). Let t be (5 + 1)*(-6)/o. Let r(y) = -y**3 - 9*y**2 - 2*y + 1. Is r(t) prime?
True
Suppose 0 = 3*a + 4*r - 9, 4*a - 6 = -5*r + 6. Let b(i) = 4*i**2 + i - 1. Is b(a) a composite number?
True
Let w(p) = -p**2 - 6*p - 3. Let q be w(-5). Suppose -q*u - 3*u = -395. Is u composite?
False
Let m = 10 + -8. Let z = 4 + -2. Suppose z*t + 5*w - 129 = 0, -5*t = m*w - 180 - 153. Is t a prime number?
True
Let q(n) = 21*n. Let m be q(2). Let b = -28 + m. Is b prime?
False
Suppose 0 = -5*z + 3 + 7. Let q be 9/12*2*z. Is 7*-3*q/(-9) a prime number?
True
Let k(t) be the third derivative of 3*t**4/8 - 5*t**3/6 - t**2. Let r be ((-11)/(-11))/(1/4). Is k(r) a composite number?
False
Let s(f) be the third derivative of -f**5/60 - 5*f**4/12 - 3*f**2. Is s(-7) a composite number?
True
Let b be (1 - 6/2)/(-1). Let q = b + 155. Is q composite?
False
Let d(p) = -p + 37. Let q(b) = 4*b**2 + 2*b + 2. Let i be q(-2). Suppose -3*k + i = 3*a - 1, 5*k - a = -5. Is d(k) a prime number?
True
Suppose 0 = b - 68 + 6. Is b a composite number?
True
Suppose 0 = -j, 5*m - 2*j + 7*j = 335. Is m a composite number?
False
Suppose -5 = -5*c + 4*c. Suppose -a - 1020 = -4*l - 3*a, c*l - 1261 = a. Is l prime?
False
Let d = 1243 - 864. Is d composite?
False
Let c(t) = -t. Let s be c(-6). Suppose -s = 5*f + 44. Is ((-39)/5)/(2/f) composite?
True
Let o(l) = -l**3 + 11*l**2 - 9*l + 4. Let y(m) = -m**2 - 9*m + 2. Let i be y(-8). Is o(i) a prime number?
False
Suppose 988 - 78 = 5*y. Let a = -97 + y. Is a a composite number?
True
Let g = -2 + -1. Is ((-2)/g)/((-4)/(-762)) a composite number?
False
Is 194/(-1*(-4)/10) a prime number?
False
Let l(p) = 7*p**2 - 16*p + 4. Is l(-11) a prime number?
False
Let g be 1/4 - (-10)/(-8). Let p = 1 - g. Suppose -p*t + 331 = 4*d - 5*t, -2*d + 138 = 4*t. Is d composite?
False
Suppose -4*y + 699 = 2*m + m, -4*m + 932 = 2*y. Is m composite?
False
Let p(d) = -20*d - 11. Let c(f) = -21*f - 12. Let x(a) = 5*c(a) - 6*p(a). Is x(9) prime?
False
Suppose 65 + 45 = 2*r. Is r prime?
False
Suppose 0 = -4*s - 3 - 1. Let t = s - -22. Is t prime?
False
Let a = -22 - -14. Let k(t) = -t**3 - 8*t**2 - 3*t - 1. Is k(a) a composite number?
False
Suppose 0 = -7*u + 2*u + 10. Let o be 2/(-4) - (-1)/u. Suppose -5*y = -o*y - 255. Is y prime?
False
Let z be 16/(-24) + 338/(-6). Let n = 94 + z. Is n a prime number?
True
Let j = 132 - 261. Let o = -52 - j. Is o a prime number?
False
Suppose m + o - 55 + 15 = 0, 0 = -3*o + 6. Let r = 63 - m. Is r a prime number?
False
Let w(x) = -x**3 + 10*x**2 + 6*x + 12. Let c be w(9). Let t = 116 + c. Is t a composite number?
False
Suppose 0 = 4*b + b, -5*r - 5*b + 10250 = 0. Let z = r + -1305. Is z composite?
True
Let y(d) = d**2 - 3*d + 2. Let b be y(3). Suppose 3*l + b = 5, 3*l + 217 = 5*q. Suppose -3*n + q = -565. Is n composite?
True
Let m(x) = x**3 + 20*x**2 + 8*x - 22. Is m(-15) composite?
False
Suppose 0*q - 3*q + 1269 = 0. Suppose 0 = -0*v - 3*v + q. Is v prime?
False
Let d(n) = -n**2 - 2*n + 1. Let z be d(-2). Let r(m) be the first derivative of 55*m**2/2 + 1. Is r(z) prime?
False
Suppose -3 + 42 = 3*h. Let p(v) = -v**3 + 13*v**2 + 10*v - 7. Is p(h) a composite number?
True
Suppose q - 2753 = -5*y, -2*y + 2*q = -7*y + 2751. Is y a composite number?
True
Suppose 3*c - 2795 = 2482. Is c composite?
False
Suppose -316 = -2*k + 10. Suppose -q = -0*q - k. Is q a prime number?
True
Suppose 0 = 5*q - 5*x - 1645, 0*q - q = -4*x - 323. Is q a composite number?
False
Let n(x) = x**2 + x + 6. Let q = -2 - -2. Is n(q) composite?
True
Let j be (-17)/(-6) - (-1)/6. Suppose 5*w + 9 = -5*g + 44, -4*w = -j*g -