624 - (-8 + 6 + 6) a prime number?
True
Let r = -47 + 51. Suppose -5*c + r*p - 4160 = -p, 3*p = -c - 824. Let d = 1227 + c. Is d prime?
True
Let m(w) be the second derivative of -1/2*w**2 - 1/12*w**4 + 111/20*w**5 + 0*w**3 + 0 + 5*w. Is m(1) a prime number?
True
Let z = 720 + -303. Let r = z + 1146. Suppose x = -j + r, -12 - 4 = -4*j. Is x a prime number?
True
Suppose s + s = 5*s. Suppose 2*d + n + 3452 = 5*d, 3*d + 3*n - 3456 = s. Is d a prime number?
True
Let t(h) = 89*h**2 + 27*h - 60. Let i be t(-24). Let n = -28213 + i. Is n prime?
True
Let j(k) = 56*k**2 + 60*k - 1063. Is j(22) prime?
True
Suppose -17*v = -118195 - 395800. Is v prime?
False
Let x(z) = -274*z - 29 + 41*z - 591*z. Let r(a) = -8*a**2 - 24*a - 24. Let b be r(-1). Is x(b) a prime number?
True
Suppose 3*y + 2*f - 4 = 0, 5*y - 4*f + 7*f - 8 = 0. Suppose -7*n - 4*h + 11675 = -2*n, y*h = 5*n - 11675. Is n prime?
False
Suppose -3*h + 19 + 11 = 0. Let s(t) be the first derivative of t**4/4 - 12*t**2 - 9*t + 7. Is s(h) composite?
False
Is (-3)/42*-2 - 930444/(-119) composite?
True
Let u(k) = 10*k**2 + 53*k + 385. Is u(-36) composite?
False
Suppose -n + 12 = -7*n. Let j be n/8 - 675/(-108). Let s(v) = 7*v**3 + v**2 - 7*v - 7. Is s(j) prime?
True
Suppose 3*x - 7 = p, p - 2*p - 4*x + 28 = 0. Let f = p - 6. Suppose -5*l = f*l - 2597. Is l composite?
True
Let j be 1/((-4)/30 + 23/69). Let w(k) = -11 + 2 + 4*k**2 - 3*k - 10*k**2 + 35*k**3. Is w(j) composite?
False
Suppose -3*u - 30 = -5*x, 5*x - 2*u = 3*u + 40. Suppose -4*p - 16 = 0, -2*t - x*p - 11 = 1. Suppose 15148 = 14*j - t*j. Is j a prime number?
False
Let r be -4 + 1/1 + (11 - -12). Let n be (-3)/5*-2*r/12. Suppose n*i = 3*l - 1391, l = -0*l + 3*i + 452. Is l a composite number?
False
Let u = 120153 - -46288. Is u prime?
False
Let f(t) = 3985*t + 358. Is f(23) a composite number?
True
Suppose -j - 5*i = -0*j + 1065, j = 5*i - 1085. Let d = j + 3641. Suppose 10*x = 12*x - d. Is x a composite number?
False
Suppose 0 = 3*p + w - 266414, 12*p = 16*p + 2*w - 355222. Let h = p - 62806. Is h a composite number?
False
Let b = 47 - 45. Suppose 2*v = b*c + 3814, -3810 = -2*v - 2*c + 3*c. Is v a prime number?
False
Let g(t) = -45*t**3 + 2*t**2 + 39*t + 209. Is g(-6) prime?
True
Let a(u) be the second derivative of 79*u**7/840 - u**6/720 + u**5/40 + 5*u**4/12 - 3*u. Let g(j) be the third derivative of a(j). Is g(-2) a prime number?
True
Let u(d) be the third derivative of d**6/240 + 1817*d**5/120 - d**4/6 - 21*d**2. Let h(c) be the second derivative of u(c). Is h(0) a prime number?
False
Suppose -s + 4*s = -2*k + 6, -5*s + 2*k + 10 = 0. Suppose 0 = 2*p, s*w - 5 + 11 = 3*p. Is (-493)/(w/9*3) prime?
False
Let p(i) = 2355*i + 233. Let g(q) = -9427*q - 933. Let t(o) = -2*g(o) - 9*p(o). Is t(-4) a composite number?
False
Let j = 119832 - 56839. Is j composite?
True
Suppose -6*n + 4296 + 624 = 0. Suppose y = 105 + n. Suppose -5*z + 2*d + y = d, -4*z + 740 = 2*d. Is z a prime number?
False
Let t be (184/(-30) + 4/30)/(-2). Suppose -6*u + 15627 = -t*u. Is u composite?
False
Let g = -42085 - -125456. Is g composite?
True
Suppose -3*o - p = 9, 2*o - 5*p - 5 = -3*o. Is o + -3*9436/(-12) a composite number?
False
Is -3 + 2 - -2946*(44 + -11) composite?
True
Suppose 0 = 2*j + 3*o - 83645, -2*o - 83620 = -567*j + 565*j. Is j a prime number?
False
Let a(g) = -8080*g - 17. Let f be a(-4). Let s = f + -18780. Is s prime?
True
Let v = -123976 + 173967. Is v composite?
False
Suppose -8*n + 3*n = 4*g - 15, 5*g = 3*n + 28. Let w be 21*n/(-4) - 5/20. Suppose w*i + 1382 = 2*k, -2*i + 60 = -2*k + 1442. Is k a composite number?
False
Let q = 29 - 31. Let v be (q - -6) + (1539 - 0). Suppose v = 17*n - 16*n. Is n prime?
True
Let f be (1 - 2) + 235/5. Let k = -41 + f. Suppose -k*m + 189 = -4*x, -4*x + 67 + 3 = 2*m. Is m a prime number?
True
Suppose 2*q = 4*i + 84130, -3*i + 42050 = -10*q + 11*q. Is q a composite number?
True
Is ((-2196256)/(-144))/(((-8)/9)/(-4)) a prime number?
True
Suppose 4*i - 2956 = -4*k, 2*k - 7*k = -i + 721. Let y = 1623 - i. Is y a composite number?
False
Let a(n) = 2851*n - 35. Let t(s) = 1425*s - 14. Let f(k) = 4*a(k) - 7*t(k). Is f(5) a composite number?
False
Let t(i) = 66*i**2 + 20*i - 11. Is t(8) a composite number?
False
Let u(m) be the first derivative of 6727*m**3/3 + 2*m**2 - 13*m - 83. Is u(2) a composite number?
False
Let b be (-35)/(-280) - (2 + (-53074)/(-16)). Let k = b + 5093. Is k prime?
False
Is -8 - (-5)/(-10)*-57518 a prime number?
True
Suppose 38*u + 125*u = 9075677. Is u composite?
True
Let f(h) = h**2 - 6*h - 13. Let c be f(8). Suppose p + 19 = 6*p - 3*o, c*o = 6. Suppose -5*j + 6925 = t, p*t = j + 2*j - 4155. Is j a composite number?
True
Suppose 3*c = -9, -625 + 250 = 5*x + 5*c. Is (48/x)/(6/(-10539)) a composite number?
False
Let q(a) = 4*a + 14. Suppose 0 = 2*r - j + 9, -3*r + j = -j + 12. Let w be q(r). Is 21278/22 - w/(-55) a composite number?
False
Let b = -22695 + 73412. Is b a prime number?
False
Suppose -q + 35208 = 3*g + 3*q, 2*g + 4*q - 23472 = 0. Suppose -10*w = -6*w + 3*h - g, -11728 = -4*w - h. Is w prime?
False
Let x = 9232 + -5561. Let h = -1984 + x. Is h a prime number?
False
Let i = 65 - 61. Suppose t - i*g + 2 = -20, -2*t - 3*g = 0. Is -2*(t/(-4))/1 + 2102 a prime number?
True
Let o(l) = -4*l - 4*l**2 - 55 + 53*l**3 - 3*l + 55. Let h be o(-2). Is ((-10)/4)/(-1 - 423/h) prime?
False
Let r be (-72)/(-63) + 12/(-14)*-1. Suppose z = -r, -5*b + 16774 = -b - z. Is b composite?
True
Let h = 1087 + -322. Suppose i = -8 + 13. Suppose i*z - 3160 = h. Is z a composite number?
True
Is (-2)/(-8) - ((-8724)/(-16))/((-10)/550) prime?
True
Let j(s) = 28928*s - 189. Is j(1) prime?
False
Let z = 91465 - 42158. Is z a composite number?
False
Suppose m - 3*y = -37867, 3*m - 61*y = -62*y - 113641. Let t = 70812 + m. Is t a prime number?
True
Suppose 2*q = -3*f + 23, 3*q = -3*f + 84 - 48. Suppose -9*k + q*k - 12284 = 0. Is k a composite number?
True
Let i = -28 - -20. Let d(j) = -419*j - 14. Let t be d(i). Let n = t + -1407. Is n a composite number?
False
Let r(o) = 30*o**3 - 3*o**2 + 122. Let f(y) = 10*y**3 - y**2 + 41. Let c(u) = -11*f(u) + 4*r(u). Is c(6) a composite number?
False
Let d(v) = 2 + 4 - 38*v - 6 + 2 - 641*v. Is d(-3) a prime number?
True
Let s be 633/(-9)*(-6 + 168). Is s/(-36)*(-2)/(-3) a composite number?
False
Suppose -6*p + 2*p = 2*z + 16, 5*p = -5*z - 15. Suppose -3*s = -0*f - 3*f + 12, 2*f = -s + 11. Suppose 4*h - 2583 = -f*t, t + t - z*h = 1026. Is t composite?
True
Let n = 372 - 378. Is (-65842)/n - 64/96 prime?
True
Let b(z) = -z**2 + 2*z - 4250. Let h be b(0). Suppose j + 92 = -j - 4*m, 2*m = -10. Is h/(-6) - j/54 prime?
True
Suppose 4*z - 14*z + 840549 = -7*z. Is z a composite number?
False
Suppose 3*a + 43 = -1148. Let v = a - -654. Is v prime?
True
Suppose 68*m - 72*m = -86444. Suppose 0 = -5*l + m - 9156. Is l composite?
True
Let a = -292919 - -500682. Is a prime?
True
Is (1029355 + -1)*(-21)/(-63) a prime number?
False
Is ((39 - 20)/57)/(3/1769589) prime?
False
Suppose 0 = 10*a - 992374 - 158196. Is a prime?
True
Is (-506732)/3*(-918)/1224 a prime number?
True
Let p = 1390 + -610. Let l = p - -1471. Is l prime?
True
Let s(l) be the first derivative of -12*l - 15/2*l**2 - 3/2*l**4 - 30 - 8/3*l**3. Is s(-7) a prime number?
True
Let u(q) = 525*q**2 - 827*q + 111. Is u(34) prime?
False
Let x(o) be the first derivative of -1153*o**2/2 - 115*o + 96. Is x(-6) composite?
False
Let q = 29 + -22. Suppose -1408 - 2140 = -p. Suppose -q*d + p = -5*d. Is d a prime number?
False
Let o(f) = 285*f + 1198. Is o(69) composite?
True
Suppose -2*j = -2*i + 531722, -71*i + 4*j = -70*i - 265870. Is i composite?
True
Suppose 4*r = r + 3*q + 2577, 3*r + 2*q = 2577. Let s = -462 + r. Is s prime?
True
Let h be (72/3)/6 - -142524. Suppose 9*g + 13189 = h. Is g a composite number?
True
Suppose 3852*j = 3858*j - 1619814. Is j a prime number?
False
Let l(p) = -15193*p**3 + 9*p**2 - p - 5. Let m(f) = -5064*f**3 + 3*f**2 - 2. Let w(z) = -3*l(z) + 8*m(z). Let k be w(1). Suppose -11*r = 6*r - k. Is r prime?
False
Let s(c) = c**3 - 15*c**2 - 18*c + 65. Let j(m) = m**3 - 14*m**2 - 18*m + 65. Let l(r) = -4*j(r) + 3*s(r). Is l(11) a composite number?
True
Let p be (9 + -10)/((-1)/(-2)). Let w be -3 - (0 + p - 5). Suppose -2*g + 9