er?
True
Let y(x) = 3*x + x**2 - 12 - 5*x + 6*x + 19*x**2. Let t be y(-5). Let j = -61 + t. Is j prime?
False
Suppose -j + 4 = 2*j - 2*b, -14 = -3*j + 4*b. Let f be (j - 1309/(-5))/((-16)/(-80)). Let q = -778 + f. Is q a composite number?
False
Let a(o) = 6778*o**3 - 12*o + 17. Is a(2) prime?
True
Suppose 290*g - 15132401 + 6108885 - 5557394 = 0. Is g a composite number?
True
Suppose -2713664 + 546645 - 2310254 = -17*i. Is i composite?
False
Let s(d) = d**2 + d - 7. Let p be s(3). Suppose 4*n - 3 = 6*n - o, p*n + 12 = 4*o. Suppose n = -4*f - f + 1675. Is f composite?
True
Let k(u) = -3*u + 40. Let b be k(12). Suppose b*g - 26 = 86. Is (-2)/(-7) - (-133020)/g a prime number?
True
Is (-87989)/(-3) - 9/27*2 a prime number?
False
Suppose -153 = -3*x - 1209. Suppose -411 - 1282 = 3*m + 4*y, -1129 = 2*m + 3*y. Let d = x - m. Is d a prime number?
True
Let u(x) = 4*x**2 - 24*x + 75. Let q be u(13). Let n = -160 - -298. Let c = q + n. Is c prime?
True
Let a(c) be the third derivative of 0*c + 19/8*c**4 + 27*c**2 - 53/6*c**3 + 0. Is a(12) a prime number?
True
Let p = 145021 - 93314. Is p a prime number?
False
Let s = -22762 + 10088. Let q = 19385 + s. Is q a composite number?
True
Suppose 13*t - 538895 = -26747. Suppose 3*h - 5*v = 39384, 4*h - h - v = t. Is h prime?
False
Is (15/((-45)/4))/((-4)/23181) composite?
False
Suppose 0 = 3*f + f + 2*j - 42246, -4*f + 42243 = j. Suppose 0 = 12*a + 2004 - f. Is a composite?
True
Suppose -115920 = -7*n - 7*n. Let j be 15/(-1)*n/(-75). Suppose -3*x - l = -7*x + j, 0 = 5*x - 2*l - 2073. Is x a composite number?
True
Suppose 178084 = 5*c - 8*w + 7*w, -3*c + w + 106850 = 0. Is c a composite number?
False
Let q = 3539 + 5772. Is q a prime number?
True
Suppose 4*v = -3*a - 1254811 + 3438980, 0 = -5*a - 2*v + 3640249. Is a composite?
False
Let o = 148 - 144. Suppose 4*r + 35260 = 4*h - 0*r, o*r + 8803 = h. Is h composite?
False
Let j(m) = m**3 + 87*m**2 + 88*m - 145. Is j(-81) a prime number?
False
Let n(f) = -15*f + 9*f - 5*f**2 - 2*f**3 + 0*f**3 + 10 + f**3. Let u be n(-7). Let g = u + 143. Is g composite?
False
Suppose 0 = 8*w - 13*w + 40. Suppose -4*v = v + t + 2, -4*t = 2*v + w. Suppose 0 = -v*x + 5*x - 130. Is x a composite number?
True
Let w(t) be the third derivative of -13*t**6/60 + t**5/20 - 5*t**4/24 - 3*t**3/2 - 137*t**2. Is w(-5) composite?
True
Suppose -557712 + 111746 = -15*z + 175949. Is z a composite number?
True
Let f(y) be the second derivative of 755*y**4/12 - 7*y**3/6 + 7*y**2/2 - 86*y. Is f(2) composite?
True
Let r = 544 + 60. Let v = r - 263. Is v composite?
True
Suppose -75968 = 12*r - 4*r. Let m be (r/(-6))/(2/(-18)*-6). Suppose 2*n - 4*p + 360 = m, -2019 = -2*n - p. Is n a composite number?
False
Suppose -37*y - 7*y - 7*y + 40643277 = 0. Is y a prime number?
False
Let z = -696 + 705. Suppose -10*q + 320663 = z*q. Is q prime?
False
Let p(g) = -84*g**3 - g**2 - 2*g + 2. Let i be p(1). Let f = 70 + i. Is 9/15 - 1236/f a prime number?
True
Let m(s) = 4*s**2 - 9*s - 21. Suppose -22 + 72 = -5*v - 4*g, -2*v = 5*g + 20. Is m(v) prime?
False
Suppose -2*n + 3*w - 13 = -4*n, 2*n + 5*w - 19 = 0. Suppose -n*v + k - 14244 + 40824 = 0, -v - 2*k = -13295. Is v prime?
True
Let h = 241 + -237. Suppose u - 28947 = -4*d, 2*d - h*u = -9*u + 14469. Is d prime?
True
Let x = -2481 - -9692. Suppose -5*s - 2081 + x = 0. Suppose -q + 3 = 0, -3*f = -q + 2*q - s. Is f a composite number?
True
Suppose -8*w = -54*w + 92. Suppose 7619 = 5*d - 2*l, w*l + 2 = l. Is d composite?
False
Suppose -b = 186*d - 185*d - 262379, 2*b - 524770 = -4*d. Is b prime?
False
Suppose -207*f + 18 = -210*f. Let h(p) be the third derivative of -113*p**4/24 - 43*p**3/6 - 4*p**2. Is h(f) a prime number?
False
Let j(r) be the first derivative of r**4/4 - 11*r**3/3 + r**2 + 27*r - 18. Let d be j(11). Suppose 3*w = d + 560. Is w prime?
False
Suppose -27 = 7*c - 111. Suppose -9 = -7*h + c. Suppose -3*v - 2156 = -a - 8402, 2*v = -h*a + 4153. Is v a composite number?
False
Let h be ((-3)/2)/((-48)/64). Suppose -5*r = -h*u - 61, -6*r + 7 = -4*r + 5*u. Suppose -10*m + r*m - 679 = 0. Is m a composite number?
True
Suppose 33*j - 4*j = 290. Suppose 0 = j*v - 30318 + 328. Is v prime?
True
Let y(v) = v**3 - 12*v**2 + 58*v - 38. Let r be 460/40*(2 - 0). Is y(r) composite?
True
Suppose -4*q + 33590 = 3670. Suppose -p - 6664 = -x, -5*p + 5827 + q = 2*x. Is x a composite number?
False
Let d(l) = -l**3 + 16*l**2 - l + 17. Let z be d(16). Let j be (-3 - 0 - -2) + z + 370. Suppose -5*n = -3*t - j, n + t - 92 = -2*t. Is n a prime number?
False
Suppose -g + 17*y + 6 = 18*y, 0 = 2*y - 2. Suppose -4*m + 2248 = 2*j + 502, -g*j - 4*m = -4359. Is j a composite number?
True
Let w(l) = 3 - 4 + 13*l**2 + 3*l - 2*l. Let n(s) = -s**2 + 14*s - 36. Let c be n(10). Is w(c) a prime number?
True
Let r(v) be the third derivative of v**4 - 71/6*v**3 + 0 - 43*v**2 + 0*v. Is r(9) a prime number?
False
Let a = 1229 - 3985. Let k = -1432 - a. Suppose 0 = -h + 5*h - k. Is h a prime number?
True
Suppose 37070 = -9*p + 14*p. Let w = p + -3712. Suppose -17*y = -20*y + w. Is y a prime number?
False
Suppose -129*b - 357658 = -128*b. Is b/(-210) - (-6)/(-45) prime?
False
Let q = 587 + -428. Suppose t - 26 = q. Is t prime?
False
Suppose -2*u = -3*g + 484977, -27*u - 323316 = -2*g - 25*u. Is g a composite number?
True
Let m be (-2)/6 - (-9152)/(-39). Let r = 511 + m. Let a = -117 + r. Is a composite?
True
Let u(a) = -2*a. Let t be u(-2). Suppose 0 = -j - 4, -t*j + 673 = n. Is n a prime number?
False
Let v = 95230 - -37587. Is v composite?
False
Suppose 55*w - 56*w + 249 = 0. Suppose -3*h + 459 = -w. Let i = 394 - h. Is i a prime number?
False
Let f(v) = -152*v + 41. Let l be f(-2). Let a = l + -154. Is a prime?
True
Suppose 472 = -2*g + o - 771, -1872 = 3*g + o. Let k = g - -1432. Is k composite?
False
Let a be 7*4/(-42)*-6. Suppose -c - 4*s = -7125, 11*c - 28480 = 7*c + a*s. Is c prime?
True
Let h(t) = -3 + t**3 - 6*t**2 + 3 - 10 + 8*t - 2. Let g be h(5). Suppose -g*o + 5215 = 2*o. Is o a prime number?
False
Let v(i) = 4266*i**3 - 8*i**2 - 142*i + 971. Is v(6) prime?
True
Is (-47893)/6*234/(-39) a composite number?
True
Suppose r - 5*o = 110839, 3*r + 3*o - 332421 = 2*o. Is r a prime number?
False
Let h be ((-41136)/18)/(-8)*108. Suppose -2*n - q + h = 0, n - 24651 = -5*q - 9234. Is n a prime number?
True
Suppose -3*a + 6492 = -q + 34327, 0 = 3*q - 2*a - 83533. Is q a prime number?
True
Let c be (4 - (-6222)/15)*-15. Let f = c - -3499. Let q = -982 - f. Is q prime?
True
Suppose 5*m + 2*c + 105948 = 519125, m - 82653 = 4*c. Is m a composite number?
True
Let b(u) be the third derivative of 11*u**4/4 + 67*u**3/6 - u**2 - 52. Is b(14) a composite number?
False
Suppose 0 = -15*c + 36*c + 126. Is (-2)/3 + 0 - 22762/c a composite number?
False
Suppose m + 3*l - 265014 = 99874, -3*m + 4*l = -1094599. Is m a composite number?
False
Suppose -3*d = -0*d, 3752995 = 5*r + 4*d - 3*d. Is r a prime number?
True
Let r(s) = 976*s + 1793. Is r(21) a prime number?
False
Is (-30129281)/(-195) + 4/(-30) composite?
True
Let f = 4262 - 319. Suppose 4*y + 3*r = 3*y + 781, -5*y = -4*r - f. Is y prime?
True
Let v = -1053 - -562. Let k = 15524 - v. Is k prime?
False
Let c be 1100/165*(-12)/(-10). Let n(h) = 27*h**2 + 4*h + 41. Is n(c) a composite number?
False
Let d be (63/(-12))/(-7)*1*2032. Let x be (d/(-16))/((-2)/8). Suppose w + x = 4*w. Is w a prime number?
True
Let y(c) = -36*c - 3. Let q be y(-3). Let o = q + -120. Is (-1 + 1 - -568) + o + 12 prime?
False
Suppose 0 = -15*m + 3*m - 1728. Is (-1137720)/m + (-1)/(-6) a prime number?
True
Suppose 4368 = 5*q - 31912. Suppose -4*n + 7256 = -d, 3*d + q = 4*n - 2*d. Is n a prime number?
False
Let z = -100 + 43. Let d = -53 - z. Suppose -d*x + 2569 = 5*h, 4 = 5*h - 1. Is x a composite number?
False
Let r be 1/(3 + (-13992)/4665). Suppose -2*f - 6 = 0, -4*f = -2*j - 3*f + r. Suppose -5*l - 3*m = -j, 0 = 5*l + m + 3*m - 773. Is l composite?
False
Suppose -4*z + 4151 = 5*a, -3*a = -2*z - 2220 - 275. Let x = -33 - -245. Let q = x + a. Is q composite?
True
Let z(l) = -47*l + 8. Let w be z(0). Is (-11379)/((10 - w)/((-2)/3)) a prime number?
True
Let u = -170 - -171. Let b(k) = 1046*k - 7. Is b(u) prime?
True
Let j be (-495)/22 - (-6)/(-4). Let p be 30/j*8/(-2). Suppose -1255 = -p