*l - 757. Is n(11) a composite number?
False
Suppose -34*y + 36*y + 66 = 0. Let w = 486 + y. Is w a composite number?
True
Suppose 55 - 45 = -5*p. Is (-4)/(32/73076)*p a prime number?
True
Suppose -247*j = -260*j + 1534546. Is j prime?
False
Suppose -2679*g + 9010687 = -2656*g. Is g a composite number?
True
Let z = -38 + 46. Suppose 2*h - z*h = -7974. Suppose 11 = 4*s - h. Is s prime?
False
Let t(c) = 279*c**3 + 3*c**2 - 4*c. Let y(u) = 838*u**3 + 8*u**2 - 11*u. Let d(l) = 8*t(l) - 3*y(l). Let b be d(-1). Suppose -2*r + b = -9. Is r prime?
False
Let g = -40 + 43. Suppose -229 = 3*d - 2*n + 125, -2*d + g*n - 241 = 0. Let k = d + 167. Is k a composite number?
True
Let x = 72 - 73. Let z(i) = -4698*i**3 - i. Is z(x) prime?
False
Let k = -29 + 260. Suppose k = 2*z + f - 0*f, f = -z + 116. Is z composite?
True
Suppose -2*g + 36504 = 6*g. Suppose 20389 = 4*c - g. Is c a composite number?
True
Let i be -18 + 14 - (3 - (-1 + -684)). Let f = 301 - i. Is f a composite number?
True
Let u = -7272 - -18104. Let y = u - 7324. Suppose -7*d + y = -3*d. Is d a composite number?
False
Let t(f) = -605 - 2*f**2 + 9*f + 507 + 6*f**2. Is t(-23) a composite number?
False
Let u(f) = 3*f**2 - 4*f - 6. Suppose 4*j + 32 = 8*j. Suppose -4*b + 8 = 2*s - 0, -3*s = 5*b - j. Is u(s) a prime number?
False
Is (3 + -8)*(-36 - 25183) a composite number?
True
Let d = 1049 + -551. Suppose -2*l - 5*t + d = l, 0 = -4*t. Is l a composite number?
True
Let m(g) = 1598*g + 47. Suppose -52*l - 36 = -61*l. Is m(l) prime?
False
Let w = -8 - 42. Let p be ((-1578)/5)/(3/w). Suppose 2*f + p = 4*j, -4*j + 2*f - 3959 = -7*j. Is j a composite number?
True
Suppose r - 137139 = -x, -4*x - 274222 = -2*r + x. Is r a composite number?
False
Suppose 4*f - 9740 = -2*q, 10*q - 5*q - 5*f = 24410. Let v = 12175 - q. Is v prime?
True
Is 1/4 - (-7 + 49709536/(-128)) a composite number?
False
Let f(u) = u**2 - 15*u + 59. Let g be f(7). Suppose -g*v - 13 = -19. Suppose -6*c = -v*c + p - 7556, -7556 = -4*c + 2*p. Is c a prime number?
True
Suppose 4*y - 13*w + 395 = -14*w, y - 4*w + 86 = 0. Let i = y - -535. Is i composite?
True
Is (-2 - 147112/(-9))/(182/819) a composite number?
False
Is -1*(1 - (-6)/(-9)) + 145970/15 a composite number?
True
Suppose -z = -12*q + 7*q + 23, -4*q + z + 18 = 0. Suppose q*a = 4*b + 8485 + 22746, 4*a - 24993 = -5*b. Is a a composite number?
False
Suppose -2476658 - 1015549 = -27*n. Is n prime?
True
Let h(t) be the first derivative of 8*t**3 - 29*t**2/2 + 218*t - 292. Is h(9) a composite number?
False
Let q(z) = 510*z**2 - 291*z + 34. Is q(15) prime?
True
Let m be (0 - 2 - 14) + (-105 - -112). Suppose -5*y + 12403 = -c, -2*c - 3*y - 24830 = -7*y. Is (-4)/(-6) + c/m prime?
True
Let w = -33 + 40. Suppose -4*f = -9 - w. Is 7340/(-25)*(-10)/f - -3 prime?
False
Let z = 126 - 118. Suppose -2*g - 4*f = -2472, -z*f + 4 = -4*f. Suppose -c + 6*u - u + g = 0, 4*u - 5008 = -4*c. Is c prime?
True
Let m = -90 + 86. Let s(i) = -29*i**3 - 3*i**2 + 3*i + 3. Is s(m) a composite number?
True
Suppose -19*p + 18*p = 2*i - 12, 0 = 4*i - 4. Suppose -50060 = -30*l + p*l. Is l composite?
False
Let m(x) = -x**3 - 16*x**2 - x - 13. Let v be m(-16). Suppose 59 = -v*w + 14. Is (-6)/w*(-2740)/(-4) a composite number?
True
Suppose -3*x - 4 = -16. Let l(z) = 37*z**3 - 2*z**2 + 19*z - 5. Is l(x) a prime number?
False
Let z be -1 + 14/18 + (-4)/(-18). Suppose -6*g - 9*g + 63435 = z. Is g a prime number?
True
Suppose 0 = 3*c - o + 5 - 13, 0 = c + 3*o + 4. Suppose -4*z + 2*l - 49 = -3*l, 25 = -c*z + 3*l. Is (-4)/22 + (-18229)/z composite?
False
Let j(s) = 9300*s**3 + 2*s**2 - 27*s + 80. Is j(3) prime?
True
Let a(d) = 17*d**2 - 2*d**3 + d**3 + 265*d + 34 - 267*d. Let m be a(17). Suppose z - 4*z - 3*s = -2022, 3*z - 4*s - 2015 = m. Is z prime?
True
Let a = -5 - -9. Let c(t) = 480*t - 19. Is c(a) prime?
True
Suppose -13 = -0*a - 3*a + 5*p, 3 = -5*a - 4*p. Let l be -7 - -7 - (a - -2*1). Is (-6386)/(-8) - 1 - l/(-12) a composite number?
False
Let j = 21501 - 7999. Let a = 3119 + j. Is a a composite number?
True
Suppose -u + 4211 = r, -34*r + 8422 = -32*r + 3*u. Is r composite?
False
Is 1/((-24)/157980*(-20)/16) composite?
True
Let r(u) = 17461*u**3 + 5*u**2 - 76*u + 147. Is r(2) a prime number?
True
Let v be (18 - 23)*14/2. Let d(h) = -137*h - 200. Is d(v) a composite number?
True
Suppose -a + 8*a = 42. Let b(v) = v**3 - 13*v**2 - v + 11. Let y be b(a). Let f = -104 - y. Is f a composite number?
True
Let v(c) = 15*c - 36. Let s(w) = 6*w**3 - w. Let l be s(1). Let k(i) = 30*i - 73. Let j(o) = l*v(o) - 2*k(o). Is j(15) composite?
False
Suppose -b + 4*b + 25978 = 5*p, 0 = -5*b - p - 43334. Let a = -1027 - b. Is a composite?
False
Suppose 2*i - 5*p = 39067, 4*i + p - 33399 = 44724. Is i a composite number?
False
Let a be (-1)/4 - (-483)/92. Suppose -17 = -4*h - a. Suppose -h*u = u - 1636. Is u a prime number?
True
Suppose 0 = -2*b + 4*j + 3024, -6*j + j - 3023 = -2*b. Let t be 2/(-4) + -2*b/(-8). Suppose t = 2*a - 1352. Is a prime?
False
Let b be 41706 + 0/(-7 - -3). Suppose -7*h - b = -25*h. Is h prime?
False
Let z(g) = 1222*g**2 - 12*g - 6. Let h be z(-4). Suppose -7211 = 3*w - d - h, 4*w + 5*d - 16479 = 0. Is w prime?
False
Let c(r) = 138*r**2 + 39*r - 1183. Is c(-66) a composite number?
True
Suppose 40*t + 35*t - 15520305 = -18*t. Is t a composite number?
True
Let d(u) = -43*u - 3 + 30*u**2 + 30*u**2 + 0*u**2 + u**2. Is d(-10) composite?
True
Let f = 77885 - -20172. Is f composite?
False
Is ((-2123070)/(-90))/((-2)/(-42)) a prime number?
False
Suppose 190*w + 16*w + 25*w = 3468003. Is w a composite number?
False
Let z(a) = 692*a + 133. Is z(24) a composite number?
False
Let p(h) = 2*h**2 + 13*h + 8. Let m be (-7)/28 - 37/(-4). Is p(m) a prime number?
False
Suppose -4 = 2*t - 22. Suppose t*c - 84608 = c. Suppose -c = -b - 441. Is b a composite number?
True
Suppose 0 = 3*f + 4*f - 3247014 - 1619057. Is f prime?
False
Is 891062/114 - 10/(-15) composite?
False
Let q(x) = 164*x**2 + 30*x + 305. Let o be q(-10). Is (2 + o/(-25))/(2/(-10)) a prime number?
True
Suppose -5*y - 3711 = -2*q, 2237 = y - 4*y - 4*q. Let v = y - -1540. Is v a prime number?
True
Let s(f) be the first derivative of -9*f**4/4 - 2*f**3/3 - 7*f**2 - 21*f - 151. Is s(-8) composite?
True
Suppose 3*t + 2*i - 151743 = 0, -3*t + 3*i + 77204 = -74539. Is t a composite number?
False
Let y(s) = 26*s + 12. Let q be (-3 - 50/(-15))*9. Let x be y(q). Suppose 249 = 3*o + x. Is o prime?
True
Let n = 240 + -697. Suppose 1 = c - 1. Is c - (n + -4 - 4) prime?
True
Let h be (141216/(-44))/8 + 4/22. Let o = h + 768. Is o a composite number?
False
Is ((-176)/(-66))/(16/19794) prime?
True
Let z = -638 + 640. Suppose -z*l + 13*x = 10*x - 7907, -11841 = -3*l - 2*x. Is l composite?
True
Suppose -5*i - 12 = -2. Let h be (i + -2)/4 + 1 + 2. Is (-1)/(-3) + 2290*h/12 a prime number?
False
Let x = 554923 - 5422. Is x prime?
False
Let b(h) be the first derivative of h**4/4 - 17*h**3/3 - 23*h**2/2 + 22*h + 2. Suppose 2*z + 2*z - 76 = 0. Is b(z) composite?
False
Suppose -13*u + 20*u = 0. Suppose 5*k - 765 - 2410 = u. Is k a prime number?
False
Let z(a) = 192*a**2 - 33*a - 2. Let i(f) = f**2 - 23*f + 31. Let n be i(22). Is z(n) composite?
True
Suppose 0 = -2*k - 4*l + 3 + 23, 0 = 3*k + 4*l - 31. Suppose -4*z + 1012 = -k*i, 3*z - 5*i - 405 = 354. Is z prime?
False
Let y(n) = -n**2 - 38*n - 275. Let q be y(-10). Suppose 31898 = 5*u - a, -6*u + 6394 = -q*u - 5*a. Is u prime?
True
Let k(u) = -u**3 + 11*u**2 - 19*u + 14. Let w be k(9). Suppose 4*p - 5*m + 124 - 517 = 0, 483 = w*p + 2*m. Let v = p + 142. Is v a composite number?
False
Suppose -5*j - 3 = -6*j. Suppose -j*a + 82 - 55 = 0. Let o(q) = 44*q + 11. Is o(a) a composite number?
True
Let r = 211 + -95. Suppose -466 = -3*o - 2*g, -5*o + 0*g + 798 = -2*g. Let b = r + o. Is b prime?
False
Suppose 0 = -4*a + 5*y + 1, 0*y - 3*y = -4*a + 7. Suppose 4*k + 2*g - 35718 = 0, -a*g = -5*k - 13627 + 58268. Is k a prime number?
True
Suppose 13*i - 362563 = 991127. Suppose 5*n - q - i = 0, -4*n - 3*q = -3*n - 20810. Is ((-3)/(-2))/(n/3470 - 6) composite?
True
Let f(r) = 1588*r**2 - 930*r + 1. Is f(5) a composite number?
False
Let v = 111 - 95. Suppose -17*a + 15 = -v*a. Is 93*((-4)/a + (-42)/(-70)) composite?
False
Let p = 393 - 353. Is (-57972)/3*(