t r = -11 - -205. Is r prime?
False
Suppose 0 = -b - 0*n + n + 19, 0 = 2*n + 10. Is b a composite number?
True
Suppose f = 65 + 246. Suppose 2*p + 5*y + 0*y = 219, -3*p - 4*y = -f. Is p a composite number?
False
Let h be 9/2*2/3. Let f be 3789*(-2 - (-7)/3). Suppose h*b = 2*r + f, b + 5*r = -3*b + 1661. Is b a composite number?
False
Let u(m) = m**3 + 12*m**2 + 9*m - 3. Is u(-11) composite?
False
Let w be (-3)/((-1)/(-37)*1). Is (-1)/2 - w/2 a prime number?
False
Let p = 12 - 9. Suppose p*s + 3415 = 8*s. Is s composite?
False
Is (-2981)/(-9) + 14/(-63) a prime number?
True
Let c(g) = g**2 - g. Let i be c(2). Suppose 4 = -2*z - i*v - 2, 4*z + 2*v + 8 = 0. Is (-76 + 1 + -2)*z a prime number?
False
Let k = 674 + -217. Is k a prime number?
True
Let h = -69 + 36. Is (h - -5)*6/(-8) prime?
False
Suppose -5*g = 0, w - 2 - 4 = -4*g. Suppose -2*o + w*o - 12 = 0. Suppose 0 = -2*y + 4*u + 46, y = -4*u + 2 - o. Is y prime?
False
Let p be (-3 - 0)*(-5)/3. Suppose p*u = -0*u + 175. Is u prime?
False
Suppose 6*s + 595 = 1717. Is s prime?
False
Suppose -3*k = -6*k + 1023. Is k a composite number?
True
Suppose -134 = -2*h + 176. Suppose 2*f - 234 = -4*n, -181 - h = -3*f - n. Is f composite?
True
Let f = 0 - 1. Let y(r) = 2*r - 1. Let h be y(f). Is h/(1 + 2) - -114 composite?
False
Suppose 5*p = 21 - 6. Suppose 0 = p*r - 2*r. Suppose 3*s + 0*s - 66 = r. Is s composite?
True
Let v(j) = -8*j - 29 - 6*j + 24. Is v(-4) a composite number?
True
Let h(k) = k**2 - 14*k + 18. Let o be h(13). Suppose -2*b = -4*y + 102, 0 = -o*y + 3*y + 4*b + 66. Is y a composite number?
False
Let h(z) = 17*z**2 - 5*z - 7. Suppose -6*y - 20 = -2*y. Is h(y) composite?
False
Is 6729/15 + 4/10 a composite number?
False
Suppose -l - 2*q - 26 = -4*l, 0 = -2*l + 4*q + 12. Suppose 0 = 3*y - 241 + l. Is y a prime number?
False
Is (2/7)/1 - (-81537)/21 composite?
True
Suppose -4*g + 5*z - 2*z - 31 = 0, -2*g - 2*z = -2. Let q = g - -6. Suppose 3*y = q*y + 47. Is y a composite number?
False
Let q(y) = 2*y**2 - y - 3. Let x be q(-2). Suppose f - 82 = x. Is f a prime number?
True
Let y = -4 + 14. Let p = y - -15. Is p prime?
False
Let t(m) be the second derivative of -m**6/120 + m**5/6 - m**4/8 + m**3/6 + m**2 - 2*m. Let z(k) be the first derivative of t(k). Is z(6) prime?
True
Let j(m) = -24*m - 17. Is j(-9) prime?
True
Let k = 9 + -3. Let m(g) = -1 - 8*g + 0*g**3 - 7*g**2 - 4 + 2*g**3. Is m(k) prime?
True
Suppose -5*b + 2*a = -a - 7, -a + 1 = 0. Suppose -4*c + 388 + 21 = p, 3*c - 304 = b*p. Suppose c + 46 = 2*i. Is i a composite number?
True
Suppose 0 = 4*d + t - 4*t + 23, -3*t + 9 = 3*d. Let c = -5 - d. Is (-6)/c + 59 + -2 composite?
False
Let g(l) = 2*l**3 + 8*l + 4. Let d be g(7). Suppose 214 = q + f, 306 = 5*q - f - d. Is q a composite number?
False
Let h = 13 - 11. Suppose 0 = -x - h*x + 633. Is x composite?
False
Is -62*(-4 - (-7)/2) a composite number?
False
Is (887/(-2))/((-4)/8) a prime number?
True
Suppose 4*f - 4 = 2*g, 3*f - 6 = 2*g - 5. Suppose -f*z - z - 416 = 0. Is z/6*(-3)/2 a composite number?
True
Let r = -32 + 54. Suppose 59 = 4*i + 3*z, i - r = -5*z + 14. Let w = i + -5. Is w a composite number?
True
Let k(l) = l**3 + 5*l**2 + 6*l + 1. Is k(10) composite?
True
Let m = 4 + -2. Suppose -y = -m*y - 4. Let v(u) = -u**3 + 2*u**2 + u - 1. Is v(y) composite?
True
Let c be (-10)/35 - 30/(-7). Suppose -3*r + 22 = 7, 3*m + c = 2*r. Suppose -t = p - 64, 5*t + m*p - 330 = -p. Is t a prime number?
False
Let b(v) be the second derivative of 7*v**4/12 + v**3/6 - v**2 + 2*v. Let c be b(2). Suppose -g + c = g. Is g prime?
False
Let v(a) be the third derivative of -a**5/60 - 5*a**4/6 - 5*a**3/3 - 5*a**2. Is v(-14) a prime number?
False
Let d = -2034 + 3013. Is d a composite number?
True
Let i = 48 - 111. Let l = i + 190. Is l a composite number?
False
Suppose v = 2 + 6. Let y = 21 - v. Is y a composite number?
False
Suppose -20 = 2*y - 7*y + 5*m, 0 = -4*m. Suppose i + y*k = 55, -k - 3*k - 155 = -5*i. Is i prime?
False
Suppose 0*f + 3*f = 4*a - 499, 2*a + 3*f = 227. Is a composite?
True
Suppose 3*y + 3*d - 45 = -0*y, 2*y - 34 = -4*d. Let q(t) = -t**3 + 7*t**2 - 5*t - 6. Let x be q(6). Suppose 0*i - i + y = x. Is i a prime number?
True
Let w be (3 + 7)*3/2. Let g = w - 23. Is 20/9 - g/(-36) a composite number?
False
Let c(x) be the second derivative of -x**4/12 + 7*x**3/3 + 7*x**2 + 4*x. Is c(12) prime?
False
Let t(g) = g - 1. Let j be t(3). Suppose -j = -2*n + 2. Suppose -3*m + 76 = n*a + 26, 20 = -5*m. Is a composite?
False
Let w be 0/2 + 1*2. Let r be (-2 - -1) + 4/w. Let h(d) = 25*d. Is h(r) a composite number?
True
Let w(z) = -3*z**3 - 5*z**2 + z + 4. Let u be w(-4). Suppose b - u = 143. Suppose 0*a = 5*a - 3*v - b, a - 51 = 2*v. Is a a composite number?
True
Suppose -7*u + 4*u = -6135. Is u prime?
False
Suppose y = 5*y - 88. Let q(v) = v + 10. Let h be q(-5). Suppose 0 = h*k - 253 - y. Is k a composite number?
True
Suppose 4*v = -2*f - 2*f + 108, 3*f = 4*v - 73. Is v composite?
True
Suppose u - 2*i - 304 = -4*u, -70 = -u + 5*i. Suppose -u = -5*g + 135. Let o = -2 + g. Is o composite?
False
Let a(v) = 8*v + 31. Is a(11) composite?
True
Let h = 22 + 145. Let v = h - 80. Is v prime?
False
Let k be 28/10 - (112/(-35) - -3). Let x be (-1 + -1 - -1)*-5. Suppose 106 = -k*f + x*f. Is f composite?
False
Let n = 7 - 7. Is ((n - -3) + -4)*-58 composite?
True
Let n = -326 + 537. Is n a prime number?
True
Let z(c) = -c**3 - 9*c**2 + 2*c + 1. Let q be z(-5). Let v = q - -200. Is v composite?
True
Let m(f) = 18*f - 34. Is m(16) a prime number?
False
Let u = -1282 - -3035. Is u composite?
False
Suppose 0 = -v - v + 632. Let d be (-5 - -7)*(0 + v). Suppose -5*m + d = 4*f, -6 = 2*m + 2. Is f a prime number?
True
Suppose 4*j - 3533 = -297. Is j composite?
False
Is (14/4)/((-3)/(-78)) a composite number?
True
Suppose -5*m + h = 3*h - 1325, 2*m = -4*h + 530. Is m a prime number?
False
Suppose 3*a = -a + 24. Is 603/11 + a/33 a prime number?
False
Suppose -8 = 5*s + 117. Let y = 17 + s. Let r(g) = -12*g - 11. Is r(y) prime?
False
Suppose 5*n - 254 = 3*n. Is n composite?
False
Suppose -786 = -3*r + 6*r. Is r/(-2) + -3 - 1 composite?
False
Suppose -3*s + 7*s + 5*o - 17704 = 0, 0 = -s + 3*o + 4426. Is s prime?
False
Let s(d) = 5*d**2 + d - 3. Let u(j) = -j**2 + j + 1. Let w(n) = s(n) + 4*u(n). Is w(6) composite?
False
Suppose 5*r - 17273 = 4*y, -17255 = -0*r - 5*r - 5*y. Is r a prime number?
False
Suppose -22582 = -5*d - 2*d. Is d prime?
False
Let l(g) = 4*g**2 + 29*g + 26. Is l(15) composite?
False
Let c = 54 + -29. Suppose c = 4*r + 9. Suppose r*u - 66 = -2*q, 5*q - 66 = u + 110. Is q composite?
True
Let s be (-140)/16 - 1/4. Let p(c) = c**2 + 2*c - 4. Is p(s) prime?
True
Suppose 2*s - 13 = -5*n, -3*n + 2*n + 2*s + 5 = 0. Let r be (-4 - 1) + n + 5. Suppose r*f = f + 290. Is f composite?
True
Let v(g) = g**3 + 9*g**2 - 6*g + 1. Suppose 0 = -k + 4 + 2. Is v(k) a composite number?
True
Suppose -341 = -4*d - b, -d - d + b = -169. Is d a composite number?
True
Let z(t) = -3*t**3 + 2*t + 1. Let o be z(-1). Let c be ((-3)/o)/(9/(-48)). Is ((-134)/c)/(4/(-16)) a composite number?
False
Suppose -3 + 1 = j - 2*s, 3*j + 3*s = 12. Suppose 2*x - 13 = -o - j*x, -4*o + 2*x + 52 = 0. Is o a prime number?
True
Let o be 6/(-9)*(-6)/2. Is 0 - -90 - 2/o composite?
False
Let g = -1744 - -3221. Is g prime?
False
Let n = -113 + 198. Is n a prime number?
False
Let j(x) = x**2 + 64. Let y be j(0). Let u be (2/3)/(2/39). Let l = u + y. Is l a composite number?
True
Let q be 6/(-18) + 5/(-3). Is (1/q)/((-2)/232) composite?
True
Let g = -2997 + 4204. Is g composite?
True
Suppose -2*x = -3*x - 2, -k - x + 1161 = 0. Is k composite?
False
Let k(r) = 3*r - 8. Let h(q) = q - 2. Let p(c) = 18*h(c) - 4*k(c). Is p(7) a prime number?
False
Suppose -2*k - o + 2*o = -311, -3*k = -o - 466. Suppose -5*b + k = -0*b. Is b prime?
True
Suppose 2*p - 9 = -3*z, 2*z + 3*p - 6 = 5*p. Let r = z + -4. Is 21 - ((r - 0) + 1) composite?
True
Let n(o) be the second derivative of -o**5/20 + 13*o**4/12 - o**3/2 - 2*o**2 + 2*o. Is n(9) a prime number?
True
Let l = -1152 - -2507. Suppose 5*d - l = -5*z, -5*d - 4*z = -1979 + 628. Is d prime?
False
Suppose -3*g - 14 = 1. Let a = 39 + g. Is a a prime number?
False
Let u(o) = 3*o + 16. Let d(n) = 12*n + 63. Let y(g) = 4*d(