- 5855 = 0. Suppose 9*w = 10*w - f. Is w prime?
True
Let i = -10 - -13. Is i + 817 - ((-6)/(-3) + -3) prime?
True
Suppose 4*d = 0, 5*z - 5*d - 6276 = -691. Is z a prime number?
True
Let g(x) = -60*x**3 + 2*x**2 + 3*x + 1. Let h be g(-1). Suppose h = 5*a - a. Is a a prime number?
False
Let u(p) = -6*p - 7. Let m(y) = -y**3 - 6*y**2 - y. Let v be m(-6). Let i(s) = -3*s + 6. Let o be i(v). Is u(o) a composite number?
True
Let g(w) = 14*w - 47. Let p = 1 - -20. Is g(p) a composite number?
True
Let m(h) = -8*h**3 - h**2 + 3*h - 1. Let q be m(2). Let v = q + 172. Is v composite?
False
Suppose m = y - 5426, 2*y - 16288 = -y + 5*m. Suppose 7*r = y - 1088. Is r composite?
False
Suppose -s - 4*t = 2*s - 40753, -67940 = -5*s - 3*t. Is s a composite number?
False
Suppose 2*g = -3*r + g - 467, 5*r = 4*g - 784. Let y = 281 - r. Is y a prime number?
False
Let u(k) = -1. Let f(t) = 67*t - 7. Let q(s) = -f(s) - 3*u(s). Is q(-3) a composite number?
False
Suppose -h = 2*b - 6*h - 56, -3*h + 171 = 5*b. Let s = b - -521. Is s prime?
False
Let d(y) = -y**3 + 15*y**2 + 19*y - 48. Let l be d(16). Suppose -x + 4383 = -j, 2*x - 4692 - 4084 = -3*j. Suppose -6*h + h + x = l. Is h a prime number?
True
Let y = 7 - 2. Let z(p) = -p**2 + 8*p - 6. Let a be z(y). Suppose -10*g = -a*g - 353. Is g prime?
True
Let u(p) = -p**2 + 10*p + 6. Let i be u(10). Let j be 133/28 + i/(-8). Suppose n + j*n - 2065 = 0. Is n a composite number?
True
Suppose -4*n + 52900 = 4*u, -2*n + 52924 = 4*u - 4*n. Is u a prime number?
True
Let y be 49335/(-52) + 1/(-4). Let k = -506 - y. Is k prime?
True
Suppose -2*b - 5*h + 4 = -3*h, -5*b - 4*h + 7 = 0. Is (2/(-10) - (-4662)/(-15))/b a prime number?
True
Suppose 8*u - 4*u = 108. Let c = u + -30. Is -46*((-9)/c + -4) composite?
True
Suppose -w = -463 + 147. Suppose w = 3*r - 149. Is r composite?
True
Let w(a) = 5 - 50*a + 7 + 4 - 95*a. Let r be w(5). Let j = r - -1088. Is j a composite number?
False
Suppose 60*x - 226709 - 473551 = 0. Is x prime?
False
Suppose -37*c = -38*c + 5437. Is c prime?
True
Let m(b) = -b. Let c(l) = l**3 + l**2 - 11*l + 2. Let n(k) = c(k) - 2*m(k). Let g be 74/10 + (-6)/15. Is n(g) a composite number?
False
Suppose -4*u + 4*k + 9475 = -5817, 4*k = -5*u + 19097. Is u composite?
False
Suppose -23 = -7*j - 9. Suppose -3*o = 4*l - 2*l - 2514, -3*l + 1676 = j*o. Is o a prime number?
False
Let o(k) = 9*k + 5 + k**2 + 3*k - 26. Let x be o(-16). Let r = -20 + x. Is r a prime number?
True
Let j be 1 - 190 - (-3 - 1)/(-1). Let h = 946 + j. Is h a composite number?
True
Let q(v) = 4*v**3 - 19*v**2 + 11*v - 21. Let t(b) = -3*b**3 + 18*b**2 - 11*b + 21. Let i(x) = 2*q(x) + 3*t(x). Is i(14) composite?
True
Is (-2)/((-26)/491881) + 4 prime?
False
Let v = 3723 + -2354. Suppose 2*p + z = 2*z + v, 5*p + 2*z - 3427 = 0. Is p a composite number?
True
Suppose d = -d - 18. Let k(x) = -x**2 - 8*x + 9. Let n be k(d). Is n - (-1 - (3 + 159)) prime?
True
Is ((-2)/3)/((-44)/211134) a prime number?
False
Let v = -2304 - -4171. Is v prime?
True
Let a be (-1)/(-5 - -4)*-10. Let r be 4/a - 58668/(-20). Is (-2)/(-5) - r/(-5) a composite number?
False
Let n(v) = 16*v**2 - 20*v - 307. Is n(-15) a prime number?
True
Suppose 4*h + 65 = 77. Suppose -3*d = 2*f - h*f + 6, -2*f + 11 = -5*d. Suppose -1907 = -4*o - f*j, 2*j - 328 = -4*o + 1582. Is o prime?
True
Suppose 4*i = o - 745, 9*o - 3*i = 8*o + 742. Is o a prime number?
True
Suppose 9*f - 3722 = 1885. Is f a composite number?
True
Let d(y) = -3*y - 43. Let a be d(-15). Is 4*(5334/8 - a) a composite number?
False
Let k = 27846 + -12739. Is k a composite number?
False
Let a(o) = -9*o**2 - 2*o + 4. Let n be a(-8). Let u = n - -969. Is u a prime number?
False
Let s = 13 + -10. Suppose 408 = s*l - 597. Is l a composite number?
True
Let k(m) = 1191*m + 2. Is k(17) prime?
True
Suppose 0*n - 3*y - 5207 = -n, -4*n = -3*y - 20792. Is n prime?
False
Suppose -49*u + 98053 = -18*u. Is u a prime number?
True
Suppose -2*b + 6655 + 12668 = 5*r, -19313 = -2*b - 3*r. Is b a prime number?
True
Suppose 2*q = 4*q - 2*b, -2*b - 1 = -3*q. Let n be 1/(q*3/15). Suppose 0*u = n*z - 2*u - 68, 0 = -4*z - 5*u + 61. Is z a composite number?
True
Suppose 128*y = 142*y - 80906. Is y a prime number?
True
Let c = -3058 - -4339. Is (-4)/3 + c/9 a composite number?
True
Let v(s) = 1004 - 61 + 888 - 235 - s**3 - s**2. Let l be v(0). Suppose 5*n + 581 = l. Is n composite?
True
Let k be 1/5 - 330970/(-25). Suppose -4874 = 5*o - k. Is o prime?
False
Let y(p) be the second derivative of p**4/12 - 2*p**3/3 - 17*p**2/2 - 11*p. Is y(-8) a composite number?
False
Let m(y) = 1275*y**2 - 11*y + 1. Let v(w) = 637*w**2 - 5*w + 1. Let z(n) = -2*m(n) + 5*v(n). Is z(1) a composite number?
True
Suppose -12*r = -r - 44. Suppose -2*c + 0*c - 2766 = -4*f, 4*c = -r. Is f a prime number?
True
Let b(w) = -81*w + 71*w - 8 - 11 + w**2. Let a be b(-8). Suppose -h = -134 - a. Is h prime?
False
Let m = -6461 - -11760. Is m a composite number?
True
Let h(z) = -z**3 - 6*z**2 - 5*z + 5. Let f be h(-5). Suppose 2*d - 6 = -3*q + 8, -d - f*q = -14. Suppose 4*p - 388 = -d*u, -u + 16 = 3*u. Is p a prime number?
False
Let d = 3321 - -3482. Is d composite?
False
Suppose -z + 22*z - 68439 = 0. Is z a prime number?
True
Let i(q) = 5*q**2 - 1. Let t be -1 + (0 - (-5 - -2)). Suppose 4*k - 31 = -5*m, -3*m = -t*m - 3. Is i(k) a composite number?
False
Let p(q) = -q + 4. Let j be p(5). Let w be -2*j/(2 + -1). Suppose w*o + 254 = 4*o. Is o a prime number?
True
Suppose -24 + 9 = 5*j, -z - 4*j - 6 = 0. Let s be 142/z + 2/(-3). Suppose 5*h - 42 = s. Is h prime?
True
Suppose -4*t + 2*t + 4*q - 4 = 0, 4*t - q - 6 = 0. Let i(y) = 2*y - 7*y + 6*y - t*y + y**3 + 527. Is i(0) composite?
True
Let n be ((-33)/22)/(6/(-20)). Suppose 2*r = -5*d + 263, d + 122 = n*r - 576. Is r a composite number?
False
Let z be (-72)/16*(-8)/(-6). Let f = z + 6. Suppose 236 = 2*o - f*o + 3*k, 0 = 5*o + k - 577. Is o a composite number?
True
Let y be 13/2*(1 - -1). Let z(p) = p**2 - 12*p - 12. Let s be z(y). Is (1/(-2))/s*-2098 prime?
True
Let q = -54 - -14. Let g be ((-52)/10)/((-8)/q). Let p = -19 - g. Is p a prime number?
True
Let t = -33724 + 98975. Is t prime?
False
Let q(w) = -w**3 - 17*w**2 + 38*w - 4. Let o be q(-19). Let s(p) = -4*p**3 + 3*p**2 - 6*p - 5. Is s(o) composite?
True
Suppose 5*r + 4*l = -10, l + 1 = 3*r - 10. Suppose 4 + r = 3*j. Suppose 5*g - j*h - 4897 = 0, g = -3*h + h + 977. Is g a prime number?
False
Suppose 4*c - 22*c = -72. Suppose -c*v + 7997 = 3*x, 0*x = -3*v - 2*x + 5999. Is v a prime number?
True
Suppose 3*b + 122 = -16. Let k be (-1 - -2) + b/(-2). Suppose 238 = 2*h - k. Is h prime?
True
Is (78268/10)/((-28)/(-70)) a prime number?
False
Let j be 6 + -1 + 6/(-3). Suppose -j*c + 1397 = -2*c. Is c prime?
False
Let x = -914 + 2103. Is x composite?
True
Let q = 5 + -5. Suppose r - 2 = q, -3*r + 900 = 4*s + r. Is s prime?
True
Let x(o) = -7*o**3 + 17*o**2 + 78*o - 47. Is x(-21) a composite number?
False
Let c be 10/(-35) - 48/(-21). Let r be (-18)/(12/(-640)*c). Suppose y + 590 = 4*t + 112, -4*t = -2*y - r. Is t a prime number?
False
Let t(b) = 30*b**2 + 10*b + 24. Let j be t(-11). Suppose -2*z + 5*n = -j, 4*n - 488 - 1297 = -z. Is z composite?
False
Suppose -3*p = -15, 3*o - 28 = -2*p - 6. Let y = 6 - o. Is ((-308)/35)/(y/(-5)) a composite number?
True
Let k(r) = -r + 2. Let g be k(0). Suppose -4*a + g*w = -a - 104, 3*a - 5*w - 116 = 0. Let z = a - 25. Is z a composite number?
False
Let h = -4023 - -7132. Is h composite?
False
Is (-1041 - 1)/(8*(-6)/24) prime?
True
Suppose 490 = -5*k + 4*v + v, -3*v - 306 = 3*k. Let w = k - -305. Is w a prime number?
False
Let l = 10385 - -53356. Is l a composite number?
True
Let i be 1487 + -1 - 0/(-1 + 4). Is 8/(-4)*(-1 + i/(-4)) prime?
False
Suppose 5*x - 7*x = 0. Suppose -3*z + x*z + 11 = 5*h, z - h = 1. Suppose -n = 2*m - z*n - 583, 5*m + 3*n = 1474. Is m prime?
True
Let c = 5773 - 1226. Is c composite?
False
Suppose o - 4*i = 9, -2*i = 7*o - 4*o - 27. Let f = o - 6. Suppose p - 341 = -f*x, 5*p = x + 1555 + 182. Is p a composite number?
False
Let v(f) = -1822*f**3 - 2*f**2 - 10*f - 13. Is v(-3) a prime number?
True
Suppose 22*o - 128065 - 37419 = 0. Is o prime?
False
Let i(z) = -z**3 + 10*z**2 - 16*z + 4. Let p be i(8). Suppose l = 4*y + 681, 6*y - 2*y =