z - 73 = 4*l, -z - w*l + 270 = 2*z. Is z composite?
True
Suppose 77 = 5*a - 103. Suppose 5*t - 411 = 2*w, t - 129 = -5*w - a. Is t composite?
False
Let l = 2 + 1. Is (-146)/(-4) - l/(-6) a prime number?
True
Suppose 0 = -4*q + 4*d + 40, -4*q + 5*d - 100 = -9*q. Let b = 6 + q. Suppose -3*l - 3*o = -0*l - b, 0 = 3*l - 5*o - 45. Is l prime?
False
Let a = 15 + -14. Is (-2 + a)/((-6)/1830) a prime number?
False
Suppose -t + 4*w = -1754, -4*t = -w - w - 7016. Is t prime?
False
Let j be 771 + (-3 - -7)*1. Suppose -8*n = -j - 241. Is n a composite number?
False
Let i(t) = t + 151. Let v be i(0). Let o be v/(-2) + (-3)/6. Let l = -29 - o. Is l prime?
True
Let l be -154 - 2/(2/1). Let i = 152 - l. Is i a composite number?
False
Suppose 0 = 2*z - 4*z. Suppose -3*a + 100 + 113 = z. Is a a prime number?
True
Suppose 3*t - 8*b = -4*b + 1433, -b = 5. Is t composite?
True
Let i be (-2)/11 - (-1060)/22. Suppose -r = -3*w + 5*w - 99, r + i = w. Is w a composite number?
True
Let b(p) = p**2 + 5*p - 13. Let d(g) be the third derivative of 13*g**6/120 + g**5/60 + 3*g**2. Let z be d(-1). Is b(z) composite?
False
Suppose -2*x + 172 = 4*o + x, o - 54 = 2*x. Let i = 5 + o. Is i prime?
False
Let j(v) be the third derivative of -19*v**4/24 - 3*v**2. Let g be 1/4 - (-15)/(-12). Is j(g) a composite number?
False
Suppose -4*x = y + 9, -2*y + 2*x + x = -15. Suppose 3*a = 0, -5*j - y*a = -56 - 14. Is j prime?
False
Let x(y) = 4*y - 1. Let v(h) = h**2 + 6 + 4*h - 4*h. Let i be v(0). Is x(i) composite?
False
Let y(k) = -k**2 + 6*k. Let f be y(6). Let a = -33 - -52. Let u = a - f. Is u a composite number?
False
Is 2998/4 - (-3)/2 a prime number?
True
Let z = 270 - -209. Is z prime?
True
Let x = 1 + -1. Suppose x = 3*y + 6 - 84. Is y a prime number?
False
Is (-3)/6 + 375/10 a composite number?
False
Let b be (-3)/((-12)/(-4)) + 1. Suppose -2*l + 6*l - 140 = b. Is l a prime number?
False
Let k = -160 + 81. Let i = -2 - k. Let w = 111 - i. Is w composite?
True
Let g(w) = -3*w**3 - 8*w**2 - 5*w + 7. Suppose -4*l = 10 + 18. Is g(l) composite?
True
Suppose -2*h = 3*h + 2*x - 1861, -5*h - 3*x = -1859. Is h prime?
True
Suppose -46 + 11 = 5*y - 5*n, -y + 5*n = 23. Let d = y - -5. Is d/9 - 1803/(-27) a prime number?
True
Let d(r) = r**3 - 4*r**2 + 4*r. Let p be d(3). Let g be (-5)/2*(-8)/10. Suppose 5*k - g*o - 66 = o, -p*k = -2*o - 39. Is k a prime number?
False
Let t be (24/20)/(6/20). Suppose 0 = -t*i - 15 + 39. Suppose i*f = 3*f + 177. Is f prime?
True
Let w(m) = -m - 10. Let p be w(-8). Is 93/p*2/(-3) composite?
False
Let h(q) = 12*q - 8. Let z be h(6). Suppose -68 - z = -4*x. Is x a prime number?
False
Let h = 862 - 559. Suppose 2*q - 3*q = 176. Let l = h + q. Is l a composite number?
False
Suppose -b + 5*b = 16. Suppose -3*r = -1 + b. Is 2 - -92 - (r + 1) a composite number?
True
Suppose -37 = -a + 4*b, -2*b = 2*a - 35 - 59. Suppose -a = -3*t - 0*t. Is t prime?
False
Let s = 10 + -8. Suppose -5*b + 361 = -3*i - 46, s*b - 3*i - 161 = 0. Is b a composite number?
True
Suppose -3320 - 2276 = -4*d. Is d prime?
True
Let s(k) = 3*k**2 + 13*k + 11. Let u be s(-8). Is u + -5 - (1 - 4) composite?
False
Let s(p) be the first derivative of 4*p + 6*p**3 + 5*p - 8*p - 1. Is s(-1) a composite number?
False
Let q(j) = 2*j**3 + 5*j**2 + j - 3. Is q(4) composite?
True
Let v(f) = -f**3 - 6*f**2 + 2*f + 8. Let d be v(-6). Let p = d + 3. Let w(s) = -162*s - 1. Is w(p) a prime number?
False
Suppose 2*t - 7*t = 3*d - 4006, -5*t - d + 4012 = 0. Is t a prime number?
False
Let f(r) be the second derivative of -r**5/20 - r**4/4 + r**3/2 + 3*r**2/2 + 8*r. Let l = -9 - -4. Is f(l) composite?
True
Is (-86544)/(-27) - (-1)/(-3) composite?
True
Let s be (-20)/(-2) + (5 - 3). Suppose 2*h + 4*b - 12 = 0, -4*h - 4*b + 4 = -s. Suppose h*w = -4*r + 50, -3*r + 24 = 2*w - 31. Is w a composite number?
True
Suppose 4*s - 2*s = 1112. Let z be (-2)/3 + s/6. Suppose k + 22 - z = p, 2*k - 125 = -3*p. Is k prime?
True
Let z be 2/6 + (-2)/(-3). Suppose -3*o - z = u - 81, -3*u = o - 32. Is o a composite number?
True
Let r(u) = 258*u**2 + u. Let i be 21/(-9) + 4/3. Is r(i) composite?
False
Is (-22)/((2/5)/(65/(-25))) a prime number?
False
Let i be 3/9*0 - 70. Let c = i + 98. Suppose 0*q - 4*q + c = 0. Is q a prime number?
True
Let y = 1790 + -1159. Is y a composite number?
False
Let a = 4 - 4. Suppose 195 = -5*g - a*g. Let t = g + 188. Is t prime?
True
Let m = 149 - 94. Is m a prime number?
False
Let r(s) = -s**3 + 5*s**2 + s - 4. Let w be r(4). Let t = w - 9. Suppose -t*y = -2*y - 325. Is y composite?
True
Suppose 6*q = 4*q + 370. Is q a prime number?
False
Suppose -5*k - 186 = -x, -3*k - 778 = -2*x - 2*x. Suppose j = -3*j + x. Is j a prime number?
False
Let i(k) = -k**2 - 5*k - 6. Let o be i(-8). Let l = 16 + o. Let h = l - -33. Is h a prime number?
True
Let k(z) = z**2 + 3*z + 8. Let t be k(9). Is t/8 + 1/(-2) a prime number?
False
Let d = 0 + 3. Suppose r - 2*r = 3*b - 158, d*r - 5*b - 488 = 0. Is r prime?
False
Let s(a) = 4*a**3 - 3*a**2 + 2*a + 2. Is s(3) prime?
True
Let z(c) = c**3 - 8*c**2 - 7*c - 11. Let b be z(9). Suppose -1 = -r + b. Suppose r*t = 3*t + 445. Is t composite?
False
Is (-2 - 434/(-6))/((-1)/(-15)) a composite number?
True
Let y(z) = -132*z + z**2 - 17 + 0*z**2 + 137*z. Is y(-12) prime?
True
Let z(o) = 18*o - 29. Is z(20) a prime number?
True
Let c(u) = -u**3 - 5*u - 16. Is c(-7) a composite number?
True
Suppose 0 = 3*j - 2*j - 1253. Is j a prime number?
False
Let d be -5 + 5 - -2*27. Let k = d + -29. Is k a prime number?
False
Let x(s) = s**3 + 8*s**2 + 7*s + 5. Let z be x(-7). Is 0/1 - (-80 - z) a prime number?
False
Suppose -5*y + y + 5*i - 122 = 0, -3*y = 2*i + 80. Is 14 - y - 3/1 a composite number?
True
Suppose -4 = -n + 2. Let o = -6 + n. Suppose 4*k - 196 = -o*k. Is k prime?
False
Let l = -60 + 91. Is l composite?
False
Let l = 292 + -81. Is l prime?
True
Suppose k + 17 = b - 507, -3*b + 4*k = -1575. Is b prime?
True
Is (10/(-6) + 2)/((-3)/(-29439)) a prime number?
True
Let f = -4 + 9. Suppose 0 = -f*a - 4*t + 1853, -3*t - 1116 = -3*a - 4*t. Is a prime?
True
Suppose -2*u - 2*u + 304 = 0. Is (1/(-2))/((-2)/u) prime?
True
Suppose -4*f + 638 = 2*r, 0*r - r - 4*f + 317 = 0. Is r a composite number?
True
Let q(o) = 835*o**3. Is q(1) composite?
True
Let o(z) = z**2 + z + 287. Suppose 3*f + 6 = 3, 0 = -4*d - 4*f - 4. Is o(d) composite?
True
Suppose 108 = 3*b + 21. Let j = 42 - b. Is j a composite number?
False
Suppose 15*u - 3 = 14*u. Suppose 0*n - 165 = -u*n. Is n composite?
True
Suppose 0*q + 70 = 2*q. Let f = q + 2. Is f a prime number?
True
Suppose 326 = 3*u - u. Is u composite?
False
Suppose 4*a - m = -3*m + 30, 3*a + m - 21 = 0. Is (a/12)/(2/484) a composite number?
True
Let x(s) = -273*s - 4. Is x(-1) prime?
True
Let j = -4 - -9. Let t(x) be the second derivative of -x**5/20 + 7*x**4/12 + 5*x**2/2 + 3*x. Is t(j) prime?
False
Let x(h) = -13*h - 4. Suppose 5*j - 2*v + 25 = 0, v - 1 = 4. Is x(j) composite?
True
Let n = 12 - 7. Suppose -w + 4*w + u - 34 = 0, -n*u = -4*w + 77. Is w prime?
True
Let x = -3 - -5. Suppose -15 = x*q - 517. Is q prime?
True
Let g(s) be the third derivative of -s**6/120 - s**5/20 + s**4/6 - 5*s**3/6 - s**2. Let f be g(-4). Is 1/f + (-532)/(-10) a composite number?
False
Let s = 17 - 14. Suppose -4*q - 3*p = -61, q + 3*p + 53 = s*q. Is q composite?
False
Suppose -2010 = -3*v + 4*l + 2359, -2*l = 8. Is v/9 - 8/36 a composite number?
True
Let d be ((-2)/(-4))/((-1)/(-6)). Suppose -57 = -b + d. Suppose 62 + 34 = 4*k - 5*x, 4*k + 4*x - b = 0. Is k prime?
True
Let d be (-4)/18 + 778/18. Let y = 125 - d. Let o = -5 + y. Is o prime?
False
Let f be 2 - -14 - (2 + -2). Is 20/f*2*6 a composite number?
True
Let m be (-18)/24*(-3 + -1). Suppose -m*w + 11 + 10 = 0. Suppose -3*p + w*f = 2*f - 67, -3*f - 6 = 0. Is p a composite number?
False
Let x be 6/(-9)*(-30)/(-2). Is x/(-25) - (-53)/5 a prime number?
True
Let d be (-10 + 3)*(-4)/14. Suppose 2*c + d*c - 676 = 0. Suppose 19 + c = 4*g. Is g a prime number?
True
Let v = 19 - 13. Suppose 3*l = -3*j + 42, l - 2*j + 79 = v*l. Is 2 + (l - -2 - 2) composite?
False
Suppose 0 = 2*t - 2 + 10. Let j be (-3)/(3*2)*t. Suppose j*m = -m + 66. Is m a composite number?
True
Let t = -1204 - -2091. Is t a prime number?
True
Let f(j) = -498*j**3 + 1. Le