e 0 = -2*k + 4*f + t, -k - 57 = -5*k - 3*f. Let n = 437 - k. Is n prime?
True
Suppose -26*x + 139539 = -158603. Is x a prime number?
True
Suppose -34 = 5*s - 49. Let p(a) = 5*a**3 + 2*a + 8. Is p(s) a composite number?
False
Let u(s) = 5*s**3 + 28*s**2 + 86*s - 46. Is u(23) a composite number?
True
Let m be 6/10 + (-414)/90. Let b(i) = -296*i + 19. Is b(m) a composite number?
True
Let l(k) = k**3 + k**2 + k + 1. Let p(w) = 1844*w**3 + 3*w**2 + 2*w + 2. Let i(u) = 3*l(u) - p(u). Is i(-1) composite?
True
Let v = -4432 + 8659. Is v a composite number?
True
Let n = 2200 - -2121. Is n composite?
True
Let b(c) = -560*c - 2. Let f be b(15). Is -2*(-4)/((-16)/f) a composite number?
False
Suppose 2*v - 21740 = -2*g, -4*v - 5*g + 6987 + 36497 = 0. Suppose 3*f - v = -3*f. Is f a composite number?
False
Suppose -2*j - 70690 = -12*j. Is j a composite number?
False
Suppose 0 = -4*j + 3 + 5. Suppose -m - 4*c = -c - 191, 0 = -m + 4*c + 184. Suppose j*z + 6 - m = 0. Is z a prime number?
False
Suppose 0 = 2*i - 2*y - 1950, 0 = 3*i - i + y - 1938. Is i a composite number?
False
Suppose 5*j + 4*z = -1059, -2*j - 630 = j - 3*z. Let m = j - 87. Let r = -107 - m. Is r composite?
False
Let z(y) = -y**2 + 11*y - 7. Let a be z(10). Suppose 0*r - 426 = -a*r. Is (r/3)/(8/12) prime?
True
Suppose -2*f + 2*q + 526 = 0, -795 = -3*f + 2*q + 3*q. Suppose -2*o = 4*t - 490, -o - 3*t - 19 = -f. Is o a prime number?
False
Suppose -h - x = h - 600, -3*h = -5*x - 874. Let t = -107 + h. Is t prime?
True
Let k(m) = -32432*m + 14. Is k(-1) a prime number?
False
Let q = 43 - 45. Is (6/q - -2)*(-1994 - -1) a composite number?
False
Is (-5532 - 1)/(-2*1/2) composite?
True
Let d(f) = -2*f**3 - 15*f**2 - 38. Is d(-11) prime?
True
Let u(f) = 2*f - 9. Let r be u(7). Suppose 0*t + 2*t - 8 = l, 0 = 4*l + r*t + 6. Is -4 - l - (2 - 28) prime?
False
Suppose 22519 = 6*a - 43757. Is a/4 + 2/((-4)/1) prime?
False
Suppose 3*a + 10244 = 47273. Is a prime?
True
Let q = 3889 + -1168. Is q composite?
True
Let l = -75387 + 113078. Is l a prime number?
True
Let n(k) = -k**2 - 4*k. Let h be n(-4). Suppose h = -5*b - 358 - 52. Is (b/8)/((-2)/104) a prime number?
False
Let t(b) = b**3 - 26*b**2 - 7*b - 6. Let o be t(20). Let d = o + 4905. Is d prime?
False
Suppose 0 = -4*x + 1 + 15, -i + 8 = 2*x. Suppose i = p - 3*p + 8, 0 = -3*u + p + 329. Is u prime?
False
Let l be 21*(-4)/(-12)*-64. Is -1 - ((l - -2) + 2) composite?
False
Suppose -3*i - d = -325, 0 = -3*i + d + 165 + 158. Let o = -37 + i. Is o prime?
True
Let a = 5318 - 655. Is a a prime number?
True
Is (20/(-8))/(20/(-479608)) prime?
True
Suppose -8*g = -5*g - 1257. Is g prime?
True
Suppose -2*a = -4*c + 20 - 4, -3*a = -4*c + 12. Let h be 542*3*c/9. Suppose 4*t - 869 = m, t + 4*t - h = -m. Is t a prime number?
False
Let s = -90 - -92. Is 1126/s*(1 - 0) composite?
False
Let f(w) = 46*w + 10297. Is f(0) a prime number?
False
Let r(y) = -78*y**2 - y. Let h be r(-1). Let o = -12 + h. Is (4 + -3)*-1*o a composite number?
False
Suppose 0 = f + f + 2. Is (-2695)/(-5) + (f - 3) a composite number?
True
Suppose -17*p + 21589 = -30448. Is p prime?
True
Let h(i) = -i**3 - i**2 + 5*i + 2. Suppose 5*t + 11 = -4. Let n be h(t). Let s(v) = 17*v - 6. Is s(n) a prime number?
True
Suppose 4*k - 5*y - 132 = -6*y, 3*k = -4*y + 112. Suppose 974 = -30*l + k*l. Is l a composite number?
False
Let t(m) = -4*m**2 + 4*m + 14. Let o be t(-8). Let j = 465 + o. Is j a composite number?
False
Let x = -13859 + 22192. Is x prime?
False
Let a(y) = 40*y**2 - 2*y - 1. Suppose -2*g - 61 = -3*f - 179, 78 = -2*f + 2*g. Let m = f + 38. Is a(m) a composite number?
False
Let y(j) = -j**3 + 2*j**2 - 1. Let f be 1*(-3 + 0 + 6). Suppose -a + k - 7 = 0, f*a = -2*a + 4*k - 30. Is y(a) a prime number?
False
Let g(i) = i**2 + 3*i - 2. Let t be g(-5). Suppose -t = -6*u + 8*u. Is (20/30)/(u/(-114)) a composite number?
False
Suppose -i + 3 = 0, l - 2*i = -0*l + 8077. Is l composite?
True
Let w(c) = -7*c + 15 + c**2 - 10*c - 9*c + 9*c. Let x be w(11). Is (1 - x/6)*14 composite?
True
Let f be (-180817)/(-39) - 2/6. Suppose -5*n = 5*d - 10365, 0 = 4*d - 4*n - 3624 - f. Is d prime?
True
Let w(u) = -4*u**3 - u**2 + 1. Let h be w(-1). Suppose -2*t + h*t = f + 2300, -2*f - 3449 = -3*t. Is t a composite number?
False
Is 43*41 + -6*(-1)/(-3) a composite number?
True
Suppose 13*t - 18*t - 4*v = -28173, 4*v = -4*t + 22540. Is t prime?
False
Let u be (-3 + -1 + 3)*-4. Suppose d - 6 = -u. Suppose 0 = -y - 2*y - 4*z + 277, d*y - 4*z - 178 = 0. Is y a prime number?
False
Let t(x) = -x**3 + 10*x**2 + 5*x - 8. Let j be t(-7). Suppose -u + 790 = 2*b, 0*b + 2*b - 3*u - j = 0. Is b a composite number?
True
Let p be 4/3 + (-32)/24. Suppose 6*v = -p*v + 54. Is (-938)/(-4) - v/(-18) prime?
False
Let s = 1219 - -2574. Is s a prime number?
True
Let w(o) = 16877*o**2 - 16*o - 14. Is w(-1) prime?
True
Let u be (-9858)/18 + (-2)/(-3). Let c = u + 1036. Is c composite?
True
Let l = 1866 + 7639. Is l prime?
False
Suppose -8228 = -4*k - 4*n, 2*k - 4*n = -425 + 4515. Is k prime?
True
Suppose 0 = -2*f + 923 - 3853. Let r = f - -2596. Let g = r - 32. Is g a composite number?
True
Is (-2)/6 - 9/(135/(-72920)) prime?
True
Suppose 18*j = 13*j + 64895. Is j composite?
False
Suppose 0 = -4*f + 4*u, -6 = -3*u - 0*u. Suppose -b = -4*b + f*x + 879, x - 3 = 0. Is (b - 0)*24/40 prime?
False
Suppose -5*x + 78 + 62 = -5*h, 0 = 4*h. Let m = x + -25. Suppose -m*r - 2*r = -1955. Is r a prime number?
False
Let v be (-6123)/5 - 87/(-145). Let l = v + 3031. Is l composite?
True
Suppose -6*j + 72 = -192. Let o = 74 - j. Suppose o = 5*w - 3*w. Is w prime?
False
Let x be (24/6 - 26)*(-33 + 1). Let j = -307 + x. Is j a prime number?
True
Suppose 0 = 5*i - 8*i + 15. Suppose i*z - 2*z + 4*h = -1987, -5*h = -2*z - 1317. Let t = 968 + z. Is t composite?
False
Suppose -3*l + 389 = -2*s + 6*s, -12 = 3*s. Is ((-167)/3)/(-2 + 261/l) a composite number?
True
Suppose -20 = 2*v - 5*p, 0 = -4*v + 3*p - 7 - 5. Let b(w) = -w**3 - w**2 + 2*w + 265. Is b(v) composite?
True
Suppose 0 = 5*b + 3*d + 16, 4*b - d + 2*d + 10 = 0. Let i(s) = -2*s - 4. Let l be i(b). Is l + ((-3)/(-1) - -698) composite?
False
Let w(m) = 10*m**2 - 1. Let h = 3 - -8. Suppose -g + 10 = h. Is w(g) composite?
True
Let o = 13 - 11. Let m be 1865/10 + o/(-4). Suppose -5*a + 4*h = -310, -3*a + m = 3*h + h. Is a a prime number?
False
Let d(o) = o**2 - 31*o - 23. Is d(-12) composite?
True
Let c be ((-5)/4)/(10/(-8) - -1). Suppose 2*u - c*q = 3719, -3*u + q = -2*q - 5556. Is u prime?
True
Suppose -5*c + 20 = -2*b + b, -2*b - 8 = -2*c. Suppose b = 4*f - 3*f - 1540. Suppose -f = -5*k - 215. Is k composite?
True
Suppose -50100 = -4*x - 5644. Is x composite?
True
Let c(a) = -3*a - 38. Let u be c(-11). Let x(w) = -26*w - 8. Is x(u) prime?
False
Let z(n) = 282*n**2 - 11*n - 2. Is z(3) a composite number?
False
Suppose -16*i + 6 = -18*i, 2221 = 5*n + 3*i. Is n prime?
False
Is (12/4 - 4)*-5 + 8322 prime?
False
Let f be (-9376)/16*(-2 + 1). Suppose -124 = -5*l + f. Is l composite?
True
Let d(h) = -h**3 + 5*h**2 - h + 7. Let i be d(5). Suppose -10 = -i*c, -3*g - 4*c + 0*c = -41. Suppose 2*w - g*w = -670. Is w a prime number?
False
Let g be (2 - 14) + 0/3. Let s(m) = 8*m + 3*m + 2*m**2 + 0*m**2 + 7. Is s(g) a composite number?
False
Let r = 3 + -1. Let i be 1/(2*r/8). Is 354 + (-4 + i - -1) a composite number?
False
Let k = 0 - -4. Let h be 7/((-21)/(-12)) - 4. Suppose 4*g + 54 = 2*s, -s + k*g + g + 30 = h. Is s prime?
False
Let f = 2961 - 382. Is f a prime number?
True
Suppose 0*k + t = 5*k - 24, 5*t = 5*k - 20. Let g(h) = -2 - 2 - 2 + 5*h. Is g(k) prime?
True
Let b = 9 - -14. Let u = 29 - b. Suppose -u*p + 4674 = -0*p. Is p a composite number?
True
Suppose -5*r = h - 63053, 0*r = 3*r - 2*h - 37837. Is r a prime number?
True
Suppose -30 = -4*w - 6. Let x be (-2)/4*(-2 - (5 - -3)). Suppose w*z - x*z = 89. Is z composite?
False
Let a(w) = -w**3 + 7*w**2 + 8*w + 3. Let h be a(8). Let k = -16 + 19. Suppose -h*d - k*g + 493 = d, 5*g + 533 = 4*d. Is d a composite number?
False
Let x be 90/40 + 3/4. Suppose 0*c - 2*j = c + 141, 0 = 2*c - x*j + 296. Let i = -86 - c. Is i a composite number?
False
Let n be (-360)/(-50)*70/(-4). Let v be (-468)/n + (-4)/(-14). Suppose 6*q - 2221 = q + 3*o, 0 = v*q + 2*o - 1768. Is q prime?
True