 Is d prime?
True
Let n(q) = -44*q**2 - 1 + 4 + 254*q**2 - 7*q + 9*q. Is n(-1) composite?
False
Let j(y) be the first derivative of y**4/2 + 4*y**3/3 - 3*y**2/2 - 4*y - 10. Is j(5) a composite number?
False
Let z = -97 + 105. Is 1/z - (-91322)/176 composite?
True
Suppose -h - h = -5*f - 6208, -5*h = -3*f - 15539. Is h composite?
False
Suppose -5*n = -2*q + 6333, -n = q - 5*n - 3168. Let d = q - 2103. Is d prime?
True
Let m be 0 - ((-2460)/4)/(-5). Let g = m - -216. Is g a prime number?
False
Let x be 18/(-21)*-7 + -2. Let d be (-1 - -1)/(4/2). Suppose 2*g - 3*q - 1088 = 0, -x*g - 2*q + 1677 + 483 = d. Is g composite?
False
Let z(y) = 42*y - 381. Is z(64) a prime number?
False
Let t(w) = 2*w - 2. Let v be t(-3). Let z be ((-265)/(-10))/(2/v). Let h = z + 191. Is h a composite number?
True
Suppose 4*c - 4812 = -w + 59916, -c + 3*w = -16169. Is c prime?
False
Let z(p) = -163*p - 24. Let v(s) = -s**2 + 5*s - 1. Let b be v(6). Is z(b) a composite number?
False
Is ((-11)/((-165)/50))/((-8)/(-2796)) composite?
True
Let o be (-12)/(-9) + (-4)/12. Suppose -5 = -g - q, -2*g - 4*q - o = -15. Is (g - -16)*(6 - -1) a composite number?
True
Suppose 4*k - 7 - 1 = 0. Suppose -4*m - x + 398 = 0, -5*m + x + k*x + 489 = 0. Suppose m + 28 = d. Is d composite?
False
Let c(n) = -68*n - 87. Is c(-22) composite?
False
Suppose -11244 = -25*d + 22*d. Suppose -48*a + 52*a = d. Is a composite?
False
Let d be (1 + 1)*38/4. Is d/(5/(-25)*-5) a composite number?
False
Suppose -2*b - r = -0*r - 505, -3*b = r - 756. Suppose -b - 479 = -5*n - 3*t, 571 = 4*n + 5*t. Is n prime?
True
Suppose 17328 - 5754 = 9*t. Is t composite?
True
Let d be 2 - 1 - (-1 + -1). Let q be -27*(-4)/30*100/15. Let i = q - d. Is i composite?
True
Let l(p) = 59*p**3 + 2*p - 3*p**2 + 3*p + 4 - 9. Let f be l(2). Suppose -4*m + 3*g + f = -58, g = -5. Is m composite?
False
Let m = -1197 + 1940. Is m prime?
True
Let g(q) = -4540*q + 419. Is g(-8) a prime number?
True
Let j be 3/((24/(-10))/(-4)). Suppose -4*g - 3*r = -5*g + 358, -j*g + 1860 = -r. Is g prime?
True
Let j = -114 + 120. Is (j/4)/(((-49)/(-7))/826) a prime number?
False
Let d be 30/15*(5 - 1). Suppose 0*y = d*y - 280. Is y composite?
True
Let u = -8 + -1. Let d(q) = -q**3 - 7*q**2 - 8. Let v be d(u). Let x = 273 - v. Is x prime?
False
Let g be 63/18 + (-1)/(-2). Let r(l) = -3*l**3 - 5*l**2 - 1. Let b be r(-4). Suppose b = -n + g*n. Is n a composite number?
False
Is 26388/4 + 5/((-15)/(-6)) a composite number?
False
Let d(j) = 6*j**3 - 3*j**2 + j - 4. Suppose 1 = 4*v - 11. Is d(v) a prime number?
False
Let z(x) = 844*x**2 + 7*x + 3. Let g = -17 + 15. Is z(g) a prime number?
False
Suppose -11*v + 26598 = -209. Is v prime?
True
Let k be (-4)/34 - 4609/(-17). Suppose -9*w = -k - 6470. Let h = w - 232. Is h a composite number?
True
Let w(r) = 5*r - 22. Let g be w(5). Suppose x - 4 = g*x, -2*x - 1627 = -3*o. Is o a composite number?
False
Let n(l) = l**2 + 17*l. Let w be n(-17). Suppose -p - 1 = w, 3*h - 4*p - 107 = 242. Is h prime?
False
Let z(k) = k**3 - 7*k**2 - 17*k - 11. Let l be z(9). Is (-833)/14*(0 - l - 4) a prime number?
False
Let c be 6/(-33) + 228/44. Suppose 4*g - c*r = 20, 2*g = -0*g - r - 4. Suppose 0 = v - g*v - 25. Is v prime?
False
Suppose -10*z + 74322 = -23248. Is z prime?
False
Suppose 5*l - 206 = -4*x, 50 + 162 = 4*x + 2*l. Is (-1)/(-2) - (-158355)/x a composite number?
True
Let x(b) = -b**3 + 4*b**2 - 3*b. Let u be x(3). Suppose 5*j = -u*j + 745. Is j prime?
True
Let p(t) = 1 + 4 - 29*t - 10. Is p(-2) a prime number?
True
Let g(i) = i**3 - 9*i**2 + 5*i. Let x(f) = f**3 - 10*f**2 + 4*f. Let y(d) = 5*g(d) - 4*x(d). Is y(7) a composite number?
True
Let b = 2981 - -3404. Is b composite?
True
Let o = -3 + 5. Suppose -2*r + 2*z = -4*r + 816, o*z = -10. Is r a prime number?
False
Let u(g) = -g - 1. Let t be u(-1). Suppose 0*q = -4*a - q + 2589, 4*a + 3*q - 2591 = t. Is a prime?
True
Let z = -302 - -415. Is z prime?
True
Let w = -4978 - -8431. Is (-2)/6*w/(-1) composite?
False
Let c = -655 - -423. Let u = 116 + c. Let l = 317 + u. Is l a composite number?
True
Suppose -234 = -3*k + k + 4*u, 5*k - 4*u = 579. Suppose 5*z = -k + 1820. Is z composite?
True
Let j(b) = 9*b**3 - 8*b**2 + 4. Let o be 2/(-6)*(-22 - -4). Let w be j(o). Let i = w - 903. Is i a prime number?
True
Let v = -34928 + 49149. Is v a composite number?
False
Suppose p + 19 = -5*g, 0 = -0*p + 3*p - 5*g - 43. Suppose 12 = p*m - 2*m. Suppose 0 = m*z + 2*l - 143 - 246, 2*l = 2*z - 246. Is z a composite number?
False
Suppose 0 = 12*k - 1235237 + 195713. Is k a prime number?
True
Suppose -16044 = -6*o - 642. Is o a composite number?
True
Let j(z) = z**3 + 48*z**2 + 11*z - 109. Is j(-45) prime?
True
Suppose 2*x + 2*x = -3*z - 2537, 3*z = 3*x + 1929. Let w = x + 1081. Is w prime?
True
Let s be 1/(-2) + 22/4. Let c(r) = 47*r**2 + 5*r + 7. Let v(h) = 95*h**2 + 11*h + 14. Let l(p) = 7*c(p) - 3*v(p). Is l(s) a prime number?
True
Let j be 4/10 + 188/(-20). Let x = 42 - j. Is x prime?
False
Suppose 3*i = 2*i, -3915 = -5*l - i. Suppose 0 = -r - j + l, 0*r + r = 2*j + 789. Is r a composite number?
True
Let r(j) = 2*j**3 + 40*j**2 - 17*j + 43. Is r(12) a prime number?
False
Is ((-2669)/(-34))/(3/(-138)*-1) prime?
False
Let k be (3/(-9))/((-4)/(504/2)). Is 9289/k - 6/(-9) a composite number?
False
Let v(d) = 2*d**3 - 45*d**2 + 20*d + 46. Let o be v(22). Suppose 4*i + 2 = 6*i, 822 = o*h + 4*i. Is h composite?
False
Suppose -61*o + 25483 + 27099 = 0. Is o composite?
True
Let i(f) = -39*f**2 + 5*f + 17. Let z be i(12). Let c = -3776 - z. Is c composite?
True
Let q(x) = -4*x**2 + 4*x - 12. Let b be q(18). Is 2/((-2)/5*60/b) a prime number?
True
Let h = -4 + 20. Let i = h - 17. Let b(y) = 55*y**2 - y - 1. Is b(i) a prime number?
False
Suppose -12*y = -3*c - 9*y + 252, 2*y + 2 = 0. Let l(f) = f**2 - 3*f - 7. Let g be l(5). Suppose -c = 2*m - g*m. Is m a composite number?
False
Let j(d) = -14*d**2 + 4*d + 3. Let g be j(-3). Let c be 2 + g/(-3 - 0). Suppose -3*r + c = u + u, -5*u = -r - 7. Is r a prime number?
True
Suppose -5*s = -3 + 8, 3*s - 246 = -3*d. Suppose 2*o - 4*j + d = 865, 2*o + 5*j - 809 = 0. Is o a composite number?
False
Let v(p) = -p**3 - p**2 + 1. Let u(a) = 5*a**3 - 6*a**2 + 4*a + 18. Let z(y) = -u(y) + 2*v(y). Is z(-3) composite?
True
Is (-7 - (-222)/12)/(2/2836) a prime number?
False
Let s(k) = -458*k - 1. Let b(t) = -1375*t - 4. Let d(q) = -2*b(q) + 7*s(q). Is d(-1) a prime number?
True
Suppose 17*z = 15*z + 4822. Is z prime?
True
Suppose 0 = 4*l - 2*z - 558, 3*z + 119 = -4*l + 702. Let s = -83 + l. Is s a composite number?
False
Let y(f) = -f**3 - 3*f**2 - 3*f - 3. Let m = -17 - -15. Let o be y(m). Is 40 - (o + 2 + 2) a prime number?
True
Let g be (9/(-3))/(6/(-10)). Suppose -g*o + 778 + 242 = 0. Suppose o = 5*r - r. Is r a prime number?
False
Is ((-2)/(-1))/(9/((-255294)/(-4))) composite?
True
Suppose 0 = 2*g - 4*g + 5*i + 315, -5*i = g - 150. Suppose 2*p - g = -3*u, p - 29 = 5*u + 81. Is p prime?
False
Let k(s) = -11*s - 10. Let q be k(-6). Let f = q - -353. Is f a composite number?
False
Let u(d) = d**2 + d - 7. Suppose -2*q = -q. Suppose 2*p + 34 = -4*l, -5*l - 28 + 3 = q. Is u(p) prime?
False
Let v = -5 - -7. Suppose -2*b + 4 = 3*s + 2*b, -8 = -v*b. Is (2 + 5/s)*68 composite?
True
Let o(j) = -43*j**2 - 12*j + 9. Let l be o(4). Let w = -170 - l. Is w composite?
False
Is 435380/132 + 6/9 prime?
True
Let a = 202 - 198. Let o(v) = -16*v**2 - 3*v - 4. Let h(n) = -n**2 - 1. Let l(b) = 3*h(b) - o(b). Is l(a) a composite number?
True
Let i(z) = z + 1. Let x(p) = -1331*p - 385. Let o(y) = -190*y - 55. Let j(b) = 22*o(b) - 3*x(b). Let c(k) = -44*i(k) - j(k). Is c(4) prime?
False
Suppose 0 = -5*n + p + 443003, -5*n + 2*p + 348529 + 94472 = 0. Is n a composite number?
True
Let r(m) = m**3 - 11*m**2 - 12*m + 14. Let j be r(12). Suppose -19*n + j*n = -2435. Is n prime?
True
Let u = 14 - -6. Let p(d) = 2*d**2 - 28*d - 7. Is p(u) a composite number?
False
Let q(z) = z**2 - 2 + 2*z - 3*z + z**3 + 3. Let n be q(1). Suppose w + m = 5, -n*m - 3 - 11 = -4*w. Is w composite?
True
Let d be -3 + ((-1)/2)/(1/(-14)). Is 2/d + 9370/20 prime?
False
Suppose -601 = -4*w - 161. Let v = -13 + 18. Suppose -v*q - 15 = 0, -5*i + 0*q + w = -5*q. Is i composite?
False
Let q(h) = -5*h**2 - 3*h - 11. Let b(k