r?
True
Suppose 10*k = 573 + 1217. Is k prime?
True
Let y be (0 + 2 + -1)*-20. Is 8410/18 - y/(-90) a prime number?
True
Let a = -6 + 0. Let p(q) be the second derivative of -5*q**3/6 + 7*q**2/2 - 3*q. Is p(a) a composite number?
False
Suppose -43*y + 42*y = -499. Is y a prime number?
True
Let i = 2 + 1. Let q = i + -3. Suppose 5*z + f - 199 = q, 2*f = z + 2*z - 109. Is z prime?
False
Let c(n) = n**3 - 8*n**2 + 12*n - 1. Is c(10) a prime number?
False
Suppose 5*p + 4*n - 2 - 8 = 0, -2*p + 4 = -5*n. Suppose -193 = -p*x - 7. Is x prime?
False
Let h(u) = -u**2 + 8*u - 5. Suppose -3*t = -2*s - 2*t, 4*t = 5*s. Suppose 2*q + s*q + 34 = 5*p, 0 = -3*p + q + 20. Is h(p) prime?
True
Let y(u) = 2*u**2 + 5*u + 5. Let h be y(-5). Suppose -h - 80 = -2*n - 4*k, -232 = -4*n + 4*k. Suppose -n = -4*r + r. Is r prime?
True
Suppose 2*c = p - 0*c - 2, 12 = 3*p - 3*c. Is ((-132)/(-18))/(p/9) a prime number?
True
Suppose n = 6*n - 2*l - 379, 3*n + 5*l = 246. Suppose p = -0*p + n. Is p composite?
True
Let x(y) = -y**2 - 3*y + 1. Let s be x(-3). Let d(t) = s + 15*t - t - 11*t + 21*t. Is d(2) prime?
False
Is (-7)/((-21)/2922) - 1 composite?
True
Let m = 223 - 126. Is m composite?
False
Suppose s = -8 + 17. Suppose s*r = 13*r - 508. Is r composite?
False
Let g = -10 + 18. Is (-5)/20 + 378/g a prime number?
True
Let i be -16 - -2 - 6/(-3). Let q = 26 + i. Is q prime?
False
Suppose 3*a + 122 = -5*s, 5*s - 8 = a + 6. Let c = a - -57. Is c a prime number?
True
Is 2*(542 - 5/5) prime?
False
Let w(q) = -15 + 8*q**2 - 4*q**3 + 3*q**3 + 7*q + 5*q**2. Is w(12) a composite number?
True
Let i(l) be the third derivative of l**5/60 + l**4/12 + l**3/2 + 3*l**2. Is i(-3) a prime number?
False
Let k(r) = -303*r + 2. Let v be k(4). Is v/(-18) - 16/72 a prime number?
True
Let r = -62 + 211. Is r composite?
False
Let r = 75 + -40. Is r prime?
False
Suppose -5*o + 3229 = -4*b, -b - 1494 = -4*o + 1098. Is o prime?
False
Let p(l) be the first derivative of 4*l**3/3 + 5*l**2/2 + l - 10. Is p(-6) composite?
True
Let h be (2/4)/(1/2296). Is (h/(16/(-4)))/(-1) prime?
False
Let q(u) = 105*u**3 - u**2 + 2*u - 1. Let i be q(1). Let k = i - 62. Is k composite?
False
Let g = 121 - -53. Is g/8 - 2/(-8) prime?
False
Let s(m) = 629*m**2 + 6*m + 6. Is s(-1) prime?
False
Let j(d) = 18*d + 19. Suppose 4*k = 3*k + 8. Is j(k) prime?
True
Let m(x) = -8*x**2 - 1 + 0*x + 2*x**2 - 4*x + x**3. Is m(8) prime?
False
Let h = 165 + -79. Is h composite?
True
Suppose -1386 = -5*f + 649. Is f composite?
True
Let v be (4 - 4)*(-1)/2. Suppose c - 3*t - 14 = v, -3*c + 2*t + 5 = 2*c. Let b(z) = -7*z**3 + z + 1. Is b(c) composite?
False
Suppose -15*l + 11*l + 5452 = 0. Is l composite?
True
Let b = -1147 + 2244. Is b a prime number?
True
Is ((-16)/(-8))/((-6)/(-6573)) a composite number?
True
Let m be 20/4*558/15. Suppose 5*o - o - 814 = 2*q, o + 3*q = m. Is o prime?
False
Let t = 1599 - 2466. Let w = -613 - t. Is w composite?
True
Let t be (7*(-2 + 0))/(-2). Let a = 136 + t. Is a prime?
False
Let y(x) = -2*x**3 - 6*x**2 - 5*x + 1. Is y(-4) a composite number?
False
Is (226/8)/((-13)/(-364)) prime?
False
Suppose -3*u = 3*m - 108, u - 106 = -m - 2*m. Is m a composite number?
True
Let z = 6 + -8. Let o be z/4 + 634/4. Suppose -o = f - 3*f. Is f composite?
False
Let k(a) = -43*a + 10. Let f(s) = 22*s - 5. Let p(z) = 13*f(z) + 6*k(z). Is p(3) a prime number?
True
Let u(c) = -11*c**2 - 8. Let p(g) = g**2 + 1. Let d(o) = -24*p(o) - 3*u(o). Let w be d(1). Let m(a) = -a**3 + 9*a**2 + 5*a + 13. Is m(w) composite?
True
Suppose -l - 3513 = -4*l. Is l a composite number?
False
Let g be -2 - (-1 - (-10)/1). Let q = g + 42. Is q a composite number?
False
Let x(z) = 31*z - 5*z - z - 4. Let y = 15 + -10. Is x(y) a prime number?
False
Suppose 4*c - 1048 = -0*c. Is -4*1/(-8)*c a prime number?
True
Let z(o) = 2*o - 5. Suppose -5*a = -2*a - 12. Let y be z(a). Suppose -y*g = 2*g - 265. Is g a prime number?
True
Suppose 0 = h + 3*h - 524. Suppose 15 - h = -2*k. Is k a prime number?
False
Let n(m) = 5*m. Let a be n(-4). Let k be -1*(13 + 0/(-1)). Let u = k - a. Is u composite?
False
Let k(f) = -3268*f + 1. Is k(-1) a prime number?
False
Suppose -5*s = 4*w - 1388, -2*s = -6*w + 8*w - 694. Is w prime?
True
Is 3*((-356)/(-3))/4 prime?
True
Let n = 125 - 328. Let v = -120 - n. Is v prime?
True
Let x(j) = -15*j + 5. Let b(u) = u**2 - u - 2. Let m be b(4). Let p be 1 + -2*m/4. Is x(p) composite?
True
Let g = 9 + -57. Let o = g - -107. Is o a prime number?
True
Let c be (4 - 6)*32/(-1). Suppose o + f - 299 = c, -4*o = -5*f - 1488. Is o a composite number?
False
Let n(m) = -m**2 - 12*m. Let z = 13 + -2. Let p(d) = 3*d**2 + 36*d - 1. Let j(l) = z*n(l) + 4*p(l). Is j(9) composite?
True
Suppose -3*o - 5*v + 2062 = 0, 0 = 5*o - 2*v - 4449 + 971. Is o prime?
False
Suppose -5*d + f + 35 = -0*f, 3*d + 4*f = 21. Let n(p) = 2*p**2 - 6*p + 9. Is n(d) a prime number?
False
Suppose -5*k + 6*b = 3*b + 4, 2*k - 2*b + 4 = 0. Is (-49)/(k - 2) + 2 a prime number?
False
Let q = -7 + 7. Suppose 0*w - w + 39 = -z, 4*w + z - 146 = q. Is w prime?
True
Let u be (-3 + 2 + 1)/1. Suppose u = -3*d + 301 + 155. Suppose 4*p = d + 180. Is p a prime number?
True
Suppose 3366 = 3*d - 9*d. Let r = -190 - d. Is r a composite number?
True
Suppose 4*w - y = -27, -4*y = -6*w + w - 42. Let l(u) = u**2 + 5*u + 9. Let i(m) = m**2 + 6*m + 9. Let o(a) = -3*i(a) + 4*l(a). Is o(w) a composite number?
True
Suppose -3*b + 183 = -0*b. Let n = b + 18. Is n a composite number?
False
Let y(p) = -75*p - 3. Let a be y(-6). Suppose -5*j + a = 3*m, 4*m - 440 - 156 = -3*j. Is m a composite number?
False
Suppose 4*q + 5 = 5*a, -37 - 3 = -5*q - 3*a. Suppose -3*o + 260 = q*s, 6*o + 25 = o. Is s a composite number?
True
Let d = -11 - -7. Let z = 7 - d. Is z a prime number?
True
Let f(g) = g**3 - 9*g**2 + 13*g - 10. Let r be f(8). Is (1 - 6)*(-1194)/r a composite number?
False
Suppose -2 = 2*m - t - 33, 5*t = 5*m - 65. Is 930/m + (-2)/3 composite?
True
Let c(v) = v. Let g be c(5). Suppose 9*w = 4*w - 2*a + 160, a = -g*w + 165. Let b = w + -23. Is b a composite number?
False
Let v(j) = -20*j - 3. Suppose 0*z - 2*z + 8 = 0. Suppose -y - y - z = 0. Is v(y) a composite number?
False
Suppose 2*m - 3*k + 1345 = 306, 5*m + 2578 = k. Let u = m + 808. Is u a prime number?
True
Let s(o) be the second derivative of o**3/6 + o**2 + 2*o. Let c be s(-4). Is (-1 - c)*34 - -1 a composite number?
True
Let r(s) be the third derivative of 7*s**4/6 - s**3/2 + 3*s**2. Is r(2) a prime number?
True
Suppose -3*w + 2231 = -214. Is w composite?
True
Suppose 0 = 4*j - 0*j - 24. Let q be 7*j/7*9. Suppose 3*p - 6*p + 38 = 2*f, -4*p + q = f. Is p a composite number?
True
Is (-1 + 0)/(1*(-2)/358) composite?
False
Let q be 8/10*10/4. Is (90 + -3 + q)/1 prime?
True
Suppose 692 = 3*z + z. Suppose -537 = -4*f - z. Is f composite?
True
Let v be (-2)/5 + (-112)/(-5). Suppose 4*n - v = -2*z, 3*n - z - 7 = -n. Suppose n*q + 53 = r, 0 = 4*r + 5*q + 3 - 215. Is r composite?
False
Let t(g) = -11*g - 6. Let h be t(-4). Let o = h - -17. Suppose 4*d = -m + 1, 0*m + 4*m = d + o. Is m prime?
True
Let m(n) = -4 + 3 - 4 + 14*n. Let x be m(8). Suppose -93 = -3*f - 3*d, f - x = -2*f + 4*d. Is f composite?
True
Suppose 2*j = 5*c + 7*j + 5, 0 = -c + 5*j + 5. Suppose -4*d + 49 + 99 = c. Is d a composite number?
False
Suppose -34 + 0 = -d. Let z = -5 - -5. Suppose -o - 1 + d = z. Is o a composite number?
True
Suppose m + 20 = 5*m. Suppose -m*b = -15, -b = 3*v - 20 + 2. Suppose -5*y + 61 - 1 = -v*t, 4*t = 3*y - 41. Is y composite?
False
Suppose -48*p + 47*p = -1477. Is p composite?
True
Let g = -3 - -6. Let v = 35 + g. Is v a prime number?
False
Suppose -2*i - 2 - 2 = 0. Is (-1 + (-4)/i)*127 prime?
True
Let x = 6216 + -4369. Is x a composite number?
False
Suppose -4*w + 755 + 1241 = 0. Is w composite?
False
Let f = 398 - -353. Is f a prime number?
True
Let l(y) be the second derivative of y**5/12 + 3*y**4/8 + y**3/6 - y**2 + 3*y. Let n(c) be the first derivative of l(c). Is n(-6) prime?
True
Let w(t) = 3*t + 4*t - t**2 - 3 + 3*t. Suppose 5*v - 5*y - 10 = 0, 4 = 4*v - 2*y - 3*y. Is w(v) a composite number?
True
Suppose -7*z = -2*z - 3625. Let m be (-1 - -2)/(2/4). Suppose -3*h = m*h - z. Is h a prime number?
False
Let p(n) = 2*n**2 - 4*n + 2. Let j be p(2). Suppose 