(0 - y)/(((-3)/223)/3) prime?
False
Let s = -8851 + 20108. Is s composite?
False
Suppose 0 = -5*m + 6*m. Suppose m*h - 298 = -2*h. Is h a composite number?
False
Suppose 0 = 4*z - g - g + 242, 3*z + 199 = -2*g. Let x = 64 - z. Is x prime?
True
Let g(l) be the first derivative of 30*l**2 - 9*l + 12. Is g(10) a composite number?
True
Let y = -3428 - -9261. Is y a composite number?
True
Suppose -5*h + 5*i = 35, -4*h + 0*h - 3*i = 7. Let q(m) = -160*m + 13. Is q(h) a composite number?
False
Let m(n) = 1301*n**2 + 14*n + 4. Is m(-3) a composite number?
True
Let n(f) be the third derivative of -f**6/40 + f**5/120 + f**4/6 + 5*f**2. Let o(b) be the second derivative of n(b). Is o(-3) prime?
False
Let l(f) = 2*f**3 - 14*f**2 - 3*f - 19. Let r be (-1)/((1/1)/(-1)). Let d be (37 - r)/4 + 1. Is l(d) prime?
False
Let k(f) = f**3 + 4*f**2 + 2*f - 3. Let v be k(-3). Suppose -4*c + 3*c = 4*p - 2211, 2*c + 2*p - 4434 = v. Is c a composite number?
True
Suppose 3*s - 22993 = -p, s + 91972 = 4*p + 2*s. Is p prime?
True
Let m(s) be the first derivative of -s**4/4 + 5*s**3/3 + 2*s**2 - 7*s + 2. Let l be m(6). Let j = l - -41. Is j prime?
False
Let y(b) = 2*b + 3 + 5 + 6*b**2 - 1. Is y(-6) a composite number?
False
Let s = 23 - 32. Is -1623*(15/s)/5 composite?
False
Let h = -33 - -27. Is (-8)/h - (-4638)/18 a composite number?
True
Let x = -6461 - -19706. Let h = x - 7582. Is h prime?
False
Suppose 60*t + 59*t - 389963 = 0. Is t prime?
False
Suppose -3*j + 0*q - 4*q - 43 = 0, q = -4. Let r be 2*j/(-6)*1. Suppose -r*c = -335 - 148. Is c prime?
False
Suppose -6*k = -4*k - 4. Suppose -190 = -7*q + k*q. Is (q/(-4))/((-4)/8) a prime number?
True
Suppose 2*u - 19956 = -b + 5*b, 0 = -u - 2*b + 9970. Is u a composite number?
True
Let v(n) = 308*n + 255. Is v(19) composite?
True
Let t(w) = w**3 - w**2 + 35*w + 12193. Is t(0) composite?
True
Suppose 3 = t - 1. Suppose 3*b - 353 = -t*u, -385 = -3*b + 4*u - 0*u. Is b a prime number?
False
Let u(r) = -25*r**3 + 2*r**2 - 19*r - 11. Is u(-5) a composite number?
False
Let v be (3/2)/(9/24). Let w(n) = -3*n**3 - 10*n - 12. Let p be w(-7). Suppose -v*z = -2269 - p. Is z composite?
False
Let v(q) = 50*q**2 - 6*q - 157. Is v(24) a composite number?
False
Suppose -2*s - s = -24. Let z(f) be the third derivative of f**5/6 + 5*f**4/24 + f**3/2 - f**2 + 12*f. Is z(s) composite?
False
Suppose 3*d + 2115 = 2*f, 3*d + 5*f = -3281 + 1145. Let k = -1306 + 112. Let t = d - k. Is t prime?
True
Suppose -15*q + 54944 = -103891. Is q prime?
True
Is 1839540/207 - (-2)/6 a composite number?
False
Suppose 2*m + 2*m + 31 = -3*s, 0 = 3*s - m + 26. Let u(o) = -60*o + 17. Is u(s) composite?
False
Let u(s) be the second derivative of 19*s**5/20 + 2*s**3/3 - s**2 - 21*s. Is u(2) a composite number?
True
Let c(j) = -j**2 + 8*j + 4. Let s be c(8). Suppose 4*z - 108 = s. Suppose 0*i - 4*i + z = 0. Is i composite?
False
Is 9 + (-462216)/(-56) + (-1)/(-7) a composite number?
False
Suppose 6*a = a + 4*k - 3620, 0 = -a - 5*k - 695. Is 4*4/64*-4 - a composite?
False
Let b(l) = -33*l + 11. Let q be b(-11). Suppose 0 = -10*n + 12*n - q. Is n a composite number?
True
Suppose y + 46709 = 4*b + 2*y, 0 = b - 3*y - 11674. Is b a composite number?
False
Let o = -8 - 1104. Let g = o + 1578. Is g composite?
True
Let r = 8 + -5. Suppose r*b + 1296 + 621 = 0. Let h = -448 - b. Is h composite?
False
Let u be -2279*2/((-2)/18*-6). Let k = -3934 - u. Is k a composite number?
False
Let k be -3 - -4 - (-1)/1. Suppose -3*x + 5*h + 5 = 0, -5 = -x + 2*x + 5*h. Suppose 0 = -m - 4 - x, -s + k*m = -195. Is s a composite number?
True
Suppose 3*h - 1489 = 1394. Suppose -4*v - h = -20301. Is v composite?
True
Is (4/(-8))/(6/(-3516)) prime?
True
Let w be 20/(284/92 - 3). Let o = 21 + w. Is o prime?
True
Suppose 0 = -378*p + 366*p + 150456. Is p a composite number?
True
Suppose -7*h = -4*h - 735. Suppose -4*a = -2*v + 498, -a = -v - 3*a + h. Is v composite?
True
Let q(o) = 71*o - 2. Let v(a) be the second derivative of 143*a**3/6 - 2*a**2 - a. Let x(h) = 7*q(h) - 3*v(h). Is x(2) prime?
False
Suppose -5*f + 4*f + 15149 = 2*h, -4*h = -5*f + 75745. Is f composite?
False
Let b(t) = 11*t**2 + 15*t - 18. Let z be b(15). Suppose 3*u = -3*n - 2*n + 3359, 5*u = -4*n + z. Let o = -346 + n. Is o a composite number?
True
Let k(b) = 73*b**3 - b**2 - 14*b + 13. Is k(6) a composite number?
False
Suppose 0 = -8*g + g + 28. Let n(t) = 5*t**2 + 15 + 0*t**2 - g - 4*t**2 - 5*t. Is n(-6) a prime number?
False
Let b = -44 + 43. Is b*(-2 + (-39)/3) a prime number?
False
Suppose -5953 = 28*j - 29*j. Is j a prime number?
True
Let h(g) = -86*g**3 - 3*g**2 - 11*g + 1. Is h(-3) composite?
True
Is (-6 - (-1)/(-2))/((-2)/68) a prime number?
False
Suppose -5*z + 31 = -14. Let h(y) = -y**3 + 10*y**2 - 10*y + 12. Let m be h(z). Suppose 128 = -m*v + 2885. Is v a prime number?
True
Suppose 4*l + 2*u = 17580, -42*l = -43*l + 4*u + 4377. Is l a prime number?
False
Let s(q) = 3962*q - 19. Is s(1) composite?
False
Suppose 2*l + d = 3207, -7*l + 10*l + 4*d = 4813. Is l prime?
False
Let g = -677 - -1289. Let a = 1459 - g. Let f = a - 548. Is f a composite number?
True
Suppose -86*z + 162276 = -74*z. Is z a prime number?
True
Suppose 2 = 2*y + 8. Is (-450 - (1 + -4))/y a composite number?
False
Let t = 1315 - 426. Is t prime?
False
Let x(t) = 299*t**2 + 6*t + t - 2*t - 46 + 41. Is x(2) a composite number?
False
Suppose 0 = 10*v - 79668 + 17818. Is v prime?
False
Let t(c) = -4*c**2 - 5*c + 1. Let d be t(5). Let w = -48 - d. Suppose 2*o + 8 = w. Is o prime?
False
Let j = -14 - -17. Let g = j - -1. Suppose 0 = l + 5*q - 200 - 31, -1000 = -g*l - q. Is l prime?
True
Let k = -93528 + 141431. Is k a prime number?
True
Let g = -3096 + 9211. Is g a prime number?
False
Let y be ((-6)/(-4))/((-6)/(-8)). Suppose y*u = -u - 4*s + 965, -5*u + 3*s = -1589. Is u composite?
True
Suppose -3*d + 131 = 80. Suppose 8218 = d*z - 15*z. Is z a prime number?
False
Is (-98126)/(-70) + (-4)/5 a prime number?
False
Let k be ((-628)/(-6))/(16/(-24)). Let r = k + 376. Let g = r - 122. Is g a composite number?
False
Let t(i) = -2*i**3 + 5*i**2 - 5*i - 6. Let d be t(-6). Suppose -2*j - 12 = 4*f, 0 = 4*j - f - 13 - 8. Suppose -d = -j*y - 184. Is y composite?
False
Is 4864 + -5*6/10 prime?
True
Suppose 5*n - 5*m = 285, -2*m - 16 + 79 = n. Is n a composite number?
False
Let z = -160 + 162. Suppose z*l = 949 + 3409. Is l a prime number?
True
Let z = 13 + -47. Let i = -75 - z. Let m = i - -94. Is m a composite number?
False
Let r(a) = 11*a + 4. Let q be r(0). Let p = 0 - -5. Is (-2 + p - q) + 146 composite?
True
Let c be 240/(-105) + 4/14. Is 17/((c - -1)/(-19)) prime?
False
Let n(z) = 493*z + 11. Is n(14) a composite number?
True
Let c be 3/((-1)/2*3). Let w be c + 0 + 3 + 2. Suppose 3*z + 0*z + 2*y = 631, -3 = w*y. Is z a prime number?
True
Suppose 30 = 5*o + 4*u - 5*u, 0 = -3*o + 2*u + 11. Suppose -3*m + o*m = s - 401, -4*m = 4. Is s a prime number?
True
Is (3989/3)/(9*(-10)/(-270)) prime?
True
Suppose x = -2*b - 4*x + 17548, 3*b + 3*x = 26331. Is b a prime number?
True
Suppose 5*t = 4*n - 26, 3*n - 6*t + t = 22. Is 1964 + 6/8*n composite?
True
Let g(b) be the second derivative of -b**3/6 - 3*b**2 + b. Let x be g(-11). Let s(y) = 6*y**2 - 3*y + 10. Is s(x) a prime number?
False
Let n(x) = 2*x**3 - 2*x**2 - 5. Let p(q) = -q**3 + q**2 - q - 1. Let j(o) = -n(o) - p(o). Let i be j(0). Suppose i*l - 70 - 116 = 0. Is l prime?
True
Let j be (-2)/18 + (-98608)/(-36). Suppose -4*k - j = -7*k. Is k a prime number?
False
Let v(h) = -1. Let s(w) be the first derivative of 17*w**2/2 - 6*w + 1. Let j(o) = -s(o) + 4*v(o). Is j(-3) a composite number?
False
Let k be ((-2)/(-4) - -1)*4. Let r = 430 + -426. Is ((-2436)/(-18))/(r/k) a prime number?
False
Is (-17564)/(-10)*(-135)/(-54) a prime number?
True
Suppose 6*r - r + 3*n = -47, 5*r + 5*n + 55 = 0. Is (r/(-126)*6)/((-2)/(-426)) a composite number?
False
Suppose -445771 - 122998 = -17*k. Is k composite?
False
Let u be (-4)/3*348/2. Let p = 134 + u. Let t = 144 + p. Is t composite?
True
Suppose -o + 133 + 514 = 0. Is o composite?
False
Suppose 0 = 3*w - 2510 - 4405. Suppose -4*s = -5*s + w. Is s prime?
False
Let w(s) = -32*s**2 + 2. Let i be w(2). Let k = 337 + i. Is k composite?
False
Let m be 18/(-12) - (-39)/2. Let y be 29/(