 x*-2 + (9 - -1) + 0. Suppose 599 = u*i - 199. Is i a composite number?
True
Suppose -31*l - 25*l + 237118 = -7907130. Is l a composite number?
False
Let q(h) = h**2 + 9*h + 7. Let z be (6 + -33)*(-1)/(-3). Let g be q(z). Suppose -g*k = -3*k - 2116. Is k prime?
False
Suppose 0*x = -5*x + 10. Suppose 4577 = 5*a + 482. Suppose -5*z = -x*f - 813, 5*z + 4*f = -0*z + a. Is z a composite number?
False
Let k(h) = -2065*h**3 - 7*h**2 - 106*h - 5. Is k(-7) a prime number?
True
Let g = -2057 - -4030. Is g a composite number?
False
Let w(h) be the second derivative of h**4/12 - 5*h**3/6 - 121*h**2/2 - 2*h - 7. Is w(25) a prime number?
True
Suppose 85769 + 47371 = -21*n. Let s = -3419 - n. Is s prime?
False
Let k(p) = -68*p**3 - p**2 + 2*p + 2. Let r = -24 + 23. Let b be k(r). Let s = b + 28. Is s prime?
False
Let j = -81925 - -348563. Is j prime?
False
Let w(g) = 2*g**3 - 7*g**2 + 9*g - 15. Let x be w(4). Suppose -35*j - 8791 = -x*j + 3*c, 2*j - 2*c = 8788. Is j a prime number?
True
Let j be (2/(-2))/((-9)/(-32733)). Let z = j - -10320. Is z composite?
True
Let n(b) = -18*b**2 + 8*b - 8. Let r(k) = -1. Let t(u) = -n(u) + 5*r(u). Is t(13) a composite number?
True
Let d be 2/11 - 993471/(-451). Let j = 4404 - d. Is j a prime number?
False
Suppose 90*g + 12874525 = 115*g. Is g a composite number?
True
Let n(u) = -u**3 + 5*u**2 - u - 24. Let z be n(-8). Suppose 0 = i + c - z, -9*i + 6*i + 2*c = -2443. Is i prime?
False
Let i(y) = 2*y**2 + 29*y + 12. Let n be 1*(1/2 - (-4)/8). Let w be (-16 + -4 + 0 + n)*1. Is i(w) prime?
False
Let w = 9611 + 5790. Is w a prime number?
True
Is (5 - 9/(-6) - 5)/((-102)/(-13619924)) prime?
True
Let p(i) = -4*i + 13. Let d(o) = o - 1. Let s(c) = -5*d(c) - p(c). Let m be s(-29). Suppose m*r + 6244 = 25*r. Is r a prime number?
False
Let p(v) = -4*v + 6. Let n(k) = k**3 + 3*k**2 + k + 4. Let r be n(-3). Let a be p(r). Suppose -5*f + 871 + 1370 = -s, a*s - 1804 = -4*f. Is f prime?
True
Suppose 14*i - 56 = -28. Is (-4071)/(-3) + (i - 2) a composite number?
True
Let x(i) = 4*i**3 - 4*i**2 + 2*i - 9*i - 544 + 536. Let h be (-30)/(-4) + (-4)/8. Is x(h) composite?
True
Suppose 1034961 = z + 4*j, 8501972 = 8*z - 5*j + 222469. Is z a prime number?
True
Let x be (-2060)/(-12)*3 + -3. Let i(n) = -3*n**2 + 12*n + 11. Let g be i(-8). Let v = x + g. Is v composite?
True
Suppose -229*c + 5322737 = -176*c. Is c prime?
False
Suppose -364292 = -5*w - 3*n, w = 3*n + 46631 + 26231. Is w composite?
False
Suppose 38476 = y + 2*y + 5*c, -5*y + 3*c + 64138 = 0. Is y a prime number?
False
Suppose 31*o - 40*o = 36. Is 7/(((-6)/o)/((-42678)/(-12))) composite?
True
Let x be 526/(-6) - 40/(-60). Let v = x + 78. Let g(p) = -p**3 - 2*p**2 - 6*p + 8. Is g(v) composite?
True
Suppose 6*r + 37 = -41. Let w(g) = -52*g - 13. Let q(k) = -103*k - 27. Let m(c) = r*w(c) + 6*q(c). Is m(8) prime?
False
Let h(n) = -n**2 - n + 1. Let y(p) = 14*p**2 - 14*p + 12. Let t(f) = -3*h(f) - y(f). Let i(m) = -m**2 + 1. Let x(j) = 2*i(j) - t(j). Is x(14) prime?
True
Let s(q) = -2*q**2 + 34*q - 80. Let w be s(14). Suppose n - 5*z - 1000 = 4047, 4*z = w*n - 20236. Is n a composite number?
True
Let w = -20082 + 33941. Is w a prime number?
True
Suppose -b = m - 4*m + 7, 0 = -3*m - 2*b + 13. Suppose -m*p = p - 3*u - 7919, -u = -3. Suppose 5*s - 4*k = p, -2*k = 4*s - 4*k - 1582. Is s a prime number?
False
Let c = -1057 - -1684. Let y = 939 - c. Let a = y - 113. Is a a prime number?
True
Let k = -14 - -18. Suppose k*t = -3*t + 149590. Is t/8 + 3/(-12) prime?
True
Let g = 71 + -71. Suppose 5*b + 10 = g, 2*s - 8*b - 460 = -4*b. Let z = s - -129. Is z a prime number?
False
Let v = 611880 + -196999. Is v prime?
False
Is (715420/(-30) + 5)/((-4)/84) composite?
True
Suppose c - 5*c = 20. Let g(l) = -50*l**2 - 14*l - 4. Let i(t) = -150*t**2 - 37*t - 12. Let b(s) = 8*g(s) - 3*i(s). Is b(c) a composite number?
False
Suppose 2*y - 3*d + 10531 = -4*d, 5*y - 2*d + 26341 = 0. Let r = y - -10704. Is r a prime number?
True
Let j(l) be the second derivative of -43*l**3/6 + 37*l**2 - 19*l. Let f be j(24). Let b = 1389 + f. Is b a composite number?
False
Let q be ((-2)/6)/(2/12*1). Let b be (-1 - q)*(5 - 2). Suppose -b*d + 28 = d. Is d a composite number?
False
Let z(u) be the second derivative of -1300*u**3/3 + u**2/2 - 15*u. Let s be z(1). Let t = -962 - s. Is t prime?
True
Let m(i) = 8*i**2 + 6*i + 5. Let w(u) = -u**2 + 8*u + 2. Let b be w(8). Suppose -5*k + 4*n - 15 = 6*n, 6 = -b*k - 5*n. Is m(k) prime?
True
Let c(v) = 126*v**2 - 18*v + 3. Let a be c(-9). Suppose -3*s + a - 1374 = 0. Is s a prime number?
True
Suppose -7*p + 510 = 10*p. Suppose -4*t - 4*r = -p - 62, -3*t - 2*r = -65. Is t a composite number?
False
Suppose 5*a = 3*h + 22, -a - 8 + 46 = -3*h. Is ((-10)/(-5))/(h/(-20993)) composite?
False
Let w = -41 - -44. Suppose 0 = 4*x - w*x + 1554. Let c = x - -2263. Is c composite?
False
Let x(h) be the second derivative of 94*h**3 - 11*h**2 - 112*h - 1. Is x(17) composite?
True
Suppose 2*t + 5*p = 269602, 1736*p = 3*t + 1738*p - 404381. Is t a prime number?
False
Let o(u) = 2*u + 1. Let k(m) = -12*m**2 + 87*m + 7. Let t(y) = -k(y) + 3*o(y). Is t(19) a prime number?
True
Let v = 13 - 13. Let u(t) = -t**2 - 5*t + 1253. Is u(v) a prime number?
False
Suppose -5*u - 4*s + 2652537 = 0, 4*u - 2121964 = -382*s + 387*s. Is u a composite number?
False
Let x be (-14)/(-5) - 2 - (-240339)/(-55). Let y = -1916 - x. Is y composite?
True
Let p = -49 - -60. Suppose p = -2*d + 11. Let s(o) = o + 293. Is s(d) composite?
False
Suppose p + 2*r - 166321 = 0, 0 = -3*r + 4*r + 3. Is p a composite number?
True
Let y be (14/6)/((-1190)/510). Let p(t) = -1568*t + 4. Let z(s) = 1568*s - 3. Let n(r) = -6*p(r) - 7*z(r). Is n(y) prime?
False
Let v(k) be the first derivative of 13*k**3 + k**2/2 + 3*k + 1. Let s = -43 + 45. Is v(s) a prime number?
False
Let o be 2/10*652 + 4/(-10). Suppose -o*j = -131*j + 3409. Let n = -1514 + j. Is n composite?
True
Let n = 9941 + -17013. Let x = n + 10565. Is x a composite number?
True
Suppose 41 = 5*d - 29. Suppose 2*a - d - 78 = 0. Suppose -a*o - 55 = -47*o. Is o a composite number?
True
Suppose -5*b + 42413 = x, 2*x - 84816 = -7*b + 2*b. Is x a prime number?
True
Let t(q) = -316*q + 3817. Is t(-49) a prime number?
True
Suppose -54*z = -52*z - 6. Is ((-61564)/8)/(z/6*-1) prime?
True
Let b(x) = -x**3 + 6*x**2 + 7*x + 13. Let n be b(7). Suppose 7*y - 126 = n*y. Is ((-14)/y + 182/6)/1 composite?
False
Let v(s) = 8*s - 2. Let w be v(1). Is w/10 + 24524/10 a prime number?
False
Let r(t) = 149*t**2 - 13*t + 37. Suppose 0*l + 3*l + 4*n - 18 = 0, 12 = 2*l - 2*n. Is r(l) composite?
False
Let z(v) = 3*v**3 - 38*v**2 + 8*v - 87. Is z(26) a composite number?
True
Suppose -l + 5*i = -775507, 3*l - 111*i = -116*i + 2326561. Is l a prime number?
True
Let r(i) = 64*i**2 - 50*i - 199. Is r(-23) composite?
False
Suppose -1501*g = -1422*g - 322162. Is g composite?
True
Let o = 2294979 + -1615813. Is o prime?
False
Suppose 2*a - 8 = -t - 0*a, -5*t + 4*a = 2. Let j be 125 - (0 + (-2)/t). Let u = j - 67. Is u a prime number?
True
Let q(i) = 645*i**2 - 9*i + 103. Is q(5) a prime number?
True
Is (24/66 - (-77462350)/308)*(-2)/(-1) prime?
True
Let w be (-6)/(-2)*(1 + 133/(-21)). Let g(q) = -209*q + 63. Is g(w) a prime number?
True
Let x(k) be the first derivative of -k**2/2 - 13. Let r be x(1). Is r/6 + 3 + (-2701)/(-6) a composite number?
True
Suppose -4*j - 15336 = 20*j. Is (-4)/3*j/12 prime?
True
Let c(s) = 1043*s + 388. Is c(21) a composite number?
False
Suppose -6632 + 379970 = 50*c + 76*c. Is c composite?
False
Let a(r) = r**3 + 2*r**2 - 5*r - 2. Let c be a(-3). Suppose c*v = -3*g + 4*g + 16613, 5*v = -4*g + 20761. Suppose 0 = -2*n + v - 1479. Is n a composite number?
True
Suppose 11*a - 19*a = -144. Let p = a - -11387. Is p a composite number?
True
Let u = 283667 - 124758. Is u a composite number?
False
Suppose 0 = -3*b - j - 8, 47*b - 52*b + 4*j + 15 = 0. Is (-64566)/(-81) - b/(-9) composite?
False
Suppose 0 = -z + 9*z - 12792. Suppose -4*r + 1357 = -z. Is r composite?
False
Let y(w) = -4*w - 21. Let l be y(-6). Suppose -2*a - 5 = l*n, -2*a + 5*n + 4 + 31 = 0. Is (-17)/(510/(-22464)) - (-1)/a a composite number?
True
Let a(s) = 140*s - 13. Let c be a(-5). Is (c - 6)*(-3)/3 a composite number?
False
Suppose 0 