 3*w - 441 = -0*w. Let t(q) = 133*q - 2. Let s be t(5). Suppose -s = -4*h - w. Is h a composite number?
True
Suppose -3*f + 340259 = -5*v - 826075, 0 = -2*f - 4. Is 4/(-10) - (v/20 - 2) a composite number?
True
Suppose l + 5 = 0, 4*f - 1911 = -0*f - 5*l. Let i = f + -147. Is i a prime number?
True
Is (1 - -28)/(13/871) prime?
False
Let a(d) = 13*d**2 - 12*d - 1. Let s be a(-13). Suppose -m = -5*j + s + 29128, -3*m = -j + 6310. Suppose 4*l = -l + j. Is l prime?
True
Suppose -u + 1501 = 7475. Let r = u - -9317. Is r prime?
True
Suppose -5*g - 3 - 4 = j, -g = -3*j + 11. Is -3*(-35 - (g + 4)) a prime number?
False
Let u(a) = 12*a**3 + 5*a**2 - 3*a - 2. Is u(3) a prime number?
False
Suppose -5*j = -5 + 15, 2*i - 2*j = 84720. Is i a composite number?
True
Let t be (-27)/5*(-10)/3. Suppose 6*g = 3*g + t. Suppose -g*l + 955 = -l. Is l prime?
True
Let i(v) = -1234*v + 293. Is i(-12) a prime number?
True
Let r = 2100 + -307. Is r composite?
True
Let g be (-2)/(-5) - 14/10. Let s be (-9)/(-3) - g - 1. Suppose -2068 = -7*p + s*p. Is p composite?
True
Is 8374/4*2 + 32/(-8) a prime number?
False
Suppose 0*f + 3*f - k - 6462 = 0, 4*k = 12. Is f prime?
False
Let y(i) = 5*i + 6. Let h be y(7). Suppose -h*q = -37*q - 84. Is q prime?
False
Let l(f) = f + 4. Let c be l(3). Let o = -3 + c. Suppose 1280 - 100 = o*a. Is a a prime number?
False
Let l(p) = -2*p**3 - 5*p**2 - 5*p - 9. Suppose 2*a = 10, -5*j - 5*a + 4 - 19 = 0. Let y = 1 + j. Is l(y) a prime number?
True
Suppose 8*p + 71348 = 12*p. Is p a prime number?
True
Let j = 208214 + -110137. Is j composite?
True
Suppose a = n + 191, 4*a + 101 = 5*n + 869. Is a composite?
True
Suppose 0 = 6*s + 14*s - 140780. Is s a composite number?
False
Let j be 397 + (-18)/12*(-6)/9. Suppose -3*h + 175 + j = 0. Is h a composite number?
False
Let p(c) = c + 9. Let o be p(-7). Suppose 5*s - 3*j = 10 - 22, 0 = o*s + j - 4. Suppose 5*i + 4*q - 167 = s, 2*i = 3*i + 5*q - 46. Is i a composite number?
False
Suppose 2*m - 8 - 2 = 0, 3*l - 2*m = 659. Is l prime?
True
Suppose -7068 = -3*q + k + 2603, 12890 = 4*q + k. Is q a prime number?
False
Suppose -2*j + 120785 - 26407 = 0. Is j a prime number?
True
Is (-105)/(-63)*2778/2 prime?
False
Let y(z) = 296*z + 121. Is y(3) a prime number?
True
Suppose 22 = 6*v - 14. Suppose -10*i + 3476 = -v*i. Is i composite?
True
Suppose -290*n = -262*n - 1635452. Is n composite?
True
Suppose -72 = 2*j - 3*j. Let a = j + 118. Suppose 4*x - 2*x = a. Is x a composite number?
True
Suppose 0 = 2*u - 47 - 7. Suppose 0 = -23*y + u*y - 2564. Is y prime?
True
Suppose 24 = 3*a - 5*s - 11, 0 = 4*s - 8. Suppose 0*w = 5*w - a. Suppose 0 = w*r - 9, 2*b + r - 1393 = 4*r. Is b a composite number?
False
Let r(x) = -x**3 - 6*x**2 + 13*x + 5. Let q(d) = -2*d**2 - 9. Let m be q(0). Is r(m) a prime number?
True
Suppose -3*x - 4*r - 1263 = -4*x, 3*x - 3772 = -5*r. Is x composite?
False
Let k(h) = h**3 - 7*h**2 + h - 10. Let u be k(7). Let p(a) be the first derivative of -a**4 - a**3 + 2*a - 2. Is p(u) a composite number?
False
Is (-385105)/(-105)*(-30)/(-2) a composite number?
True
Suppose -5909 = -2*p - n, -3*p + 4*p + 3*n - 2947 = 0. Is -1 - (p/1)/(-2) composite?
True
Let h(a) = a**3 + 15*a**2 - 12*a + 5. Let q be h(-10). Let c = -179 + q. Is c a composite number?
True
Suppose 448 - 1253 = 5*l. Let k = 250 + l. Is k a prime number?
True
Suppose 0*n + 2*l - 8 = -4*n, 0 = -4*n + 3*l - 2. Is 1226*n/(-2)*-1 a composite number?
False
Let p = -38 + 62. Suppose -5*u + 5416 = -l - p, -2*l - 10 = 0. Is u a prime number?
True
Let o(n) = n**3 - 6*n**2 - 7*n + 1. Let j be o(7). Let w(v) = 2 - 5*v - 3*v - 3*v + j. Is w(-5) a composite number?
True
Suppose 0 = y + 2, -3*z = 16*y - 13*y - 69615. Is z prime?
False
Let x = -39 - -58. Suppose 0 = 3*k - x - 41. Suppose -8*q = -5*q - 6, 3*q - k = -2*w. Is w composite?
False
Suppose -4*d = -2*d - 310. Let a = 414 - d. Is a composite?
True
Let y be (-2011)/(-5 - -5 - 1). Let n = y - 924. Is n a composite number?
False
Suppose 18*v + 27372 = 12*v. Let k = v + 7969. Is k composite?
False
Let v(t) = -t**3 + 3*t**2 + 5*t - 2. Let q be v(4). Let s be q + 3 - (-3)/(-1). Suppose -s*z + 3*o = -430 + 45, -5*z - 4*o = -951. Is z prime?
True
Is 8/(-52) - 7002114/(-182) a composite number?
True
Suppose -10*n + 2927 = -9*n. Is n a prime number?
True
Let i(z) = 2*z - 7. Let k be i(7). Suppose -4*m + u = -731, k*m + 4*u = 3*m + 716. Let p = 256 - m. Is p a prime number?
False
Suppose -2*q + 0*q + 8 = 0. Let p be q/((-4 - 2)/(-3)). Suppose 2*x = z - 465 + 40, 5*z + p*x = 2065. Is z prime?
False
Let c(h) = -3*h - 6. Let b be c(-5). Let a(w) be the third derivative of -w**6/120 + w**5/6 + 11*w**4/24 + 7*w**3/6 + 3*w**2. Is a(b) a composite number?
True
Suppose -j - 7626 = -2*j. Suppose -6*m - j = -12*m. Is m composite?
True
Suppose -2*n - 3*n - 15 = 0, 3*a + n + 195 = 0. Suppose 1113 = 6*h - 3*h. Let i = h + a. Is i prime?
True
Let x(c) = c**3 + 64*c**2 + 4*c - 50. Is x(-29) a prime number?
True
Let v be 3/(-4)*(-4 - 0). Suppose j - 91 = v*q, -214 = -j - j - 2*q. Is j a composite number?
False
Let s(r) be the second derivative of r**2 + 5*r + 0 - 1/3*r**3 + 7/12*r**4. Is s(-4) composite?
True
Let x(z) = -z**3 - z**2 - z + 59. Suppose -9*u = -12*u + 6. Suppose -2*n + s = u*s - 3, -4*n + s = 3. Is x(n) prime?
True
Let n(s) = s - 2. Let h be n(5). Let x(r) be the second derivative of 34*r**3/3 + r**2/2 + r. Is x(h) composite?
True
Suppose 7*u = 7530 + 16788. Let m = -5616 + u. Is m/2*-1 - 4 prime?
False
Let i(k) = -3636*k + 125. Is i(-6) a prime number?
False
Suppose -12*q = -17624 - 25420. Is q a composite number?
True
Let i be ((-540)/14)/(-5)*-49. Let g = i + 751. Let z = -242 + g. Is z a composite number?
False
Let t = -23 + 29. Suppose -t*o - o + 469 = 0. Is o prime?
True
Is 4 + 14532/(12/3) composite?
False
Suppose -3*l - 1113 = 3*n, n - 5*n - 2*l = 1494. Let s be ((-4)/6)/(14/(-20979)). Let h = n + s. Is h composite?
True
Suppose -6*l + 155 = 5*c - 4*l, 3*c + 4*l - 107 = 0. Let g = 390 + c. Is g a composite number?
False
Suppose -4*m + 21924 = -5*a - 16392, m - 5*a - 9594 = 0. Is m prime?
False
Let y(i) = i**3 - 13*i**2 + 10*i + 35. Is y(29) a composite number?
False
Let l be (0 - -1 - 0) + 3. Suppose l*g - 4*r - 1192 = 0, -434 = -4*g + 3*r + 763. Is g composite?
True
Let i(u) = 189*u**3 + u. Let j be i(1). Let f = j + 77. Is f a composite number?
True
Let c = -9964 + 106469. Is c a prime number?
False
Suppose 4*w - 1 = 7. Suppose 161 = w*x + 29. Suppose x = 3*k + 3*z, -8 = -k - 4*z + 2. Is k composite?
True
Let t(z) = -z**2 + 2*z + 3. Let y be t(3). Suppose 5*s + 3*x - 7 = y, 0*s - 3*s + 7 = -x. Suppose -7*d + 275 = -s*d. Is d composite?
True
Suppose -2*p + 104 + 98 = 0. Let o = p + 150. Is o prime?
True
Let d = 10613 + -5536. Is d a composite number?
False
Suppose -3*m + w = -57085, 3*m + 16191 - 73282 = -2*w. Is m a composite number?
True
Suppose 0 = 5*l + h - 11865, -2373 = -l + 2*h + h. Let b = l - 1634. Is b a prime number?
True
Let d be 6/(-8) - (-2230)/40. Suppose 4*s - d = 589. Is s a composite number?
True
Suppose -5*l - 17 = -s, -2*s = 2*s + 3*l + 47. Let n = s - -13. Suppose -u - 3 = 2*y - 16, 4*y - 23 = -n*u. Is y a prime number?
True
Let r(p) = 18836*p**3 - 4*p**2 + 4*p - 1. Is r(1) prime?
False
Suppose 0 = -66*h + 48*h + 8874. Is h a prime number?
False
Let s = 9 + -12. Let d(r) = -5*r**3 + 3*r**2 - 3*r - 2. Let j be d(s). Suppose -5*w - 2*t = t - 206, j = 4*w + t. Is w prime?
True
Suppose -6*b + 11*b = 20. Suppose 1761 = 3*o + b*g - 182, -2594 = -4*o - 2*g. Is o composite?
True
Let b(t) = 21*t + 2. Suppose -2*g - 15 - 5 = 0. Let d = 11 + g. Is b(d) prime?
True
Let s(c) = c**2 + 11*c - 5. Let y(u) = u**2 - 20*u + 6. Let g be y(19). Is s(g) a prime number?
False
Let u be 13/78 - 3185/(-6). Suppose -u = -0*n - 3*n. Is n composite?
True
Let d = -2 - 0. Let c = d + 1. Is (3 - (c + -145))/1 composite?
False
Let h(o) be the third derivative of o**6/120 - o**5/60 + o**4/24 - 2*o**3/3 + 6*o**2. Let a be h(0). Is a/14 - 2202/(-14) composite?
False
Suppose 25 = 5*x, -1115 = -4*g + 5*x + 2264. Is g a prime number?
False
Let j = 1881 + -1106. Suppose -2*a + 4721 = j. Is a prime?
True
Is 5/((-90)/(-4)) + 792734/18 a composite number?
False
Suppose 2*r = 4*c - 110 + 480, -5*r - 4*c + 939 = 0. Is r pri