Suppose -13 - 23 = -n + k, 2*k = n - a. Is n prime?
True
Let l = -7336 - -16747. Is l prime?
False
Suppose 23*w - 635337 + 227570 = 0. Is w a prime number?
True
Suppose -z - 4*x = -6801, -130*z + 133*z - 20418 = 3*x. Is z a composite number?
True
Let v(x) be the first derivative of -23*x**2/2 + 4*x - 23. Is v(-21) prime?
True
Suppose 0 = 4*g + 4*c - 8, 0 = -5*g - 2*c + 3 + 13. Suppose o = -5*b + 1 + 9, -3*b = 2*o + 1. Suppose 4*s = -6*k + 2*k + 1212, -g*k = b*s - 1214. Is k prime?
False
Suppose 2*l - 5*c + 1176 - 6233 = 0, c = -3*l + 7560. Is l a prime number?
True
Let i(x) = x - 7. Let v be i(6). Let o be 45/15 + v + -2. Suppose o = -q - q + 506. Is q prime?
False
Suppose -5*y = -12 + 37. Let q(l) = -43*l - 3. Let b be q(y). Suppose -5*h + b = -3*u - 341, -5*h + 585 = 5*u. Is h prime?
True
Let s(c) = -c**3 - 5*c**2 + 4*c + 8. Let n be -2*(-1)/5*-15. Let x be s(n). Let f = x - 1. Is f a composite number?
False
Let m(l) = 7*l**3 + 5*l**2 - 16*l + 69. Is m(4) a composite number?
True
Suppose 0 = -15*r - 10*r + 231925. Is r prime?
True
Is (-10)/12 + (-4445716)/(-552) a composite number?
False
Let f be (-5 - -12)*36/7. Suppose -k + 24 = -3*l, -3*l - 6 + f = 5*k. Suppose -1902 = -k*m + 3*m. Is m a composite number?
False
Let j = 617 - -2539. Suppose 0 = 4*u + 764 - j. Is (u + -1)*(-5)/(-15) prime?
True
Suppose -6*q + 11476 + 10010 = 0. Is q a composite number?
False
Let n(o) = -8*o**3 - 7*o**2 - 4*o - 16. Let u(m) = 5*m + 10. Let i be u(-3). Is n(i) a composite number?
False
Let c = 36 - 34. Is (c/2)/(4/356) composite?
False
Suppose 11*s - 6 = 8*s. Suppose 2*h - 1395 - 4612 = -5*w, 3*w + 6031 = s*h. Is h composite?
False
Let x(i) be the first derivative of -i**3/3 - 7*i**2/2 + 8. Let k be x(-7). Suppose -84 = -4*b - k*b. Is b a composite number?
True
Suppose 2*o = 5*o - 54. Suppose -2*m + o + 32 = 0. Suppose -r - 5*f = -m, -2*r + 125 = 3*r + 5*f. Is r prime?
False
Is (245637/(-189))/(-1 - 4/(-6)) a prime number?
False
Is (-2451)/(-5) + 144/180 composite?
False
Let s be (-1)/((-12)/8) - 4891/(-3). Suppose 0 = -5*r - 576 + s. Is r composite?
False
Let l(w) = -32*w + 3989. Is l(0) a prime number?
True
Suppose -10*z + 48019 = 16979. Suppose l + 6*k = 5*k + z, 0 = -k - 5. Is l a composite number?
False
Let k(l) = -4*l**2 - 5*l - 3. Let a(w) = -12*w**2 - 14*w - 10. Let h(n) = n**3 - n - 7. Let u be h(0). Let i(j) = u*k(j) + 2*a(j). Is i(6) prime?
False
Suppose 42*h = 43*h - 5. Suppose -3*d - 2605 = -5*c, h*c + 5*d = 2986 - 381. Is c prime?
True
Let n(q) = q**2 + 3*q + 9. Let x be n(-4). Is (-2)/x - (-7266)/78 prime?
False
Let a(v) = 106*v**2 + 11*v + 17. Is a(-2) composite?
False
Suppose 0*k + 65 = -5*k. Let b = k + 12. Let u = 168 - b. Is u a prime number?
False
Let s be (8532/24)/(2/(-4)). Let x = s + 1294. Is x prime?
False
Let c(g) = g**2 + g - 5. Let d be c(0). Is 7 - 10 - d/(5/422) a prime number?
True
Suppose -2*x - 4*t + 6 + 14 = 0, 4*t = x + 8. Let i = x + -8. Is ((-2676)/18)/(i/6) a composite number?
False
Suppose 1 - 19 = -3*f. Suppose 22 = -4*i + f. Is (-51)/(-2) - i/(-8) a composite number?
True
Suppose -a + 6*a - b = -41, -3*a = -4*b + 28. Let k be a + 11 + 1*3. Suppose k*s - s - 185 = 0. Is s prime?
True
Let t be (-345)/(-20) + -1*6/(-8). Suppose 4*d - 75 = 57. Let w = d + t. Is w a prime number?
False
Let q(u) = 7*u**2 + 7*u + 1. Let w be 2*(-7)/(42/9). Is q(w) a composite number?
False
Suppose -20 = 5*x - 15. Let s be x/(1 + 783/(-780)). Let f = -157 + s. Is f a prime number?
True
Let m be 15/(-5) + 4 + (2 - -1). Suppose m*x - 3406 - 2038 = 0. Is x a composite number?
False
Let k = -772 - -1934. Is k + 0 + 3 + -2 a composite number?
False
Suppose -3409 = -56*d + 49*d. Is d a composite number?
False
Let b = 12 + -16. Let m = 0 - b. Suppose -5*z = -m*z - 6. Is z a composite number?
True
Let i(q) = q**3 + 24*q**2 - 40*q - 1. Let a be i(-19). Let w = -807 + a. Is w a composite number?
True
Suppose 0 = -4*p + 2*c + 1200, 7*p - 3*p + c - 1194 = 0. Is p composite?
True
Let x be 18/(-6) + -2 + 10. Suppose -w - 400 = 2*w + 5*h, -x*h = -5. Let u = w - -262. Is u a prime number?
True
Suppose -x - 5*r + 18 = -5*x, -2*r + 14 = -5*x. Let z be 1 + x + (3 - -4). Suppose 0 = j - z*j + 475. Is j prime?
False
Let f(m) = 15*m**2 - 14*m - 16. Let g be f(11). Let k = -1014 + g. Is k composite?
False
Let o(w) = 184*w**3 + 5*w**2 - 6*w - 6. Let x(j) = 185*j**3 + 5*j**2 - 5*j - 5. Let p(c) = -2*o(c) + 3*x(c). Is p(2) composite?
True
Let d = 671 - 441. Let r = 871 - d. Is r prime?
True
Suppose -6800 - 4217 = -23*x. Is x prime?
True
Suppose -13*r = -12*r - 5. Suppose -10*v = -r*v - 535. Let m = v + -52. Is m prime?
False
Let l(v) = -240*v + 134. Is l(-27) a composite number?
True
Let y be (-80)/13 - (-2)/13. Let o be 6/(-4)*8/y. Suppose o*f - 6*f = -1284. Is f prime?
False
Let n(u) = 230*u**2 - 9*u - 3. Let s(k) = 115*k**2 - 4*k - 1. Let z(c) = 3*n(c) - 7*s(c). Let b be z(2). Let x = b + 1095. Is x a composite number?
True
Suppose 3*d - 4*w = 37770, -5*d - 26839 = 5*w - 89789. Suppose -2*j - 8*j = -d. Is j a prime number?
True
Suppose 16*c - 19 - 925 = 0. Is c prime?
True
Is 108380/(-5)*4/(-16) a prime number?
True
Let f(g) = -51*g**3 - 16*g**2 - 33*g - 37. Is f(-9) prime?
False
Is (17339/28)/((-1)/(-4)) prime?
True
Let j(z) be the second derivative of -9/2*z**2 + 8/3*z**3 - 9*z + 1/4*z**4 + 0. Is j(-14) prime?
False
Suppose 3*d - 2*f - 11111 = -903, 0 = -3*d + f + 10210. Suppose -2*n + 6*n = d. Is n prime?
False
Let f be (-20)/7*7/(-2) - 4. Suppose -f*c - 5864 = -10*c. Is c a prime number?
False
Let m(l) = 2*l**3 - 48*l**2 + 12*l + 49. Is m(36) a composite number?
True
Suppose 8*x = 4*x. Let z be -2*(-2288)/4 + x. Let l = 2201 - z. Is l a composite number?
True
Let y be 17/(((-35)/(-150))/7). Suppose -z + 5*p = z - y, -3*z + 791 = -p. Is z a composite number?
True
Let f be (-3)/(-2) - ((-78804)/8)/3. Suppose 2*r = 1121 + f. Is r prime?
True
Let y(p) = -2*p + 1. Let c be y(-17). Suppose -4*m = 5 + c. Is 12 + m + (-786)/(-2) composite?
True
Let d(p) = -54*p + 8. Let s be d(-8). Let b = s - 105. Is b a composite number?
True
Suppose 3*i + 0*y - 5*y = 4, 0 = -i + 3*y + 4. Let p be 8 + (i - (-4 + 4)). Let d(v) = 6*v**2 + 5*v - 11. Is d(p) a prime number?
False
Let c(f) = 3*f**2 + 15 - 6 + 9*f + 7. Let w be c(-11). Suppose a - w = 361. Is a a prime number?
True
Suppose 0 = 3*c - 11*c - 168. Is (2778/4)/(c/(-28)) composite?
True
Suppose -3*m + 6335 = -4*r - 836, 3*r - 6 = 0. Is m a composite number?
False
Let c(x) = 8*x**2 + 10*x - 5. Let s be c(7). Suppose -j = m + 303, 3*j + s = 5*m - 484. Let w = j + 600. Is w a composite number?
False
Is 80/90 - 238147/(-63) composite?
True
Is (-6)/((-60)/344725)*2/5 composite?
False
Let k = -11 + 18. Let v be (-4)/(-7)*k/2. Suppose v*f = -0*f + 38. Is f composite?
False
Suppose 2*c - 9991 = 2*w + 13991, -3*c = -w - 35981. Is c composite?
True
Let o(u) = 4*u + 21*u + 146 - 159. Is o(8) prime?
False
Suppose a + 4679 = 4*r - 1463, 3*r - a = 4607. Is r a prime number?
False
Suppose 72*q = 76*q - 3556. Is q prime?
False
Suppose 0*p = -6*p + 6126. Let d = p - -2614. Is d a prime number?
False
Let i be 1/((4/(-10))/(18/(-15))). Suppose -2*n - 4*f = -1546, 0 = -n + i*n - 3*f - 1574. Is n composite?
True
Let g(m) = 645*m - 8. Let l(i) = 3*i + 1. Let v be l(2). Is g(v) a prime number?
True
Suppose -6*j + 2*j = -540. Suppose p - j = 4*c, p + 3*p - 4*c = 528. Is p a composite number?
False
Let b = 31672 - 16721. Is b prime?
True
Let r = 1385 - -416. Is r a composite number?
False
Suppose -w = -4*p - 12776 + 9, 4*p + w = -12761. Let o = 4574 + p. Is o prime?
False
Suppose -4*h + 21 + 3 = 0. Suppose 472 = -h*v + 1690. Is v prime?
False
Let h(d) = d**2 - 18*d + 25. Let i be h(17). Let t = 10 - i. Suppose 79 = -t*m - 5*y + 816, 5*m - 4*y = 1925. Is m a composite number?
True
Let c(p) = p**3 - 2*p**2 + 5*p - 5. Let u be c(3). Suppose 14*f = u*f - 415. Is f composite?
False
Let c = 29030 - 14553. Is c prime?
False
Let m be 225 + (1 + -4 - -4). Suppose y - 184 = 5*a, 4*a + 40 = y - 147. Suppose -m = -5*t + y. Is t prime?
False
Let m(t) = 245*t**2 + t - 9. Is m(-4) a composite number?
False
Let j = -1617 - -3720. Is j prime?
False
Let g(z) = -z**2 + 3*z + 2699. Is g(0) prime?
True
Suppose -49866 = 46*s - 52*s. Is s prime?
True
Let t(n) = 25*n**2 