ative of -s**6/120 - s**5/12 - s**4/8 - 2*s**3/3 - 3*s**2/2 - 2*s. Let l(g) be the first derivative of j(g). Is l(-7) composite?
True
Suppose 5*t = 147421 + 60474. Is t a composite number?
False
Suppose 14 = 4*t - 6. Let r be 1*(5 - 20/t). Is (-5)/(4 + r)*-379 prime?
True
Suppose 0 = -3*m + 5*m - 5*i - 13, m - 9 = 3*i. Is (-10)/(-15) + (-398)/m a composite number?
False
Suppose 3*i - 3 = -3*p, 6*p - p = -3*i + 5. Suppose i*w - 4*w = 0. Suppose 3*r - 483 = -3*j, 3*j + 0*r + r - 487 = w. Is j composite?
False
Let w(k) = k**3 + 14*k**2 - 42*k - 11. Is w(26) prime?
False
Let a(f) = 5*f**2 - 2*f - 4. Suppose 0 = -4*o - 11 - 9. Let u be a(o). Let l = u - 80. Is l prime?
False
Let g = 693 - 442. Is g composite?
False
Let m(t) = -10*t**2 + 15*t - 1. Let z be m(-7). Let c = z - -1003. Is c prime?
False
Let y(v) = -v - 1. Let l(s) = 5*s**2 + 9*s + 10. Suppose h + 1 = 2*h. Let f(o) = h*l(o) + 3*y(o). Is f(6) composite?
False
Let f be (2/(-2))/(6 - 7). Let v be (f + 3)*(-6)/(-8). Suppose 0 = v*h - 0*l - 4*l - 349, -8 = -4*l. Is h a composite number?
True
Let m = -4523 + 9222. Is m composite?
True
Let a be -1 + (-75)/(-3) - (1 - -1). Is (-5)/(60/a)*-6 a prime number?
True
Let p = -10 - -14. Suppose 0 = 3*x - 4*i + 660 - 2717, -i - 2734 = -p*x. Is x prime?
True
Let v(w) be the second derivative of -w**4/12 - 7*w**3/6 - 3*w**2 - 2*w. Let i be v(-5). Is 42/i*(-46)/(-3) a composite number?
True
Let t be 0 + (-1 - 4/4). Let u be -182*111/12*t. Suppose -4*p + u = 1019. Is p a composite number?
False
Suppose 0 = -5*q - 28 + 8, w - 3369 = -5*q. Is w composite?
False
Suppose 237 = 4*r - 271. Let l be r/3*18/6. Suppose 2*i = 3*i - l. Is i a composite number?
False
Let h be -5*(374/10 + 1). Let x = -65 - h. Is x composite?
False
Let y = 21 + -6. Is (3/(-2))/(y/(-3310)) prime?
True
Let i(r) = 314*r**2 - r - 10. Is i(-3) a prime number?
True
Let f = -91 + 127. Is 18986/18 + (2 - 64/f) a composite number?
True
Is 930 + (-2)/9 + 42/(-54) a composite number?
False
Let y(t) = 146*t - 25. Suppose n + 3*i = 0, -i + 4*i = -2*n + 12. Is y(n) a prime number?
False
Suppose -q + 750 = q. Let j = -226 + q. Is j prime?
True
Let v = 7237 + -4316. Is v prime?
False
Suppose -7*f + 3*f = m - 6317, 3*m - 3*f = 18876. Is m a composite number?
True
Suppose -57 + 47 = -2*f. Suppose 4*n + f*x - 746 = 278, 4*n - 2*x - 996 = 0. Is n composite?
False
Let p = 15662 - 8883. Is p composite?
False
Suppose -4*c + 3363 + 9833 = 0. Is c composite?
False
Suppose 3*i - 3*t = 3, 22 = 2*i + 3*t - 0*t. Suppose 259 = i*z - 286. Is z prime?
True
Let m = 3314 + 6771. Is m prime?
False
Let j(x) be the second derivative of x**4/12 + x**3 - x**2/2 + 8*x. Is j(-12) a composite number?
False
Is (-2*(-45476)/(-12))/(4/(-6)) a prime number?
True
Let s = 11 - -19. Is (-9014)/(-10) - 12/s a prime number?
False
Let s(k) = -9*k - 2 + 9 - 15*k. Is s(-5) a prime number?
True
Let a(d) = -3079*d**2 - 17*d + 5. Let i(p) = 1539*p**2 + 8*p - 3. Let z(r) = 3*a(r) + 7*i(r). Is z(1) prime?
False
Let i(r) = -r**2 - 9*r - 2. Let f be i(-6). Let g = f - -70. Let y = g + -21. Is y prime?
False
Suppose -3*m + 4 = 5*q - 75, -49 = -3*q - m. Suppose q = -5*s + 92. Suppose -19*g + 1228 = -s*g. Is g prime?
True
Suppose 8*y - 154337 = 41751. Is y composite?
True
Suppose 4*x - 44854 = -2*d, -3*d + 28469 = 4*x - 38808. Is d prime?
False
Suppose -b = -4*b + 3*k - 543, 5*k = 20. Let p = -442 - -194. Let s = b - p. Is s a composite number?
False
Let m(i) = i**3 + 8*i**2 + 6*i - 5. Let c be m(-9). Let v = c - -975. Is (v/(-3))/(2/(-6)) a prime number?
False
Suppose -4*d = v - 5, -8 = -5*d + 2*v - 5*v. Let j be 4 + -4 + (-1)/d. Is (j - -8)*6/2 prime?
False
Let x be (105/(-12))/5*-4. Suppose 3*y = -2*m + 6, 5*m = -8 - x. Suppose 5*v - 155 = 3*u, 0 = v - 5*v - y*u + 124. Is v prime?
True
Let j = 6 + -4. Suppose -j*l - 2*o + 15 = -1, 27 = 4*l - o. Let s = 19 + l. Is s composite?
True
Suppose s = 3*i - 12, -5 = 5*s - 2*i + 3. Suppose s = -c - c. Is -158*(c - (-2)/(-4)) a composite number?
False
Suppose 2900 = -4*n + 6*a - 5*a, a + 3616 = -5*n. Let t = n - -2639. Is t a prime number?
False
Suppose -77846 = -41*k + 159093. Is k a prime number?
True
Suppose 0 = 3*o - 259 - 419. Suppose 0 = -2*m - o + 1704. Is m a prime number?
True
Let q(l) = -l**2 + 6*l - 3. Let k be q(6). Let d be (-914)/k*3/(-2). Let g = d - -764. Is g composite?
False
Is (0 - 6) + (19249 - 0) a composite number?
True
Let f be (-5 + 3)*378/4. Let p = f + 456. Suppose 0 = 2*l + l - p. Is l composite?
False
Suppose 0 = -74*d + 235020 - 66226. Is d a composite number?
False
Let q be 3/(-6) + (-3)/(-6). Suppose 2*a = -q*a. Suppose a = -3*z + 3*f + 38 + 142, z - 58 = -f. Is z a composite number?
False
Let c be (-14)/(4/4 - 3). Suppose c = d - 61. Suppose -d = -2*i + 638. Is i prime?
True
Suppose 19*o - 12 = 16*o. Suppose u = o*u - 2001. Is u composite?
True
Let f = -373 - -939. Let x = f - -311. Is x a composite number?
False
Let u be (0 - 1)*(-35 - (-6)/(-2)). Suppose -359 = -u*i + 37*i. Is i prime?
True
Let y(f) be the second derivative of f**4/12 + f**2 + 5*f. Let a be y(0). Suppose -5*b - 2*q + 189 + 438 = 0, a*q + 8 = 0. Is b a prime number?
True
Suppose 0 = -3*r + 3*s - 4*s + 2, 4*s - 8 = 0. Suppose r = -3*g + 4 + 14. Suppose -25 = -b - g. Is b prime?
True
Let l(z) be the third derivative of -z**4/12 + z**3/6 + 2*z**2. Let j be l(-5). Is j/(4*(-3)/(-12)) prime?
True
Is 6495 + (-1 - (-1 - 4/(-2))) composite?
True
Let h be ((-41)/(-2))/(1/26). Suppose -i + x = 2*x, 2*i - 28 = 5*x. Suppose -v + i*l = -h, 0*l - 2 = -l. Is v a prime number?
True
Suppose 5*a - 1873 = 6*g - 2*g, 3*a = -2*g + 1115. Is a a composite number?
False
Let f(b) = -b**2 - 3*b + 6. Let g be f(-4). Suppose k - 23 = -4*o, -g*k - 3*o = -51 - 20. Is k prime?
True
Let i = -11 + 34. Let j = i - 46. Let y = -4 - j. Is y composite?
False
Let k(d) = -12*d + 14*d + 3 + 26*d. Let j be k(12). Is (j/(-12))/((-3)/12) a prime number?
True
Suppose -2*b + 0*b + 46 = 0. Suppose -2*g - b = -3. Let o = g + 13. Is o a composite number?
False
Suppose 4*k = -4*x - 40, 0 = -0*x - 5*x - 2*k - 41. Let w = -31 + x. Let c = w - -305. Is c a composite number?
True
Let h = 67 - -916. Is h prime?
True
Suppose 5085 - 589 = 8*g. Is g composite?
True
Let s be ((-5050)/(-15))/(-5)*(-9)/2. Let p = s + 142. Is p prime?
False
Let d be 10/(4 - 2) - 0. Suppose 0*c + d*q = -2*c + 3017, -5*c - q = -7600. Suppose c + 1433 = 2*u. Is u prime?
False
Let d = 94 + -91. Let p be (1/(2/12))/1. Suppose -4*x - 849 = -3*m, p*x = -2*m + d*x + 583. Is m a prime number?
False
Let j(h) = -3*h + 8. Let u be j(4). Is (-186)/u + (3 - (-20)/(-8)) prime?
True
Is -18947*(-11)/44*(-1 + 5) a prime number?
True
Is 1/(9*8/287208) a composite number?
False
Let t(p) = 429*p - 13. Let y(u) = 214*u - 6. Let s(w) = -3*t(w) + 5*y(w). Is s(-2) prime?
True
Let d(i) = -51*i - 72. Is d(-49) a composite number?
True
Let x = 2322 + -1429. Let p = x + -498. Is p a composite number?
True
Let b(a) = a**2 - 11*a + 6. Let y be b(10). Let d be 0*(-4)/(-8 - y). Suppose 4*x + x - 485 = d. Is x composite?
False
Let m(w) be the first derivative of w**4/6 - w**3/6 - 13*w**2/2 - 3*w - 6. Let f(r) be the first derivative of m(r). Is f(10) prime?
False
Suppose z - g - 7 = 2*g, -g = z + 9. Let p(o) = 3*o**2 + 5*o + 3. Is p(z) prime?
True
Let z(a) = 69*a**2 - 20*a - 19. Is z(8) a prime number?
False
Let l(q) be the first derivative of -8*q**4 + 2*q**3/3 + q**2/2 + 29. Is l(-1) composite?
True
Is 10/70 - (-16)/(-14) - -5148 prime?
True
Let j(n) = -9 + n**2 + 2*n**3 + 6*n + 2 - n**3 - 5*n**2. Let w be j(3). Suppose w*m - 171 = -m. Is m a prime number?
False
Let g(u) = -u**2 - 6*u + 6. Let l be g(-5). Let h = 30 - l. Let f = 96 + h. Is f composite?
True
Suppose -7*c = 29 + 6. Is 1 + c + 17 + 3066 prime?
True
Suppose -44*g + 3*g + 212749 = 0. Is g composite?
False
Suppose f = 2*n + 10 + 12, 4*n = -2*f - 28. Let z = 3 + n. Is z/10 + (-532)/(-20) composite?
True
Let p(l) = 3*l**3 + l**2 + l. Suppose 5*s + 10 = 8*z - 3*z, -3*z = 2*s - 16. Let d be p(s). Let a = d + 7. Is a prime?
True
Suppose -2*b = -2*j - 5*b + 13, 3*j - 20 = -5*b. Suppose j*m + 1211 - 3196 = 0. Is m composite?
False
Suppose 5 - 11 = -3*n. Is 2/n*(-11 - -60) prime?
False
Let j(d) = -15*d**3 + 11*d**2 - 6*d - 35. Is j(-6) a composite number?
Fa