s d prime?
True
Suppose -5*p = -6*p + 2078. Let g = p - 1447. Is g a composite number?
False
Let t = 21 + -3. Let u = t + -20. Is (3 + u)*(-415)/(-5) composite?
False
Let l(m) = -33*m**2 - 8*m + 3. Let v be l(5). Let a = -209 - v. Is a prime?
True
Let o(f) = 3*f**2 + 1. Let j be o(-1). Suppose -2*p = -j - 0, 5*b + 408 = 4*p. Let q = -1 - b. Is q prime?
True
Let r(s) = -s**3 - 3*s**2 - 9*s - 33. Let i = 15 + -22. Is r(i) a composite number?
True
Let q = 2 - 0. Suppose 12 = q*c + 2. Suppose 0 = c*p - 2*p - 39. Is p prime?
True
Suppose -20 = 4*a, 451*a = 5*k + 456*a - 99040. Is k composite?
False
Let b = 86 + -37. Let k = 114 - b. Is k a prime number?
False
Let p = 123 + 1072. Is p a prime number?
False
Let b(t) = -12*t**2 + 10. Let q be b(-5). Let f = -144 - q. Is f prime?
False
Suppose -4*z = 5*g - 368771, -31*z + 26*z = -4*g + 294984. Is g a composite number?
False
Let l(h) = 2*h**2 + h - 8. Suppose -2*z - 2*z = 28. Is l(z) prime?
True
Let j = 33 + -27. Suppose 4*p = j*p - 802. Is p composite?
False
Suppose -5244 = 15*s - 56199. Is s composite?
True
Suppose 3*i + i = -16. Let b be 18/8 - i/(-16). Suppose 5*r - h - 986 = b*h, -2*r + 3*h = -389. Is r composite?
False
Suppose -4*a + 65 - 25 = 0. Let f(b) = b**3 + 331 - 10*b**2 + a*b**2 + b. Is f(0) a composite number?
False
Let s = 24 + -14. Suppose s = -0*u - 5*u. Is 228/(-18)*3/u composite?
False
Suppose 0*c + 15 = 5*c. Let o(w) = -22*w**2 + 25. Let j(h) = -15*h**2 + 17. Let t(y) = 7*j(y) - 5*o(y). Is t(c) prime?
False
Let c(m) = -91 + 208 - 102 - 13*m. Let u be -1*(0 - -1) - 6. Is c(u) a composite number?
True
Suppose -2 - 5 = 7*f. Is f - -2041 - (-4 + 1)/(-3) a prime number?
True
Is (-364)/(-52) + (0 - -1156) composite?
False
Is 1297970/90 - (-3)/27 prime?
False
Let k(t) = 183*t**3 + t**2 + 2*t + 1. Let l be k(-1). Let s(o) = 2*o**3 + 3*o**2 + 6*o + 7. Let y be s(5). Let c = l + y. Is c composite?
False
Let m = -1630 + 3665. Let v = m + -752. Is v a composite number?
False
Let k(y) = y**2 + 6*y - 2. Let p be k(-5). Suppose -5*t + 45 = -6*a + a, 3*t - a - 31 = 0. Let v = t + p. Is v a prime number?
False
Let k(n) = n**3 + 2*n**2 + 6*n + 21. Is k(20) a composite number?
False
Let n be -3260*3/9*288/(-15). Is n/28 - (-5)/(-35) a prime number?
False
Suppose -22690 = -2*c + 5*p - 1513, 4*c + 5*p = 42429. Is c prime?
True
Suppose -4*i - 12*i + 32 = 0. Let k(z) = 83*z. Is k(i) prime?
False
Suppose -2*c = -11 + 1. Let v be (-2 + 2 - 1)*0. Suppose v*q - 4*x + 79 = q, 0 = -c*q + 2*x + 285. Is q prime?
True
Let y(m) = 486*m**2 + 15*m + 25. Is y(-4) a prime number?
True
Let z(n) = 123*n**2 + 2*n + 4. Let f be z(-3). Suppose 2*x - 2*p = 3*p + 732, 0 = -3*x + 4*p + f. Is x a prime number?
False
Let n = -7055 + 12523. Suppose -a - 3*a = -n. Is a a composite number?
False
Let o = 1195 - -12064. Is o a prime number?
True
Suppose 119 - 17 = -17*f. Let o(p) = 5*p**3 + 3*p**2 - 10*p + 9. Let k(y) = y**3 - y**2 - y + 1. Let i(c) = -4*k(c) + o(c). Is i(f) prime?
False
Let u(z) = -2*z + 130. Let j be u(-18). Suppose -r - 43 = -2*x + 32, 0 = -3*x - r + 120. Let c = j - x. Is c composite?
False
Let r be (1 - 2)/(2/(-18)). Let a be 24/r - (-1)/3. Suppose 0*x + 4*m = x - 53, 4*x - a*m - 147 = 0. Is x prime?
False
Let d(f) = -5874*f**3 + 4*f**2 + 11*f + 7. Is d(-2) a prime number?
True
Suppose 1 = -c - 5. Let b(w) = -w**3 - 5*w**2 + 5*w - 10. Let a be b(c). Is 79 - (-2 - (a - 0)) composite?
True
Let b = 18758 + -7521. Is b a prime number?
False
Let b be (3/2)/((-3)/(-246)). Let r = b + -276. Is (r/6)/((-1)/2) prime?
False
Let v = -1239 - -2600. Is v a composite number?
False
Suppose -2*k + l + l + 14 = 0, -l = 3*k - 21. Suppose 0 = -4*c + 3*w + 39, 4*c - k = 5*w + 42. Is (-20760)/16*(-4)/c prime?
False
Let z(f) = -f**3 - 11*f**2 - 8*f + 22. Let w be z(-10). Suppose 46 = -u + 4*m + 205, w*u - 3*m = 313. Is u composite?
True
Let i = -1454 - -3506. Suppose 0 = j, j + j = -d + i. Suppose 0 = -2*k + d + 166. Is k prime?
True
Let b(j) = -2*j**2 - 12*j + 5. Let i be b(-6). Suppose 0 = -i*u + 2*c - 5*c + 421, u - 73 = 5*c. Is u prime?
True
Suppose 4*m = 3*b + 20, -5*m - 2*b = -3*b - 14. Is -1418*-2*m/8 a composite number?
False
Let m be 48*(20/6 - 0). Let u be (5/(-5))/3*21/(-7). Let k = m - u. Is k a composite number?
True
Let c = -3263 - -20296. Is c composite?
False
Let y(n) = -60*n**3 - 13*n**2 + 6*n - 7. Is y(-8) composite?
False
Let i(n) = n**2 - 2*n + 1. Let t be i(1). Suppose -c + 361 - 8 = t. Is c prime?
True
Let i(u) = u**3 + 7*u**2 + 5*u - 3. Suppose 3*s + 7 = -11. Let f be i(s). Suppose 5*a - 3*l = 1112, -2*a + 2*l = f*l - 447. Is a a composite number?
False
Suppose 0 = 2*s - 5*j + 1, 8*s = 4*s + 3*j + 5. Suppose -s*c + 249 = -c. Is c composite?
True
Suppose 3*q = -v + 36418, 3*v - 109243 = 6*q - 4*q. Is v a composite number?
True
Let m(a) = -3631*a**3 + 5*a**2 + 8*a + 45. Is m(-4) composite?
True
Let n = -79 - -79. Suppose n = 4*o - 1651 - 841. Is o prime?
False
Let f(x) = -5*x**3 + 8*x**2 + 18*x + 13. Is f(-6) prime?
False
Let f(r) = 46*r + 1. Let b be f(-4). Let h = 649 + -373. Let j = h + b. Is j composite?
True
Let x(t) = -t**2 - 10*t - 7. Let r be x(-8). Let i = -3 + r. Is i/12 + (-253)/(-2) prime?
True
Let l(x) = x**3 + 7*x**2 + 5*x. Let h be l(-6). Let p(v) = 9*v - 4. Let r(w) = -18*w + 7. Let q(o) = -5*p(o) - 3*r(o). Is q(h) composite?
False
Suppose -5*n + 489065 = 3*y, 30*y = 2*n + 25*y - 195626. Is n a prime number?
True
Let u = -10 + 14. Suppose u*g - 5*w = -12, -g - 2 = -w - 0. Is (-418 + (3 - g))*-1 a prime number?
False
Suppose 0 = -d + 5*d - 24. Let f be 3 + -1 - 0/d. Suppose f*s - 58 = s. Is s a prime number?
False
Suppose 3*f + 7009 = 5*z - 5259, 0 = -z + 5*f + 2458. Is z composite?
True
Suppose 5*k = 2*k - 9, -2*k = 3*a - 6. Suppose 0 = -3*t - a*p + 3289, 3*p = 8 + 4. Is t a composite number?
False
Suppose 0 = 5*l - l - 4. Let s(t) = -165*t - 2. Let r be s(l). Is 0 - (r - (2 - 0)) a composite number?
True
Suppose 5*x + 4 = -v - 7, -4 = -4*v + 4*x. Let r = -322 - -184. Is -2 + (r - -2)*v composite?
True
Let b(p) = 12*p**3 - 2*p**2 + 3*p + 9. Suppose 2*s + 24 = 8*s. Is b(s) a composite number?
False
Suppose 2*t - 3*y - 4 - 11 = 0, 2*t = -4*y + 22. Let d(h) = 0*h**2 - t - 7*h**2 + h + 8*h**2. Is d(6) composite?
True
Suppose -4*g = 5185 + 1123. Let b = -903 - g. Is b a prime number?
False
Let r(s) = -1 - 23*s - 6 - 9*s**2 + 4*s**3 - 3*s**3. Is r(12) prime?
True
Let p be (1191/(-12))/((-2)/8). Suppose -f + 133 = p. Let z = f - -501. Is z prime?
False
Let y = -3788 + -179. Let r = -2066 - y. Is r composite?
False
Let n(b) = 2*b**2 + 8*b + 14. Let s be n(-9). Let u be s/(-6) + (-4)/(-12). Let d(x) = x**3 + 17*x**2 - 17*x + 6. Is d(u) prime?
False
Let t(c) = 356*c - 67. Is t(9) a prime number?
True
Let w(h) = -h**3 - 15*h**2 + 15*h - 14. Let m be w(-16). Is -12362*4/(-6 - m) a composite number?
True
Let u = 87 + -60. Is 18/u*177/2 a prime number?
True
Suppose -3*c = -n + 1292 + 5361, 3*n = -2*c - 4417. Let y = -1515 - c. Is y a prime number?
True
Let h(v) = 3*v - 10. Suppose 0 = 2*b - 6 - 8. Is h(b) composite?
False
Let w be 2/(-32)*-4*20. Suppose 0*b - 6640 = -3*f + w*b, 3*b + 4427 = 2*f. Is f a composite number?
True
Suppose 0 = -4*x + 3 + 13. Suppose 2 + x = 3*y. Suppose 90 = y*u + g, 3*u + 3*g = -g + 145. Is u prime?
True
Let f be (4740/(-18))/((-3)/(27/2)). Let a = 1838 - f. Is a prime?
True
Suppose -300014 - 3245 = -19*t. Is t prime?
False
Suppose -x = -3*d - 3985, -x - 9*d + 10*d = -3981. Is x prime?
False
Let a = 4 - 4. Suppose -4*j = -3*w - w + 12, 3*j - 2*w + 7 = a. Is 1 + (j - -2) + 141 composite?
True
Let v(x) = -x - 3. Let a be v(-6). Let j(f) be the second derivative of 35*f**4/6 + f**3/6 - f**2 - 122*f. Is j(a) a prime number?
True
Let c = 16449 - 3028. Is c a prime number?
True
Let f be (-2319)/(-5 + 4)*-1. Let w = 4268 + f. Is w prime?
True
Let j(y) = y**3 - 3*y**2 - y - 2. Let c be j(4). Suppose -r = -22 - c. Is -3 + r - (-1 + -1) composite?
False
Suppose 4*b - 34 = -a, b = -0*b + 3. Let y = a + -42. Let r = y - -139. Is r a prime number?
False
Is ((-8224)/128)/(1/(-28)) prime?
False
Suppose -3*b + 543 = 3*u, -6*b - 373 = -2*u - 1491. Is b prime?
False
Is -4639*(5 - (14 + -7)) prime?
False
Let t = -349 - -191. Let v = 483 - t. Is v a prime number?
True
Let x be 12/(-1) - (6 - 7). Le