
Is (-26)/(-26)*(84122 + -1) prime?
True
Let w = 169448 + -99385. Is w a composite number?
True
Suppose 3*j + 5 = -5*t + 13, 0 = 5*j + t - 28. Let c(i) = j*i**2 - 3*i + 8*i**2 + i**3 - 15*i**2 - 5 + 2. Is c(3) composite?
True
Suppose 0 = -5*f + 1773 - 473. Suppose -77 - f = -i. Suppose 5*q + 197 = 3*t - 34, 3*q - i = -4*t. Is t a composite number?
True
Let v(r) = -r**2 + 2*r + 7. Let y be v(3). Suppose c - 2*u = 231, 0 = y*u - 8*u - 20. Is c a composite number?
True
Let u = 12 - 7. Let b be (20/(-8))/((-2)/4). Suppose -u*v = o - 69, o - b*v = -4*v + 81. Is o a composite number?
False
Let y(u) = 110*u - 7. Let m be y(3). Let g = 462 - m. Suppose -i - 33 = -g. Is i a prime number?
False
Let i = 14571 - 8870. Is i prime?
True
Let w(p) = p**2 + 6*p + 4. Let r(v) = v**3 + 5*v**2 - 6*v - 6. Let m be r(-6). Let x be w(m). Suppose -y + x*t + 31 = -0*t, 5*y + 4*t = 83. Is y prime?
True
Suppose -6 + 8 = x. Let r(q) = 0*q - 3*q - 3*q - 15*q**x + q - q**3 - 1. Is r(-15) a prime number?
False
Let g(b) = 30*b**3 + 3*b**2 + 2*b + 182. Is g(15) prime?
False
Let d be ((-80)/12)/(1/3). Let h = 177 + d. Is h composite?
False
Let k(l) be the second derivative of -53*l**5/20 + l**4/12 + l**3/2 + l**2 + 18*l. Is k(-1) prime?
True
Let d be (-1)/((-4)/(-8)) + 5. Suppose -6198 - 2685 = -d*o. Suppose 0 = m - 2*a - 489, -4*m - 1015 + o = -3*a. Is m prime?
False
Suppose 54 - 34 = 5*u. Suppose 5286 = 5*r - u*t + 3*t, 4*t - 5281 = -5*r. Is r prime?
False
Let j = 64767 + -36636. Is j a composite number?
True
Let k(w) = 12*w + 16 - 13*w + 10*w + 4*w**2. Is k(-7) prime?
True
Suppose 3*y - 294 = 10*y. Suppose 4*f - 2*i = -72, -4*f + 14 = -i + 82. Let h = f - y. Is h a composite number?
True
Suppose -5*o - 5*d = -o + 44, 0 = 3*o + 3*d + 36. Is (-24)/o*(-4742)/(-3) composite?
False
Suppose 0*p = s + 2*p - 2992, 0 = -5*s + 5*p + 14975. Suppose -4*o - s = -10*o. Is o a composite number?
False
Is (272 + -8 - 10)*(-13)/(-2) composite?
True
Suppose 0 = -6*c - 62249 + 414611. Is c a composite number?
False
Let s(o) = o**2 - 11*o - 18. Let h(u) = -4*u - 28. Let z be h(-5). Is s(z) prime?
False
Let i be (18/(-27))/(2/(-12)). Suppose 3 = -i*r + 847. Is r a prime number?
True
Let o(t) = -3164*t + 159. Is o(-7) composite?
False
Is (999376/168)/((-2)/(-3)) composite?
False
Suppose -4*q + s = -94, 6*q - 3*q + s = 67. Is ((-83)/3)/(q/(-69)) prime?
True
Suppose 4*k + 4416 = -0*k. Let t = k + 1669. Is t prime?
False
Suppose 0 = 5*v - r - 18, 5*r + 27 = 5*v - v. Suppose 70 - 1 = v*c. Is c a prime number?
True
Let r(b) = 28*b - 11. Let f(t) = t**2 + 20*t - 15. Let u be f(-21). Is r(u) composite?
False
Let o(c) = c + 12. Let t be o(-8). Suppose -t*d = -1049 + 101. Suppose 3*z = 3*f + d, z + f - 3*f = 79. Is z a composite number?
False
Let s = -122 + 265. Is s composite?
True
Let w(p) = 50*p**2 + 4*p - 7. Let k be w(5). Suppose k = -3*t + 3102. Is t prime?
True
Let b(m) = 43 - m + 3*m**2 - 4*m**2 + 0*m**2. Let z = -325 + 325. Is b(z) composite?
False
Let w = 114 - -22. Suppose 3*g + g = w. Is g composite?
True
Let b(p) = 36*p**2 - 5*p + 3. Is b(-6) composite?
True
Let f(x) = 104*x**2 - x + 4. Let j(r) = -r**3 - 3*r**2 + 11*r + 2. Let s be j(-5). Is f(s) a composite number?
True
Suppose 0 = -3*z + 5*o - 1357, -4*z + 2*z - 913 = -5*o. Let h(t) = 15*t**3 + 8*t**2 - 3. Let v be h(4). Let p = z + v. Is p prime?
True
Let t = -59 - -32. Let a = t - -32. Suppose -1130 = -a*k + 3*c, 4*k + 5*c = 555 + 312. Is k a prime number?
True
Suppose -5620 - 7015 = -5*s. Suppose 2*z - s = -j, 5*j = -2*z + j + 2518. Suppose z = 5*x - 0*x. Is x a composite number?
True
Suppose 5*v - 199 = -3*h - 19, -h + 67 = 4*v. Suppose -2*o + 1097 = h. Is o a composite number?
False
Let z be 14 + 20/(-5) - -4. Let f = z + -5. Is 12953/f + (-4)/18 composite?
False
Let u(i) = 83*i**2 + 21*i + 1. Is u(-6) a composite number?
True
Suppose -2*h + 20565 = 5*z, -4*z + 5*z + 4*h - 4131 = 0. Is z prime?
True
Suppose 3*w - 52 = -w + 4*m, 5*w = 4*m + 61. Suppose 5*y - 3*y + 3*b - w = 0, 2*b + 46 = 3*y. Is 3968/y - (-2)/6 a prime number?
True
Let n = -18 + 20. Suppose -h + 6 + 0 = -n*y, -2*y = 3*h + 6. Suppose 2*s + h*s + 885 = 3*u, -u + 5*s = -308. Is u a prime number?
True
Let p(u) = 2*u**2 + 11. Let w(b) = 4*b - 12. Let d be w(7). Suppose -2*s = 4*m - 30, 5*s - 5 - d = -m. Is p(m) composite?
False
Suppose 2 = 2*d - 4, 4*i - 20 = -4*d. Suppose s = 25 + 8. Suppose -i*m - s = -5*m. Is m composite?
False
Let w(b) = b**2 + 9*b - 4. Let t be w(-9). Let q = t - -2. Is q/(4 + (-150)/37) a prime number?
True
Suppose -8235 = -5*t + 5*m, -t - 2*m = m - 1655. Is t composite?
True
Let z be 3 + (1 - 1/1). Suppose 3*v - 5161 = a + a, z*v - 5156 = a. Is v a prime number?
False
Suppose 4*k = -2*c + 126, -143 = -4*c - 5*k + 97. Suppose -c = -2*v + 5*s, 108 + 13 = 5*v + 4*s. Suppose 4*q - 5*w = 496 + 5, 0 = -5*w - v. Is q a prime number?
False
Suppose -492 - 2143 = -5*x. Suppose -5*p + g + 900 = 0, 3*p + 3*g = g + x. Is p a composite number?
False
Is 1*2/(-4)*(-20176)/8 composite?
True
Suppose 28*k - 127675 = 121161. Is k a prime number?
True
Let j(k) be the first derivative of -k**2/2 - 3*k - 6. Let c be j(-12). Let s(h) = 5*h**2 + 11*h + 7. Is s(c) a prime number?
False
Let k be (-4 + 16/5)/((-6)/195). Let q(n) = 13*n - 39. Is q(k) composite?
True
Suppose -38 - 632 = -2*u - 4*v, 0 = -5*u + 4*v + 1661. Let y be (-3)/3 + 3 - 1 - -2. Suppose u = -0*x + y*x. Is x prime?
False
Let v(j) = -253*j + 4. Is v(-1) a prime number?
True
Let t(n) = 1379*n + 531. Is t(22) composite?
False
Suppose 2*w = -0*w - 8. Let m be 2 + w + 2 + 0. Is (973 - m)*(-4)/(-14) a composite number?
True
Suppose -5*l = -l + 744. Let c = l + 373. Is c composite?
True
Suppose 0 = 5*t - 3*t. Suppose 4*b + 16 = 4*r, t = -b + 6*b. Suppose 0*z - 901 = -z - r*p, p + 886 = z. Is z a composite number?
True
Let p(v) = 31*v**2 - 9*v + 3. Let u be p(-7). Suppose -u = 2*r + 4*l - 4927, -2*l + 3342 = 2*r. Is r prime?
False
Suppose -6*w + 161866 = -188048. Is w a composite number?
True
Let o(h) = -7*h + 21 - 23 + 87*h + 9*h. Is o(17) prime?
True
Is (122 - -2)/((-116)/(-203)) a prime number?
False
Let l(y) = y + 16. Let s be l(-7). Let m = 9 - s. Is 6/3*23 + m composite?
True
Suppose 0 = -5*g - g + 222. Suppose 2*j + c + 3 = 0, -3*j + 3*c = -0*c + 27. Is -2*g/j*2 composite?
False
Let i(g) be the first derivative of 11*g**5/60 + g**4/24 + 5*g**3/3 - 7. Let q(b) be the third derivative of i(b). Is q(3) prime?
True
Suppose 0 = -14*r + 12*r - 4*v, -2*r = 2*v - 6. Suppose 4 = -2*j - 2. Is j/2*(-332)/r composite?
False
Let c = 4101 + -64. Is c composite?
True
Suppose 23*a = 51*a - 623308. Is a a composite number?
True
Suppose 0 = -3*z - m + 13678, 5*z - 3*m = -34 + 22854. Is z prime?
True
Suppose t - 5*t = -26812. Suppose -3*h + t = 2*x, -5*x + 2*h + 24156 = 7389. Is x composite?
True
Suppose -5*v = -4*s + 12, 4*v - 1 = 2*s - 7. Let u = 22 + -19. Suppose 4*c - 5*c + 4*b + 171 = v, u*c + 5*b - 479 = 0. Is c a composite number?
False
Suppose -3*z = -15, -9*i + 4*z - 4560 = -13*i. Is i a composite number?
True
Let j(u) = 360*u - 143. Is j(5) composite?
False
Let w = -23 - -27. Suppose -2*t - 2*d = -t - 549, d = w*t - 2205. Is t prime?
False
Suppose c - 6337 = 2*v, v + 4457 = c - 1877. Is c prime?
False
Suppose 61684 = 26*s - 52950. Is s a composite number?
False
Suppose -929 + 2273 = 4*q. Let b = 5 + q. Is b prime?
False
Let r = -8 + 18. Let a(g) = -g**3 + 10*g**2 - 5*g - 3. Let i be a(r). Let s = 60 - i. Is s a composite number?
False
Let p = 112 + 147. Let f = p + -72. Is f a prime number?
False
Let n(f) = 9*f**3 + 5*f**2 - 45*f - 21. Is n(8) a composite number?
False
Suppose 0 = -7*j - 3 - 4. Is (-737)/(-11)*(-1)/j a composite number?
False
Let i = -9 + 16. Let x(h) = 2*h**3 - 11*h**2 + 8*h + 6. Is x(i) prime?
False
Suppose 0 = 8*o - 18*o + 39470. Is o composite?
False
Suppose -14*s + 594693 = 19*s. Is s prime?
False
Let c be ((-18)/5)/((-30)/(-11900)). Let s = 2657 + c. Suppose 3*t + a - s = 3*a, 2*t - a = 819. Is t composite?
False
Suppose 1428 = 5*j - 402. Suppose -2*a + 0*a = 5*k - j, 2*k + 2*a - 144 = 0. Is k a composite number?
True
Suppose 0 = -i + 1. Let n = -9215 - -18890. Is (i/3)/(15/n) composite?
True
Let o = 10846 - 63. Is o prime?
False
Let x(j) = j**2 - 10*j + 16. Let a be x(6). Is 16017/9 - a/(-1