+ (-4)/(-18) prime?
True
Let y be 6/(-14) + (-408)/(-119). Let t be ((3 - 1) + -1)*3. Suppose t*u + 2*q = 3*q + 25, y*q - 25 = -u. Is u a prime number?
False
Let y = 2310 - -745. Suppose -3*r - 4 = -r - 3*o, 3*r + 3*o - 24 = 0. Suppose -k = r*k - y. Is k prime?
False
Suppose 6*x + 756 - 29766 = 0. Is x a composite number?
True
Suppose -3*b = -11 - 1. Is ((-2723)/b)/(-7)*4 a prime number?
True
Let i(l) = -l - 1. Let b(r) = 461*r - 2. Let u(o) = -b(o) - 3*i(o). Is u(-3) a composite number?
True
Let m be (15/10)/(2/(-8)). Suppose l - 2 = -5*d - 11, 4*l - 2*d = 30. Is (-549)/l*8/m composite?
True
Let s = 22256 - -3267. Is s a prime number?
True
Suppose 0 = 3*y + n - 14584, 4*y + 4864 = 5*y + 3*n. Is y prime?
True
Let w be (-2 - (-20)/12)*3 - -23. Suppose -k = -w - 33. Is k composite?
True
Let q(y) = -2998*y + 4. Let l be q(-6). Is 2/(-3) + l/24 a prime number?
False
Suppose 3*c + 7 - 34 = -3*p, 0 = -5*c + 4*p. Suppose r + q - 213 = 0, -q = -c*r + q + 840. Is r a composite number?
False
Let x = 2770 + 1038. Is 4/(-12) + x/12 a composite number?
False
Let x(q) = -320*q + 144 + 1097*q - 131. Is x(2) a prime number?
True
Let c = -1169 + 4933. Let l = c + -2023. Is l composite?
False
Suppose -4*a + 113 = x - 0*a, x - 104 = 5*a. Let g = x - 50. Is g composite?
False
Is (2*2/(-8))/(2/(-13604)) a composite number?
True
Suppose -2*x + 3*x - 3 = 0. Let c be (-4)/6 - (-38)/x. Is (c/18)/((-6)/(-2331)) prime?
False
Let o = -2 + 11. Suppose 0 = o*x - 7*x - 762. Is x composite?
True
Suppose -27*i = -22*i - r - 206857, r = i - 41373. Is i prime?
False
Let g(w) = -w**3 + 6*w**2 - 3*w. Let a be g(5). Let h(q) = 9*q + 3 + 3 + 10*q**2 - 7 - q**3. Is h(a) a composite number?
False
Let f(s) = 6*s - 2. Let y(h) = h**2 - 10*h + 1. Let g be y(10). Suppose k - g - 7 = 0. Is f(k) a prime number?
False
Let d be 0 - (-1 + -458)/3. Suppose 5*q + 4*m - 920 + 131 = 0, q + 2*m - d = 0. Is q a prime number?
False
Let z(m) = 71*m - 14. Suppose 0 = 6*q - 16 - 14. Is z(q) prime?
False
Suppose 3*b + 2*d = -18, 3*d = -3*b - 15 - 3. Let v be (-1)/b - 2795/30. Let f = 162 + v. Is f a composite number?
True
Let a(n) = 1039*n**2 + n + 1. Is a(-1) composite?
False
Let n be (-4)/(-6)*282/(-4)*1. Let y = n + 204. Is y a prime number?
True
Let n(z) = 1066*z**3 - z**2 + z. Let d be n(1). Is (-11)/(-11) + (-5)/((-5)/d) composite?
True
Suppose -8*n + 18 = -2*n. Let k(d) = 0*d**3 + 3 + d**2 + 2*d + 1 + 4*d**3. Is k(n) a prime number?
True
Let r(n) = 321*n**2 + 5*n - 55. Is r(-14) prime?
True
Let z(j) = j**3 + 20*j**2 - 21*j - 12. Let n be z(-21). Is 33/n + 3 - (-3174)/8 a composite number?
False
Suppose -5*r + m + 16 = -8, -4*m + 14 = 2*r. Let p(j) = -9*j**2 - 5*j**2 - r*j - j + 3 - 3*j**3. Is p(-6) a composite number?
True
Suppose 2*v + 8 = -3*u + 31, -4*u = -5*v. Suppose 0 = -3*o - v*c + 460, c - 318 = -5*o + 426. Let m = o - 93. Is m a composite number?
True
Let t be (15/(-20) - 567/(-4))*1. Let q = 1308 - t. Is q prime?
False
Suppose -3*o + 395 = -1114. Is o a prime number?
True
Let t = -15 + 12. Let i be 213*-1 + (-5 - t). Let z = 378 + i. Is z composite?
False
Is 2170 + 21 - (1 - -1) a prime number?
False
Is ((-3)/(-6))/((-22)/(-138028)) a composite number?
False
Let m(o) = -o - 1. Let i(r) = 77*r**2 - 9*r - 12. Let s(v) = i(v) - 3*m(v). Is s(-2) composite?
False
Let g = 28 - 20. Suppose -4*o + g*o - 2792 = 0. Suppose 5*q - 97 = -m, 0 = 5*m + 2*q + 98 - o. Is m prime?
False
Let o = -79 + 82. Suppose 0*b - 3335 = -o*b + 4*l, -2*b + 2230 = -l. Is b composite?
False
Let o(i) = -19*i**3 - 2*i**2 + 5*i - 9. Let q be o(-4). Let d = q + -677. Is d composite?
True
Suppose 4*u - 2*o + 3*o = -23, o = 3*u + 19. Let i(q) = -5*q**3 - 6*q**2 + 8*q + 5. Is i(u) composite?
False
Let m be (-15)/(-4)*(-8)/(-2). Let k be (-3 + -9)*(-700)/m. Suppose k = 2*l - 522. Is l a prime number?
True
Suppose v + 2*c = -3*v + 13886, 3*v - 2*c - 10425 = 0. Is v a prime number?
False
Suppose 106328 = 20*i - 178532. Is i a composite number?
False
Let z(b) = 9*b**2 + 4 - 4*b - 3 + 3*b. Let x be (-4)/(-2) + -7 - -2. Is z(x) composite?
True
Suppose 4*i - 23 = -3*y, -y - 4*i = -2*y - 3. Suppose -y*x + 2709 = b - 2*b, -5*x - 4*b + 2689 = 0. Is x prime?
True
Is 51100 + -26*(-1)/(-2) a prime number?
False
Suppose 3*i = 21564 + 20355. Is i a prime number?
False
Suppose -10*b + 966365 = 7*b. Is b a prime number?
False
Let u be -30*(86/(-9))/(9/54). Let q = -709 + u. Is q composite?
True
Let i(z) = z - 3. Let u be i(9). Suppose -u = d - 1. Is (7 + d)*422/4 a prime number?
True
Suppose -h + 18473 = -5*q, 5*h = -3*q + 23724 + 68753. Is h prime?
True
Let l(t) = 919*t**2 - t + 1. Let q be (-8)/(-14)*(10 + -3). Suppose q*k = -6 + 10. Is l(k) composite?
False
Suppose 519780 = 105*c - 45*c. Is c prime?
True
Let x = -63 + 62. Let w be (-762)/(-2) - (2 - 0). Is w + x + 3 + -2 prime?
True
Is 2/(-3) + ((-22154)/(-3) - -9) prime?
True
Let n = 27 - 24. Suppose -82 = -n*f + 83. Is f prime?
False
Suppose 75*b + 395018 = 101*b. Is b a composite number?
False
Let x(g) = 4*g**3 - 3*g**2 - 21*g - 13. Let a(d) = -6*d**3 + 5*d**2 + 31*d + 20. Let h(z) = 5*a(z) + 7*x(z). Is h(-5) a composite number?
True
Let i = 662 - 1362. Let j = -283 - i. Is j composite?
True
Let s = 7363 - 1746. Is s prime?
False
Suppose 2*j - 7 = -1. Suppose -3*l = -5*g + 3757, j*g + l - 2227 = -4*l. Is g a composite number?
True
Suppose 10*j - 1230 = 4420. Is j prime?
False
Suppose -r + 631 = g + 4*r, -631 = -g + 3*r. Is g a composite number?
False
Let y = -6355 - -27018. Is y a prime number?
True
Let n be (-1)/(-4) - (-60)/16. Let q(m) = 26*m**3 - 2*m**2 + 5*m + 6. Is q(n) a prime number?
False
Suppose -3*w + 12 = w. Suppose 0 = w*l - 4*v - 625, -4*l - v + 896 = 50. Is l prime?
True
Suppose i - 3229 - 3574 = 0. Is i composite?
False
Let m be (3/1)/(-1) - (-15)/1. Is (-8)/m + 1582/6 a prime number?
True
Let d(h) = -128*h - 43. Is d(-4) prime?
False
Let f(a) = -a + 3104 + 815 - 1169 + 2597. Is f(0) a composite number?
False
Suppose 2*s = 3*i - 33, -4*s - 32 = -2*i + 22. Is 3453*1*s/(-36) composite?
False
Suppose 9 = 2*a - 21. Is (0 + a)*388/60*5 a prime number?
False
Suppose 0 = -b - z + 3348, -2*b + 3*z + 3221 = -3500. Is b a composite number?
True
Let d = -23 - -10. Let s = d + 9. Let q = -2 - s. Is q a prime number?
True
Is 1568815/(-10)*(-2 - 0) composite?
False
Let f(t) be the second derivative of 7*t**3/6 + 3*t**2/2 + 3*t. Let o be f(5). Suppose 4*s - 6*s + o = 0. Is s prime?
True
Suppose 2*p = 740 + 358. Suppose p = 3*o - u + 3*u, 0 = 5*u + 15. Is o a composite number?
True
Let r = -2 + 8. Suppose -r = -n + 2*d, -n + 3*d = -3*n - 9. Suppose -b - 5*h + 11 = n, 3*b - h + 27 = 4*b. Is b a composite number?
False
Let q = -345 - -458. Is q a prime number?
True
Suppose 5*w + 6*x - 5965 = 3*x, -2*w + 3*x + 2386 = 0. Is w prime?
True
Let m = 682 - 473. Is m composite?
True
Suppose -3*q - 2*d = 2*d - 19, -42 = -4*q + 3*d. Suppose q*t - 5263 - 3026 = 0. Is t a composite number?
True
Suppose -33*l + 8*l + 40775 = 0. Is l prime?
False
Is 1/(1 - (-4 + 3415936/683188)) a prime number?
False
Let c = -39 - -482. Is c a composite number?
False
Let c be (-13)/(-5) + 14/35. Suppose -c*r + 10 = 2*r. Is (-1354)/(-3) + r/(-6) a prime number?
False
Let y(x) = 49 + x**3 - 33 + 10*x - 7*x**2 - 2*x**3. Let c be y(-8). Suppose 3*f + a - 144 - 19 = c, 261 = 5*f - a. Is f a prime number?
True
Let k(v) = 750*v - 19. Let s be (2 - 1) + (4 - -3). Is k(s) a composite number?
False
Let j = 11649 - 6268. Is j a prime number?
True
Is 7/(-7) - (-4632)/3 composite?
False
Let a(r) = r**3 - 9*r**2 - 13*r + 14. Let w be a(10). Let m = w - -30. Suppose -m*p + 17*p - 333 = 0. Is p prime?
False
Suppose 13*n + 3*m = 15*n - 49931, 24970 = n - 3*m. Is n composite?
True
Let b(n) = 69*n**2 + 2*n + 2. Let x be b(-1). Suppose d - x = -0*d. Is d a composite number?
True
Let k = 30 - 22. Let f = 71 + k. Is f prime?
True
Let n be 10 + 1 + (-7 - -4). Suppose 3*g + 29 = 3*k + n, g = -2*k + 2. Suppose -2*r = 2*c - 154, 0 = -0*r + 5*r + k*c - 389. Is r a composite number?
False
Let k be 2/12 - (-92)/24. Suppose 2*z = 6*w - 2*w - 1356, k*w + z - 1344 = 0. Is w composite?
False
Suppose -7*s + 5 = 33. Is -4306*(-30)/(-40)*s/6 composite?
False
Let c(o) = 4*o + 17. Let t be c(-7). Let x = t - -14. Suppose -b - x*b = -820. Is b prime?
F