s c prime?
True
Suppose 8*s + 58 - 2 = 0. Is (-390)/(-4) - 6/(-84)*s composite?
False
Let i(d) = 5*d**2 + 38*d + 46. Suppose -9*n + 665 = -14*n. Let s = n + 108. Is i(s) composite?
False
Let l = -132 + 142. Suppose 5*i = n - l + 21, -3*n + 27 = 5*i. Suppose 69 - 1777 = -n*z. Is z a prime number?
False
Suppose -2*r + 2828 - 2836 = 0. Is r/((-60)/(-15))*(-36749)/1 a composite number?
False
Suppose 0 = 2*b + 2*l - 174072, -4*b - 6*l = -4*l - 348146. Is b a prime number?
True
Let g(d) = 4*d + 24. Let a be g(-5). Suppose a*b - 2717 = -9*b. Is b prime?
False
Let j be 6/(-5)*75*2/(-9). Suppose -j*h - 64 = -764. Is h a prime number?
False
Suppose -d = -5*q - 4761, 315*q = -5*d + 318*q + 23849. Is d a prime number?
False
Let k = 14381 - 9525. Let o = 8309 - k. Is o prime?
False
Let u(k) = 291718*k - 675. Is u(2) a composite number?
False
Suppose 10*p + 318855 = 3*k + 11*p, 212542 = 2*k - 4*p. Is k composite?
True
Suppose -8*b = -134 + 14. Suppose -b*l + 13*l = -6274. Is l a prime number?
True
Suppose 0 = z - 5*t + 445, 6 + 2 = -2*t. Is (-4 + z/6)/(7/(-14)) a composite number?
False
Let d(z) = -12*z - 117. Let s be d(-10). Suppose -k + 233 = 3*j, 4*k - 4*j + s*j = 880. Is k a composite number?
True
Let m = 155343 - -159346. Is m composite?
True
Let q(r) = 6827*r - 585. Is q(20) prime?
False
Is ((-231)/315 - 4/(-10)) + 56916202/219 a prime number?
False
Let d(c) be the second derivative of 93*c**3 - 11*c**2/2 + 19*c. Is d(4) a prime number?
True
Let z(s) be the third derivative of 4855*s**4/24 + 113*s**3/3 - 244*s**2. Is z(7) composite?
False
Let q(m) = 29*m + 30. Let u be q(2). Suppose 0 = -70*f + u*f - 121302. Is f composite?
True
Let c be (-2)/3 + 6631/(-57). Let h be c*(-3)/27*3. Is (-6)/h + 9141/13 composite?
True
Let y(g) = -22 + 15*g + 5*g**2 + 13*g + 61 - 28. Let c(z) = -11*z**2 - 56*z - 21. Let u(j) = -6*c(j) - 11*y(j). Is u(-12) composite?
True
Let f(q) = 9963*q**3 + 2*q**2 - 7*q + 6. Let i be f(1). Suppose -5*d + 3*o = -24886, 0 = 2*d + 13*o - 11*o - i. Is d a composite number?
True
Let d = 319486 + -141330. Suppose -36*s - 8*s + d = 0. Is s prime?
True
Let j = 48213 + -6635. Is j prime?
False
Suppose -10 = 2*f, -4*b - 125062 = 4*f - 1130334. Is b a composite number?
False
Let u be (-18)/(-10) + 1/5. Suppose -6*v - u*v = -264. Let r = 54 - v. Is r a composite number?
True
Let w(r) be the first derivative of 2*r**4/3 - 3*r**3 + 13*r**2/2 - 20*r + 17. Let x(q) be the first derivative of w(q). Is x(21) a composite number?
False
Suppose -a = -16 + 14, 2470 = 4*v - 3*a. Is v composite?
False
Let z = -696 + 695. Is 2*(1876 - z) - (-69 - -74) composite?
True
Let t(s) = -248*s**3 + 20451 + 20*s + 815*s**3 - 20493. Is t(2) prime?
False
Let r(k) = 211*k**2 - 2*k + 2. Let h(x) = x**2 - 6*x - 3. Let q be h(11). Let v = q + -49. Is r(v) a prime number?
False
Let c(q) = 68*q + 53. Let g be c(-30). Let n = 5493 + g. Is n a prime number?
False
Suppose 2*m = -22 + 28. Suppose -2*r = 2*j - 0*j + 2174, -3*j + m*r = 3285. Let b = j + 2094. Is b composite?
True
Let h(j) = -j**3 - 9*j**2 - 4*j - 31. Let n be h(-9). Suppose n*v = -19 + 29. Suppose 2*r + 2*r + 9335 = 3*d, 15549 = 5*d - v*r. Is d prime?
True
Suppose -89*s + 1276891 + 4691435 - 1205669 = 0. Is s a composite number?
True
Let g(r) = -4*r**3 + 46 + 5*r**3 - 46. Let p(d) = 922*d**3 - d**2 + 2*d + 2. Let k(t) = 4*g(t) - p(t). Is k(-1) prime?
True
Suppose -3*t + 2 + 1 = -3*i, -i = -3*t - 9. Let s(l) = -13*l**3 + 2*l**2 - 14*l - 7. Is s(i) composite?
False
Suppose -6*z + 3*z = -15. Let c be 2/(-5) - (-4507)/z. Let h = -380 + c. Is h prime?
True
Let l(w) = 6*w**2 - 26*w - 22. Let x be l(17). Suppose -z + n = -x, 5*z - 2545 = 3*z - 3*n. Is z prime?
False
Let x(t) = 466*t**2 + 4*t + 2. Let m be x(-4). Let o = -5189 + m. Is o prime?
False
Let w(a) = 5011*a - 14917. Is w(6) composite?
False
Suppose -3*d + 4*j + 42313 = 6*j, 0 = -4*d + 3*j + 56440. Is d prime?
True
Let k = 162 + -160. Suppose 3*d - 14137 = q, 4*d + k*q - 5289 = 13547. Is d composite?
True
Let h(m) = -m**2 - 6*m + 3. Let i(f) = -2*f**2 - 7*f + 2. Suppose 0 = -d + 1 - 3. Let t(g) = d*i(g) + 3*h(g). Is t(5) prime?
False
Suppose 0 = -2*q + 2*b + 4, 3*q - 5*q - 5*b = -39. Let n(d) = 1417*d + 42. Is n(q) prime?
False
Suppose p + p = -2. Let z be (-2)/8 + 4325/20 + p. Suppose -2*q - z = -531. Is q prime?
False
Suppose 24*y = 191370 + 129006. Is y composite?
True
Let b(s) = -30955*s**3 + s**2 - s - 3. Let o be b(-1). Suppose 0 = -5*g - 1189 + o. Is g composite?
False
Suppose 469*i - 6204365 = 446*i. Is i prime?
False
Suppose -70*g = -68*g + 5*u - 428326, 2*g - 428326 = 2*u. Is g a prime number?
True
Let c = -41035 + 21643. Let g = -9385 - c. Is g prime?
True
Suppose -b = -2*x + 561989, -1405010 = 8*x - 13*x - 5*b. Is x a composite number?
False
Suppose -4*o = 4*x - 37144, x + 4*x = 4*o - 37126. Let w = -4731 + o. Is w a prime number?
False
Suppose 2*j - 6*j + 56 = 0. Suppose -16 = -6*w + j. Suppose -2*r + 2487 = w*l - r, l + 4*r - 505 = 0. Is l a prime number?
False
Suppose 0 = -9*w - 4454 + 43397. Is w prime?
True
Let c(d) = -d**2 - 11*d - 24. Let m be c(-4). Suppose 0 = m*s - 4*x + 437 - 2025, -2*s - 3*x = -784. Is s a composite number?
True
Let p be ((-95)/(-3))/((49/6867)/7). Suppose p = 9*y + 8583. Is y a composite number?
True
Is (-1150820)/275*(-25)/4 a prime number?
False
Let p be 2/19 - (3 + (-2724)/114). Let j(o) = 2*o**2 + 24*o - 1. Is j(p) composite?
True
Let x(z) = -3*z**3 - 5*z**2 + 5*z + 42. Let o be (434/(-155))/((-4)/(-10)). Is x(o) prime?
False
Is (2/(-4))/(-1)*2 + (199 - -60009) a composite number?
False
Let z be (12/8)/((-1)/64*4). Is (4986 - -2) + 23 + z a composite number?
False
Suppose -15 = -2*l - 2*l + 3*b, 0 = -5*l - 4*b + 11. Suppose l*r - 10 = r. Suppose r*t - 1180 = t. Is t composite?
True
Let p be 20383 + 1/(1/(-3)). Let i = p + -9377. Is i a composite number?
False
Let j(w) = 2254*w**3 + 5*w**2 - 3*w - 7. Is j(3) composite?
False
Is (14 + -12)*(-710492)/(-8) a prime number?
True
Let r(q) = 3858*q**2 - 21*q - 37. Let l be r(-2). Let n = l + 4424. Is n a prime number?
True
Suppose 13 = 3*i + 31, 4*b - i = 773434. Is b a prime number?
True
Suppose 0 = -97*i - 16*i + 15130813. Is i a prime number?
False
Let z = -121637 + 380098. Is z composite?
True
Let k = 31771 - 10240. Is k composite?
True
Suppose 1924825 = 2*m + d, 4*m - 4*d = 1664069 + 2185587. Is m composite?
False
Let l(r) = 380*r - 3. Suppose -21*b + 16*b = 3*d + 14, -4*b - 2*d = 12. Let n be 14/4*(b + 2 + 4). Is l(n) composite?
False
Let z(j) = -j**3 - 4*j**2 + 9*j + 3. Let i(g) = -g**2 + 12*g - 18. Let b be i(9). Let f = b - 16. Is z(f) composite?
True
Is ((-715819)/(-104) - 0) + (-2)/(-16) a composite number?
False
Let t(c) = c**3 + 6*c**2 - 6*c - 1. Let s be t(-7). Let h be s/(-6) + 24/9. Suppose 10 = -5*l, m + 2*m - h*l = 1085. Is m prime?
True
Let z(u) = 1 - 27*u + 30*u + 13 + 20. Let w be z(-13). Let k(j) = -4*j**3 + 6*j**2 + 4*j + 1. Is k(w) a composite number?
False
Let a = -1180 + 6019. Let x = 7942 - a. Is x prime?
False
Let r(j) be the third derivative of 8*j**5/15 - 2*j**4/3 - 3*j**3/2 + 33*j**2 - 1. Is r(-5) composite?
True
Suppose 31285511 = 317*g - 246*g. Is g a prime number?
True
Let c = 28217 - 18032. Let b be (c/12)/(4/16). Suppose b = 11*i - 4*i. Is i a composite number?
True
Let a(z) be the second derivative of 35*z**4/4 - 2*z**3 + 14*z**2 + 19*z - 2. Is a(-7) a composite number?
True
Suppose -10*v - 3348 = -7*v. Let t be (-10 - 2)*(-1 + v). Is (1/(-3))/((-4)/t) composite?
False
Let f(o) = 6*o**3 + o**2 + 5*o - 4. Let h(j) = 8*j**3 + 4*j - 5. Let p(t) = -6*f(t) + 5*h(t). Is p(6) prime?
True
Let d be 1/(-1 - 56/(-64)). Is d/(-56) - (-402876)/14 composite?
True
Let v(p) = -85*p**2 + 4*p + 15. Let b(a) = 171*a**2 - 6*a - 31. Let x(o) = -4*b(o) - 9*v(o). Is x(-10) composite?
False
Suppose v = -4*a + 74947, 5*v - 5*a - 327300 - 47435 = 0. Is v prime?
False
Let z(d) = d**3 - 65*d**2 + 72*d + 323. Is z(68) composite?
True
Let r be 3 - (-1 + 5 + -3). Suppose 4*d - 1891 = -5*f, -4*f + r*d + d = -1519. Is f a composite number?
False
Let l(f) be the third derivative of 11*f**5/30 - 13*f**4/24 - 31*f**3/6 + 2*f**2 - 2*f. Is l(-8) prime?
True
Let j(y) = -6*y**2 + 354 - 2*y**2 - 342 - y**3 + y. Let w be j(-8). Suppose 0*p + 94 = c + 3*p, -3*c = w*p - 277. Is c