k, 3*k = -4*c - 18 + 3. Suppose -z = 4*b - 3*z - 666, 2*b - 4*z - 336 = c. Is b prime?
False
Let j(v) be the third derivative of -107*v**4/12 - 7*v**3/2 - 21*v**2. Is j(-5) a composite number?
False
Let v(p) = 2*p**2 + p + 10. Let i be v(0). Suppose 0 = i*o - 3582 + 272. Is o prime?
True
Let d(j) = 160*j**2 - 4*j + 4. Let h be d(2). Suppose -t + 5*t - h = 0. Is t a prime number?
False
Let m(s) = -1349*s + 64. Is m(-3) a prime number?
True
Let x = -131 - -136. Is -2 + 5379 + (x - 1) a composite number?
False
Let w be (-4)/((-28)/12 - -1). Suppose w*b + b - 344 = 0. Suppose 0 = -4*k - 4*m + 388, 3*k + m + b - 371 = 0. Is k a prime number?
False
Suppose -167608 = -16*k + 308728. Is k a prime number?
False
Suppose -15*m = -13*m - 10. Suppose -m*w - 250 = -3*h + 2*h, -3*h - 4*w + 807 = 0. Is h a prime number?
False
Let z(f) = f**3 - 5*f**2 - 7*f - 2. Let a be z(6). Is (-2650)/a - (-6)/96*-4 a prime number?
True
Let q be -3*-1*(-6)/(-2). Suppose 3*a = q + 3. Suppose 0 = -a*b + 328 + 412. Is b a prime number?
False
Suppose 0 = -b - b + 3*w + 1, 0 = -4*b - w + 9. Suppose -5*j + 13 = -b. Suppose -4*c - 376 = -7*c + 5*h, j*h = c - 124. Is c a composite number?
False
Suppose 5*q - 2*d - 2 = 8, -4*d = -2*q + 4. Suppose 5*g - 3*k = 49358, -3*g - 2*k - q*k + 29609 = 0. Is g a prime number?
True
Suppose t - 8 = -t. Let u(x) = 53*x + 1. Is u(t) composite?
True
Is 12/(-8) - 31677/(-2) composite?
True
Let c be 2 + -3 + 3 + -1091. Is (6/(-8) - c/12) + -1 prime?
True
Suppose 25*z - 20*z = 5. Is ((-21329)/(-22))/(z/2) composite?
True
Let q = 70422 + -49789. Is q composite?
True
Let z(t) = t**3 + 16*t**2 + 15*t + 4. Let l be z(-15). Let x(g) = 16*g - 9. Is x(l) composite?
True
Suppose 2*h + 0*h - 5*d = 10026, 0 = -2*h - 3*d + 9994. Is h a prime number?
True
Let k = -1941 + 4551. Suppose -3*v - 5225 = -2*c, -2*c + v + k = -c. Is c composite?
True
Let v(j) = j**2 + 136. Let b(u) = u + 5. Let g be b(-5). Let s be v(g). Let d = s - -171. Is d a prime number?
True
Suppose 0 = 4*b - 4*u, -3 = -5*b + 3*u + 3. Suppose -7538 = -3*g - a, 2 = a + b. Is g a prime number?
False
Let c(z) be the first derivative of -13*z**4/12 + 3*z**3/2 - 2*z**2 - 3. Let g(m) be the second derivative of c(m). Is g(-7) prime?
True
Let n(u) = -31686*u**3 - u**2 - 28*u - 26. Is n(-1) a prime number?
True
Let z = -28511 - -49212. Is z prime?
False
Let i be ((-3)/(-15))/(2/10). Let b be 0/(1 + 0/i). Suppose 2*k - 485 - 33 = b. Is k a composite number?
True
Suppose 4*s - 1320 = 620. Suppose -f = -6*f + s. Suppose 0 = -p + t + 105, -t - 2*t - f = -p. Is p composite?
False
Suppose 3*j = -2*t + j - 2, j - 7 = -3*t. Let d = t - -18. Is 10/55 - (-1822)/d a prime number?
True
Suppose -2*j + 2*m - 6 = -3*m, 0 = 4*j - 3*m - 2. Let k(z) = z - 2. Let b be k(j). Suppose b = 3*p - p - 518. Is p a prime number?
False
Suppose q = 2*q - 5, 5*q + 305 = 5*k. Suppose -11*p - 9630 = -26*p. Suppose -x - 3*z + k = -161, -4*z - p = -3*x. Is x prime?
False
Suppose 3569541 = -16*i + 67*i. Is i a prime number?
True
Let a be 19/4 - (-6)/(-8). Is 1/((a/(-422))/(-2)) a composite number?
False
Suppose -5*k - 4*a = -6*a - 52467, 31497 = 3*k + 3*a. Is k a prime number?
False
Suppose 0 = 3*r + 3 + 3, -2*a + r = 4. Let f be (-58)/(-1 - a) + 1. Is f/(-4)*10/7 a prime number?
False
Let f(w) = w**3 - 11*w**2 + 9*w + 2. Let k be f(10). Let p = k + 13. Is ((-11)/2)/(p/(-10)) a prime number?
True
Suppose v = 2*v. Suppose v = -8*p - 1505 + 8873. Is p a prime number?
False
Let h be (-7)/(-2)*(1 + 4/28). Suppose 2103 + 2989 = h*p. Is p a composite number?
True
Let j(d) = 2*d + 2. Let o be j(0). Suppose -5*t + 10 = -o*l, 5*l - 13 = 3*t - 0. Suppose 4*i - 4*r - 7 - 17 = 0, -2*r = l*i - 65. Is i a composite number?
False
Let c(j) = -2*j + 12. Let s be c(-11). Let d be 2 - (2 + 1 + -6). Suppose -2*p - 2*f + 36 = -0*p, 0 = p + d*f - s. Is p composite?
True
Suppose m = 4*m - 36. Suppose -m*u = -16*u + 6052. Is u prime?
False
Let v = 743 + -332. Let b = 73 - -79. Let s = v - b. Is s prime?
False
Is (794580/24 + -9)*2 a composite number?
True
Let l(d) = 71*d**2 - 38*d - 32. Is l(27) a composite number?
True
Suppose -5*n - 49 = -3*z, -5*z - 1 = 4*n - 58. Suppose -19*a = -z*a - 534. Is a a prime number?
True
Suppose 3*d - 2*d = -5*m + 195565, -156473 = -4*m - 5*d. Suppose -m = -21*x + 13*x. Is x composite?
False
Suppose 0 = 4*u - 7*u + 426. Suppose -4*w - u = g, 0*g - 454 = 3*g + 5*w. Is (2/4)/((-1)/g) composite?
False
Let z(a) = a**2 - 4*a + 95. Is z(76) a prime number?
False
Suppose v - 11450 = -4*v. Let g = 65 + v. Suppose n - g = -2*n. Is n a composite number?
True
Let x = -4527 - -7753. Let t = -1569 + x. Is t a composite number?
False
Is (8706/4 - -2)*2 a composite number?
False
Let f(b) = 18*b + 9 - 10*b + 4 + 235*b. Is f(4) a composite number?
True
Suppose b - 3859 = -1350. Suppose -b = -4*q + 3*g - 0*g, 4*q + 5*g - 2549 = 0. Is q a composite number?
False
Let b(y) = y + 4. Let h be b(-3). Let c(s) = -1481*s + 1. Let q(p) = -1480*p + 1. Let i(a) = 2*c(a) - 3*q(a). Is i(h) a composite number?
True
Let f = 82 - -46. Suppose -10 + f = 2*q. Is q a composite number?
False
Let h = 36 - 31. Suppose -2*t + 2823 = h*q, 4*t + 3*q - 6879 = -1240. Is t a composite number?
False
Let n(p) = p**3 - 23*p**2 + 22*p + 4. Let c be n(22). Suppose -2*b = 4 + 6, -4215 = -c*u - b. Is u prime?
False
Let t = 37555 - 13782. Is t a prime number?
True
Let t = -15 + 24. Suppose 1174 = t*o - 7*o. Is o composite?
False
Is (-4)/((-8)/18) - -3698 prime?
False
Let z = 176747 - 121804. Is 2/(-7) + z/49 a composite number?
True
Let i = -19547 - -52040. Is i composite?
True
Suppose 165 = 3*t + 2*t. Let u be (0 - t)*(-16)/(-24). Let g = u + 237. Is g a composite number?
True
Let s(z) = 117*z + 46. Suppose 20 + 7 = 3*x. Is s(x) composite?
True
Let k = 9 - 7. Suppose -4*w + 160 = -4*j, -5*j + 2*j + 85 = k*w. Is 3/1 + -11 + w prime?
False
Let s(g) = -1766*g - 177. Is s(-4) a composite number?
True
Let p(v) = 53*v + 29. Is p(16) a prime number?
True
Is (-15681)/(-2) + (77/(-14))/(-11) prime?
True
Let v be (24/30)/(2/105). Suppose -1863 = -3*h + v. Is (8/(-40))/((-1)/h) a prime number?
True
Let k(r) = 4*r - 13. Let d be k(4). Is ((-2)/d)/((-9104)/4551 + 2) prime?
False
Suppose 0*x = x - 5*d + 1639, x = 2*d - 1654. Is (2 + x)/(-3) - -3 prime?
True
Is (-48 + 3166)*(-1)/(-2) a prime number?
True
Let u be (-12)/(-6)*3/6. Let l = 5 - u. Is 214 + -2 + l + -5 a prime number?
True
Let b(k) = 34*k**3 - 2*k**2 + 15*k - 1. Is b(4) a prime number?
True
Suppose 5*o - 5*p = -9*p + 40403, -8068 = -o - 5*p. Is o a prime number?
False
Suppose -d - 2004 = -f - 6*d, 5*d = 25. Is f a prime number?
True
Let b = 15737 - 10460. Is b a composite number?
True
Let f = -7 + 11. Suppose f*a + 0*a = 5012. Is a composite?
True
Let n be (6/(-12))/(3/(-8808)). Suppose 3*f = -f + n. Is f composite?
False
Is ((-27)/(-21))/9*55307 prime?
True
Suppose 2*a - 2 + 6 = 0. Let y be 3 + a + 2/(-1). Is (-1 - 2)*y + 502 prime?
False
Suppose 2*f - 60 - 26 = 0. Suppose f + 33 = 4*i. Is i composite?
False
Let r = -305 + 1666. Is r prime?
True
Let r = 489 - 26. Suppose 541 + r = 4*j. Is j a composite number?
False
Suppose -2 = -4*c + 18. Suppose -c*f + 3012 = f. Is f composite?
True
Suppose 3*p + 33 = 2*j + 2*p, 4*j - p = 61. Let i be (-3)/(-2 + 25/j). Suppose i = 4*o - 222. Is o prime?
True
Let p(t) = -t**3 + 14*t**2 + 14*t + 13. Is p(12) prime?
False
Suppose -40*n + 532095 = 17*n. Is n prime?
False
Suppose 14 = g + 12. Suppose o + 10 = 3*o, -5*q = -g*o - 5425. Is q a prime number?
True
Let d = -91 - -91. Suppose -5*h + 4793 + 1422 = d. Is h prime?
False
Let k be 5*(1/(-5))/((-2)/8). Let f(b) = 28*b**3 - 12*b**2 - 4*b + 5. Is f(k) prime?
False
Let t = 4963 - -51114. Is t prime?
False
Suppose 3*l - 3*p - 45030 = 0, -l + 2392 + 12627 = 2*p. Is l prime?
True
Let h(i) = i**3 + 15*i**2 + 11*i - 26. Let f(a) = -a**2 + 6*a + 3. Let r be f(8). Is h(r) a composite number?
True
Suppose 0 = 2*x - 33 - 3. Let g = x - 22. Is 4 + (377 - (6 + g)) a prime number?
True
Suppose 48 = 5*t + 28. Suppose -5996 = -t*a + 9824. Is 1/(-2) + a/10 a composite number?
True
Let c = -31858 + 53277. Is c a composite number?
False
Let b(j) be the first derivative of 6*j**3 + 30*j**2 + 4 + 20*j**2 - 3*j - 48*j**2. Is b(5) composite?
False
Suppose 0*p + p + 4*d 