((-1)/1) a prime number?
True
Let l(s) = s**3 - 5*s**2 + 4*s. Let t be l(3). Is ((-4)/t)/(2/381) a composite number?
False
Let n(s) = 16 + 2*s**2 - 10*s - s**3 + 10*s**2 - 3. Let v be n(10). Let l = v + -54. Is l composite?
False
Suppose -211 = -b + l, -2*b + 4*l + 320 = -100. Suppose -g = 2*n - 98, -2*g = -n - 3*n + b. Is n a composite number?
True
Let x = -16 - -16. Let c = 35 - x. Is c composite?
True
Let v(b) be the first derivative of b**7/840 + b**6/360 + 19*b**4/24 + b**3 - 1. Let c(n) be the third derivative of v(n). Is c(0) a prime number?
True
Is (-48415)/(-65) + (-4)/(-26) a composite number?
True
Let j = -59 - -90. Is j a composite number?
False
Suppose -2*v = 3*r - 18, 3*v - 2*r - 40 = -0*v. Let b = 25 + v. Is b a composite number?
False
Let k(q) = 6*q**2 - q + 5. Let b be k(-5). Suppose -210 - b = -5*a. Is a prime?
False
Let l(m) = m**3 - 5*m**2 - 14*m + 19. Is l(10) prime?
True
Suppose -4*a = 2*d + 1 + 9, 4*d - 20 = 2*a. Suppose 0 = 5*g + 3*n - n + 1177, -d*g - n - 707 = 0. Is g/(-6)*(0 - -2) a prime number?
True
Suppose 0 = -0*z + 4*z - 488. Suppose 4*y = 3*y + z. Is -2 + (y - (-2)/(-2)) a composite number?
True
Let f(o) = -2*o**3 - 10*o**2 - 6*o. Let l be f(-6). Suppose -2*u + k = -l, -192 + 37 = -3*u + 5*k. Is u prime?
False
Let c(y) be the third derivative of y**4/4 + 7*y**3/6 - 2*y**2. Suppose 4*q + 15 = 7*q. Is c(q) a prime number?
True
Let l(s) = 161*s + 16. Is l(9) a prime number?
False
Let s(m) = -m**3 - m**2. Let q(a) = a**3 + 1. Let v(z) = 2*q(z) + 3*s(z). Let k be v(-3). Suppose 5*f = -3*y + 124, -2*y + k*f + 110 = y. Is y composite?
True
Let i = -365 + 697. Let q = -199 + i. Is q composite?
True
Let b = -900 + 403. Is 6/(-27) - b/9 composite?
True
Suppose -5*u + 22290 = 75. Is u composite?
True
Is (-2)/4*6*(-127)/3 composite?
False
Let c(t) = -t**2 + 4*t - 3. Let a be c(3). Suppose a = 6*k - 5*k - 671. Is k composite?
True
Suppose -2*l = 2*h - 3 + 1, 4*h = -20. Suppose z + 95 = l*z. Is z a prime number?
True
Let i be (-3)/(-12) + 1/(-4). Suppose -4*w + 5*g - 28 = 0, 4*w + i*g = 4*g - 24. Is (w/(-6))/((-4)/(-636)) a prime number?
True
Suppose 5*w - 3*h - 10892 = 0, 5*h - 5 = -0*h. Is w a composite number?
False
Let j(z) = -5*z - 1. Suppose -5*y = 3*h, -4*y + 0*y - 2*h = 0. Suppose 4*v + y*v = -12. Is j(v) composite?
True
Suppose -5*r = -0*r - 20. Suppose -b = r*b. Suppose b = 2*m - 10 - 20. Is m prime?
False
Let f = -17 - -20. Suppose f*g + 2*l + l = 792, 0 = 3*g - 3*l - 798. Is g a prime number?
False
Is (-28)/(-6)*474/4 a composite number?
True
Let c be 8/6*9/6. Let s(y) = 6*y**c + 2 + 0*y - y**3 + 0*y**3 - y. Is s(5) prime?
False
Let o be -2*1/(-2) + 0. Let n(v) = v + 7. Let y be n(-9). Is (-1)/(o*y/38) a prime number?
True
Let k = 4 + 28. Let y = -7 + k. Is y prime?
False
Let i be (0 - 1)*(4 + -3). Suppose 0 = 4*s + 3*p - 27, -2*p = -5*s + 5 - 0. Is s - 2 - i - -2 prime?
False
Suppose -j - 2*s - 1 + 14 = 0, 0 = -j + 3*s - 2. Is j a composite number?
False
Let v be 2/10 + 58/10. Let o(s) = 6*s + 1. Let t be o(v). Suppose -4*a + t = -3*a. Is a a composite number?
False
Let n(i) = 2*i**3 - i + 1. Suppose -5*q + 7 - 2 = 0. Let c be n(q). Suppose -75 = -c*h - 3*h. Is h a prime number?
False
Let m(l) = -9*l**2 - 5*l + 7. Let d(g) = -4*g**2 - 2*g + 4. Let p(b) = -7*d(b) + 3*m(b). Let s be (-108)/(-20) - (-4)/(-10). Is p(s) composite?
False
Let t(k) = -k**3 - 3*k**2 + 5*k + 1. Let p(w) = -w + 6. Let u be p(5). Let n be -2 + u/1 - 4. Is t(n) prime?
False
Let z = -321 - -1022. Is z composite?
False
Let f(u) be the third derivative of 1/120*u**6 - 5/6*u**3 + 0 + 0*u - 1/24*u**4 - 3*u**2 + 1/12*u**5. Is f(-4) a composite number?
True
Let t = 2 - -12. Suppose -119 = -r + t. Let v = r - 42. Is v a composite number?
True
Let g(j) = j**2 + 4*j - 4. Let l be g(-5). Let t(x) = -6*x**3 - 2*x + 1. Let h be t(l). Let w(y) = -y**2 - 11*y + 9. Is w(h) a composite number?
False
Let p(y) = 6*y - 4. Let z(g) = -31*g + 21. Let o(r) = 11*p(r) + 2*z(r). Is o(2) prime?
False
Let c = 35 + 1584. Is c prime?
True
Let w = -11 + -5. Is 1142/8 + (-4)/w a prime number?
False
Is (1 + -4 - -1091) + -1 a prime number?
True
Let w(r) = r**3 + 13*r**2 - 13*r + 17. Let x be w(-14). Is (-1*17)/(x/(-15)) composite?
True
Let z = -8 + 2. Is 3/9 + (-316)/z a composite number?
False
Is 12/(-48) - 26*(-1889)/8 composite?
True
Suppose -1512 = i - 5*i. Let u = -71 + i. Is u a prime number?
True
Let b = 7168 + -4211. Is b composite?
False
Suppose 0 = 3*v + v - 376. Is v a composite number?
True
Let y(s) = s**2 + 7*s + 11. Is y(6) composite?
False
Let n(j) = -j**3 + 7*j**2 + 9*j - 6. Let u be n(8). Let w be 1/(u/(-10)*-1). Suppose -w*i = -3*l - 21, -i - i = -3*l - 12. Is i a prime number?
True
Suppose 4*l - 337 = -r + 18, -2*r + 3*l = -710. Is r a prime number?
False
Let i(s) = -61*s + 5. Is i(-6) composite?
True
Suppose 0 = -4*g + 12, -4483 = -7*p + 2*p + 4*g. Is p a composite number?
True
Let p = -6 - -4. Let m be -1 - (p - 126/3). Suppose -4*c + 23 = 3*k, -2*k - k = -c - m. Is k a prime number?
True
Suppose -108 = -3*h + 2*h. Suppose i + x = 6*x + 85, -3*x = -5*i + 513. Let v = h + i. Is v a prime number?
False
Let i(l) = 28*l + 9. Is i(4) composite?
True
Suppose -68 = -4*x + 184. Let c = 163 - x. Suppose h + 4*h - c = -2*o, -3*o - 15 = 0. Is h prime?
False
Let v be ((-6)/4)/((-3)/4). Is (-96 + 3)/(v/(-2)) prime?
False
Is (18 + -15)*(-46)/(-6) a composite number?
False
Let i = -348 - -995. Is i prime?
True
Let v(z) = -12*z - 5 + 4 - 3 + 3. Let a be v(-1). Let i(w) = w + 10. Is i(a) composite?
True
Suppose 5*z + 9 = -21. Let q(i) = -i - 6. Let p be q(z). Is 354/6 - (2 - p) prime?
False
Suppose -2*s + 5*s - 13 = -2*d, 0 = d - 2*s + 4. Suppose y = -4*u - 70, 3*y = -3*u + d*y - 52. Let i = 71 + u. Is i a composite number?
False
Let x = 4753 + -1986. Is x prime?
True
Is (6/4 + 2)*328/4 prime?
False
Is ((-258)/(-12))/((-1)/(-2)) prime?
True
Suppose 0 = 4*w - 18 + 2. Suppose 0*r = -2*r + w. Suppose -2*v + 290 = r*v + 3*a, a = v - 76. Is v prime?
False
Suppose s - 20 = -4*s + 3*c, -4*s + 16 = -3*c. Suppose 0 = s*w - 0*w + 24. Let j(d) = 2*d**2 + 8*d - 5. Is j(w) prime?
True
Suppose -5*s - 5*y = -0*y - 485, 0 = -2*s - y + 192. Is s composite?
True
Suppose -5*d - 9 = x + 27, 26 = -x - 3*d. Let s = 35 - x. Is s a prime number?
False
Suppose 4*y - 1006 = -p - p, -518 = -p + y. Suppose -4*l + p = -1371. Suppose -3*m - 184 = -2*s, 0*m = -5*s + 2*m + l. Is s a prime number?
False
Suppose 3*y - y - 158 = 0. Is y a prime number?
True
Let i(a) = 124*a - 7. Is i(5) prime?
True
Is 6 - 10 - (-4626)/2 prime?
True
Let d = 1128 - 713. Is d composite?
True
Suppose 13*w - 113234 = -9*w. Is w composite?
False
Suppose 11478 = 8*c - 2*c. Is c a composite number?
False
Suppose 879 + 1066 = i. Is i a composite number?
True
Let a = -129 + 1568. Is a a composite number?
False
Suppose 2*j + 50 + 44 = 0. Let k = -10 - j. Is k a composite number?
False
Let n(a) = 1 - 2*a - 6*a + 12*a. Suppose 2*p - 4*p = -18. Is n(p) a prime number?
True
Suppose -2*g + 175 = 2*z - 597, 4*z + 1130 = 3*g. Is g a composite number?
True
Let v = 103 - 36. Suppose -4*k + 1063 = v. Is k composite?
True
Let b be (-2 - -5)*(-1 - -24). Suppose -4*j = 3*g - 856, -3*g - b = 3*j - 714. Is j a prime number?
True
Let a(l) = 8*l**3 + l**2 - l + 4. Let r(j) = 16*j**3 + 3*j**2 - 3*j + 9. Let t(u) = 5*a(u) - 2*r(u). Let k be t(2). Let p = 117 - k. Is p a prime number?
True
Let s = -3085 - -5234. Is s prime?
False
Suppose -5*p + z = -0*p - 994, 0 = -3*z + 3. Is p a composite number?
False
Suppose -2*k = -4*k + 1306. Is k a prime number?
True
Let s = -254 + 393. Is s a composite number?
False
Suppose 2*y - 1924 = -4*t, 4*y + 0*y = 5*t - 2379. Is t a composite number?
False
Let j be ((-9)/(-12))/((-3)/108). Let c = -9 - j. Is -3*(-201)/c*2 composite?
False
Suppose 0 = m - 2*s + 8, -6*m + 4*m = 4*s - 16. Let o be 1 + 0/(-1) + 1. Suppose -3*n - 3*w + 24 = m, n - o*w = w. Is n a prime number?
False
Suppose 4*n - 3*n = 484. Is -4 + n/4 - 2 a prime number?
False
Suppose 0 = -3*m + 4*m + 2. Is (-2 - (-2 - m)) + 333 prime?
True
Is (-1402 - 0)/(0 - (-4 - -6)) a composite number?
False
Let g = 8 + -11. Let k = g + 1. Is 1 + (-4)/(-1) - k composite?
False
Let n(x) = -x + 1. Let u(y) = 13*y + 5. Let c(t) = -4*n(t) + u(t). Let g = 3 - 1. Is c(g