193/(-2) - 2) a prime number?
False
Let b(l) = -l**2 + 2*l - 17. Let s be b(6). Is 24/(-6) - s*1 composite?
False
Let k = 7 + -4. Suppose -r + 2*x - 302 = 0, -3*x = k*r - 4*x + 881. Is (-2)/(-5) + r/(-20) composite?
True
Suppose -5*l = -2*x + 37, -l - l - 4 = x. Suppose -x*t + t - 215 = 0. Let a = -21 - t. Is a a prime number?
False
Let m(a) be the first derivative of -3*a**4/4 - a**3 - 3*a**2/2 + 3*a - 1. Let v be m(-3). Suppose -2*t + 4*s + v = 0, -4*t + 74 = 3*s - 80. Is t prime?
True
Let q(b) = 3*b**2 - 6*b - 20. Is q(13) a composite number?
False
Let v(f) = -f**2 - 158. Let c be v(0). Is c*(2 - 5/2) a composite number?
False
Suppose 4*d = -4*u + 44, -d - 2*d - 5*u = -41. Let s(b) = 3*b**2 + 5*b + 5. Is s(d) a prime number?
False
Is 9/(-7 - -4) - -556 composite?
True
Let p be 40/(4/(4*-3)). Let v = 103 - p. Is v a prime number?
True
Let b(v) be the third derivative of 47*v**6/24 + v**5/60 - v**3/6 + v**2. Let u be b(1). Suppose -5*f = -0*f - u. Is f composite?
False
Let c(n) = -n**2 + n. Let w be c(1). Suppose -3*v + 75 = -w*v. Is v composite?
True
Let x(h) = h**2 - 7*h + 1. Let f(b) = -2*b**2 + 15*b - 2. Let u(t) = 6*f(t) + 13*x(t). Is u(-3) a composite number?
False
Let t(y) = -8*y - 6. Suppose 4*o + 16 + 16 = 0. Is t(o) a prime number?
False
Let z = 4552 - 2661. Is z prime?
False
Let d(l) be the first derivative of 2*l**3/3 + 3*l**2/2 - 5*l - 4. Is d(4) a prime number?
False
Suppose 7 = 4*d - 9. Suppose 3*m + 74 + 353 = 2*y, 0 = d*y + m - 833. Is y a composite number?
True
Let i = 771 - 464. Is i a prime number?
True
Let t be (-2)/(-8) + 15/4. Suppose 2*b - 4*h - t = -2*h, -12 = 4*h. Is 0/(1/b) - -119 composite?
True
Let p(g) = -g + 25*g**2 - 7*g**2 - 10*g**2. Is p(1) a composite number?
False
Suppose -5*r = -r + 16. Is (-24)/6*373/r a prime number?
True
Suppose 0 = 4*j - 3*n - 28, 21 = 3*j + 3*n. Is j prime?
True
Let y be (-66)/(((-9)/2)/3). Let b = y + 87. Is b a composite number?
False
Let m(h) = 294*h**2 - 2*h - 1. Is m(-1) composite?
True
Suppose -a + 2*a + 20 = 0. Let j = 41 + a. Is j a prime number?
False
Let j(n) = 90*n**2 - 2*n + 1. Is j(1) a prime number?
True
Suppose 5*g = 5, 0 = 5*y + 3*g + 2*g - 460. Is y composite?
True
Is 8/(-12)*((-3187)/2 + 2) a composite number?
False
Suppose 0 = 2*j - j - 533. Is j a prime number?
False
Suppose 9*u + 38 = 497. Is u a prime number?
False
Suppose -3*p = -42 - 123. Is p a prime number?
False
Suppose 2*n - 3*n = -4. Suppose -w - 40 = -5*r, 4*w = n*r + 2*w - 38. Is r composite?
False
Let z(t) be the third derivative of 2*t**2 + 0*t + 0 + 1/8*t**4 + 1/60*t**5 - 2/3*t**3. Is z(-6) a composite number?
True
Let a(u) = 5*u**3 - 3*u**2 - u + 2. Let w be a(2). Let t(x) = -x**2 + 7*x + 3. Let p be t(6). Let z = w - p. Is z composite?
False
Let o = 130 - 77. Is o prime?
True
Suppose y + 10 = -4*i, -2*i + y = i + 4. Is 2/4 + (-137)/i prime?
False
Let s = -104 + 62. Let y be 2/(-7) - (-72)/s. Is y/5 + (-1239)/(-35) a composite number?
True
Suppose 0 = -5*n + 18 + 12. Let z be ((-4)/(-6))/(n/9). Is (z - 3)/(2/(-373)) a composite number?
False
Let o = -77 + 108. Is o prime?
True
Suppose 8 = 5*r + 33. Let a(p) = 2*p**3 + 6*p**2 - 5*p. Let h be a(r). Let j = h - -124. Is j a prime number?
False
Suppose -2*w - 6 = -3*k, -3*w - 4*k = -0*w - 25. Suppose 4*u - 3*q = 134, -w*u = -0*u + q - 107. Is u prime?
False
Suppose 6*v - 2*v + 4 = -5*u, 3*v - 8 = -u. Is 798/u*(-4)/6 composite?
True
Let r be ((-4)/2)/(2/(-3)). Suppose -2*z = 2*t - 26, -r*t - t + 5*z + 34 = 0. Is t a prime number?
True
Is 149 + 9 - (-1)/(-1) a prime number?
True
Suppose -296 = 4*m - 2820. Is m prime?
True
Suppose 7*d - 2*d - 10 = 0. Let f(u) = 65*u - 3. Is f(d) a composite number?
False
Let y(g) = g**2 - 12*g - 2. Let j be y(9). Let m = 66 + j. Is m composite?
False
Is 499/7 + (-6)/21 a composite number?
False
Let z = 9 - -58. Is z a prime number?
True
Let t(l) = -l**3 + 7*l**2 - 5*l - 4. Let i be t(6). Let a = 2 + i. Suppose 3*q - 2*q + 155 = n, 3*n + a*q = 465. Is n prime?
False
Is 1*1/(-2)*(10 - 764) a prime number?
False
Let u(i) = 11*i - 1. Let s be u(-7). Is (s/15)/((-2)/10) a composite number?
True
Is (14/(-4))/((-1)/14) composite?
True
Let a(b) = 24*b + 2. Let d(c) = 12*c + 1. Let t(m) = -4*a(m) + 9*d(m). Let j be -3*(0 - 2 - -1). Is t(j) a composite number?
False
Suppose -4*u - z - 356 = 0, -4*z - 52 + 476 = -5*u. Let v = 297 + u. Is v a composite number?
True
Suppose 3360 = 3*u - 0*u. Let y = u - 77. Is y a composite number?
True
Suppose -3*r = 5*x - 8545, 0*x - x = -2*r - 1709. Is x a composite number?
False
Let n = 299 - 210. Is n prime?
True
Let n(t) = -2*t**3 - 6*t**2 - 5. Let u be n(-6). Let v = -54 + u. Is v a prime number?
True
Suppose 11*w - 16*w = 10. Is (83/w)/((-1)/2) a prime number?
True
Let o(v) = 711*v**2 + 1. Is o(2) a composite number?
True
Suppose -5*w - 560 = -5*a, 3*a - w - 37 = 293. Let h = a - 75. Is h a prime number?
False
Suppose -2*k = 3*k - 10. Suppose 5*g + 510 = k*c, 79 = 2*c - g - 447. Is c a prime number?
False
Let d(q) = -8*q - 17. Is d(-12) a prime number?
True
Suppose d - 60 = 3*d. Is d/(-3) + (-2)/2 composite?
True
Let a = 169 - 109. Let j = a - 17. Is j a prime number?
True
Let n = -31 - -53. Is n a prime number?
False
Let b(y) = -16*y - 15. Is b(-7) a composite number?
False
Let c(l) = l**3 - 7*l**2 + 7*l + 5. Let g be c(6). Suppose 0 = 2*v - 7 - g. Is v prime?
False
Let i(j) = 3*j**2 - j - 1. Let v be i(-1). Suppose v*p + 19 = t - p, 3*t = -4*p - 23. Is ((-184)/(-24))/(t/(-3)) prime?
True
Suppose -2*m + 2 = 0, -3*m - 3195 + 33 = -5*h. Is h prime?
False
Let x be ((-218)/(-6))/(3/9). Let g = x - 18. Is g a prime number?
False
Let l = -1 + 3. Suppose j - r = 24 + 14, l*r + 114 = 3*j. Is j composite?
True
Let r be 1/6 - 21370/(-12). Suppose 3*w - 1791 = 3*s, 3*w + 4*s - r = 2*s. Suppose -4*g - g + w = 0. Is g a composite number?
True
Suppose 4*r + 76 = 8*r. Is r a prime number?
True
Is (2 + 35)*(-2)/(-2) prime?
True
Suppose -16*u + 1535 = -11*u. Is u a composite number?
False
Let f = -3 + 5. Suppose 0 = -f*n - 3*n + 10. Suppose c + h = 12, -3*h = -0*c + n*c - 26. Is c composite?
True
Let f(l) = 6*l**2 - l + 2. Let s(t) = 31*t**2 - 6*t + 10. Let v(q) = 11*f(q) - 2*s(q). Let m be v(-6). Let p = 259 - m. Is p a prime number?
False
Suppose 3*u - 2877 = -b, 3*b + 458 = -2*u + 2376. Is u a composite number?
True
Let f(h) = h**3 + 2*h**2 - 4*h + 1. Let g be f(-3). Suppose w = -g*w + 15. Suppose -96 - 75 = -w*l. Is l composite?
True
Suppose -3*r - 12 = r. Let c = 1 - r. Is c composite?
True
Let x(b) be the first derivative of 4*b**3/3 + b**2/2 - b + 1. Is x(4) a composite number?
False
Let y be -2 + (-5)/(-1) - 4. Let u(t) = -102*t**2 - 11*t - 14. Let k(c) = -34*c**2 - 4*c - 5. Let m(j) = 17*k(j) - 6*u(j). Is m(y) a composite number?
True
Suppose -4*x + 2*t = -2428, -t = 2*x + 4*t - 1190. Suppose -3*s = 4*d - x, 587 = 3*s - 0*d - 5*d. Is s a prime number?
True
Let j(i) = 4*i**3 - i**2 + i - 1. Let h be j(-3). Let q = h - -212. Is q composite?
True
Let b = 11 + -7. Let u = 5 - 2. Suppose -b*j + u*j + 19 = 0. Is j a composite number?
False
Is ((-4679)/2)/(2/(-4)) prime?
True
Suppose -v - 1404 = -3*v. Let j = v + -449. Is j a composite number?
True
Let a(t) be the first derivative of -115*t**2/2 - 1. Let b(u) = -u - 3. Let k be b(-2). Is a(k) a prime number?
False
Let m be 1/1 + -5 + -11. Let z be 213/(-5) + 6/m. Let o = -22 - z. Is o prime?
False
Let i(u) be the first derivative of u**4/4 - 8*u**3/3 + 4*u**2 - 5*u - 1. Let p be i(8). Suppose -2*j - 3 - 5 = 0, -p = -3*t + 5*j. Is t composite?
False
Suppose -3*c - h = -4*c - 6, -4*c - 28 = -5*h. Let r(j) = -5*j + 1 + 5*j**2 + 3*j + 3*j. Is r(c) composite?
False
Let s(x) be the first derivative of x**3 + 4*x**2 - x - 1. Is s(-6) a prime number?
True
Suppose -13*z + 11*z = 0. Let y = 14 - 25. Let o = z - y. Is o a composite number?
False
Let i = 8 + 0. Suppose 572 = -4*y + i*y. Is y composite?
True
Suppose s + 6 = 4*s. Suppose 0*d - 470 = -2*d. Suppose -4*q + 3*p = -296, p = -s*q - q + d. Is q prime?
False
Suppose 2*p - 5*p - 3*f + 11229 = 0, 5*p - 18709 = f. Is p a prime number?
False
Suppose 2*j + 38 = -a + 5*a, -2*j = 2*a - 4. Is (-2379)/(-21) + (-2)/a a composite number?
False
Suppose s + 1 - 5 = 0. Suppose s = -5*z + 14. Suppose 0 = z*d - 2*f - 20 - 56