 = 13844. Let o = -1478 - b. Is o prime?
False
Let h(u) be the first derivative of 513*u**2/2 + 49*u - 78. Is h(4) a prime number?
False
Suppose -68037501 = -223*n + 75322286. Is n a prime number?
True
Suppose 15*i = 27*i - 156. Suppose i*j = -35342 + 277233. Is j a composite number?
True
Let k be -1262*8/((-16)/3). Let c = k + -186. Is c a composite number?
True
Let d(f) = 105*f**2 + 70*f + 17. Let z be d(-22). Let c = -16892 + z. Is c a prime number?
False
Let j(s) be the second derivative of s**5/20 - s**4/2 - 43*s**3/6 - 17*s**2/2 - 148*s. Is j(15) a prime number?
False
Suppose -32*c = -27*c - 273335. Is c a composite number?
False
Let u(c) be the first derivative of 0*c**3 + 9 - 3/2*c**2 + 3*c + 37/4*c**4. Is u(2) prime?
True
Let k(z) = 2*z + 2*z - 2*z - 10. Let p be k(5). Suppose m - 2*m + 674 = p. Is m a composite number?
True
Let z(n) be the second derivative of n**4/4 - n**3/6 + 3*n**2/2 - 14*n. Suppose -12*f + 6*f + 48 = 0. Is z(f) composite?
True
Let x(h) = -65*h**3 + 5*h**2 - 71*h - 638. Is x(-17) a prime number?
True
Suppose 3 = 3*l + u, 12*l - u + 3 = 16*l. Suppose -2*y - 10 = -7*y. Suppose l = y*w - 3*w + 573. Is w prime?
False
Let t(q) = -23*q - 2. Let g(n) = n**2 - 9*n + 10. Let i be g(6). Let u be i + 7 - (5 - 1). Is t(u) a prime number?
True
Let j be (-15422)/(-6) - (-4)/(-12). Let m(i) = 7*i - 8. Let o be m(3). Suppose -o*x = -15*x + j. Is x composite?
True
Let z = 36080 - 11367. Is z a composite number?
True
Is 32*2304*2 + (-42)/6 composite?
False
Suppose 4*z = 2*g - 3*g + 16, 5*g - 4*z + 40 = 0. Let h be ((-10)/g)/(-5) + 2236/8. Suppose 0 = i - h + 25. Is i a prime number?
False
Suppose -38*j = 52*j - 5431950. Is j composite?
True
Let r be 10*2/(-4) - -7. Suppose 3*a = -5*j + 51846, 0*j - r*a + 31107 = 3*j. Is j a composite number?
True
Suppose 0*o + 10*o = 68060. Let n = 11215 - o. Is n a composite number?
False
Suppose -38*b = -26*b. Suppose -8*a + 32367 - 10999 = b. Is a prime?
True
Suppose -68*a - 5*w = -71*a + 604066, -805496 = -4*a - 4*w. Is a a composite number?
True
Suppose 0 = -8*s + 6*s - 3*q + 92364, -s + 3*q = -46200. Suppose r - 11669 = -3*o, -5*r + s + 12077 = -5*o. Is r prime?
True
Suppose i - 13 + 5 = 0. Suppose -2*q - 2*b = -0*q - 12, -i = -2*b. Suppose -5*h + 3*m = -274, -112 = -2*h - 0*h + q*m. Is h prime?
True
Let t(m) = -297*m**3 + 19 - 5*m**2 + 83*m**3 + 12*m + 6 + 3*m**2. Is t(-4) prime?
False
Suppose 0 = -g + 3*d - 10, 0 = -2*g - 4*d + 2*d + 12. Suppose 3391 = g*r - 1469. Suppose -y + r + 961 = 5*u, 2*y - 671 = -u. Is u a prime number?
False
Is (11 + -3)*(-1188299)/(-392) prime?
True
Suppose -10*x + 13*x + 195 = 0. Let c = x - 14. Let g = c - -237. Is g a composite number?
True
Let s be (56/(-42))/((-4)/6). Suppose -2*v + s*j = 3*v - 9615, -3*j - 9615 = -5*v. Is v a composite number?
True
Is (1 - 434452/(-7))/(((-348)/(-42))/58) a composite number?
False
Let g(c) = -47780*c**3 - 3*c**2 + 102*c + 205. Is g(-2) prime?
True
Let g(m) = -m**3 + 24*m**2 + 8*m - 4. Let x be (-15 + 14)/(1/(-17)). Is g(x) a composite number?
True
Let x(b) = 64065*b**3 + b**2 - b. Let l be x(1). Is ((-10)/2)/((-75)/l) composite?
False
Suppose 0 = 4*l - 3*l - 1486. Let k = 1297 - -1266. Let o = k - l. Is o prime?
False
Let f(c) = c**2 - 12*c + 3. Let a be f(12). Let t be 1749 + (a - 2 - -2). Let o = -863 + t. Is o a composite number?
True
Let z = -10405 + 14594. Is z prime?
False
Suppose u + 2*c - 2 = -c, 3*u - 2*c = 28. Let r(l) = -l**3 + 8*l**2 - 2*l + 19. Let o be r(u). Suppose 4*x - o*x = 31. Is x composite?
False
Let u(m) = -10468*m - 7. Let n be u(-4). Is (-20)/(-6)*n/25 prime?
False
Let g = -581 + 583. Suppose l = v - 11532, -l + 23069 = g*v + 2*l. Is v prime?
False
Let j(s) = 255*s**3 - 3*s**2 - 9*s - 4. Is j(5) composite?
False
Let k = -162632 + 241609. Is k a composite number?
False
Let g be 8/(-32) - 37/(-4). Let q(c) = -9*c + g - 10*c + 23*c + 30*c**2. Is q(-5) a composite number?
False
Is (-2 + (510321/(-9) - 0))/((-1)/3) prime?
False
Let k be ((-5)/4)/(((-1)/4)/1). Suppose -13140 = -3*c - k*t, 0 = -10*t + 12*t + 6. Is c a composite number?
True
Suppose -498386 = -67*c + 463667. Is c a composite number?
True
Suppose 17929 = c + 5254. Let i = c + -7366. Is i a prime number?
True
Let w(j) = 7400*j - 109. Is w(9) a prime number?
True
Let j(r) = -r + 2067*r**2 + 7*r - 666*r**2 - 3*r - 1. Is j(-1) a composite number?
True
Let b(l) = 5210*l - 1. Let x be b(-1). Suppose -5*z + 26457 = -12083. Let d = x + z. Is d composite?
True
Let k(i) = 1275*i**2 + 5*i + 2. Let h be k(-2). Suppose 4*n = 6*n - h. Suppose -3*z = 5*t - 25258, -2*t + 7558 = 2*z - n. Is t a prime number?
True
Let d(h) = -1267*h - 5. Let n be d(-2). Suppose -m - 478 + n = 0. Is m composite?
True
Suppose -3*g - 5*x = -6*x - 5, g - 6 = -4*x. Let y be g - 0/(-10)*(-2)/(-4). Suppose -z + 822 = y*z. Is z composite?
True
Is (-54)/42 - 1114144/(-35) - (-2)/(-5) prime?
False
Let v = 265950 - 175229. Is v prime?
False
Let h(b) = b**2 + b + 29. Let f be h(0). Let y = f + -11. Suppose n - 215 - y = 0. Is n composite?
False
Let r(j) be the third derivative of -35*j**4/12 + 53*j**3/6 + 19*j**2. Is r(-24) a prime number?
True
Let f = 116 + -111. Suppose 0 = f*g - 6*r + 10*r - 933, 5*g - r - 923 = 0. Is g a composite number?
True
Suppose 0 = 54*s - 62*s + 40. Suppose 0 = s*c - 2081 - 414. Is c a composite number?
False
Suppose 26*f = 25*f + 1, -2600757 = -4*t + 3*f. Suppose 28*j - t = -2*j. Is j a composite number?
False
Suppose -252577 - 666872 = -9*s. Is s prime?
True
Let k(q) be the second derivative of 619*q**3/6 + 37*q**2/2 + 16*q. Let t be k(5). Suppose -2*n + 7845 = 5*h + 3*n, -2*h + n = -t. Is h composite?
False
Suppose -5*i = -57818 - 582617. Is i a prime number?
False
Let p = 33765 + -10895. Suppose 7*j - p = -7799. Is j a composite number?
False
Let h be -2 + 331 + (11 - 3)/(-2). Suppose -z - h = -9*y + 6*y, -432 = -4*y + 2*z. Suppose -2*t + y = -4093. Is t prime?
False
Suppose -21*m + 643942 + 8053273 = -28804627. Is m a prime number?
False
Suppose -4*l = -16669 + 237. Let r = -1505 + l. Is r prime?
False
Let g be 4/(-3)*(-150)/40. Suppose 11*w - 48 = -g*w. Suppose w*p - 789 = -2*o, 789 = 3*p - 3*o - 2*o. Is p a composite number?
False
Suppose 1 = 5*m - l - l, -4*l = -8. Is (m - (-585)/2)/(49/98) a prime number?
True
Suppose 3*h + 137 = 5*a - 0*h, 2*a - 52 = 4*h. Let g be 6*3/((-18)/3). Let o = a + g. Is o a composite number?
True
Let i be (810/(-8))/((-19)/3724). Suppose -10*v + 12*v - i = -5*n, -4*n - v = -15873. Is n prime?
True
Let d be -1*(-18 - (3 - 0)). Let l = d + -13. Suppose l*j = 4*j + 8644. Is j a prime number?
True
Let p(x) be the second derivative of 13*x**5/5 + 3*x**4/4 + x**3/6 + 7*x**2/2 + 41*x. Let b be p(4). Suppose 2*k - b = 11383. Is k composite?
False
Suppose -4*q + 893710 = -16*p + 18*p, -p + 5*q + 446883 = 0. Is p prime?
True
Suppose -4*x + 146184 = -3*v, -4*x + 131130 = 4*v - 15082. Suppose -5*a + 7*q - 8*q = -60923, x = 3*a + 3*q. Is a a composite number?
True
Let j be (51568/28 - -1) + 4/14. Let u = 6920 - j. Is u a prime number?
True
Let k(z) be the first derivative of -20*z**3 - 5*z + 3. Let a be k(2). Let i = 456 + a. Is i prime?
True
Let x(i) = -15*i**3 - 2*i**2 + 2*i. Let w be x(-2). Suppose -5*j = f + 5300, 3*j + 5290 = -2*j - 3*f. Let g = w - j. Is g prime?
False
Suppose 0 = 8*j - 3*j + 110. Let v = j + 26. Let l(c) = 109*c - 17. Is l(v) prime?
True
Let y be 280/105*(-78)/8. Let h(v) = 17*v**2 - 6*v + 59. Is h(y) composite?
True
Suppose 78*z - 2*y + 95 = 79*z, 3*y - 102 = -z. Let p = -6 - -9. Suppose -p*k = -2*n + 927 - z, -n + 5*k = -437. Is n prime?
False
Suppose -2 = -7*n + 5. Let o be 610/2 + -1 + n. Is o + ((-8)/6)/(6/(-9)) prime?
True
Let p(x) = x**3 - 8*x**2 + 15*x + 2. Let r be p(5). Suppose 12 = -4*k, 3*y - r*k + 8970 = 27447. Is y a composite number?
True
Let k(z) = -226*z + 35. Let u be k(-14). Suppose 2*o + 13632 = 5*v - u, 0 = -5*v - 4*o + 16843. Let f = -2318 + v. Is f composite?
False
Let i(s) be the third derivative of -151*s**4/12 - 107*s**3/6 + 105*s**2. Is i(-14) prime?
False
Let j(v) = -v**3 + 7*v**2 - 6*v + 4. Let p be j(6). Suppose 0 = 5*k - 3*o - 1043, -p*o = -k + o + 213. Is (-1)/(1/(-3 - k)) a composite number?
False
Is ((-12)/((-540)/(-582765)))/(1/(-3)) a composite number?
False
Suppose -15 = -4