 prime number?
False
Is -2 + (-6)/((-30)/715) prime?
False
Let q be 39/15 + 2/5. Suppose -q*g + 11 = -0*o + 2*o, -o + g = 2. Is (o - 32)/(-1) + 0 a composite number?
False
Suppose 0*u - 4*u + 2*m = -194, -3*m + 169 = 4*u. Is u composite?
True
Let r = 20 - -73. Is r a prime number?
False
Let n = 20 - -203. Is n composite?
False
Let v(h) be the third derivative of 0*h + 13/24*h**4 + 11/6*h**3 + 4*h**2 + 0 - 1/60*h**5. Is v(12) a composite number?
False
Let c(b) = -6*b - 1. Let a = 0 - 3. Let z be c(a). Is z - 2/(6/9) a composite number?
True
Let i = -22 + 16. Let h(o) = -o + 1. Let r be h(i). Let x(p) = 10*p + 9. Is x(r) a prime number?
True
Let n(l) = -l + 1. Let k(q) = 4*q**2 + 9*q - 6. Let j(d) = -k(d) - 6*n(d). Let h be j(-2). Is (-1)/(-5) + (-308)/h composite?
False
Suppose 0 = 5*i - 70 - 30. Suppose 2 = w + 2*n, 4*n = 2*w - 0*w - i. Suppose 0 = -w*s + 4*s + 26. Is s a prime number?
True
Let n(u) = u**2 - 3*u - 2. Let g be n(7). Is g/(-1 - 0 - -3) a composite number?
False
Let o(t) = -t**2 + 23*t + 31. Is o(17) a prime number?
False
Let z(r) = 3*r**3 + 3*r**2 - 2*r + 9. Is z(6) prime?
False
Let p be (-1)/(1/3 + 0). Let q = p + 3. Suppose 7*g - 4*g - 57 = q. Is g a prime number?
True
Let y = -93 - -265. Let w = y - 41. Is w prime?
True
Suppose 0 = -k + 2*z - 6*z - 10, 4*k - 2*z + 22 = 0. Is (1 - -380)*(-2)/k prime?
True
Let s = 16 - 12. Suppose 4*o - 357 = 4*y + 87, -218 = -2*o + s*y. Is o composite?
False
Let j(k) = -3*k**3 - 3*k**2 + 2*k - 5. Is j(-4) composite?
False
Suppose -21*d + 44 = -19*d. Let a = 57 - d. Is a a prime number?
False
Suppose 5*r - r = 652. Is r a prime number?
True
Suppose 2*r + 4*g - 85 = 115, -10 = -5*g. Suppose 3*s = r - 18. Let n = s + 293. Is n a composite number?
True
Let y = 491 + -892. Let s = 648 + y. Is s a prime number?
False
Suppose -4*k - 2*u + 16 = 0, -3*u = -4*k - 1 - 3. Suppose 0*a - 4*a = 16, -k*a + 12 = 5*m. Is 106/m*14/7 a composite number?
False
Let u(x) be the second derivative of -39*x**5/10 + x**4/6 + x**3/6 + x. Is u(-1) composite?
False
Suppose 7*t = 6*t + 46. Is t a prime number?
False
Let i = -10 + 20. Let g = 14 - i. Is g prime?
False
Suppose 7*d = 4*d + 1905. Is d a composite number?
True
Suppose 1413 - 14 = h. Is h a composite number?
False
Let b(q) be the second derivative of 67*q**4/3 - q**3/3 + q**2/2 + 9*q. Is b(1) a prime number?
False
Let b(i) = 7*i - 6. Let x be b(4). Let m = x + -7. Is (-298)/(-6) - 10/m a prime number?
False
Suppose -5*z = -2*u - 11, -2*z + 50 = 5*u + z. Let r = u + -7. Suppose 0*l - 4*l + 652 = r. Is l composite?
False
Let s(u) = u**3 + 6*u**2 + u + 5. Let m be s(-6). Let h = m + -4. Let n = 8 - h. Is n composite?
False
Suppose 183 = 4*q - 5*q. Let o = 28 - q. Is o prime?
True
Suppose -1821 = -m + 5*a, -1833 = 15*m - 16*m - a. Is m a prime number?
True
Let o(j) = j**2 + 3*j + 3. Let v = 5 + -9. Let u be o(v). Let t(d) = d - 4. Is t(u) a prime number?
True
Suppose 2*g - 181 = -x, -5*x + 2*g + 584 + 333 = 0. Is x prime?
False
Let u be (-1)/((-1)/2)*1. Suppose -35 = -u*r + r. Is r a composite number?
True
Let l(j) = -7*j**2 + 2 - 7*j**3 + 6*j**3 - 5. Is l(-9) a prime number?
False
Let g(t) = -147*t - 31. Is g(-16) prime?
False
Let b be (-4)/3*(-24)/8. Suppose -b*v + 44 = 4*w, 0 = 2*w + 6*v - v - 34. Is w/(((-2)/4)/(-1)) prime?
False
Suppose -5*u = 2*b - 315, -5*b = 2*u + 2*u - 235. Is u prime?
False
Let j be 2 - (0 + -1 + 1). Suppose -3*w = -j*q - 4, 27 - 5 = -4*q - w. Let u = 15 + q. Is u composite?
True
Suppose -6*p + 9*p - 69 = 0. Is p prime?
True
Suppose 4*c - 312 = 76. Is c composite?
False
Let l(w) = 5*w**2 + 2*w + 1. Suppose -5*m + 19 = -1. Is l(m) composite?
False
Suppose 4*f = 2875 - 759. Is f a composite number?
True
Suppose 0 = -3*y - 6, 2*y + y = -3*m + 393. Let w = m - 74. Is w a prime number?
True
Suppose -3*s - 1140 = -6*s. Suppose -5*r = -5*a - s, -30 = -2*r + 3*a + 121. Is r composite?
True
Let i be 2/7 + (-5015)/35. Suppose v = 4*v - 4*b - 10, -4*v + 4*b = -8. Is v/2*i + 2 a prime number?
False
Suppose -2*t = 4*g - 478, -2*t + 177 + 277 = -4*g. Is t - (-3 + 2)*0 a prime number?
True
Let j = 350 - 984. Let b be -2*(-9)/6 - j. Suppose 416 = 2*u + 3*w, -w + b = 3*u - 3*w. Is u prime?
True
Is -1 - -267 - (-1 + 4) a composite number?
False
Let p be (-2)/10 + 183/15. Suppose 5*n + 1100 = 5*h, -5*n + n + p = 0. Is h composite?
False
Let i be -3 + 3*(-2 - -43). Let c = i - -1. Is c composite?
True
Suppose -2410 = -2*s - 3*s - 2*g, 0 = 2*g. Is s prime?
False
Let j(z) = 14*z**2 - 2*z + 1. Let s be j(1). Let t = 82 - 34. Let g = t - s. Is g a composite number?
True
Let l = 221 - -692. Is l a composite number?
True
Suppose t + 0*t = 267. Let g = 859 + t. Suppose -g - 1029 = -5*l. Is l prime?
True
Suppose 0 = -4*n + 947 + 2817. Is n a composite number?
False
Let b(c) = c**2 + 3*c. Let r be b(-4). Suppose 5*s - r*l = 508, -4*l - 308 = -3*s - 0*s. Suppose -146 = -3*f - 2*n, -n - n = 2*f - s. Is f a prime number?
False
Suppose -2*d = 2*v - 5 - 3, 0 = 4*v. Suppose -304 = -d*f + 4*q - 2*q, -4*q - 386 = -5*f. Is f a prime number?
False
Let y = -153 + 1486. Is y a composite number?
True
Let v(l) be the third derivative of -l**6/120 + 7*l**5/60 + l**4/3 - 7*l**3/6 + 2*l**2. Is v(7) a prime number?
False
Suppose -4*d + 5*r + 3820 = 0, 4*r = d + 162 - 1117. Suppose d = -7*p + 12*p. Is p a composite number?
False
Suppose 0 = 5*w - w - 92. Let k = 16 + w. Is k a composite number?
True
Let z(f) be the second derivative of f**4/6 - 5*f**3/6 + 2*f**2 + 5*f. Is z(-5) prime?
True
Suppose 11*j + 1628 = 15*j. Is j prime?
False
Let b(o) = 8*o**3 + 2*o**2 - 3*o + 1. Suppose -2*f - w + 0*w = 13, 2*f - 5*w + 31 = 0. Let s be 1/2 - 12/f. Is b(s) composite?
False
Let u(d) = -114*d - 1. Let k be u(-1). Suppose -g = -2*g + k. Is g a composite number?
False
Let k(j) = 10*j - 3. Let c(g) = g**3 + 12*g**2 + 7. Let s be c(-12). Is k(s) prime?
True
Suppose -7*m + 5161 = 6*m. Is m prime?
True
Let q(o) be the second derivative of o**4/4 - o**3/2 - 5*o**2/2 + 3*o. Is q(6) composite?
True
Let m = 4 + 477. Is m prime?
False
Is (499/3*-2)/(56/(-84)) a prime number?
True
Suppose 0 = -4*m - 72 + 244. Suppose m = 2*c - 315. Is c a composite number?
False
Let x = -4 - -41. Is x composite?
False
Let f(i) = i**2 + 7*i + 5. Let n be f(-7). Suppose 4*k + n = 65. Is k a prime number?
False
Suppose -5*y + c = 30, 0*y - 34 = 2*y + 4*c. Let m(f) = 4*f**2 - f. Is m(y) a prime number?
False
Let s = 28 - 25. Suppose -s*d = 2*d - 1115. Is d prime?
True
Suppose 2*w + 3*w - 265 = 0. Let p = 19 + -16. Suppose p*g = -14 + w. Is g a prime number?
True
Suppose -4*w - 65 + 341 = 0. Is w prime?
False
Let l be 2 - 0/(2 + 0). Suppose -3*x - 3*g = -g - 199, -5*g = -l*x + 120. Is x a prime number?
False
Suppose -5*w + 4*z - 141 + 1255 = 0, -5*w - 5*z = -1150. Is w composite?
True
Let o(h) = 212*h**2 + 7*h + 8. Is o(-3) composite?
True
Suppose 0 = -4*r - 385 + 2733. Is r a prime number?
True
Let p(k) = -k**2 + 11*k - 9. Let r be p(8). Suppose -i - r = 4*i. Is 10*(-87)/18*i composite?
True
Suppose 4822 = -5*t + 29957. Is t a composite number?
True
Suppose -3*t + 2*t - 82 = 0. Let l = 166 + t. Suppose 2*h - l = -2*h. Is h a composite number?
True
Let u(x) = 2*x**3 - 9*x**2 - 9*x - 17. Is u(9) prime?
True
Let i = -21 - -27. Is (-2)/6 - (-44)/i composite?
False
Suppose l = -j + 6, -4*l = 1 - 5. Suppose -j*q = -4*q - 3. Suppose 3*p + 42 - 159 = -4*c, 0 = -q*c + 5*p + 124. Is c composite?
True
Let z = 69 - -58. Is z prime?
True
Let o(u) = -44*u + 19. Is o(-8) prime?
False
Let u = 308 + 1841. Is u a composite number?
True
Suppose 13 = 5*l - 2*m, 4*l - 8 = -4*m + 5*m. Let j be -3 - (l + -2) - -6. Suppose b - 4*x - 27 = 0, 4*b + b - 103 = j*x. Is b a composite number?
False
Let s = -150 - -233. Suppose -l - 305 = -4*a, 80 + s = 2*a + 3*l. Is a a composite number?
True
Is (2586/(-10))/((-5 + 2)/15) a composite number?
True
Suppose 0 = 3*w + 22 - 322. Let u be 8/(-12) + (-16)/(-6). Suppose -w + 38 = -u*b. Is b prime?
True
Suppose 0 = -2*i + 4*r + 754, r = -i + 5*r + 375. Is i prime?
True
Suppose 0 = 8*o - 24*o + 50416. Is o a composite number?
True
Suppose -3*k = -3*q + 480, 2*q = k + 355 - 38. Is q a prime number?
True
Let d(t) = -2878*t - 7. Is d(-2) composite?
False
Let i = -18 + 61. Is i prime?
True
Suppose 101 = -3*u + 8. Let c