mber?
True
Suppose 2*p - 3*p = 25. Let o = -14 - p. Suppose o + 374 = 5*d. Is d prime?
False
Suppose 0 = -5*r - 0*r + 3175. Is r a prime number?
False
Let g(x) = -x**3 + 40*x**2 - 53*x + 85. Is g(28) prime?
True
Let d = 9 - 6. Suppose 0*h + 23 = 5*h - w, -5*h + 29 = 2*w. Is -149*((d - h) + 1) composite?
False
Suppose 28*m - 48781 = -1433. Is m composite?
True
Suppose 2*m = 5*m - 9. Suppose 0 = -v - 4, d - m*v = -2*d + 897. Is d composite?
True
Let k = -47 + 76. Let b = k + -17. Suppose -3*r - 551 = -5*t - 2*r, 3*r - b = 0. Is t a composite number?
True
Let l(u) = -17*u + 1. Let g(m) = 25*m + 5. Let q(w) = -13*w - 3. Let a(d) = 4*g(d) + 7*q(d). Let f(k) = 7*a(k) + 4*l(k). Is f(-8) composite?
False
Let t = 1392 - 769. Is t composite?
True
Let a = 8 + -6. Suppose 5*d = 4*b - 57, -a*d - 10 = -0*d. Suppose 2*w = -b, 0*m + 4*m - 2*w = 84. Is m composite?
False
Suppose -66*i = -64*i - 5916. Suppose -18*r + i = -12*r. Is r composite?
True
Let u(d) = -6*d**2 - d - 5. Let i be u(4). Let z = 372 + i. Is z composite?
True
Suppose -105 = -6*j + j. Suppose p - j = 5*r, 5*r = -4*p + 124 - 15. Suppose v = -4*a + 84, 3*a - 60 = 5*v + p. Is a prime?
False
Let p(c) be the third derivative of -c**5/60 + c**4/24 + 493*c**3/6 - 27*c**2. Is p(0) a prime number?
False
Suppose 3*a + 4*l - 81 = 286, 0 = -l + 4. Suppose -i + g - 2*g = -a, -i - 4*g = -111. Is i composite?
True
Is (-101588)/(-60) - 18/135 composite?
False
Let b(x) = x**3 + 28*x**2 + 5*x + 28. Let q be b(15). Suppose -4*w + 36822 = q. Is w a prime number?
True
Let a(n) = n**3 + 22*n**2 + 20*n - 31. Let o be a(-21). Is (3/(o - -1))/((-3)/5274) a prime number?
False
Suppose -4 = 2*v + 2*d, 0 = 4*v + 2*d + 3 - 1. Let i be 0 + 6/(1 + v). Suppose 13 - 124 = -i*f. Is f a composite number?
False
Let a(k) = 4*k**2 - 18*k + 11. Let x be a(-14). Let j = 40 + x. Is j a prime number?
True
Is 1664 - (6 + -1) - 2 prime?
True
Suppose -4*s = -5*w, 4*s - 6 = w + 10. Suppose -j + 20 = w*j. Suppose 4*d = -0 - 20, -j*k - 2*d + 306 = 0. Is k composite?
False
Let n(z) be the first derivative of 133*z**3/3 + 5*z**2/2 - z + 10. Is n(2) a prime number?
True
Let j(o) = 19479*o + 29. Is j(2) composite?
True
Suppose -6*f = 2*f - 24. Suppose 0 = f*v, 0*v + v = 4*q - 10228. Is q a prime number?
True
Is 32483/(-4 - (-1 - 4)) a composite number?
True
Let y be (-10)/4*(4/5)/1. Is -307*2*2/y a composite number?
True
Let f be (-3)/(13/(-5) - -2). Suppose f*w - 236 = w. Is w a composite number?
False
Suppose o + 328 = 4827. Is o prime?
False
Let c(j) = -6*j**3 + 14*j**2 + 18*j + 7. Is c(-8) a prime number?
False
Let t(x) = x**3 - 2*x**2 + 2*x + 416. Let n be t(0). Let h = -165 + n. Is h a prime number?
True
Suppose 2*q + 5*i = -12, -4*i - 11 - 21 = -4*q. Let r(b) = -b. Let x(d) = -9*d + 1. Let j(s) = r(s) - x(s). Is j(q) a prime number?
True
Let c(m) = -572*m - 1. Is c(-5) composite?
True
Suppose -11*f - 11534 = -52443. Is f prime?
True
Suppose 0 = s, -4*u + s + 1104 = 3*s. Suppose 0 = 7*w - u - 25. Is w a composite number?
False
Suppose -3*d = 4*a - 0*a + 152, 0 = -4*a + 2*d - 132. Let f be (-8)/28 - 80/a. Suppose -4*r - i + 297 = 0, r - 5*i = -f*i + 71. Is r prime?
False
Suppose -3*j - 6 = 2*w, 5*w - 11 = 2*j + 12. Is (w/(-9))/(-1 - (-3496)/3498) prime?
False
Suppose 3*o - 2629 = n, 0 = 2*o + 2*n + 2*n - 1776. Suppose -3*q = -3*l + 1200, -5*l + q + 1110 = -o. Is l prime?
True
Suppose 5*j + 10062 - 31595 = 3*q, 4*j - 17220 = -4*q. Is j a prime number?
False
Suppose 4*i - 22 = 2*g, -7*i + 2*i = -2*g - 26. Suppose -2*c + 3*x + 1042 = x, 5*c + i*x - 2569 = 0. Is c prime?
False
Is ((-5690)/(-3))/((-30)/(-45)) prime?
False
Let p(h) = 3*h**3 - 3*h**2 + 5*h + 2. Let b be p(3). Suppose -74*q + b*q = -10689. Is q prime?
False
Let b(j) = -j**3 - 5*j**2 + 4*j - 12. Let a be b(-6). Suppose 4*p - 4*h - 3140 = a, p = -4*p + 3*h + 3933. Is p composite?
True
Suppose -g + 5 = -0*g, -178 = s - 2*g. Let k be s/(-36) + (-1)/(-3). Is 152 + -2 + k/1 prime?
False
Suppose -4*r - m = -r + 38, 10 = -r - m. Let b = r + 16. Suppose b*i = 44 + 422. Is i composite?
False
Suppose 4*h - 298 = -2*x, -4*h - 3*x + 186 = -109. Let i = -7 + 10. Suppose -49 = -p + i*v, -5*p + 101 + h = 2*v. Is p a prime number?
True
Let p(w) = -2148*w - 57. Is p(-3) composite?
True
Let o = 31949 + 42284. Is o prime?
False
Let f = 8 + -10. Let x = f - -53. Is x prime?
False
Suppose -224 = -8*x - 24*x. Is x prime?
True
Let j(b) = b**3 - 4*b**2 - 4*b - 6. Let i be j(5). Let p = 4 - i. Suppose -4*y + p*y = 371. Is y a prime number?
False
Let r = -97 + 101. Suppose -3*f = 4*s - r*f - 1792, 0 = -5*s - f + 2231. Is s a prime number?
False
Suppose -232*d + 234*d = 6518. Is d a composite number?
False
Let z(q) = -132*q - 31. Let r be (2 - (-12)/(-7)) + 102/(-14). Is z(r) a prime number?
False
Let v(u) = 276*u**2 - 17*u + 43. Is v(4) a composite number?
False
Suppose k + 3*k = 4*g + 4264, 2*k - 2137 = 3*g. Is k composite?
False
Let f(i) be the second derivative of i**5 + i**4/12 - i**3/2 - 7*i**2/2 + 4*i. Is f(3) a prime number?
False
Let r be 1 + (660 + -4 - 0). Suppose 2*m = 3*v - r, -3*v + 7*m = 4*m - 654. Is v a prime number?
False
Suppose -4*g = -16, 2*g = -3*o + 112 + 199. Let m = -114 - o. Let v = m + 304. Is v a composite number?
False
Let i(l) = 257*l - 1. Let m be i(-11). Let a be m/(-4)*(2 - 1). Suppose -5*x - n = -a, -5*x + 6*n - 3*n = -699. Is x composite?
True
Let g = 10 - 9. Is (-6 - -5)*(g + -224) prime?
True
Suppose 5*n = -i + 18687, -10 = -0*i - 5*i. Is n a prime number?
False
Let t = -16 - -19. Suppose -9 = -t*c - 3. Suppose -c*n + 84 = 2*o - 4*n, 3*n - 170 = -5*o. Is o prime?
True
Let k(h) = 2*h**3 - 2*h**2 + 7*h - 7. Let j be k(4). Let f = 331 - j. Is f a prime number?
False
Let c be ((-51)/12)/((-2)/136). Suppose 2167 = 8*q - c. Is q a prime number?
True
Let w(a) = a**3 + 5*a**2 + 7*a + 6. Let u be w(6). Suppose -3*i + u = -1281. Suppose -4*o + 1186 = 2*y, -2*o + 4*y + i = -y. Is o composite?
True
Suppose -4*o = 24 - 40. Suppose -1848 = -o*j + 500. Is j composite?
False
Let c = 2448 + 5. Is c prime?
False
Let f be (-3)/5 - (-46)/10. Let i(y) = y**3 + y**2 - y + 1. Let m(o) = -6*o**3 - o**2 + 5*o - 5. Let s(p) = -4*i(p) - m(p). Is s(f) composite?
True
Is (0 - 1)*7 - -2244 a composite number?
False
Is 1009/4*(35 + -1 + 10) a prime number?
False
Let u(t) = -7*t + 3. Suppose -2*j = -2*a - 0*j - 4, 2*a - 4*j = -14. Suppose 6 = -a*v - 6. Is u(v) composite?
False
Let n(j) = -3*j + 8. Let k(o) be the second derivative of -o**5/20 + o**4/4 - 5*o**2/2 + 9*o. Let w be k(3). Is n(w) prime?
True
Suppose 4*a + 5*z = 2, 0 = -5*a - 2*z + 4 + 7. Let g be (-11)/(-4) + 1/4. Suppose 0*d - a*d + 3*l = -66, 81 = 4*d + g*l. Is d a prime number?
False
Suppose 0 = -5*n + 3*r + 12907, 2*r = -2*n + 3869 + 1281. Is n a composite number?
False
Let y be (-14)/1 + (-57)/(-19). Let w = 36 - y. Is w a prime number?
True
Let j(f) = 53*f**2 + f. Let p be j(1). Let a be p/15 - 6/(-15). Suppose -a*g - 10 = -94. Is g a prime number?
False
Let m = -2 - -4. Let r be (111/(-12))/((-2)/88). Suppose 5*j - r = n + 162, -460 = -4*j + m*n. Is j a prime number?
True
Suppose 0 = 49*m - 3809551 - 1510722. Is m a prime number?
False
Suppose 0 = 2*x - j - 2813, -560 = -x + 3*j + 834. Is x a prime number?
True
Let w = -2 + 2. Let a(p) be the first derivative of -p**3/3 - p**2/2 + 71*p - 2. Is a(w) a composite number?
False
Let n be 176/(-110)*(-1 + (-3)/2). Suppose 705 - 8309 = -n*d. Is d composite?
False
Suppose -31*h + 562647 = 26*h. Is h a composite number?
False
Suppose -o - 3*v + 3291 = 0, -2*o + 5*v + 4738 = -1866. Let y be ((-8)/(-10))/((-11)/(-55)). Suppose -o = -y*t + t. Is t composite?
True
Suppose 10*m = 9*m - 24. Let q(s) = s**3 + 25*s**2 - 27*s - 11. Is q(m) composite?
False
Is ((-293)/4)/(1*(-4)/176) a composite number?
True
Suppose -16*k + 1286116 = 36*k. Is k prime?
True
Let s = 258 - 97. Let j = 285 - s. Suppose -4*g + j = -0. Is g prime?
True
Let g = -35 + 248. Suppose 2*t + 5*p - 1095 = -3*t, 2*p = t - g. Let m = t + -150. Is m composite?
False
Let w = -6391 - -11546. Is w prime?
False
Is -7 + -1371*18/(-27) a composite number?
False
Is 2732 - (-2 - (-1 + -2)) composite?
False
Suppose -16*i + 15 = -21*i. Let f(b) = -32*b**3 + 3*b**2 - 6*b - 8. Is f(i) prime?
False
Suppose 13*l - 20*l = -77455. Is l prime?
Fals