s j(6) a composite number?
False
Let s(n) = n**3 - n**2 + n + 1. Let o be s(2). Let j = -26 + 28. Suppose -o*l + 1735 = -j*l. Is l composite?
False
Suppose 4*u + 48266 = 108*h - 106*h, 0 = 3*u - 9. Is h prime?
False
Suppose -v + 9 = -w - 0, -5*w = -2*v + 42. Let g be -4*(-1)/(w/14). Is (-7)/(-2)*(-14)/g prime?
True
Let i be 1 + (2/7 - 3351/(-7)). Suppose 6*h = 666 + i. Is h prime?
True
Let a(p) be the second derivative of -p**3/3 + 191*p**2/2 - 10*p. Is a(0) a prime number?
True
Let l(a) = 125*a**2 + a. Let w be l(1). Let n = 97 + w. Suppose 3*i = -4*f + 827, 4*i - n = -2*f + f. Is f a composite number?
True
Suppose 2*f = -0*f - 70. Is (-32280)/f - 2/7 prime?
False
Let s = -7391 - -11568. Is s a prime number?
True
Let b(n) = n**3 - 8*n**2 - 11*n - 12. Suppose -30 = -2*l + 4*i, 0*i + 3*i = 5*l - 54. Let y be b(l). Let q = y + 133. Is q composite?
False
Let l be (-16)/10*275/(-22). Let z(p) = -1 - 4 + 4 + 6 - l*p. Is z(-7) a prime number?
False
Let b(i) = -8*i**3 - i**2 - 3*i + 1. Let k(g) = 21*g**2 + g - 3. Let w be k(3). Let v be w/(-45) - (-2)/10. Is b(v) a composite number?
False
Let s be (-1)/(-2) - 35/(-14). Let j(g) = -19 + 2 + 10 + s*g + 8 + 19*g**2. Is j(11) prime?
True
Let n(p) = p**3 + p**2 - p + 2583. Let b be n(0). Suppose 11*a = 2*a + b. Is a a composite number?
True
Suppose 8*j = -5 + 29. Is (j/2)/(834/276 - 3) a prime number?
False
Let a(r) = -22*r - 2. Let j be a(1). Let i = -18 - j. Is i/(-4) + (-181)/(-2) a prime number?
True
Suppose -9*w + 49586 = -74353. Is w composite?
True
Let z(w) = 30*w**2 - 4*w - 1. Let q = -39 - -59. Suppose 0 = 4*l - 4*u - q, 0*u + 6 = -3*u. Is z(l) a prime number?
True
Suppose 61*b = 59*b + 10762. Is b composite?
False
Suppose 0 = -16*b + 25163 - 5275. Is b a composite number?
True
Let t(h) = -h + 11. Let p be t(6). Suppose 3747 = 5*o + 3*f, p*o - 6*f = -7*f + 3749. Suppose 5*d + o = -4*i + 5173, 2*d = 3*i + 1783. Is d composite?
False
Let s(u) = u**3 - 10*u**2 + 9*u + 4. Let b be s(9). Suppose -5777 = -5*t - b*y, 2*t + 4*y - y - 2308 = 0. Is t a prime number?
False
Let x = 61 - -1585. Suppose 3*k + 2*c = x, 4*k + 5*c + 2210 = 8*k. Suppose 2*o - j - k = -40, 3*o - 767 = 2*j. Is o a composite number?
True
Let n(b) = -4*b + 1. Let l(r) = r. Let v be l(-9). Is n(v) a composite number?
False
Suppose -22*c + 15*c + 98203 = 0. Is c a composite number?
False
Suppose -4*h + 12 = 2*b - 7*h, -5*b + 39 = -3*h. Suppose 2*l + b*l - 6941 = 0. Is l prime?
True
Let d(o) = 3014*o**2 + 37*o + 67. Is d(-2) a composite number?
False
Suppose 112007 = -138*d + 145*d. Is d a composite number?
False
Let y(v) = -2*v - 15. Let o be y(-10). Suppose 0 = o*d - 2*d - 6243. Is d a composite number?
False
Suppose 2227 = 2*c + 5*q, 25*c - 22*c - 5*q - 3278 = 0. Is c composite?
True
Let p(t) be the second derivative of 1709*t**3/6 + 20*t. Is p(1) prime?
True
Let f(s) = -s + 2*s - 2*s + 0*s + 6*s**2. Suppose 2*q + q = -4*n - 7, -q = n + 1. Is f(q) a prime number?
False
Suppose -195175 = -7*h - 18*h. Is h prime?
False
Let i be 7 - (2 - 8/(-4)). Suppose -2*a + 2*h = 2, -i*a + h - 1 = -4*h. Let k(s) = -38*s**3 - s**2 - s - 3. Is k(a) a prime number?
False
Let t(v) = -2*v**2 + 10*v + v**2 - 4 - 1 - 7. Let d be t(9). Is 2*123/(-6)*d a prime number?
False
Let v(g) = -g**2 + 16*g. Suppose 5*c = 3*z + 10, c - 4*z - 15 = -4*c. Let q be 16 - ((-6)/(-3) - c). Is v(q) prime?
False
Suppose 10*b = 36820 + 1290. Is b a prime number?
False
Let a(b) = 176*b**3 - 3*b**2 + 3*b + 3. Is a(4) a prime number?
False
Let r(f) = 2378*f - 155. Is r(4) a prime number?
False
Let r be 1 - 1 - 1*3. Let k be (28 - -1)*(0 - r). Let z = k - -326. Is z prime?
False
Let z(a) be the second derivative of a**5/5 - a**3/6 - a**2 + 2*a. Suppose -19 = -f + 4*q, 0 + 1 = -f - q. Is z(f) composite?
False
Let b = -7 + 10. Let z(u) be the first derivative of 13*u**3/3 + 3*u**2/2 + u + 7. Is z(b) prime?
True
Let b = 20 + -16. Suppose -4*v - 1530 = -b*p + 1070, 2610 = 4*p - 2*v. Suppose 5*t - 3*h - p = 0, 3*h + 524 = 2*t + 2*t. Is t composite?
False
Let o be 21 + (-3 - (-2 + 5)). Let r = 35 + 21. Let d = o + r. Is d a prime number?
True
Suppose 4*c - 1250 = 5*v + 2802, -2*c + 2*v + 2028 = 0. Suppose -h + 105 = -c. Is h a composite number?
False
Is 25535/4 + (-600)/(-480) prime?
False
Suppose a - 4*j = 213, 2*j - 5*j + 6 = 0. Suppose -f + 0*f = -a. Is f composite?
True
Suppose -m + 2*m + 4*w = 3087, w = -5*m + 15340. Is m composite?
False
Let w(q) = q**2 + 3*q - 9. Suppose 3*c + 3*o + 6 = 0, 5 - 46 = 3*c - 4*o. Is w(c) prime?
True
Let o(q) = 16*q**2 + 199*q - 103. Is o(-49) a composite number?
True
Suppose 56*m - 28*m = 386876. Is m a prime number?
False
Is 12 - (-780)/(-66) - 79482/(-22) a composite number?
False
Let s(y) = 72*y + 35. Suppose 0 = -5*a - 5*v + 25, 4*a - 2*v + 0*v = 44. Is s(a) prime?
True
Is ((-5)/(0 - 15))/((-2)/(-48942)) a prime number?
False
Suppose -939 = -6*c + 495. Is c a composite number?
False
Let c = 5737 + -3134. Is c a composite number?
True
Let c = 12 + 20. Suppose 4*q + 25 = 5*m + 3*q, -c = -3*m + 4*q. Suppose m*p - 955 = -p. Is p a prime number?
True
Suppose -5*h - 1 = -6*h, 0 = -3*o + h + 12233. Is o composite?
True
Let h(q) = 5250*q - 41. Is h(1) composite?
False
Let b(a) = a**3 + 10*a**2 + 8*a - 7. Let s be b(-9). Suppose 5*f + 606 = -2*w + 4*w, w - s*f = 301. Is w prime?
True
Let y = 44631 + -23164. Is y composite?
False
Let q = -29 - -34. Suppose 11579 = q*j + 1714. Is j prime?
True
Suppose 0 = -2*c + 3*c - 2. Suppose 35 = c*k + 3*k + 5*b, 4*b = 2*k + 4. Is 254*((-2)/k)/(-1) composite?
False
Suppose 0 = -21*c - 13359 + 431532. Is c composite?
False
Let s(a) = a**3 + a**2 + 3. Let j be s(0). Suppose 8*q = j*q - 50. Is (1065/q)/(1/(-2)) prime?
False
Let b = 21 - 23. Let z be 4 + (-5212)/(-4) + b. Let w = z - 751. Is w composite?
True
Suppose 3*t + 0 - 3 = -3*x, 0 = 5*t + 20. Suppose -2593 = -x*r - 528. Is r a composite number?
True
Is (11 + -13)/(6/(-10113)) a prime number?
True
Suppose 0 = -13*x + 1184 + 77. Is x composite?
False
Let i be 3 + 33/(-12) + 26/(-8). Is 2*i/6 - -158 a prime number?
True
Suppose 3*u = -3*n + 5*u + 2, 3*u - 6 = 0. Suppose n*m - m = 331. Is m a prime number?
True
Let c(q) = -298*q**3 - 4*q - 1. Is c(-3) composite?
True
Suppose 0 = 3*x - 4*t + 377, -6*x + x - 615 = -4*t. Suppose -r = -6*o + o - 251, -4*r + 154 = -3*o. Let w = o - x. Is w prime?
False
Suppose 1295*f + 32234 = 1297*f. Is f composite?
True
Let g = 981 - 622. Is g composite?
False
Let j(m) = -m**3 + 11*m**2 - 10*m + 5. Let x be j(10). Suppose -x*b + 0*b = 20. Is 2008/6 - b/12 prime?
False
Let y be (-639)/3 + (-2 - -5) + -3. Let o = 322 + y. Is o a composite number?
False
Suppose 0 = -21*d + 16*d + 3*y + 564442, -5*y = -d + 112884. Is d a composite number?
True
Suppose 0 = 5*y + 3*o - 10, -25 = 2*y - 4*y + 3*o. Suppose y*u - 451 = -2*a, 1100 = 5*a - u - 14. Is a a composite number?
False
Suppose 6*t = t - r + 9, 0 = 5*r + 5. Suppose t*w - 368 = -46. Is w prime?
False
Suppose 3*u + 65 = -2*u. Let p = u - -16. Suppose 5*n = y - 69, p*n - 352 = -4*y + 4*n. Is y composite?
False
Suppose -59281 = -5*p - 2*u + 5*u, 3*u + 35571 = 3*p. Is p a prime number?
False
Suppose -j - j - 3*h = 1, -3*j = -3*h - 6. Let r be j*33/(-6)*2. Let t(l) = 2*l**2 - 7*l + 12. Is t(r) prime?
True
Let z(r) = -21*r**2 + 7*r. Let q(w) = -10*w**2 + 4*w. Let u(b) = 10*q(b) - 6*z(b). Let n be u(-2). Suppose -c + n = 41. Is c composite?
False
Suppose 0 = 4*r + 3*o - 364664, -17905 = r - 5*o - 109094. Is r a composite number?
True
Let b(d) = 4*d - 1. Let m be b(2). Let f(a) = -a**3 + 9*a**2 + 10*a - 3. Let p be f(m). Suppose j = -4*j + p. Is j composite?
True
Let p(f) = -f - 2. Let i be p(-5). Suppose -3*m + 18 = -i*h, 2*h + 42 - 18 = 5*m. Is 1 - 2/h - -291 composite?
False
Let d(y) = -2*y**3 - y**2 + 7*y - 2. Let j be d(-6). Suppose -f + j = 2*o, -f = -2*o + 73 + 279. Let u = o + -33. Is u a prime number?
False
Let f = 22 - 35. Let x = -10 - f. Suppose -l = -3*n - 91, -x*l + 3*n + 43 + 218 = 0. Is l a composite number?
True
Let h = 6011 - 2848. Is h prime?
True
Suppose 3*m + i = 1331, 0 = -m + 2*i + i + 437. Suppose 0 = -3*x + 550 + m. Is x composite?
False
Let c = 276 + 4951. Is c a composite number?
False
Suppose -476 = -3*a + 145. Suppose 0*s = -s + a. Let t = s - 16. Is t a composite number