vative of 13*t**4/12 - t**3 + 3*t**2/2 + 4*t. Is j(5) a composite number?
True
Let z = -10 + 8. Is (-93)/(-6)*(-4)/z a prime number?
True
Let y be 17/2 + 21/14. Let u be 2/(-5) - 156/y. Let i = u - -38. Is i prime?
False
Suppose -3*y - 1 - 11 = 0. Let o(h) = -58*h + 5. Is o(y) prime?
False
Let k = 306 + -217. Is k prime?
True
Let o(d) = -9*d**2 - 3*d + 3. Let y be o(-7). Let x = -748 - y. Let k = x + 492. Is k a prime number?
False
Suppose -4*p + 905 = 3*n - 434, 0 = 5*p - 4*n - 1635. Is p a composite number?
False
Let n(r) = r**3 + 7*r**2 + 3*r - 3. Let i = 27 + -18. Let z be -2*i/(-6)*-2. Is n(z) a composite number?
True
Suppose -1404 = -7*p - 431. Is p a prime number?
True
Let w = -3 + 5. Let k(v) = -v**3 - 10*v**2 - 10*v - 2. Let r be k(-9). Suppose -33 = -w*q - r. Is q prime?
True
Suppose 3*d = -d + 300. Suppose 2*i = 4*j - 60, -2*i - d = -3*j + 4*j. Let w = i - -59. Is w composite?
False
Suppose 0 = -2*z - 3*o + 20505, -3*o = 4*z - 0*o - 41001. Is (-1)/(-5) + z/35 composite?
False
Let j(i) = 17*i**2 - 15*i + 9. Is j(10) composite?
False
Let r = 88 - -79. Is r prime?
True
Suppose -13 = -r + 13. Is r a composite number?
True
Let z = 16583 + -10998. Is z prime?
False
Let s be (6/(-7))/(4/(-28)). Suppose s*t - 2*t = 8. Suppose 50 = t*i + 3*i. Is i composite?
True
Let p(k) = 3*k**3 + k + 0*k**3 + 2 + 3*k**2 + 2 - 4*k**3. Let d be p(3). Suppose -3*q - 124 = -d*q. Is q a prime number?
True
Let w = -378 - -537. Is w a prime number?
False
Is -3 - ((-1)/(-5) + (-32524)/20) a prime number?
False
Let w(a) = 13*a**3 - a**2 + 1. Let i be w(1). Let b(r) = 2*r**2 - 16*r + 3. Is b(i) prime?
False
Let f(o) = 2*o**2 + 1. Let g be f(-1). Suppose g*h = -4*c - c + 446, -3*h = 2*c - 461. Is h a composite number?
False
Let l(i) = i**2 + i. Let s be l(-1). Suppose -5*a + 108 + 57 = s. Is a prime?
False
Let g = 127 + -50. Is g prime?
False
Suppose 4 = 4*w - 3*w. Suppose 0*p = -w*p. Suppose 6 = -3*v, g - 75 = -p*g + 4*v. Is g prime?
True
Suppose 3*i = 3849 + 756. Is i composite?
True
Let p(z) = 19*z - 3. Let j be p(2). Suppose -5*q = -5*y + j, -23 - 16 = -5*y + 4*q. Is y composite?
False
Let q be 4/22 - 48/22. Let z(y) = -59*y + 2. Let k be z(q). Suppose -7 = r - k. Is r composite?
False
Let g = -468 - -805. Is g prime?
True
Suppose 5*d - 287 = m, 412 = -3*m - 4*d - 487. Let b = -208 - m. Is b prime?
True
Let y = -4 + 11. Suppose -3*u = -y*u + 284. Is u prime?
True
Let p = -18 + 20. Is ((-12)/16)/(p/(-40)) a composite number?
True
Suppose 2*o - 251 = -y - 0*o, 3*o = 0. Is y prime?
True
Let x = -192 + 383. Is x a composite number?
False
Suppose 843 = 6*j - 3399. Is j a composite number?
True
Let g = -104 + 157. Is g prime?
True
Is 3612/36*(3 - 0) a composite number?
True
Suppose -807 = -5*n + 2*p, 4*n = 6*n + 2*p - 334. Is n composite?
False
Is -4 - (-94 + (1 - 0)) a prime number?
True
Let w be 20/(-3)*(-6)/(-4). Let j(i) = -2*i - 1. Let z(v) = -v - 1. Let d(a) = 4*j(a) - 3*z(a). Is d(w) a prime number?
False
Suppose -5*k + 3759 = 504. Let f = -450 + k. Is f a prime number?
False
Let x = -15 + 46. Is x a composite number?
False
Let o(j) = j**2 - 5*j + 2. Let d be o(5). Suppose 5*r + d*t - 4 = 0, r + 5*t - 10 = -0. Is 2 - (r + -125)/1 a prime number?
True
Suppose -2*j + 5*n = -842, 9*j - n = 11*j - 866. Is j a prime number?
True
Suppose o = -3*o + 8. Suppose 2*l - 254 = 432. Suppose -4*v = 5*p - 12 - l, 0 = 3*p + o*v - 211. Is p prime?
True
Let v(g) = -5*g**3 + g**2 - 2*g + 1. Let b(d) = 5*d**2 + 3*d - d**2 - 3*d**2 - 2 + 0*d**2. Let k be b(-3). Is v(k) composite?
True
Let m(r) = -r**2 + 10*r - 3. Let v be m(11). Let c be 12/(-42) - 60/v. Suppose -5*s = -c*d + 17, -4*d - 3*s + 9 = -0*d. Is d a composite number?
False
Suppose -b - b = -3*m + 546, 4*b = 0. Is (3 + m/4)*2 composite?
False
Suppose -2*s + 24 - 5 = -f, -4*f = -s - 1. Is 3375/s - 6/(-33) prime?
True
Suppose -5*r + 166 + 154 = 0. Let c = 177 - r. Is c prime?
True
Suppose -z + 3 = 8, 2*b - 3*z - 25 = 0. Suppose -b*g + 425 = -0*g. Is g composite?
True
Let o(n) = 7*n**3 - 7*n**2 - 9*n + 10. Let b be o(-7). Let q = -1476 - b. Suppose q = -2*u + 7*u. Is u a prime number?
True
Suppose 3*z - 2*n - 8 = -4*n, 0 = -4*z - 5*n + 6. Suppose -q = z*q - 395. Is q prime?
True
Suppose -4*m - 680 = -3516. Is m a composite number?
False
Let w(f) = 31*f**2 - 6*f - 6. Let d be ((-22)/(-33))/((-4)/(-30)). Is w(d) composite?
False
Let q = 252 - -15. Suppose 4*f - f = q. Is f a prime number?
True
Let g(p) = 744*p + 1. Is g(1) prime?
False
Let d = 2 + 0. Suppose -4*v = -d*v - 8. Is v/(-8)*44/(-2) a prime number?
True
Let c = -176 - -349. Suppose -4*w + p - 38 + 189 = 0, 4*p - c = -5*w. Is w prime?
True
Let m be 0 - 5 - (3 - 4). Let w(l) be the third derivative of -l**5/60 - 7*l**4/24 - l**3 - 3*l**2. Is w(m) a composite number?
True
Let b(q) be the second derivative of -11*q**5/20 - q**4/12 - q**2/2 + 2*q. Is b(-2) prime?
True
Let m = -857 + 1899. Is m a prime number?
False
Let c be (2/(-2) - 253)*1. Is ((-4)/(-2))/((-4)/c) prime?
True
Suppose -3*r = -r - 4. Suppose h = -r*h. Suppose -5*x + 20 = -h*x. Is x prime?
False
Suppose -5*c - 25 = 5*t, -4*t + 4 = -c - c. Let o = t - -32. Is o composite?
False
Is 3*1/3*223 a prime number?
True
Suppose 0 = 2*t - 633 + 11. Is t prime?
True
Suppose i - 4*i - 4 = -f, -5*f = -20. Suppose 5*s = -i*s + 105. Is s a composite number?
True
Suppose 3*y = c + 2*c, -16 = -3*y - c. Is y/10 + 459/15 prime?
True
Suppose 4*x - k = 1925 + 2923, k + 1209 = x. Is x a prime number?
True
Suppose -53 = -l - 0*k - 5*k, 5*k = 2*l - 31. Suppose -416 = -4*s + l. Is s a composite number?
True
Is (-1 - -790)*(-7)/(-21) composite?
False
Let t be 1 + -2 - -4 - 54. Let g = t + 178. Is g a composite number?
False
Let z be 3*(2 - 2/3). Suppose -j = -z*j - 6. Let v(q) = -6*q**3 - 2*q**2 + q - 1. Is v(j) prime?
True
Let r be (-1)/(-2)*(10 + -10). Let x = 2 + 100. Suppose r = -2*w + x - 8. Is w a prime number?
True
Let p(t) = -t**2 + 60. Let v be p(0). Suppose -4*z + 0*z + v = 0. Is z a prime number?
False
Let j(y) = -30*y - 7. Is j(-10) a prime number?
True
Let t(h) be the third derivative of 97/6*h**3 + 0 + 1/24*h**4 + 0*h - h**2. Is t(0) a prime number?
True
Let i be 15/4 - 5/(-20). Suppose 0 = 3*g - 4*q - 221, -i*q + 9*q + 293 = 4*g. Is g a composite number?
False
Let g(d) = -d**2 - d - 1. Let h(o) = 7*o**2 + 9*o + 10. Let x(f) = 5*g(f) + h(f). Let q be x(-5). Suppose 5*s = -0*s + q. Is s composite?
False
Let q(i) = 42*i - 11. Is q(18) prime?
False
Suppose 0*c = -3*c + 114. Suppose -c - 38 = -4*v. Is v a prime number?
True
Let c = -46 - 31. Let w = c + 144. Is w composite?
False
Let s = -3 - -9. Let g(w) = w**3 - 4*w**2 + 9*w - 15. Is g(s) composite?
True
Suppose -1292 = -4*c + 248. Suppose 91 = 4*d - c. Is d a prime number?
False
Let o(b) = 2*b. Let n(k) = -k**2 + 1. Suppose 0 = 4*f + 5*u + 14, 7 = f - 2*u - 2*u. Let q(t) = f*o(t) - n(t). Is q(6) a composite number?
False
Let p be 1 + 3/(-6)*-6. Let s(f) = 23*f - 3. Is s(p) a prime number?
True
Let m(z) = -3*z**3 + z**2 + 4*z - 1. Suppose -f + 3*c = 9, 8*f + 5*c = 3*f - 5. Is m(f) a composite number?
True
Let o be 36/6*(-2)/(-4). Suppose 6*w = 2*w - 4*m + 372, o*m + 449 = 5*w. Is w a prime number?
False
Is 981/2 + (-7 - (-88)/16) a prime number?
False
Let o(m) = -m**3 + 4*m**2 + m. Let u be o(4). Suppose 0 = 5*b, -122 = -4*x - u*b + 2. Is x prime?
True
Let s(w) be the third derivative of w**6/360 + w**5/15 + 7*w**4/12 - w**3/3 - w**2. Let x(b) be the first derivative of s(b). Is x(-10) composite?
True
Suppose -3*w + 4 = -2*w. Let m = 8 - w. Suppose y + 75 = m*y. Is y composite?
True
Let s = 12 + 19. Suppose 5*z = -s + 101. Is z prime?
False
Suppose 4*z - 2275 = -5*s, 441 = s - z - z. Is s a composite number?
True
Suppose 4*s + 26 = 186. Suppose -s = -3*h - h. Is h a prime number?
False
Suppose -a + 6 + 26 = 0. Is -2 + -3 + a + -1 a composite number?
True
Let j be ((-4)/6)/((-1)/6). Is ((-445)/(-20))/(1/j) a prime number?
True
Suppose 3*m = -23 - 22. Let g be (4/(-6))/(2/m). Suppose -g*j = -b - 444, -3*j - 92 = b - 360. Is j a prime number?
True
Suppose -5*c + 5*r + 1150 = -935, 0 = -c + 2*r + 417. Is c a composite number?
True
Suppose 2*t - t - 5 = 0. Suppose 0 = -4*n + 5*s + 1123, -t*n + 4*s + 636 = -770. Suppose u = 4*m - 2*u - n, m - 5*u - 79 = 0. Is m composite?
T