) a prime number?
True
Let v(o) be the first derivative of 4*o**3/3 + 13*o**2/2 - 13*o + 87. Is v(-18) a prime number?
True
Suppose 2*u + 98 + 2 = 0. Let j = -48 - u. Suppose j*s = s + 2053. Is s a composite number?
False
Let u = 155 + -126. Suppose u*x = 21*x + 5128. Is x composite?
False
Let j(p) = p**2 + 44*p + 3149. Is j(0) prime?
False
Suppose -2 = y + 2, 4*q + 3*y = 12. Suppose l - 1248 = 2*z, -3*l + q*l = z + 3764. Let c = l - 109. Is c a prime number?
False
Let p(n) = 97*n - 205. Let h(k) = 3*k - 1. Let w(f) = -6*h(f) + p(f). Is w(14) a composite number?
False
Let m(l) = -l**3 + 4*l**2 - 5*l + 4. Let c be m(3). Let y = -2 + c. Is (-2)/9 + y/(-18) - -571 a prime number?
True
Suppose 0 = 125*b + 3*b + 7*b - 3808485. Is b a composite number?
False
Let h = 649 + -9. Suppose -15*b + 4435 = h. Suppose 0 = -19*l - b + 5364. Is l composite?
False
Is (3774/(-204))/((-2)/1724) a composite number?
True
Let b be (39 - 4)/5 - 2. Suppose 5*a = 3*w - 31, -b*w + 3*a = -28 + 3. Suppose w*s + 447 = 5*s. Is s a composite number?
False
Let g be (-2)/(-4*1/(-2782)). Let c be 6/((-8932)/1784 + 3/(9/15)). Let u = c - g. Is u prime?
True
Suppose -86*m = -20*m - 2480610. Is m prime?
False
Let g = -124 - -146. Let s(c) = 102*c - 7. Is s(g) a prime number?
True
Suppose 3*q - 769 = 2*q. Let a be ((-688)/(-6))/(80/(-360)). Let s = q - a. Is s a composite number?
True
Suppose -6*n = -22*n - 21584. Let s = -64 - n. Is s a composite number?
True
Suppose -5*z + 1537881 + 37082 = 8*z. Is z prime?
True
Suppose -4*j - 196 = -11*j. Let m be ((-33)/(-12) - 2) + 63/j. Let s(o) = 123*o + 24. Is s(m) a composite number?
True
Suppose 6*g = 7*g - w - 277781, -4*g = 5*w - 1111142. Is g composite?
True
Let p(y) = -y**3 - 3*y**2 - 10*y + 1. Let n(m) = -6*m**2 - 1. Suppose -3*q + 5*h - 22 = 0, -4*h + 5 = -3*h. Let t be n(q). Is p(t) composite?
True
Let t(a) = 95*a**2 - 6*a + 11. Let g(b) = 47*b**2 - 3*b + 5. Let v(k) = 5*g(k) - 2*t(k). Let d be v(4). Suppose -2*f - f + d = 0. Is f a prime number?
False
Suppose -28*c + 8 = -27*c. Let l(r) = 2*r**3 + 2*r**2 + 8*r - 16. Let o be l(c). Suppose o = 10*q - 2390. Is q prime?
True
Let g be (3/6 + 2)/(5/8410). Suppose 2*q - 12344 = -2*d, 4*q + d - g = 20468. Is q composite?
True
Let p = -482251 + 686918. Is p prime?
True
Let q = -20 - -32. Suppose 3*v = q, -4*v = 5*i - 6689 - 18982. Suppose -3*s = -2*s - i. Is s a prime number?
False
Is -1*8/52 + -11 + (-75192790)/(-65) prime?
True
Let q be (-6)/8 - 9/4. Let y be (-1)/q*(4 + 14). Suppose -y = 2*g, -4*l + 2*g = -3*l - 95. Is l a prime number?
True
Suppose 2*j + 49425 = 192907. Is j prime?
True
Suppose -112*b + 116*b - 16 = 0. Let q(c) = 839*c + 149. Is q(b) a prime number?
False
Let j = 18073 + -4429. Suppose -5*y + 5 = 0, 0 = 6*a - 3*a + 3*y - j. Is a a composite number?
False
Suppose 5*q = -3*n + 21, -5*n - 3*q = -6*q - 69. Let t(l) = -l**3 + 16*l**2 + 5*l + 31. Is t(n) a composite number?
True
Let i be -3 + -1 + (5 - 1). Suppose 2*j - 2*y - 33 = 3*y, -4*j + 11 = y. Suppose -5*t + 2*n + 1461 = 0, -j*t + i*n = -5*n - 1162. Is t a prime number?
True
Suppose 0 = i + 3*i - 5*k - 9502, 4*i + 5*k = 9482. Suppose 66*s - 69*s + i = 0. Is s composite?
True
Suppose -3*w + 7 = -v + 2*v, 2*w = 3*v + 12. Let x be v/(-8)*430 - 2/4. Let z = x + 51. Is z prime?
False
Let s = 3022 - -396. Let z = s - 137. Is z a composite number?
True
Let r = 487384 + -233681. Is r composite?
False
Suppose 0*y - 16 = 8*y. Let l be (-45)/(-3) - ((-4)/1)/y. Is -4 + (4 - 3) + l a composite number?
True
Is 74667/(-1)*(10 - ((-430)/(-30) - 4)) a prime number?
True
Let j = -594174 + 841841. Is j a composite number?
True
Let u(z) = 3 + 92*z**3 - 3*z - 93*z**3 + 6*z**2 - 6*z. Let s be u(4). Is (-314)/(s*(-1 + 3)) prime?
True
Suppose 0 = 3*q - 3, q + 15 = 2*r + 2*q. Suppose -r = -g + 2. Suppose g*m = 2*m + 10759. Is m composite?
True
Suppose 0*i + 3*u = -2*i - 3, 5*i - 3*u - 3 = 0. Suppose k + 2*n - 483 = i, -k + 1465 = 2*k - 2*n. Is k prime?
True
Is 10*(-9)/450*-447955 prime?
True
Let m(l) = l**3 + 79*l**2 + 134*l + 138. Is m(-56) a composite number?
True
Suppose 3*t - 231 = 4*c + 4*t, -5*t - 243 = 4*c. Let a = -57 - c. Suppose a = -3*z + 12110 - 1643. Is z composite?
True
Is -8 + (1 - -1) + 306927 + -14 + 6 a composite number?
False
Suppose -3*y + 4*h + 2 = 0, -4*y - 21 = 5*h - 3. Let o be (22/(-55))/(y/1190). Is (o/85)/((-2)/(-5)) a prime number?
True
Let w(l) be the first derivative of -179*l**4/4 + 4*l**3/3 - 10*l - 36. Is w(-2) a composite number?
True
Let r(o) = -o**3 + 125*o**2 - 271*o + 341. Is r(100) prime?
True
Let p be (-10)/25 + (-1297)/(-5). Suppose -p*x - 10438 = -261*x. Is x a composite number?
True
Is (-3717349)/(-41) + 130/(-2665) prime?
False
Suppose 3*w - 57906 = 4*q + 7140, 0 = -4*w - 5*q + 86697. Let f = w - 1495. Is f a composite number?
False
Let d be 16/1 - 4/(-2). Let y be (-18948)/d + (-4)/(-6). Is 10/(((-24)/y)/3) composite?
True
Let n(r) = r**3 - 21*r**2 + 18*r + 42. Let z be n(20). Suppose -2*x - 4*c + 7818 = 0, 4*c - 7817 = -z*x + c. Is x a composite number?
False
Suppose o + c = -2, 0*o = 2*o + c. Suppose w + 762 + 943 = o*s, 5*w + 1701 = 2*s. Is s prime?
True
Suppose 222738 + 175612 = 50*v. Is v a prime number?
False
Suppose -c = -2*c + 7. Let a(q) = 12*q**3 - 6*q**2 + 41*q. Is a(c) prime?
False
Let d be 70/6*((-24)/(-10))/2. Is ((-4634)/(-21))/(d/63) prime?
False
Let y = 612 + -698. Let v = 71 - y. Is v a composite number?
False
Let r be (-3 - -1)*26/4. Let q(v) be the first derivative of -2*v**3/3 - 29*v**2/2 - 8*v + 1985. Is q(r) prime?
True
Let r = 25065 + -19484. Is r prime?
True
Suppose 2*c - 20518 = -2*i, 0 = i - c - 10698 + 439. Is i a prime number?
True
Is ((-56)/16 + 2)*2 + 11106 + -2 a composite number?
True
Let b(z) = 1090*z**2 - 6*z + 18. Let f be b(5). Suppose 7*q - f = -2423. Suppose -q - 817 = -3*r. Is r a prime number?
False
Suppose 0 = 2*t - c + 11, 0 = -5*c + c - 20. Let d(v) = v**3 + 8*v**2 + 2. Let f be d(t). Suppose j + 3*q = -3*j + 812, f*q = 0. Is j composite?
True
Let t be 93/3*(1 - (6 - 0)). Is 35513/5 - 62/t composite?
False
Suppose 18 = -3*w + 21. Let h be (-1383)/(-3) + (w - -2)*1. Let m = h + 5. Is m prime?
False
Is (16/120 - (-361144)/(-80))*-6 prime?
False
Suppose q + 4*q - 25 = 0, 0 = -5*i - 5*q + 44485. Let x = 2668 + i. Let l = x + -7313. Is l composite?
True
Let j = 255613 - 178802. Is j a prime number?
False
Let q = 1186 - -3. Let u = 18430 + q. Is u composite?
True
Let n(r) = 16*r**2 + 158*r + 51. Let t be n(-13). Let z = 4 + -1. Suppose v - 4*q = t, q = -2*v - z*q + 1402. Is v a prime number?
True
Let j = 499 + -496. Suppose 0 = 5*f + j*x - 220036, 2*f - 4*x = 16651 + 71379. Is f a composite number?
True
Suppose 65*s - 76*s = -22. Let m be 1 + (0 - 1) + 2580. Suppose s*t = 5*d + 2601, -m = -2*t - 2*d - 0*d. Is t a prime number?
False
Suppose -4*z = 2*s - 120, 0*z - 5*s = 2*z - 44. Let x = 29 - z. Is (0 + -1678)/(-5 - x/1) prime?
True
Let l be (18/6 - 4) + 1473. Suppose 0 = k - l + 35. Is k prime?
False
Let n = -170 + 173. Let f be (1/2)/(8/32). Is n/f*6/9*673 a prime number?
True
Suppose -3*y + 4*d + 9 = 4, 2*y + 5*d = 11. Suppose u - 1480 = -5*k + 2867, -2603 = -y*k + 2*u. Is k a composite number?
True
Let y be 7/(-1)*3/(-3). Suppose -5*w + y*w + 2024 = 0. Let r = w - -1553. Is r prime?
True
Let g(w) = 39*w**2 - 7*w - 9. Suppose -4*x = 4*u - 36, 0*x = -2*u - x + 13. Is g(u) a composite number?
False
Suppose -84048950 = 13*l - 63*l. Is l a composite number?
False
Let m be 118/295 - (-1537)/(-5). Let v = m + 6696. Is v prime?
True
Is (9 - (174832/42 + 11))/(4/(-222)) a composite number?
True
Let u(c) = -c**2 - 2*c + 16. Suppose 2*j = -3*s - 0*s - 14, 5*j - 22 = 2*s. Let h be u(s). Let q(o) = -235*o + 9. Is q(h) a prime number?
True
Suppose -15*m - 174 = 14*m. Is 14782/6 + -3 - (-10)/m a composite number?
False
Suppose -19 = -4*j - 3*v - 55, -2*j - 5*v = 32. Let g(u) = 6*u - 10*u**3 - u**2 + 6*u**2 - 5 + 5*u**2. Is g(j) a composite number?
True
Suppose -30 = -2*d - 12. Is (d/(-3))/9*1*-2829 prime?
False
Let k be (-7)/(-28) + 30/8. Suppose -k*u - 1 = -21. Suppose 5*a = -10, -3*g - u*a + 0*a = -2387. Is g a composite number?
True
Suppose 0*m + 2*m + 24 = 4*o, 5*m + 120 = -5*o. Is 61590/14 - m/(-630)*9 a prime number?
False
Is 4393878*27/162 + 10 prime?
True
Le