15) + 7) prime?
True
Let k(f) = f**3 + 14*f**2 + 5*f - 3. Let j be k(-13). Suppose 3*w - 2*w = 2*y + j, -2*y + 424 = 4*w. Suppose -w = 5*u - 740. Is u a prime number?
True
Is (-4)/1 - (-7424 + -7) a composite number?
True
Is ((-4)/18 - (-400324)/18) + 7 composite?
False
Let n = 2862 + -2144. Is n a composite number?
True
Let z(x) = -1290*x - 583. Is z(-29) prime?
False
Let s(c) be the first derivative of 22*c**3/3 - 4*c**2 - 11*c - 4. Is s(-3) a prime number?
True
Let d(x) = 15*x**2 + 4*x + 12. Let s be d(-5). Suppose -2*a + 3*a - s = 0. Is a composite?
False
Let b(r) = -2*r + 1. Let d be b(-7). Let p = d - 10. Suppose 2*f = -p*z + 284, -5*f = -2*z - 407 - 303. Is f a composite number?
True
Suppose -2*r - 2*r - 5*h = 3, -2*r + h = 5. Let y(m) = 536*m**2 - 6*m - 7. Is y(r) a prime number?
False
Let f be 2/(-3)*15*(-16)/10. Is (f/(-6) + 2)*(-6327)/6 a composite number?
True
Let p = 21 + -17. Let v = p - -27. Is v composite?
False
Is (-1)/(-2) + 107524/8 a prime number?
True
Let o(h) be the second derivative of 4*h**3 + 41*h**2/2 + 21*h. Is o(19) a composite number?
True
Let t be -3*-1*(1 + 0). Let d = t - 1. Suppose -33 = d*r - 207. Is r a prime number?
False
Let f = 31 - 21. Let q = 10 - f. Suppose q = -3*a + 167 + 28. Is a prime?
False
Let b(g) = -g**3 + 12*g**2 + 14*g + 7. Let x be b(13). Suppose s - 32 = m, 0 = -s - 3*m + 48 - x. Is s a composite number?
False
Let q(k) = -9142*k - 277. Is q(-3) a composite number?
True
Let f = 41346 + -13027. Is f composite?
False
Let o be (3/2)/(15/(-20)). Let a be o + -2 + (-1 - -1355). Is 2 - 4/((-8)/a) prime?
True
Suppose -3*d = -18 + 3. Suppose 2*y + y - 355 = -d*l, -8 = -4*l. Is y a composite number?
True
Suppose -2*h - 24 = -4*s + 3*s, -34 = 3*h - 2*s. Let y be (-9343)/4 + 6/(-24). Is y/(-28) + 6/h a prime number?
True
Suppose -q = 2*q. Suppose -5*c - 15 - 2 = -v, 3*c - 3*v + 3 = q. Is 354/15*(-10)/c prime?
True
Let n = -70 - -68. Let k(b) = 112*b**2 - 6*b - 11. Is k(n) a composite number?
False
Let y(t) = -t**3 + 7*t**2 - t + 6. Let w = 4 - 4. Let z be w - (-1)/((-3)/(-15)). Is y(z) a composite number?
True
Let o(a) = -68*a**3 + 11*a**2 + 36*a + 8. Is o(-5) prime?
False
Suppose -12*y + 15*y = 213. Let u = y - 39. Suppose -u*o - 614 = -34*o. Is o a prime number?
True
Suppose 4*w - 27222 = -2*w. Is w a prime number?
False
Suppose -4*w = -6*w - 648. Let u(m) = 2*m**3 - 81*m**2 + 57*m - 42. Let v be u(40). Let k = v + w. Is k composite?
True
Let l(p) = -1413*p + 142. Is l(-7) prime?
False
Suppose -23*y + 16*y + 1778 = 0. Is y a prime number?
False
Suppose -4*w + 4*l + 19552 = 0, 2812 - 27260 = -5*w - 3*l. Is w a prime number?
True
Is 4/(-6)*-42*(-470)/(-40) a prime number?
False
Suppose 5*g - 2*n + 23 = -6*n, 16 = -4*g - 2*n. Let f(w) = -12*w + 47 + 46 - 92. Is f(g) a composite number?
False
Let r = -134 - -233. Suppose 2*v + 122 = -k, -3*v - 2*v - k - 302 = 0. Let j = r + v. Is j prime?
False
Is 414230/12 - 7/42 a composite number?
False
Suppose -5*m = 97 - 1217. Let z = m - 65. Is z a composite number?
True
Let b = -1 - 6. Let j be 2/(4/9 + (-758)/1746). Let f = b + j. Is f a composite number?
True
Let w(h) = -70*h - 1. Let x(m) = -m**3 + 17*m**2 + 20*m - 38. Let s be x(18). Is w(s) prime?
True
Let x(m) = 1284*m**2 + 3*m - 43. Is x(6) composite?
False
Let f = -342 - -1279. Is f prime?
True
Let i(x) be the first derivative of -451*x**7/840 - x**6/360 - x**5/120 - 5*x**3/3 + 8. Let c(h) be the third derivative of i(h). Is c(-1) a composite number?
True
Suppose 768 = 3*v - 2*v + 4*d, 0 = -2*v + d + 1581. Suppose -6*g = -2*g - v. Suppose 128 = 5*c - g. Is c a composite number?
True
Let z = 44 + -31. Suppose -z*m = -18*m + 11945. Is m a prime number?
True
Is 16056/40 - 2/5 composite?
False
Suppose 3*a - 224 - 478 = 0. Let n = a - 32. Is n prime?
False
Suppose -48 + 0 = -4*u. Let a(t) = -266*t + 3. Let k be a(-6). Is 4/u - k/(-9) a composite number?
True
Is ((-25)/(-75))/((-2)/(-126498)) a composite number?
True
Let f be 6/15 + 293478/30. Let w = f - 6140. Is w prime?
True
Suppose -4*m + 5*i + 1891 = -9274, -2800 = -m + 3*i. Is m a prime number?
False
Let w = 243 + 578. Is w prime?
True
Let x(d) be the third derivative of -d**6/120 - d**5/3 + 4*d**4/3 - 7*d**3/6 - 6*d**2. Is x(-22) composite?
False
Is ((-318)/(-6))/(((-4)/(-1))/524) a composite number?
True
Suppose -2*n = 2*n + 2*l + 266, -20 = 4*l. Let a be ((3 - n)*-1)/(-1). Suppose -152 - a = -f. Is f a prime number?
False
Let o(z) = -111*z - 75. Is o(-6) a composite number?
True
Let t(p) = -2*p**3 - 6*p**2 - 20*p + 47. Is t(-11) a composite number?
False
Suppose -u + 12811 = 4*l, 8*l - 51189 = -4*u + 3*l. Is u a prime number?
True
Suppose -230672 = 34*s - 50*s. Is s prime?
False
Let a = -153065 - -78562. Is a/(-44) + (1 - (-5)/(-4)) a prime number?
True
Let g(h) = -558*h + 415. Is g(-17) a composite number?
False
Let r = 13 - 4. Suppose -7 - 1 = 2*y. Let o = r - y. Is o prime?
True
Let n = -17 - -30. Let l = -7 + n. Suppose 995 = -k + l*k. Is k prime?
True
Suppose -5*a + g + 51856 = 0, -4*a + 8*g - 6*g = -41486. Is a a prime number?
False
Let f = -12990 + 36175. Is f a prime number?
False
Let v(z) = -47*z**2 + 1 + 168*z**2 + 0 + 3*z + 0. Let t be 1/(-5) + 8/(-10). Is v(t) composite?
True
Suppose -6*l - 7*l + 2327 = 0. Is l composite?
False
Let m be 132/(-108) + (-2)/(-9). Suppose 3 - 7 = 2*r. Is r/5*(m - 294) a composite number?
True
Let l be (2*(-9)/6)/((-6)/4). Suppose 8 = 2*u - 0*u. Suppose -l*j - 240 = -4*s, 0 = u*s - 5*j - 206 - 46. Is s a prime number?
False
Let m be (-149)/5 - (-2)/(-10). Let t be (-9132)/5 + m/50. Let i = t - -2748. Is i a composite number?
True
Suppose -17*d - 14665 = -22*d. Is d a composite number?
True
Suppose -f - 5*g = -869, -5*f + 2*f = 3*g - 2655. Is f composite?
True
Let p(g) = -51*g + 214. Is p(-39) composite?
False
Let d be (-6 + 3)*(-4 - -3). Suppose d*r = 2145 - 594. Is r a composite number?
True
Let o = -11 + 14. Suppose -330 = -2*y + 3*p - p, -6 = o*p. Is y a composite number?
False
Let r(c) = 61*c - 108. Is r(17) prime?
True
Suppose 2*v + k - 165 + 543 = 0, 756 = -4*v + 3*k. Let q = v - -946. Is q a composite number?
False
Let t = -14 + 14. Suppose t = -9*v + v + 160. Is (-249)/(-4) + (-5)/v a composite number?
True
Let j = 9 - 15. Let n be j/(-1)*45/27. Is 314/n - 6/15 a composite number?
False
Let l be 61/(-7) - (-16)/(-56). Let h = 13 + l. Is (h/(-10))/((-4)/140) prime?
False
Let j(o) = -3*o - 8. Let w(n) = -13*n - 33. Let v(f) = 9*j(f) - 2*w(f). Let x be v(-6). Suppose 3*b - 363 = -x*b. Is b a prime number?
False
Let o(j) = j**3 - 4*j**2 + j - 1. Let n be o(4). Suppose -n*g + 6*g = 3*d, -9 = d - 4*g. Suppose l + 446 = d*l. Is l prime?
True
Let v(x) = 4*x**3 + 22*x**2 - 2*x - 12. Let p(t) = 9*t**3 + 43*t**2 - 4*t - 23. Let n(u) = -3*p(u) + 7*v(u). Is n(-25) prime?
False
Let v(c) = 2*c - 165. Let y be v(0). Is 1 - 7/(35/y) a composite number?
True
Suppose 0 = -8*f + 68217 + 38111. Is f a prime number?
True
Suppose 3*p = 521 + 6901. Is p composite?
True
Let x = -271 + 319. Let l be (0 + 34)*1/(-2). Let p = x + l. Is p composite?
False
Let l(w) = w**2 - 4*w - 16. Let f be l(7). Suppose -5*t = 0, f*v - 3082 = -3*t - 1047. Is v a prime number?
False
Let c(x) = -2*x - 13. Let j be c(0). Let t(n) = n**3 + 18*n**2 + 16*n - 8. Is t(j) a prime number?
False
Let k(a) be the first derivative of -2*a**2 + 9*a - 15. Is k(-12) composite?
True
Suppose 31*g = 304163 + 887198. Is g a prime number?
True
Suppose -9*g + 5*r + 41486 = -7*g, 5*g - 103715 = r. Is g a composite number?
False
Let m(h) = -52*h + 11. Let b be ((-2)/(-8))/((-2)/(-16)). Suppose p = -6 - b. Is m(p) prime?
False
Let r be (-1)/(0 + 1) - -3. Suppose -a + 1068 = -r*c, 0*c + 5340 = 5*a - c. Is (6/(-9))/((-8)/a) composite?
False
Suppose -30*h - k + 42546 = -25*h, 5 = 5*k. Is h composite?
True
Let l(s) = -3689*s - 30. Is l(-1) prime?
True
Let v(f) be the second derivative of -f**6/360 + f**5/120 + 13*f**4/24 + f**3 + 6*f. Let k(w) be the second derivative of v(w). Is k(0) a prime number?
True
Suppose 2*z = -3*z. Let i(n) = -n**3 - n**2 + n + 1929. Let p be i(z). Suppose -5*m - 4*o + 790 = -p, 2743 = 5*m - 2*o. Is m composite?
False
Let z(u) = u**2 + 12*u - 8. Let b be z(-13). Suppose -23 = -d - b*s, s - 7 = -d - 0. Suppose 15 = -3*w, -d*w = -2*l - 0 + 173. Is l