e -n*u + 18 = -15. Is u prime?
True
Let z(k) = 13*k - 58*k**2 + 26 + k + 59*k**2. Is z(-22) a composite number?
True
Let r(w) = -w**2 - 5*w + 22. Let p be r(3). Is (28/8)/7*p - -1544 prime?
True
Let a = -18 + 19. Let q be 6 + -1 + a + 2. Suppose -q*m = -4*m - 76. Is m prime?
True
Is (-309776)/(-19) - (-2 + 3)*3 prime?
True
Is (4104500/(-375))/((-4)/6) a composite number?
True
Let u be (2/1 - 1)*-1. Suppose -4*c = 4, -3*c - 715 = 8*m - 6*m. Is ((-2)/(-4))/(u/m) composite?
True
Suppose -20 = -11*j + 7*j. Suppose 2*n - j*h = -13, 6*n + h = n - 19. Let u(c) = 21*c**2 + 3*c - 3. Is u(n) a composite number?
True
Suppose 0 = -i + 8*i. Suppose -8*l + 134 + 546 = i. Is l composite?
True
Let t(a) = 250*a**2 - 2*a - 2. Let i be t(-2). Let n be 29/(-58)*(138*7)/(-1). Let c = i - n. Is c composite?
True
Let v be 3 + -3 - -22371 - -1. Suppose -5821 + v = 3*q. Suppose -5*g = 5*n - 2*n - q, g - 5*n - 1081 = 0. Is g a composite number?
True
Let f(v) = -4*v**3 - 15*v**2 + 11*v + 3. Let p(d) = 5*d**3 + 15*d**2 - 11*d - 3. Let j(k) = 4*f(k) + 3*p(k). Let x be j(-13). Let t = x + 701. Is t prime?
True
Let f = 477 + 2102. Is f composite?
False
Suppose 68*v - 70*v = -564. Let o = v - -76. Is o a prime number?
False
Let z(j) = -9*j**2 + 2. Let b(v) = v**2 - v. Let u(i) = 3*b(i) - z(i). Is u(-3) a composite number?
True
Suppose 1593 - 15614 = -c. Is c a prime number?
False
Let n(w) = w**3 - 2*w**2 - 4*w + 5. Let a be n(3). Suppose 16 = 2*r + a*r. Is (1 - r) + 4 - -93 prime?
False
Let a(d) = -6*d**3 + 12*d**2 - 11*d - 73. Is a(-14) prime?
False
Let n(h) = h**3 + 1509. Let x(d) = -5*d**3 - 7544. Let o(q) = 11*n(q) + 2*x(q). Is o(0) composite?
False
Let j(i) = 1741*i - 10. Is j(3) composite?
True
Suppose 0 = -8*w + 11*w - 3381. Let f = w - 658. Is f prime?
False
Let j(w) = 8*w + 1711. Is j(0) a composite number?
True
Let f = -122351 + 180736. Is f prime?
False
Let f(s) = -s**2 + 2*s + 6. Let x be f(0). Suppose k = x*k - 370. Is k composite?
True
Is (2 + 0)*(-415770)/(-12) prime?
False
Let o = -25 - 8. Let i = o + 45. Suppose 2*j + 1550 = 4*x - 2*x, 0 = -3*j - i. Is x composite?
True
Let k = 36 + -38. Is (-1)/(-2) + (5145/k)/(-5) a composite number?
True
Let k(x) be the second derivative of x**5/20 + x**4/6 + 5*x**3/3 + x**2/2 - 2*x. Let v be k(7). Let m = -181 + v. Is m prime?
True
Suppose 14 - 18 = -a. Is ((-3832)/(-4))/(a/6) prime?
False
Let q(w) = 0*w**2 + 5 - 9*w - 14*w**2 + 2 - w**3. Let v(y) = y**3 + 7*y**2 + 7*y - 8. Let x be v(-6). Is q(x) a composite number?
True
Let n(b) = 17*b**2 - 30*b - 301. Is n(-33) a prime number?
False
Let w = 81 - 78. Suppose -w*s + 1416 = 87. Is s a prime number?
True
Is 1 - 13/((-13)/58536) a composite number?
False
Let z(j) = -j**3 - 7*j**2 - j - 5. Let o be (-1 + 2)/((-2)/14). Let n be z(o). Suppose 3*t = 15, 0*u = n*u - t - 261. Is u a prime number?
False
Suppose -r = -0*r + 10. Let x be (-5)/(-2) - r/20. Suppose -b - 2*t = -389, -463 - 649 = -x*b + 5*t. Is b a prime number?
True
Let d(g) = 2*g + 1. Let u be d(2). Let s(f) = 34*f + 3. Let w(q) = q - 1. Let m(h) = u*w(h) + s(h). Is m(3) prime?
False
Suppose 2 = -2*k, 0 = -4*m + 3*k - 8*k + 13303. Let f be (-2)/(-12) - m/(-18). Let i = f - 106. Is i a prime number?
True
Let s(h) = 407*h - 229. Is s(4) prime?
True
Suppose 4*u - 10 = -u, -3*f + 2349 = 3*u. Suppose 3*a - 470 = -c, 3*c - f = -5*a - c. Is a prime?
True
Let h be 8*(21/(-28))/(1/(-3)). Suppose -2*k - h + 273 = q, 3*q - 2*k - 805 = 0. Is q a prime number?
False
Suppose 3485 = -8*p + 8373. Is p a prime number?
False
Let w be 7 + 6/(-3)*-2. Let i(n) = n**2 + 2. Let z be i(w). Suppose 2*d - z = 119. Is d a composite number?
True
Let j be 5/10 - 62/4. Is (-123)/12*(j + 3) a composite number?
True
Suppose 163 = -a + 4*a + 5*g, -4*a = -5*g - 194. Suppose 5*k - a + 26 = 0. Suppose -5*s + 2357 = -3*t, -k*s - 2*t + 2341 = -t. Is s a composite number?
True
Suppose 28 = s + s + 3*z, s = 2*z. Let c be (s/(-16))/(1/(-2)). Is c + 8/4 + 76 a composite number?
False
Let s(n) = -n**3 + 26*n**2 + 21*n - 1. Is s(17) a prime number?
True
Let q(b) = b**2 - 28*b - 85. Is q(-18) a composite number?
False
Suppose 44 = 5*k - 31. Let q be (2858 - 3)*3/k. Let w = q - 404. Is w a composite number?
False
Is (-18136260)/(-162) + (-4)/18 - -3 a prime number?
False
Is -63 + 10975 + (1 - 10) prime?
True
Let h(m) = 3*m**2 + 2*m**3 + 6*m**3 - 3*m - 24*m**3 + 1. Let y be 19/(-7) - 2/7. Is h(y) composite?
True
Let v be 2764/36 + (-2)/(-9). Let g = 12 + -10. Suppose -4*n = -3*c + 362, -163 - v = -g*c + 2*n. Is c a prime number?
False
Let m(f) = 48*f - 14. Let o be m(5). Let b be o/10 + 6/15. Let z = 186 + b. Is z composite?
True
Suppose -5017 = 7*z + 4300. Let p = 2780 - z. Is p a prime number?
True
Let g(a) = 1939*a + 10. Is g(1) composite?
False
Is -4*((-61535)/20 - 4) a prime number?
True
Let b(y) = 655*y + 59. Is b(12) a composite number?
False
Is 280/(-120)*21171/(-1) a prime number?
False
Let c(d) = 4*d**3 + d**2 + 6*d - 10. Is c(9) a prime number?
True
Let i = -371 + 374. Suppose 15 = u + 2*u. Suppose 2*c = y - 347, i*y - 91 - 917 = -u*c. Is y prime?
False
Let p = 365 + -245. Suppose 0 = -2*q - 3*u + 105 + p, 5*q + 4*u - 559 = 0. Is q composite?
True
Let v = -1016 - -1521. Is v prime?
False
Let y(p) = p**3 - 4*p**2 + p - 28. Let f be y(5). Suppose f*b - 36568 = -6*b. Is b composite?
True
Let f be (-8 - (-13 + 4))*(8 - 0). Suppose -5*c + 3*n + 11659 = 0, f*n - 2339 = -c + 5*n. Is c prime?
True
Let h = 8 - -75. Suppose h + 22 = 5*v. Suppose -18*s - 753 = -v*s. Is s a prime number?
True
Let a(m) = -3*m + 4. Let b(t) = -2*t + 3. Let v(z) = -3*a(z) + 4*b(z). Let s(p) = 4*p**2 - p - 5. Let j(o) = s(o) + v(o). Is j(-4) a prime number?
True
Suppose 5*o - 3382 = -4*z + 2*z, o - 8455 = -5*z. Is z a prime number?
False
Let d = -530 - -1217. Let x = 1180 - d. Is x a prime number?
False
Suppose -286 = 5*f + 869. Let u = -90 - f. Is u composite?
True
Let h be (-55)/(-2) + (-3)/6. Suppose 8 = 4*f, -5*o + 7 = -2*f + 1. Suppose 3*n + 5*c = 41 + 73, 0 = -n + o*c + h. Is n prime?
False
Let b(w) = -34*w**3 - w**2 + w + 2. Suppose 0 = -2*c - c + 18. Suppose -c*j - 2 = 4. Is b(j) prime?
False
Suppose 6 = 2*n - 5*h, 12 = n + 3*n + 3*h. Is (3 + n + (-479)/(-2))*2 prime?
True
Let u = 674 - 480. Is u prime?
False
Suppose -10*f + 13*f - 4*n = 8493, 0 = 5*f - 4*n - 14155. Is f a composite number?
True
Let o(z) = -275*z + 6. Let f be o(6). Let i = 967 + f. Is 6/(-3)*i/2 a prime number?
True
Let z be (-4)/6 + (-222)/(-9). Let y = z + -25. Is ((-1043)/(-14))/(y/(-2)) a composite number?
False
Let l = 19900 - 13977. Is l a composite number?
False
Let d be (13 + (4 - 8))*-5. Let p = 80 + d. Is p a prime number?
False
Let q(n) = n**3 - n**2 + 43. Is q(19) prime?
False
Let l(r) = 24*r**2 - 3*r - 2. Let w be l(-1). Suppose 0*m + 5*m = w. Suppose 0 = m*o - o - 56. Is o a composite number?
True
Let c = 32 - 28. Let t be (172*(-4)/c)/(-1). Let u = t + -53. Is u prime?
False
Let a(y) be the second derivative of y**4/12 + 110*y**2 - 5*y. Let s be a(0). Suppose -3*f = f - s. Is f a prime number?
False
Let c be 2/12 + 11/6. Suppose c*v - 97 = 67. Is v composite?
True
Let b be 47/9 - (-10)/(-45). Suppose -12 + 2 = -b*l. Let r(u) = 239*u**2 + 3*u - 3. Is r(l) composite?
True
Let u = -23 - -23. Suppose -10 = -5*x + 2*c, u = -x - 3*c - c + 2. Suppose x*a - 397 = 669. Is a a prime number?
False
Let h be (37/(-3))/((-20)/60). Suppose 36*m - h*m = 0. Suppose 2*v - 4*r + m*r - 1990 = 0, 2*v - 1998 = 2*r. Is v a prime number?
False
Let h(b) be the first derivative of 3*b**4/4 + b**3/3 + 2*b**2 - 5*b - 1. Suppose 0 = 7*c - 36 + 1. Is h(c) a composite number?
True
Let h(r) = -r**2 + 4*r + 3. Let m be h(4). Suppose 2413 = 2*y + y - 4*d, m*y - 2404 = -5*d. Is y prime?
False
Let n(h) be the first derivative of -h**2 + 16 - 13 + 53*h**3 + h**2. Is n(1) prime?
False
Let h = -27 + 12. Let z be (1985/h)/((-1)/9). Suppose -i - z = -4*i. Is i a prime number?
True
Let c be (2 + -5)*(-8432)/6 + 4. Let p = -2463 + c. Is p prime?
False
Let u be (-4)/6*(75/2 - 3). Suppose -158 = -4*z - 486. Let d = u - z. Is d composite?
False
Suppose -4*x - 4*z - z = -8053, 4040 = 2*x - 2*z. Suppose 0 = 12*y - x - 4475. Is y prime?
True
Let q(h) = -h**2 - 12*h - 18. Let t be q(-10). Let k be 55/10 - t/(-4). Suppose 0 = -2*y + k*y - 