3. Suppose 0*d = -d + 1, -h*d = -j + b. Is j a composite number?
True
Suppose 7*t - 2*t = -60. Let x = t - -45. Is x prime?
False
Suppose -z + 3*p + 9 = 0, 5*z + 4*p - 13 + 44 = 0. Is 3/1 + 97 + z composite?
False
Let m be 195*((-4)/(-3))/(-2). Let k(a) = -46*a**2 - a. Let t be k(-1). Let c = t - m. Is c prime?
False
Suppose -c - 5*w + 784 = 2*c, 2*c - 5*w - 531 = 0. Is c a composite number?
False
Suppose a = -7*f + 3*f - 16, -a + 4*f = -16. Suppose 2*m - 7*m + 235 = a. Is m composite?
False
Let u = 310 + -97. Is u a prime number?
False
Suppose g + 39 = 2*g. Suppose -g + 8 = -m. Is m a prime number?
True
Let d(a) = 6*a - 8. Let j be d(7). Let p = -3 + j. Is p a composite number?
False
Let g(q) = -8 - q**2 - 6 + 3 - 10*q. Let k be g(-8). Is 2/k + 96/10 a composite number?
True
Suppose 805 = 5*m - 0*m. Is m prime?
False
Is 4*1 + (-43)/(-1) a composite number?
False
Suppose -5*a - a + 1002 = 0. Is a a composite number?
False
Suppose d = -d + 4. Let l(s) = s**3 + d + 9*s**2 + 3*s**3 - 7*s - 3*s**3. Is l(-7) prime?
True
Let g be 34/6 - (-2)/6. Let o = 31 + g. Is o prime?
True
Let t = 320 + -129. Is t a composite number?
False
Let k(w) = w**2 + 7*w. Let s be k(-7). Suppose 0*r + 5*r = s. Suppose r = -c + 6*c - 130. Is c a prime number?
False
Let r(c) = c**2 - 14*c + 4. Let q be r(10). Is (-12)/q + 2812/6 composite?
True
Let t(y) = y - 4. Let h be t(5). Suppose 0 = -3*k + 5*w + 5, -h = -2*k + 3*w + 3. Suppose 320 = k*s - 5*p, -5*s - 3*p + p + 341 = 0. Is s a composite number?
False
Let t(k) = k**2 + 2*k - 1. Let x be t(-3). Suppose 60 = x*z + z. Suppose 4*w - z - 104 = 0. Is w prime?
True
Suppose 64 = 5*y - 571. Is y prime?
True
Let l = -268 - -521. Is l prime?
False
Let i = 2 + -4. Is 0/i + 38 + -1 a composite number?
False
Let h(a) = -a**2 - a**2 + 2*a**2 - 2*a + 2*a**2. Let l be h(2). Suppose 3*u + 97 = l*u. Is u a prime number?
True
Is (-1)/(-4) - (-20625)/44 a prime number?
False
Let z(u) = -u**2 - 2*u. Let i be z(-2). Suppose -3*y + c + 16 = 0, 6*y + 2*c = 5*y - 4. Suppose i = 6*o - 2*o + 2*k - 20, -y*o + 32 = -k. Is o prime?
True
Let r = 267 + 70. Is r prime?
True
Suppose -4*l + i + 5 = 0, l + 4*i + 20 = -3*l. Suppose l - 2 = -w. Is -3*6*(-1)/w composite?
True
Let l = 2206 + -1484. Suppose 0 = -5*b + z + l, -b + z + 136 = -2*z. Is b a composite number?
True
Let d be (-1 + 0)*(-5 + 1). Suppose 5*l - 205 = -3*f + 185, -3*f = -d*l + 285. Suppose -4*a - a + l = 0. Is a composite?
True
Let t(l) be the first derivative of l**3/3 - 4*l**2 + 13*l - 3. Is t(9) a prime number?
False
Let j(h) = -23*h + 2. Is j(-3) composite?
False
Let t be (3 - -2)*752/10. Suppose -5*b - 2*k - 209 = -646, t = 4*b - 5*k. Is b a prime number?
True
Let s = -2 + 3. Suppose -5 = 3*b + s. Is (-2)/(-2) + (-156)/b prime?
True
Let d be (-228)/(-30) - 4/(-10). Is 78/d + (-1)/(-4) a prime number?
False
Let x = 790 + -531. Is x composite?
True
Is 3/(6/2540)*1/2 a composite number?
True
Let p = -2526 + 3785. Is p a prime number?
True
Let n = 2 + 0. Suppose -4*f - 152 = n*o, -4*o = f - o + 28. Is 5/(-2)*f/4 prime?
False
Let x = 27 - 11. Let g be (-5)/5*x/(-2). Is ((-26)/g)/(2/(-8)) prime?
True
Suppose 2*s + j = 281, 0 = 4*s + 5*j - 583 + 12. Suppose 3*t - 30 - 52 = -2*p, -5*t + s = p. Let o = 21 + t. Is o prime?
False
Suppose -y + 4*n = -16, 2 = 2*y + n - 3. Suppose 0 = y*b + p - 346 + 76, -3*p = 2*b - 140. Is b prime?
True
Suppose -3*p = -9 + 3. Is -113*3/(-6)*p prime?
True
Let a be 3 - (12/(-3) + 2). Suppose -2*t - a - 1 = 0. Is (14/4)/(t/(-12)) prime?
False
Let v = -60 - -91. Is v prime?
True
Let g(m) = m + 6. Let u be g(0). Let l be (u/4)/((-2)/4). Let b = 6 + l. Is b a composite number?
False
Suppose -4*m + 5*b = -0*b - 2189, m = -5*b + 516. Is m a prime number?
True
Let z = 8 - 3. Suppose -177 = -z*y + 158. Suppose -3*i + i + 153 = 5*o, -5*i = -2*o + y. Is o a composite number?
False
Let w(s) = 197*s**2 - 2*s - 2. Is w(3) prime?
False
Suppose -4 = -4*p + 12. Suppose f - 3*d = 154, -p*f + 3*d = 2*d - 649. Is f composite?
False
Suppose 0*y - o + 22 = y, 4*o - 111 = -5*y. Is y a prime number?
True
Suppose 2*k = 2*r + 2*r + 16, 0 = -3*k - 4*r + 4. Suppose -2 = w - 4*c - 0, 0 = 5*c - 15. Is k/w - (-53)/5 a composite number?
False
Suppose -8*c + 465 = -3*c. Is c prime?
False
Let t(s) = 17*s**2. Let q be t(3). Let n = -16 - q. Let u = n + 287. Is u composite?
True
Let c(k) be the third derivative of k**4/24 - k**3/3 - k**2. Let g be c(4). Is (2 - 0/(-2)) + g a composite number?
True
Suppose -4*u - 2*p = -3*p + 29, 5*u - 5*p + 40 = 0. Let a(k) be the third derivative of k**5/30 - 3*k**3/2 - 15*k**2. Is a(u) prime?
True
Suppose 0 = m + 2*i - i, -2*i - 20 = -3*m. Suppose 3 - 8 = -d. Suppose u = 2*c - 37 - d, -m*c = -3*u - 88. Is c a composite number?
False
Suppose 0 = 5*j - 7*j + 826. Is j composite?
True
Suppose -22*t = -17*t - 9710. Is t a composite number?
True
Is 1/6 - (-107125)/30 a composite number?
False
Suppose -78944 = -3*x - 3*d - 15956, -3*x + 5*d + 62964 = 0. Is x prime?
False
Suppose -2*y + 14 = -38. Suppose -4*u + 170 - y = 0. Suppose u = 5*a - a. Is a prime?
False
Let o(c) be the third derivative of 98*c**5/15 - c**4/24 + c**2. Let y be o(-1). Suppose m + 2*m - y = 0. Is m a prime number?
True
Suppose 5*c - c - 20 = 0. Suppose n + 3*h - 25 = 0, 0 = -4*n + 3*h + 41 - 16. Suppose s - n - c = 0. Is s prime?
False
Let y(i) = 7*i**3 - 2*i**2 + 3*i - 1. Let c be y(2). Suppose -4*d = -s + c, -5*d - 76 + 235 = 3*s. Is s composite?
False
Let p = 216 - 97. Is p prime?
False
Let i(q) = -q + 20. Let u be i(14). Let o(j) = 6*j**2 + 6*j + 7. Is o(u) a composite number?
True
Let p = -1 + -2. Let w(b) = -12*b - 3. Is w(p) a composite number?
True
Let u be 1/(-5) - (-22)/10. Suppose -u*w - 91 = 65. Is (w/(-9))/((-2)/(-3)) a prime number?
True
Suppose -2066 + 390 = -4*f. Is f prime?
True
Suppose 5*u - 4*b - 6 = 2*u, -u = b - 2. Is (u - 900)*1/(-2) composite?
False
Let k be (6 - 3)*2 - 0. Let q = k - 4. Suppose q*p = p + 94. Is p prime?
False
Let l = -770 + 1291. Is l a prime number?
True
Let i = -63 + 92. Let r = -21 + i. Let m = 14 - r. Is m composite?
True
Let o(x) = -1106*x + 9. Is o(-2) a composite number?
False
Let s(y) = 38*y**2 + 3*y + 2. Is s(-1) prime?
True
Let a be (-6)/4 - 1/(-2). Let k(j) = -296*j - 1. Is k(a) prime?
False
Suppose 2*t - t - 2 = 0. Let l = t - 8. Is (3 - 0)*(-30)/l prime?
False
Suppose 7 - 3 = 2*a. Suppose 0 = w + a*w - 12. Is 8/(-2)*(-31)/w a prime number?
True
Let r(v) = -2*v**2 - 3*v + 5*v + 8*v**3 - v. Is r(2) composite?
True
Is 3/4 + 1682/8 a prime number?
True
Let b be 119/14 - (-1)/2. Suppose -2*u - 3*u + 5*o = -430, -3*o = -b. Is u composite?
False
Let a = -634 + 2729. Is a a prime number?
False
Suppose -6*s = -5*s + k - 2153, 8588 = 4*s - 2*k. Is s prime?
False
Suppose -3*n - 8200 = -7*n. Let m be 12/(-28) + n/14. Is (6 + -5)*(m - 0) prime?
False
Is 3*422 - (-1 - (-3 + -1)) a composite number?
True
Let i be ((-12)/(-9))/(2/6). Suppose -b - 2*f = -i, 0 = -3*f - 5 - 4. Is 37/5 - 4/b composite?
False
Suppose -7*l + 4139 = -404. Is l a prime number?
False
Suppose 0 = t + 4*f + f - 1506, -5*t = -2*f - 7395. Is t prime?
True
Let l be (-2)/(-6) - 10/(-6). Let y(c) = -l + 5*c**2 + 4 - 1. Is y(1) a composite number?
True
Let s(j) = j + 3. Let m be s(2). Suppose -10 = -2*i, m*w - 2*i - 418 = -58. Is w composite?
True
Let d be 20/8 + 2/(-4). Let y be (-1)/2 + (-19)/d. Let q = 45 - y. Is q prime?
False
Let q = 28 + -19. Let v(s) = -s + 11. Let g be v(q). Suppose -n + g*n = 6. Is n a composite number?
True
Suppose 6*j - 2*j - 17 = -5*h, 5*j = 4*h + 11. Suppose -j*t + 415 = 2*t. Is t prime?
True
Let p(g) = g**2 - 12*g + 11. Let l be p(11). Let m(a) = a + 259. Is m(l) composite?
True
Let h = 2 - 0. Suppose -4*v = -0*v + 4*q - 156, 5*v - 174 = h*q. Let m = v - 13. Is m prime?
True
Let x(o) = -18*o - 1. Is x(-3) a prime number?
True
Suppose 6710 = 5*n - 95. Is n prime?
True
Is -2*((-1145)/10 - 5) composite?
False
Let j(b) = -179*b - 4. Is j(-7) composite?
False
Suppose -5*d + 67 = -3*y - 48, -2*y - 30 = -d. Suppose -3*s - 2*s + d = 0. Suppose 0 = -s*h + 42 + 94. Is h prime?
False
Let q(h) = 12*h**3 - 5*h**2 - 12*h - 17. Let a(b) = 4*b**3 - 2*b**2 - 4*b - 6. Let r(t) = 8*a(t) - 3*q(t). Is r(-2) prime?
True
Suppose 4 = -4*v - 0. Is (-84)/(-2 + v) + 3 a composite number