080. Is t a prime number?
True
Let j(s) be the first derivative of -7*s**4/4 - 2*s**3/3 - 4*s + 8. Suppose -4*a - 5*c = 27, 2*a + 18 = -3*a - c. Is j(a) prime?
True
Let v(o) = 284*o**2 + 16*o + 15. Is v(-7) a prime number?
False
Is 257*9 + (-7 - -11) prime?
False
Let h(z) = -z**3 + 12*z**2 - 11*z + 4. Suppose -3*o + 38 = 5. Let k be h(o). Suppose -3*f - 82 = -w - 760, k*f = -5*w + 904. Is f composite?
True
Let q(f) = f**2 + 16*f - 306. Is q(-31) prime?
False
Let a be (9 + 1)*1106/(-28). Let g = 2206 + a. Is g prime?
True
Is 6514 + (-8 - (1 + -4)) prime?
False
Suppose -5*h - 5*l = -11765, 0*h = 5*h + 4*l - 11769. Is h a composite number?
False
Suppose -6*w + 5*w = 3*p - 2381, -5*p + 3*w + 3973 = 0. Is p a prime number?
False
Let q = -12638 + 37131. Is q prime?
False
Let p = 32678 + -22856. Is 6*(0 - p/(-36)) composite?
False
Suppose z = 3*t - 6*t + 8846, 0 = 3*t + 15. Is z a composite number?
False
Let m = 4269 + -2468. Is m a composite number?
False
Let p be 0/((3*(-4)/(-3))/2). Suppose p = -7*n + 157 + 886. Is n a prime number?
True
Let m = -1037 - -415. Let k = -159 - m. Is k a prime number?
True
Suppose -6708 = 9*h - 175269. Suppose 7*w - 3958 = h. Is w prime?
False
Is 13489 - (-19 + 9 + (-8)/(-2)) prime?
False
Let i(o) = 7*o**2 + 5*o - 5. Let v be i(-5). Suppose 1114 = n - v. Is n composite?
False
Let b(f) = 4*f**2 - 17*f + 4. Let i(w) = 3*w**2 - 16*w + 4. Let g(q) = 4*b(q) - 5*i(q). Let r be g(-12). Is (-6275)/(-35) + r/14 composite?
False
Is 3*54058/6 - 0 a prime number?
False
Let n(b) = 12767*b + 409. Is n(6) a prime number?
False
Suppose 0 = 5*a - 3*a - 42. Let j(x) = 1 - x - 2*x + a*x**2 - x + x. Is j(2) prime?
True
Suppose 17*c - 25*c + 27016 = 0. Is c a composite number?
True
Let w(r) = r. Let j be w(-10). Let c = j + 21. Is (1 + -2)*(-328 + c) a prime number?
True
Let r(m) = m**2 - 5*m - 2. Suppose -l - 4 = -z, 4*l = -z - 2*z - 37. Is r(l) a prime number?
False
Let s = -7 + 12. Suppose c - 2*j - 131 = 0, 2*c - 110 = c - s*j. Is c + (0 - -3) + -1 composite?
False
Let y be 12 + 0*(-1)/(-3). Suppose 0 = -4*k - 0*k + y. Suppose 0 = k*v + 2*v - 1535. Is v a prime number?
True
Suppose y = 6*y - 5*o - 43295, 4*y + 5*o - 34672 = 0. Is y a composite number?
False
Let j be ((2 - 5) + -3)/(-3). Suppose -5*l = j*n - 2599, -4*n - n - 15 = 0. Is l prime?
True
Let k(x) = 11*x**2 - 24*x + 21. Let b be k(-19). Suppose 5*a - 4*g - 5561 = 0, b = 4*a + 2*g - 5*g. Is a a prime number?
True
Let n(m) = 2*m - 3. Let y be n(10). Suppose 4*o - 2*i - 22 = 0, o + 3*o - y = -3*i. Suppose -o*s + 807 + 458 = 0. Is s composite?
True
Suppose -4*s + 21150 = 2*g - 5*s, 21170 = 2*g + 4*s. Is g prime?
False
Let v be 6*64*(9/12 + 0). Let x be 883 - (-2 - (-3)/3). Suppose -4*k + v = -x. Is k a composite number?
False
Suppose 13591 = 2*f - 18439. Suppose -48*l = -53*l + f. Is l a prime number?
True
Let i = -25840 + 44867. Is i a prime number?
False
Let y be (96870/39 - -1) + 8/52. Suppose -3*q - 2*q + y = 0. Is q a composite number?
True
Let k(d) be the second derivative of 0 + 5/2*d**2 - 13*d - 2*d**3. Is k(-12) a prime number?
True
Suppose -528*o + 21585 = -523*o. Is o a composite number?
True
Let w(y) be the first derivative of 53*y**2/2 + 34*y - 37. Is w(19) a composite number?
True
Let g(n) = -3*n**3 + 2*n - 5. Let a be g(-5). Let m = -295 + 66. Let l = m + a. Is l a composite number?
False
Is (-7)/(-2)*-2*(-1065063)/267 composite?
True
Suppose 14*u + 2880893 = 93*u. Is u prime?
True
Let i = 7749 - 3710. Is i composite?
True
Let x = 18563 - 13126. Is x composite?
False
Suppose -26 = -6*b - 2. Suppose 0*l - 14 = -s + 3*l, s - l - b = 0. Let t(p) = 347*p**2 - p - 1. Is t(s) a prime number?
True
Let o = -1 - -6. Let i(n) = 73*n**3 - 5*n**2 + 79*n**3 - 151*n**3 + 3 + n + 5*n. Is i(o) prime?
False
Suppose 3*a - 2*a = 4. Suppose g + a*k - 15 = 0, -2*g = k - 30 - 7. Is g a composite number?
False
Let y(a) = -10*a**2 + 5*a - 1. Let l be y(4). Let r = 558 + -808. Let n = l - r. Is n prime?
True
Let p = 49 - 44. Suppose -p*q + 18190 = 2*b - 7*b, 5*b = q - 3618. Is q a prime number?
True
Let s be ((-40)/(-15))/(2/3). Suppose -63 - 21 = -s*l. Suppose -l = 5*j - 536. Is j a prime number?
True
Let p(i) = -273*i + 14. Is p(-25) a composite number?
True
Let h(c) = -4*c**3 + c**2 + c - 2. Let o be h(1). Is 1/((-55)/(-72535)) + o/(-22) a prime number?
True
Let u be 129/((-6)/(-16)*4). Let m = u - -545. Is m a prime number?
True
Suppose -3*s + 11 = -4. Suppose 2*h + h + 5 = 2*t, 4*h - 1 = -s*t. Is (8 - -202) + 0 + t composite?
False
Suppose m = 4*l - 7, 0*m = 3*l - 2*m - 9. Let s(y) = 0 + 235*y**3 - 3*y + 2*y + y**2 - 25*y**3 + 1. Is s(l) prime?
True
Let b be ((-3)/9)/(4/(-24)). Let u(o) = -o**2 - 13*o + b*o**2 + 2*o**2 + 9 - o**2. Is u(10) a prime number?
True
Suppose -6*r - 5*y = -r - 24350, -5*y = -5*r + 24360. Is r a composite number?
False
Let i(t) = -22*t**3 - 3*t**2 - t - 13. Is i(-9) composite?
False
Let d = -235 + 93. Let n = 69 - d. Is n a prime number?
True
Suppose 4*m - 2*t - 16 = 0, -3*m + 20 = 2*m + t. Suppose -2*p + m*u + 1199 = 5*u, -2*u = -10. Is p a prime number?
False
Is 2631 + (-6)/(-4 + 7) prime?
False
Let j(z) = z**2 - 3*z - 8. Let m(r) be the first derivative of -r**2/2 - 9*r + 3. Let v be m(-3). Is j(v) a composite number?
True
Let f(j) = j**3 + 17. Let n be f(0). Suppose -n = -3*h + 7. Let z(a) = a + 15. Is z(h) a composite number?
False
Suppose 0 = 26*w - 99884 + 34078. Is w composite?
False
Suppose -5*r = -b + 7, -4*b + 3*r + 11 = -3*b. Let s = b - 15. Suppose 791 = -s*f + 3*f. Is f a composite number?
True
Let k(a) = -54*a**3 + 3*a**2 + 6*a - 2. Is k(-3) composite?
True
Suppose 6 = -2*u + 16. Let g be (-58 - -6)/((-2)/u). Suppose g = x + x. Is x composite?
True
Suppose -6*p = -2*p - 3*z - 11, 3*z - 4 = p. Suppose p*j - 3573 = -4*j. Is j a prime number?
True
Is (-2)/8 - (3 + (-63174)/24) prime?
False
Is (6 + -7 - 5707)*(-2)/4 composite?
True
Let j(l) be the first derivative of 35*l**2 - 19*l - 18. Is j(11) a composite number?
False
Suppose -x = -5*g - 6 - 2, -3*g = 3. Suppose 2*w = -3*s + 17, w + x*w = s - 1. Is w*(1 + 2 + 34) a prime number?
True
Let q = 260 + -104. Suppose 2 = -p - q. Is p/(0 - (1 - -1)) prime?
True
Let s be (-1)/3 - (-980)/60. Let t(r) = 7*r**2 + 19*r + 3. Is t(s) composite?
False
Let k(r) = -71*r**3 - r**2 - 1. Let t be k(-2). Let x = t - 191. Let q = -181 + x. Is q prime?
True
Let h(v) = -52*v - 2. Let c be h(5). Suppose 4*q - 781 = 775. Let a = q + c. Is a a composite number?
False
Let b = 4235 + 6765. Suppose 3*y - 5*r - 8255 = -r, -4*y + b = -2*r. Is y composite?
False
Let j(n) = 4*n**3 - 22*n**2 + 16*n - 81. Is j(19) composite?
False
Let b be 5/((-2)/6 + 0). Let q(g) = -18*g + 23. Is q(b) prime?
True
Let d be (-3438)/(-2 - 1) + -4. Suppose 5*g - d = 428. Is g a composite number?
True
Let h = 57753 + -34152. Is h composite?
True
Let d(i) = 2*i**3 + 5*i**2 - 2*i + 3. Let g be d(-3). Suppose 2*v = v - 5*c + 525, g = 4*v - 3*c - 2054. Is v a prime number?
False
Suppose -3*q - 12825 = -12*q. Let o = q + -2598. Is (-20)/(-6)*o/(-46) a prime number?
False
Let s be (303 + 1 + 3)*(-10)/1. Let x = s - -5123. Is x a composite number?
False
Let n(l) = l**3 + 14*l**2 + 47*l - 4. Let d be n(-8). Suppose d*z - 574 = 5*c, z - 11 = 2*c + 134. Is z prime?
False
Suppose 13 = -4*f - b - 10, -5*f + 2*b - 32 = 0. Is (148/(-10))/(f/15) composite?
False
Let w be (5790/(-3))/(-2) + -3. Let h = w + -573. Is h a composite number?
False
Suppose -249859 - 195963 = -26*m. Is m composite?
True
Suppose -u - 274 = -4*s + 2*u, 4*s - 5*u - 278 = 0. Let b be 9 - 8 - (-3 + 4 + -4). Suppose s = -b*c + 1295. Is c a composite number?
False
Let b = -6 + 9. Suppose 3*d - 430 = -l, 3*l - 2*d - b*d - 1318 = 0. Suppose 0 = -5*x - 3*w + 1091, -2*x + 0*x - w + l = 0. Is x composite?
True
Suppose -3*s - s + 4 = 0. Suppose 0 = a + s. Let g(r) = -79*r**3 + r**2 + 2*r + 1. Is g(a) a composite number?
False
Let x be (-9)/(-7) - -2 - (-60)/(-210). Suppose b + 3 = -2*b + 3*w, -3*w + 27 = 3*b. Suppose b = -c, x*h - 2*c - 4702 = 4123. Is h prime?
True
Let j(l) = -23*l**3 - 4*l**2 - 10*l - 23. Let p be 1 - -1 - (1 + (-3 - -10)). Is j(p) composite?
False
Suppose -6 = -2*n - 0*n. Suppose 3*r + i - 4*i = -15, -n*r = -5*i + 25. Suppose r = 3*b - b - 430. Is b a composite number?
True
Let