Suppose -3*t - 2 = 10, c*u - 2439 = -4*t. Is u a prime number?
True
Suppose 1367*x = 1148*x + 20695281. Is x prime?
False
Let z = -85605 + 119896. Is z a prime number?
False
Let f = -29 + -7. Is (-7324)/f + (-12)/27 a prime number?
False
Suppose -5*t + 29 = 9. Let s be ((-1)/1)/(-7 + 13376/1912). Suppose t*b - 3173 = s. Is b a composite number?
False
Let g(x) be the first derivative of 7*x**2/2 - 21*x - 1. Let v(p) = 7*p + 97. Let z be v(-13). Is g(z) prime?
False
Let r(c) = 28*c**2 + 6*c**2 + 13*c + 35*c**2 - 89 + 10*c. Is r(11) a prime number?
True
Let v(d) = 8*d**2 + 17*d - 33 - 26 + 29*d**2 + 11*d**2. Is v(-16) a prime number?
False
Suppose -5*j = -u - 21, -4*j - 2*u + 17 = -3*u. Let v = 940 - 940. Suppose 5*x + 3*w - 5149 = v, -j*x + 2*w + 4243 - 115 = 0. Is x prime?
True
Let z(f) = 19*f**3 + 4*f**2 + f. Let a be z(3). Suppose 12*r + a = 20*r. Is r a prime number?
False
Suppose c + 3032 - 34483 = 3*l, -4*c - 3*l = -125744. Is c a prime number?
False
Let r = 13842 + -8624. Is r composite?
True
Let g(s) = -87093*s + 8. Let c be g(-1). Suppose -c = -13*k - 10*k. Is k a prime number?
False
Let m be ((-9)/(-18))/((-2)/(-34))*232. Let g = 3879 - m. Is g a prime number?
True
Let q = 2163184 - 1150038. Is q prime?
False
Let v(w) = 824*w**2 + 25*w - 29. Is v(-10) a composite number?
True
Suppose -5*p = -40*x + 45*x - 3217880, 0 = x + 2*p - 643573. Is x prime?
False
Let c(k) = 9825*k**2 + 141*k - 1019. Is c(8) prime?
True
Let w be (-6)/21 - (-2074)/7. Let f(m) = 6*m**2 - 29*m - 11. Let d be f(6). Let t = w - d. Is t composite?
True
Suppose 0 = -3*p + 5*t + 21 + 83, -5*p + 156 = -4*t. Let m be 36/28 + (-8)/p. Is 3 - (2 + (-690)/m) a prime number?
True
Suppose 11*v + 36*v - 588205 = -0*v. Is v prime?
False
Suppose -386440 = -16*h + 13*h + x, h + 2*x = 128811. Is h prime?
True
Let n(f) = 2*f - 2. Let z(p) = 181*p - 66. Let w(h) = -4*n(h) - z(h). Is w(-7) prime?
False
Let w(g) = 777*g**2 + 4*g - 8. Let u(p) = -152290*p**2 - 785*p + 1570. Let y(r) = 4*u(r) + 785*w(r). Is y(-1) composite?
True
Suppose -2*x = 18241 + 23487. Let q = -7883 - x. Is q a prime number?
False
Let l(z) = 367*z**2 + 215*z - 61. Is l(-16) prime?
False
Suppose 2*v - 70 = x, 0 = 4*v - 5*x - 5 - 135. Suppose -v*i + 26*i + 116811 = 0. Is i a composite number?
False
Suppose -9*x - 32306 = -80105. Is x composite?
True
Let x(c) = 7*c + 41. Let p be x(-3). Suppose -8793 = -4*u + 4*n - 369, p = -4*n. Is u prime?
False
Suppose 0 = 2*z + 2*k - 4846, 750 = -2*z - 3*k + 5599. Let c(b) = 106*b**2 + 3*b - 4. Let o be c(3). Let h = z - o. Is h composite?
True
Let a be 48/(6 - -2) + -4. Suppose 27358 = x - k, x - 5*x + a*k = -109432. Is x a composite number?
True
Let a be ((-6)/(-7))/(2/(-7)). Is 24 + 4383 - (-2 + 1 + a) prime?
False
Let b(p) be the first derivative of 3*p**4/4 - 4*p**3 + 31*p**2/2 + 19*p - 31. Is b(10) a prime number?
True
Let b(y) = 2*y + 26. Let u be b(-14). Let i(j) = j**2 + 1. Let z be i(u). Suppose -3*r = 3*p - z*r - 4417, 0 = 2*r + 4. Is p composite?
False
Let t be 14/385*-5 - 114/(-22). Suppose 4*j - 4*v = -6*v + 338, j + 4*v = 67. Suppose -j - 4298 = -t*o. Is o a composite number?
False
Let a(y) = -2*y**2 + 33*y - 383. Let o be a(14). Suppose z = 4*z + 582. Let b = z - o. Is b composite?
True
Let q = 3913 - 981. Suppose -3*r + q = r. Let b = r - 354. Is b prime?
True
Let w = 163 - 159. Suppose w*m - 333 = m + 3*v, 4*v - 361 = -3*m. Is m prime?
False
Suppose -7*s + 2*d = -10*s + 190559, -4*s = -d - 254097. Is s composite?
True
Suppose -2361385 = -19*b - 1856605 + 8308883. Is b prime?
False
Suppose 0 = 12*o - 9*o. Suppose 2*p - 316 - 416 = o. Let h = 5017 + p. Is h composite?
True
Suppose 55*o + 40*o - 4760330 = -51*o. Is o composite?
True
Suppose 410 - 1016 = -u. Let s = u + -411. Let j = s + -116. Is j a prime number?
True
Let l be ((-2300)/300)/((-2)/6). Let f(y) = y + 2. Let s be f(5). Suppose s*g = 6*g + l. Is g prime?
True
Suppose 0 = -12*i + 13*i - 3. Let x be (2/4)/((i/38)/3). Suppose x*n + 411 = 20*n. Is n prime?
False
Suppose 654709 = -25*f + 2601636 + 4393598. Is f a prime number?
False
Suppose -3*s - 4*i + 230120 = -464091, -3*s + 4*i = -694243. Is s a composite number?
False
Suppose 5*b - y + 6*y = 1131525, -2*y = -b + 226299. Suppose -b = 228*p - 235*p. Is p prime?
False
Let s = 34860 + -24617. Is s composite?
False
Suppose 3*d - 22 = -5*k, -2*d - 18 = -3*k + d. Let w = 550 + 501. Suppose 0 = 5*a + j - 0*j - 1733, -3*a + w = -k*j. Is a a composite number?
False
Suppose 2*t - 704 = 4*t. Let m = -105 - t. Suppose -502 = -x + m. Is x a prime number?
False
Suppose 9174 = 6*a + 124140. Let i = -13370 - a. Is i prime?
True
Let j be -1*544889*-1 - (160 + -159). Suppose -14*l + j - 50254 = 0. Is l a prime number?
False
Let w(m) = 7*m + 23. Let y be w(-3). Suppose y*a - 1161 = 1141. Is a a prime number?
True
Let k(a) = -4*a**2 + 58*a + 4. Let f be k(11). Let h = f - -104. Is h composite?
True
Suppose -6*a = a + 21. Let z be 1*(2 - (a + -613)). Suppose -4*s + 434 + z = 0. Is s prime?
True
Let d be 15/(-25)*-5*28/6. Suppose d*k + 10690 = 16*k. Suppose 12*h - k = 7*h. Is h prime?
True
Let h be -106*(-2)/(8/22). Let q = 2106 - h. Is q a prime number?
True
Suppose -8 = -52*g + 48*g. Suppose -x + l + 1667 = 0, 1458 + 1896 = g*x + 3*l. Is x a prime number?
False
Suppose -2*k + x = -12, 2 - 6 = x. Suppose -5*c + 1 = 6, -k*r = -c - 11489. Suppose -2*v = -4*w - r, -4*v = -v + 2*w - 4316. Is v a composite number?
True
Suppose 18*x + 1237 - 13999 = 0. Suppose x*g = 702*g + 8939. Is g a prime number?
True
Let m be (-8)/(-10) + 1995/(-25). Let f = m - -79. Suppose 4*n - n - 471 = f. Is n a prime number?
True
Let r = 2029 - -1102. Let b = -3220 - -1886. Let i = b + r. Is i a prime number?
False
Suppose 14174 = -4*j - 4*g - 11390, 19178 = -3*j + 2*g. Let t = 10833 + j. Is t prime?
True
Let c(g) be the third derivative of -3*g**6/40 - g**5/6 - g**4/6 + 22*g**3/3 + 78*g**2. Is c(-7) composite?
True
Let n = -88 + 91. Let t be (-8706)/12*((1 - 2) + n). Let i = -910 - t. Is i composite?
False
Let q(l) = 11*l**3 + 48*l**2 + 21*l + 26. Let s be q(-19). Is (-7)/(42/s) + -6 composite?
False
Let n(a) = 91*a - 59. Suppose -2*i = -33*i + 930. Is n(i) a composite number?
False
Let j(t) = -31051*t - 2183. Is j(-6) a prime number?
False
Suppose -2 - 1 = h, 4*t - 116 = -4*h. Suppose 12570 = -27*q + t*q. Let i = q - 1417. Is i a prime number?
True
Let r(s) = -s**2 + 15*s - 33. Let k be r(8). Suppose 293 = k*y - 22*y. Is y a composite number?
False
Let w = -137 - -136. Let n = 150 + w. Is n prime?
True
Suppose 4*s + 2*b - 15 - 1 = 0, 0 = -4*s - 5*b + 16. Suppose 0 = 4*h - 7*h + 36. Suppose -d - d = -3*n - 1039, h = -s*n. Is d a prime number?
False
Suppose 3*y - 16 = -1. Let k(n) = n**3 - 7*n**2 + 8*n + 10. Let o be k(y). Suppose o = -d + 490 + 769. Is d a prime number?
True
Let q = -78 + 70. Let m(s) = -4*s**3 + 2*s**2 + 12*s + 27. Let d(w) = w**3 + w**2. Let n(h) = -6*d(h) - m(h). Is n(q) a prime number?
False
Let i(t) = -5*t**2 - 17*t - 16. Let k(f) = f**2 - f + 1. Let x(v) = i(v) + 4*k(v). Let d be x(-20). Suppose -7*j + d*j = 2291. Is j composite?
True
Let v = 30 + -26. Suppose -f = 4*m - 1808, v*f = -5*m + 1390 + 881. Is m a prime number?
False
Suppose 3*k + j = 55442, -3*j = -174*k + 178*k - 73921. Is k composite?
False
Suppose 0 = -221*i + 114*i + 7638409. Is i a composite number?
False
Let n be (-4)/(-48) + (-1)/12. Suppose -19*w - 2*w + 113673 = n. Is w composite?
False
Let s(x) = -x**2 - 24*x - 40. Let f be s(-22). Let a(z) = 44*z**3 + 3*z**2 + 3. Is a(f) a composite number?
True
Let m = -52 + 62. Suppose -1 = -3*j + 4*v, -1 + m = j + 3*v. Suppose -j*w + 284 = -p, 5*w + 0*p + 2*p - 466 = 0. Is w a prime number?
False
Let a(c) = -4*c - 42. Let n(f) = 10*f + 29. Let o be n(-4). Let x be a(o). Is ((-1)/x)/(21/(-28686)) prime?
True
Suppose -c - 4*x + 34 = 0, -3*c + 32 = 5*x - 35. Let p(s) = 20*s**2 - 31*s + 55. Is p(c) prime?
True
Suppose 14*c = 4*b + 12*c - 20, c = -2. Suppose -b*q - g = -58857, 4*q + 5*g = g + 58872. Is q a composite number?
False
Let j = 367259 - 140206. Is j a composite number?
False
Let i be ((-2)/9*-21)/(2/57). Suppose 52 = -3*g + i. Is (-4)/6 + 0 - (-24831)/g composite?
False
Let s be -4 + (-1 + 2 - (-2395 + -42)). Let g(i) = -744*i + 14. Let d be g(-10). Suppose 4*u -