v**3 - 2*v**3. Is f(z) a prime number?
False
Let a be 4 + 0 + 29/1. Is ((-11)/a)/(1/(-66)) prime?
False
Suppose -5*k = -q + 2*q - 186, -4*q - 70 = -2*k. Suppose -2*c + k = -283. Suppose c = 4*u + 4*b - 212, -2*u + 3*b = -166. Is u a composite number?
False
Suppose -v = -4*v + 9. Suppose v*z - z = 6. Suppose 108 = 4*p + 2*q, 7 + z = 5*q. Is p a prime number?
False
Let p(v) = 14*v. Let r be p(-1). Let a = r - 304. Is (a/9)/(4/(-30)) a prime number?
False
Suppose -5*b = -10*b + 20. Suppose 0 = g + 3*g - b. Is g*3/(-9)*-21 prime?
True
Suppose -1511 - 1163 = -2*a. Is a composite?
True
Suppose 0 = 2*r - 10, -4 = 2*n + 3*r - 5*r. Suppose -2*f - l = -498, n*f + 0*l = -3*l + 753. Is f prime?
False
Suppose -2 = -6*u + 4*u. Let b(s) = -21*s**2. Let h be b(u). Let i = 0 - h. Is i a prime number?
False
Suppose 0 = 3*p - 9 + 24, 4*p + 77 = -y. Let h = 40 + y. Let z = -10 - h. Is z a prime number?
True
Suppose 5*y + 115 = -5*d, 3*y - 6 + 35 = 5*d. Let r = y - -111. Is r composite?
True
Let a(h) = h. Let b be a(4). Suppose 0 = b*i - 2*l - 324, -3*l - 99 + 245 = 2*i. Is i a prime number?
True
Suppose -32*i + 34*i - 1034 = 0. Is i composite?
True
Is 1/(-3) - (-5830)/30 a composite number?
True
Let d be (-16)/1 - (-2 + 0). Let v = d + 45. Is v prime?
True
Is (1*(-2 - -69) - 3) + 1 prime?
False
Suppose -5*b + 134 + 456 = 0. Let n = b + -79. Is n composite?
True
Suppose -z - 3*s = -338, -4*s = -4*z + 2*z + 686. Is z prime?
False
Let k be 3/(-9)*-3 + 2. Is k/(1 + (-6)/7) a composite number?
True
Let y(h) be the first derivative of -2*h**2 - 5*h + 2. Let g be (-5)/10 - (-18)/(-4). Is y(g) a prime number?
False
Suppose 2*j = 5*a + 77 + 4, -3*j - a + 130 = 0. Let f = j + -29. Is f a composite number?
True
Suppose -2*x + 68 = -48. Let r = x + -39. Is r a prime number?
True
Suppose 4*f + 77 = 217. Is f a composite number?
True
Suppose -3168 = -4*j - 4*m, 3*j - 8*j = -3*m - 3920. Is j a composite number?
False
Suppose -4*j - 2*u + 182 = -u, -236 = -5*j + 3*u. Is j prime?
False
Let s = 1 - -129. Suppose 8*y - s = 3*y - 5*r, -20 = -5*r. Is y prime?
False
Suppose 20 = 3*m - 10. Suppose 2*r - b - 4 = 3*r, -m = 2*r + b. Is (35/2)/((-3)/r) prime?
False
Suppose 0*f - d = 2*f + 3, 4*f - 4*d + 24 = 0. Is (f - -37)/(6/33) a composite number?
True
Suppose 0 = 4*f - 4*g - 45 - 247, -3 = -3*g. Suppose l + f = 2*l. Is l composite?
True
Let g(h) = h**2 - 2*h - 3. Let c be g(-2). Suppose c*l - 14 = 3*l. Is l a prime number?
True
Suppose -3*x = -2*x - 68. Let a(q) = q**3 - 2*q + 147. Let m be a(0). Let g = m - x. Is g a prime number?
True
Let n(x) = x**3 + 8*x**2 + x + 4. Suppose 0 = -4*y + 5*u - 43, -5*u + 20 - 5 = 0. Let i be n(y). Suppose -v + 9 = -i. Is v a prime number?
False
Let l(k) = k**3 + k + 191. Is l(0) a prime number?
True
Is (-436 + 2)/(1 - 3) a composite number?
True
Let m(f) be the second derivative of -10*f**3/3 - f**2/2 + 4*f. Let b be 7/(-5) + 2/5. Is m(b) a prime number?
True
Is (0 + 5 - 4) + 700 prime?
True
Let f = -1044 + 3365. Is f a prime number?
False
Is -1*(-175 - (-3 + 7)) a composite number?
False
Suppose 5*c - 2802 = 4*j - 236, 5*j - 4*c = -3203. Suppose 369 = -4*d + 3*b + 4240, 5*b = -2*d + 1955. Let m = d + j. Is m prime?
True
Suppose 4*c - 2*i = 13 + 57, 2*i - 20 = -2*c. Let g = c - 22. Let x = 13 + g. Is x a composite number?
True
Let l = -30 - 26. Let i = -147 + l. Let r = -124 - i. Is r a composite number?
False
Let g = -4 - -4. Let u = g - -1. Is ((-3)/2)/(u/(-34)) prime?
False
Let j = 86 - 267. Let b = 304 + j. Is b prime?
False
Suppose 4227 = 3*s + 3*k, 3*s + 3*k = 4*s - 1409. Is s prime?
True
Let k(v) = v**2 + 13*v + 12. Let a be k(-12). Is (2 - a)/((-6)/(-381)) composite?
False
Let d be -131 + 3 + -1 + -3. Is ((-3)/3)/(4/d) a prime number?
False
Let w(l) = 5*l**2 - 7*l + 41. Is w(18) a prime number?
False
Suppose 0*z - 935 = -5*z + 3*q, -q = -3*z + 561. Is (z + (-1 - -1))*1 a composite number?
True
Suppose -z + 6*z = 0. Suppose 0 = -2*x - 3*q + 59, z*q = -x - q + 30. Is x composite?
False
Let v(g) = -g**3 + 11*g**2 + 13*g - 7. Let c be v(12). Suppose c*t + 3 - 24 = 4*q, 4*q + 11 = 3*t. Let r = -2 + t. Is r prime?
True
Suppose -2*q - 2*q = 324. Let i be 230/2 + (-2 - -2). Let v = q + i. Is v a composite number?
True
Let k = 46 + -12. Is k composite?
True
Let p(m) = 6*m**3 - m**2 - 3*m - 3. Is p(7) a prime number?
False
Let q(s) be the third derivative of s**8/6720 + s**7/420 - s**6/180 - s**5/24 + s**4/12 + 2*s**2. Let u(m) be the second derivative of q(m). Is u(-6) composite?
False
Let w(o) = -2*o + 587. Is w(0) a prime number?
True
Let b = 6 + -6. Is (-1)/(3/(-663 + b)) composite?
True
Let b(u) be the first derivative of -u**4/4 - 4*u**3/3 + 2*u**2 - 8*u + 2. Is b(-7) prime?
False
Suppose 0*o = 3*o - 354. Let d = o + -5. Is d prime?
True
Let j be 204/9 + 10/(-15). Is (-1064)/(-9) - j/99 composite?
True
Let j = 1934 + -783. Is j composite?
False
Let y(v) be the second derivative of -v**5/40 + v**4/24 - v**3/6 - 3*v. Let n(b) be the second derivative of y(b). Is n(-4) prime?
True
Let h(i) = 136*i**2 + 7*i + 5. Is h(-4) composite?
False
Let s(i) = -2 + 1 - 13*i + 1 + 3. Is s(-4) composite?
True
Is ((-10025)/(-10))/((-1)/(-2)) a composite number?
True
Is 795/10 - 3/6 composite?
False
Suppose 0 = -v + z - 1, -5*v + z = 2*z - 19. Suppose -2*i - 782 = -4*m + 146, 0 = v*i - 6. Is m prime?
True
Let v be -1 + 189 + 8/4. Let x = v + -3. Is x a prime number?
False
Let y be -8*((-45)/(-6))/(-5). Suppose -2*r = r + y. Is (-1)/2 - 478/r a composite number?
True
Let v(f) = -53*f + 16. Is v(-6) a composite number?
True
Suppose -o - 66 = 6. Let h = 249 + o. Is h a composite number?
True
Suppose -3*w + 872 = 4*c - 0*w, 0 = -5*c + 5*w + 1055. Let y = c - 24. Is y a prime number?
True
Is 1669/3 + (-22)/(-33) a prime number?
True
Suppose 0 = -4*z - 232 + 1076. Is z prime?
True
Let l(y) = -7*y**2 - y + 23. Let q be l(-9). Suppose 0 = -0*f - 5*f - 4770. Let b = q - f. Is b a prime number?
True
Suppose 6*h + 2*l = 3*h + 3317, -3*h + 3311 = -4*l. Suppose h = -f + 6*f. Is f prime?
False
Let b = 550 + -123. Let l = b + -74. Is l a prime number?
True
Suppose -a - 18 = -4*v, 0 = -3*a - v - 5 + 3. Is 11 - (1 - (-2)/a) a prime number?
True
Suppose -5*h - y = -1190, 2*y = -3*h + 4*y + 701. Is h a composite number?
True
Let i(l) = -11*l + 3. Let s be i(2). Suppose -4*o + 12 = -2*y, 2*y + 9 = 3*o + 3*y. Is (s/o)/(1/(-3)) composite?
False
Suppose -4*l = 3*h + h - 20, -2*h = 4*l - 14. Suppose 4*q - h*q - 53 = 0. Is q composite?
False
Suppose -192 = -2*n - 2*l, -n - 2*n = -3*l - 276. Is n a composite number?
True
Let j(q) = -q**2 - 11*q + 7. Let l(n) = -5*n**3 - n**2 + n - 1. Let i be l(1). Is j(i) composite?
False
Suppose 217 = 3*p - 182. Is p composite?
True
Is (-1)/(-3)*942/2 a prime number?
True
Suppose -172 = -2*j + 150. Is j composite?
True
Let b = -286 + 431. Is b a composite number?
True
Let o be -2*((-15)/6 - 0). Let w(u) = 2*u + u + 8*u + o. Is w(4) a composite number?
True
Suppose -o = s + 2*o - 499, -5*s + 2*o = -2427. Is s composite?
False
Let o be (1 + 2 + 1)*1. Suppose 47 - 15 = -o*m. Is (14/m)/(3/(-12)) a prime number?
True
Suppose -4*r + 20 = 4*z, -6 - 5 = -3*r - z. Suppose -r*i + 20 + 26 = -4*q, 4*i - 55 = -q. Is i composite?
True
Let s be ((-1)/(-2))/(2/20). Let v = -1 + 5. Suppose 0 = -3*a - s*q + 47, v*q - 13 - 74 = -5*a. Is a a composite number?
False
Let t be ((-12427)/34)/((-1)/2). Suppose 3*h - 1012 = t. Is h a prime number?
False
Suppose o = 2*o - 5. Suppose -o*w + 44 = -71. Is w a prime number?
True
Suppose -r - 3*h + 3713 = 0, -r - 3*h - h = -3711. Is r a composite number?
False
Let v be 1*2/2 - -2. Suppose v*n + 2*x = -n + 142, -3*n - x = -109. Suppose -4*w + n = -0*d + 5*d, 3*w - 4*d = 13. Is w prime?
True
Suppose 5*u + 0*l = l + 58, -u = 2*l - 5. Let n = u - 51. Let y = -9 - n. Is y a composite number?
False
Let u(t) be the second derivative of -t**5/20 + 5*t**4/12 - t**3/2 + 2*t**2 + t. Let c(x) = x**2 - 7*x - 5. Let r be c(8). Is u(r) composite?
False
Let p(c) = c**3 + c**2 + c + 35. Let a = -9 + 16. Suppose 4*f - a - 9 = 0, 0 = j - 3*f + 12. Is p(j) composite?
True
Let j(w) = 7*w - 11. Let z be j(8). Suppose -5*i = x - z, 6*x - i = 3*x + 167. Is x composite?
True
Let u(w) = w**3 - 14*w**2 - 5*w + 9. Let y = -17 + 32. Is u(y) prime?
False
Let b(k)