2 + 68*r - 16. Is z(13) prime?
False
Let l = 23 + -21. Suppose -l*u - 4*i + 355 = -u, -4*u + 1477 = -3*i. Is u prime?
True
Let l = -163 + 387. Suppose 3*c = -c + l. Is (c/2)/(12/6) composite?
True
Let x(g) be the first derivative of g**4/4 - g**2/2 - 26*g + 1. Let c be x(0). Let z = 145 + c. Is z prime?
False
Suppose 0*d + 843 = d. Let t be 2/(-8) - d/(-12). Suppose -z + 39 + t = 0. Is z prime?
True
Is (-16 + 9 - -8) + (-2998)/(-1) a composite number?
False
Let g be (0 + 3)/(-1 + (-21)/(-12)). Suppose -4197 = g*f - 7*f. Is f prime?
True
Let x(d) = -141*d - 44. Let h(u) = u**2 - 10*u + 18. Let w be h(4). Is x(w) a composite number?
True
Let b be ((-1)/2)/(3/(-6)). Let v be 34/4 - b/(-2). Is (2/(-10))/(v/(-4005)) prime?
True
Let l(q) = 218*q**3 - 5*q**2 + 4*q - 6. Let s be l(3). Is (-5 - -7)/(6/s) a prime number?
True
Suppose j = -4*j + 1485. Let k(x) = x**3 + 13*x**2 + 11*x - 9. Let a be k(-12). Suppose 0 = a*w - 474 - j. Is w a composite number?
False
Let x = 3625 + 1708. Is x composite?
False
Is 2 - (-253077)/39 - (-8)/(-52) prime?
True
Let i(x) = 7*x**2 + 3*x + 2. Let n be i(-3). Suppose 3*d - 7 - n = 0. Is 7/d*(793 + 2) a prime number?
False
Suppose -245 + 53 = -4*m. Let f be (m/(-10))/(40/(-100)). Suppose 9*o = f*o - 147. Is o a prime number?
False
Let m = 6 - 1. Suppose 6*y - m*q = 2*y + 2759, -3*y = -5*q - 2068. Is y composite?
False
Let o(g) = 4*g + 3. Let v be o(-2). Let c be (8/(-14))/(v/35). Suppose 5*z - 2*b - 321 = -b, 2*z = -c*b + 146. Is z a prime number?
False
Let h = 6781 - 3158. Is h a composite number?
False
Suppose -5*h = -2*f + f + 459, 2*f - 940 = -h. Is f a composite number?
True
Let w = -6 - 0. Let y be 6/4*(-8)/w. Suppose y*n - 35 = n. Is n prime?
False
Let i = 407 - -151. Let w = i + -263. Is w a prime number?
False
Let k = 282 + -160. Suppose q - 55 = k. Is q composite?
True
Let p(z) = -z**3 - 14*z**2 - 14*z - 8. Let i be p(-13). Suppose -1438 = i*b - 7*b. Is b a composite number?
False
Let o(m) = -m - 1. Suppose 4*p = p - 12. Let q be o(p). Suppose q*w = -2*w + 155. Is w a composite number?
False
Suppose -9*r + 4710 = -6*r. Suppose -10*b - r + 18140 = 0. Is b a composite number?
False
Let b(n) = -3*n - 6. Let z be b(-3). Suppose 2*d + 5*a - 51 = 0, -z*a = -d - 0*a + 53. Let l = 45 + d. Is l composite?
False
Suppose -a - 3*t = -799, -2*a = 3*t - 41 - 1560. Suppose 3 + 13 = 4*v. Suppose 6*y - a = -2*d + 3*y, 5*d = -v*y + 1991. Is d composite?
True
Let n(m) = -27*m**2 - 7*m + 3. Let f(y) = -13*y**2 - 3*y + 1. Let i(w) = -5*f(w) + 2*n(w). Is i(2) a composite number?
False
Let j(t) = 416*t - 7. Is j(4) a composite number?
False
Suppose -13*p + 21040 = -24226. Is p composite?
True
Let k(u) = 187*u**3 - 10*u**2 - 13*u + 9. Is k(7) composite?
True
Suppose -10*w = -w + 33768. Let v = w + 7243. Is v a prime number?
True
Suppose -2*p + 7*p + 4*z + 6 = 0, -3*z = 2*p + 8. Suppose -4*t + o + 429 = 0, p*t - 3*o - 130 - 77 = 0. Suppose -5*l + 1157 = -t. Is l a prime number?
False
Let v(f) = -3*f**3 + 13 + 12*f - 13*f**2 + 11*f**2 + 6*f**2. Is v(-4) composite?
True
Let x = -5 + 14. Is 12/x*435/10 a prime number?
False
Let x(w) be the third derivative of 1/6*w**3 - 95/12*w**4 + 0 + 0*w + 4*w**2. Is x(-1) a composite number?
False
Let n be ((-24)/(-20))/(6/(-45)). Is (-7714 + 1)*3/n composite?
True
Let d(a) = 2*a + 166. Let j = 7 + -3. Let r be ((0/3)/j)/(-1). Is d(r) a prime number?
False
Let q = -1 - 23. Let n = q + 57. Is n composite?
True
Let z(q) = -q**2 - 5*q - 1. Let n be z(-4). Suppose -2*s = -3*d + 41, -s + 1 = -n*s - 5*d. Let v(y) = -11*y + 18. Is v(s) prime?
False
Suppose 0 = -19*t + 17*t + 3418. Is t composite?
False
Suppose 8 = -0*x + x. Let k be x/(-10) + 5238/(-15). Let q = 544 + k. Is q a composite number?
True
Suppose 0 = 3*l - u - 36 - 40, 0 = -5*l + 4*u + 115. Let i(z) = -z**2 + 28*z + 26. Is i(l) prime?
True
Suppose -6*o = -o - 15. Let a be -46*(o - 17/2). Suppose -5*n + a + 702 = 0. Is n prime?
True
Suppose 1 - 5 = -2*t. Suppose -5*l = -t*l. Suppose -68 = -l*a - 2*a. Is a composite?
True
Suppose 3*i - 6*i = -9. Let h(t) = -7*t + 0 + t**2 + 0 - 7*t**2 - 4 - t**i. Is h(-5) a prime number?
False
Let p = 108 - -95. Is p prime?
False
Suppose -63 = -5*y + 532. Let l = y + 86. Suppose h - 3*t + t - l = 0, 5*h - 1010 = -5*t. Is h a prime number?
False
Let d be 1/(-5) + 159/(-5). Let i(a) = -a**2 + 4*a - 1. Let o be i(-5). Let u = d - o. Is u composite?
True
Let t = 620 - 302. Suppose 0 = -b + 4*b - t. Is b prime?
False
Let w(i) = i**2 + 3*i + 7. Let o(y) = -3*y**2 - 7*y - 14. Let x(f) = -2*o(f) - 5*w(f). Suppose -c + 30 = -5*z, -2 = z + c + 4. Is x(z) prime?
False
Suppose 0 = -163*w + 166*w + 2*d - 93329, -4*d + 93331 = 3*w. Is w a composite number?
True
Let r(k) = -k**3 + 15*k**2 + 17*k - 16. Let m be r(16). Let i(v) = v**2 - 4*v + 1. Let h be i(5). Suppose m = -h*n + n + 745. Is n composite?
False
Let p be (-10)/(-20) - (-3)/2. Is p + (397 - 8/2) composite?
True
Suppose 3*h - h = 3094. Let s = h + -192. Suppose -4*o + s = o. Is o a composite number?
False
Let v(h) = 604*h - 207. Is v(5) a composite number?
True
Let x = 14 - 10. Suppose -4*j + 3*i + 8609 = 0, j + 2*j - x*i = 6455. Is j a composite number?
False
Let u(h) = -7*h + 1. Let i be (-21)/(-15) - 4/10. Let a be u(i). Let b(r) = 5*r**2 + 7*r - 7. Is b(a) a composite number?
False
Let h(t) = 18 + 7 + 4*t**2 - 12. Is h(6) a prime number?
True
Let q(v) = 2*v - 8*v - 9 - v. Let c(m) = -4*m - 5. Let t(g) = -5*c(g) + 3*q(g). Is t(-6) prime?
False
Let z(a) = 3*a**3 - 6*a**2 - 3. Let p be z(-6). Is (p - -5)*(-4)/8 a composite number?
False
Let l(c) be the first derivative of -c**4/4 + 14*c**3/3 + 9*c**2 - 11*c - 1. Suppose -91 - 74 = -11*f. Is l(f) prime?
False
Suppose -2*r + 3*n - 8 = 0, 2*r + 14 = -r + 5*n. Let x(v) = 125*v + 1. Is x(r) prime?
True
Is (((-6)/8)/3)/((-235)/46491460) prime?
True
Let u be ((-96)/(-6) - 14) + 1*3. Let q(k) = -k**3 + 6*k + 6*k**2 - 4 + 4. Is q(u) a composite number?
True
Suppose -1142 - 3400 = -6*i. Suppose -5*u = -20, 8 = -w + 3*u - 0. Suppose -2*t = -2*h + 502, 3*h + 3*t - i = w*t. Is h prime?
False
Let i = 4 - 2. Suppose n = i*f - 2, 2*n = -5*f - 0*n + 23. Suppose 0 = -2*d + f*d - 74. Is d prime?
False
Suppose 0 = 6*m - m. Suppose m = -3*o - 2*o. Suppose y + d = -o*d + 175, y = 4*d + 195. Is y composite?
False
Let x be 2/(-3) - 196/21. Let g be 4/6*(-75)/x. Suppose 276 = z - 5*r, 0*z + g*r + 1179 = 4*z. Is z a prime number?
False
Let q = -119 - -6472. Is q composite?
False
Suppose 0 = 3*z + 2*z. Suppose x + 0*x - 266 = z. Let a = x - 111. Is a composite?
True
Let c = -1508 + -3225. Let x = -3331 - c. Is x prime?
False
Suppose -18*f + 15*f = 0. Suppose -3*a - 394 = -5*a. Suppose f = 2*p - a - 437. Is p composite?
False
Let t = -35427 + 72166. Is t prime?
True
Suppose 2*h - 51 = 2*f - 3*h, -f - 2*h = 3. Let r(o) = -57*o + 28. Is r(f) prime?
True
Suppose 0 = 21*z + 383 - 21026. Is z prime?
True
Is ((-23)/(-7) - 3) + 378144/84 a prime number?
False
Suppose 191 + 264 = -5*l. Is (-2 - 0)*l/14 prime?
True
Let p = -749 + 2616. Is p a composite number?
False
Let g(u) = -u**3 + 19*u**2 - 20*u + 40. Let x be g(18). Suppose -x*s + 1409 = f, -5*s + 2*s = 2*f - 2828. Is f composite?
True
Suppose -h + 3 = -0. Suppose -2*d - h*i + 2247 = 0, 1120 = d - 0*i - 2*i. Suppose -4*b + 690 = -4*n - d, -b - 3*n = -437. Is b a composite number?
False
Let x = 9795 - 6202. Is x a composite number?
False
Let t(i) = 1129*i**3 - i**2 - 2*i + 2. Let n be t(1). Suppose 1589 = 3*r + 2*g - n, -r = 2*g - 903. Is r a composite number?
False
Suppose 0 = -2*g + 3*o + o + 3038, 4*g + 4*o - 6028 = 0. Is g prime?
True
Is 34/51*((-3338)/(-2) + 2) composite?
True
Let w(l) = 13562*l + 19. Is w(2) a composite number?
False
Let o(w) = w**3 - 13*w**2 - 39*w - 13. Let d be (-2)/(-11) + (-696)/(-44). Is o(d) a prime number?
True
Suppose 32*s + 3792 = 29*s. Let w = -701 - s. Is w composite?
False
Let p(c) = c + 3. Let n be p(7). Let s(v) be the first derivative of -v**4/4 + 10*v**3/3 + 13*v**2/2 + 11*v - 2. Is s(n) composite?
True
Let h(x) = 33*x - 63. Let t be h(8). Let z(k) = k**2 - 5*k + 5. Let o be z(5). Suppose m + o*f - 7 = t, 5*f + 15 = 0. Is m composite?
False
Suppose 4*r + 5*b + 6685 = 27907, -r + b = -5301. Is r a composite number?
False
Let o(r) be the third derivative of -r