. Is (-1)/o + y/(-20) a composite number?
True
Is 592935/165 + (-6)/11 prime?
True
Let z = -20 - -24. Is (13 - -49)*2/z composite?
False
Let b = 2 + -1. Let g be 104/39*27/6. Is 418/g - b/(-6) a prime number?
False
Let f = 2179 - 284. Is f prime?
False
Suppose r + 4377 = 3*q, 11*r = 3*q + 6*r - 4377. Is q prime?
True
Suppose n + 4*n + 24 = p, n = 5*p - 24. Suppose 3*r = -4*c + 224, r - 216 = -p*c - 0*r. Is c prime?
True
Let q be 5*(-1 - -3 - 1). Suppose -3*g = -q*d + 5767, 5*d + 3*g = 50 + 5693. Is d composite?
False
Let p = 42 - 32. Suppose -p*b + 4*b = -2022. Is b a composite number?
False
Let y(g) = -g + 396. Let d be y(0). Let s = d + -159. Is s a composite number?
True
Let l(i) = -i**3 - 8*i**2 + 8*i - 6. Suppose 0 = 4*u + 1 + 35. Let n be l(u). Suppose d - 2828 = -n*d. Is d composite?
True
Let m be 52146/10 + 0 + (-10)/(-25). Suppose -16*w = -11*w - m. Is w prime?
False
Let c(r) be the first derivative of 16*r**3 + r**2 - 6*r + 12. Let d be c(5). Suppose 2*x = d + 1486. Is x composite?
True
Suppose -2*c + o - 32 = -3*o, 0 = -c - 5*o + 19. Suppose -69 = 2*x - 63. Is (c/4)/(x/314) composite?
False
Let l = -11 + 75. Suppose 4*q = -4*s + 12, s - 12 = 5*q - 3*s. Suppose q = -5*h - x + 167 + 127, -h + 5*x + l = 0. Is h prime?
True
Let v(y) = 409*y**2 - 5*y + 5. Is v(1) composite?
False
Let b(t) = -6*t - 12. Let v(m) = 5*m + 13. Let a(z) = 6*b(z) + 7*v(z). Let j be a(15). Suppose o - 50 = -j*o. Is o prime?
False
Suppose -8*a + 10*a - 12 = 0. Is (9 - 6)*898/a a prime number?
True
Let u = -527 - -1226. Let l(j) = -j**2 - 3*j + 15. Let o be l(3). Is (0 - o - 1) + u a composite number?
False
Let x(h) = 13*h**3 + 6*h**2 + 19*h - 11. Is x(11) composite?
True
Suppose -2*w - 19916 = -4*o, -4965 = -o - 3*w + 7*w. Is o a composite number?
True
Suppose -8*h + 3*h + 30 = 0. Suppose h*g = -0*g. Suppose g = 2*c - 5*c + 1965. Is c prime?
False
Is (-3)/6*-6 + 950 prime?
True
Let p(n) = -16*n**3 - 7*n**2 - 9*n + 11. Suppose 10*o - 11 + 51 = 0. Is p(o) a prime number?
False
Suppose -2*w - w + 5*o + 1 = 0, 2*w = 3*o + 1. Let v(d) = 286*d**2 - 2*d + 1. Is v(w) a composite number?
True
Suppose -25*q - 11*q = -120636. Is q prime?
False
Suppose -6*o = -11*o - 5935. Let t = 2584 + o. Is t a composite number?
True
Is -2*(-45)/(-50)*314385/(-9) a prime number?
False
Is (-3)/((-3)/(-5)) + 2 - -3046 composite?
True
Let v(t) = -362*t. Let i be v(-2). Let j be ((-5)/2 + 3)*0. Suppose 3*a + 351 = 5*w - i, j = 5*a. Is w composite?
True
Suppose 5*m + 200 = -y, 5*y + 86 + 17 = -2*m. Let c = m + 85. Is c a composite number?
True
Suppose 5*r - 152 - 518 = 0. Let t be (-2170)/42 - 4/(-6). Let g = r + t. Is g a composite number?
False
Suppose 0 = -4*s + 3*i + 1 + 4, 5*s - 35 = -2*i. Let h(x) = 13*x**3 + 4*x**2 + 4*x + 16. Is h(s) a prime number?
False
Let b = -530 + 2118. Let d = b - 617. Is d a composite number?
False
Let s = -150 + -689. Let y = -430 - s. Is y a prime number?
True
Is (1/(-5))/((-27)/(673239 - -6)) composite?
False
Suppose -3*k + 6 = -9, 3*k = 5*u - 5. Let q(a) = 1 + 14*a - 4*a**2 - 2 - u*a + 6*a**2. Is q(-8) a prime number?
True
Let x(b) = b**2 + 11*b - 14. Let n be x(-12). Let k be -415*n/4*10. Suppose 0 = -3*v - 2*v + k. Is v prime?
False
Suppose 4*v = -r + 6, -4*r = 2*v - 4 - 6. Suppose r*n = -n + 1509. Is n prime?
True
Let c = 20437 + -10932. Is c composite?
True
Suppose 0*s - s = -158. Let h be (-2 + (-95)/3)*(-10 - -13). Let l = h + s. Is l a prime number?
False
Suppose 0 = -3*q - 0*q. Suppose q = t - 4*h - 1 + 5, 0 = 5*t + 2*h - 46. Let y(v) = 2*v**2 - 9*v + 11. Is y(t) prime?
True
Suppose 0 = -3*z + 162 + 504. Let m = z - 313. Let r = m + 348. Is r prime?
True
Let h(n) = 15*n + 20. Let g(o) = -3*o**2 + 18*o + 3. Let i be g(6). Suppose -p = 3*u - 11, 5 + 16 = i*p + 3*u. Is h(p) prime?
False
Suppose -7*s = 8221 - 97212. Is s prime?
True
Let z(u) = 6*u**2 - 2*u - 5. Let j(t) = -t**2 + 6*t - 11. Let f be j(5). Is z(f) prime?
True
Let x = -85 - -80. Is 370 - (x + -1)/2 a prime number?
True
Suppose 4 = 2*s, -s - 728 = -y + 1213. Suppose 5*c + y = 4*k, 0*c - 3*c = 3*k - 1464. Is k prime?
True
Let p = 47 - -906. Is p composite?
False
Suppose 2*f + 21937 = j, 2*j - 4*f = -3*f + 43889. Is j prime?
False
Let j(p) = -p**2 - 4*p + 7. Let u be j(-5). Suppose -4*s = -6 - u. Suppose -s*b = -7*b + a + 90, -5*a + 6 = -b. Is b composite?
False
Let r = -115 - -111. Is 2/r - (-71)/2 a prime number?
False
Let k(g) = -g**3 + 6*g**2 - 5*g + 2. Let y(z) = z**3 - 2*z**2 - 2*z + 2. Let p be y(3). Let c be k(p). Suppose -3*i + c*i = -65. Is i a composite number?
True
Suppose 5 + 3 = -h. Is (-3 + -4 - h)/((-1)/(-1259)) a composite number?
False
Let g be (951/5 - 2) + (-11)/55. Let m be (1*-42)/(-3) + 1. Suppose -g = -i + m. Is i composite?
True
Let u = 47297 + -33730. Is u a composite number?
False
Let q = 16 + -16. Suppose -5*j = 3*m - 27, 2*m + q*j - 2*j - 2 = 0. Is 19/2 + m/(-8) a composite number?
True
Let l(x) = 35*x. Let b be l(-1). Let n = -30 - b. Suppose 241 = 2*m - 5*k, 4*k - 3*k - 670 = -n*m. Is m a composite number?
True
Let v(f) = 253*f - 2. Suppose g = 4*x - 7, -4*g - 3*x + 4 = -6. Is v(g) a prime number?
True
Is (1357 - 0) + (-4)/(-1)*1 composite?
False
Suppose -3*q = -p + 136141, -15*p + 20*p - 3*q = 680657. Is p composite?
True
Let h(k) = -k - 12. Let l be h(-18). Let b(z) = 4*z - 20. Let q be b(l). Is (-4 - (753 + q))*-1 prime?
True
Let i = -21 + 10. Suppose -7*w + 4*w = 381. Is w/(-3)*(-2 - i) a prime number?
False
Suppose -17*l + 2023 = -10*l. Is l a prime number?
False
Suppose -2*d - 2*d - 54 = -g, 2*g - 105 = 5*d. Let j be (20/g)/((-2)/(-20)). Suppose 3*t = -j*a + 77, 3*t + 3*a = 2*a + 89. Is t composite?
False
Let a(m) = m + 3. Let y be a(-6). Is ((-1)/y)/(1/633) a prime number?
True
Let m = -29085 + 49622. Is m composite?
True
Let z(q) = q**2 + 8*q + 3. Let p be z(-8). Suppose -10 = -p*n - 3*x + 17, 0 = n - 3*x + 11. Is ((-238)/(-4))/(n/8) composite?
True
Let k(z) = -2*z**3 - 10*z**2 - z - 3. Let j be k(-5). Suppose j*o = -2*o + 596. Is o composite?
False
Let q = 72 - 73. Is (-543)/q + -4 + (6 - 4) a composite number?
False
Let h = 1526 - 3560. Is (2 + h/15)/((-8)/20) a composite number?
True
Is 8/(-28) + 5424709/133 composite?
False
Suppose g - 5*g = -48. Let t be 3/(-2)*(-32)/g. Suppose t*r - 447 = r. Is r a prime number?
True
Let t be ((-1)/3)/(2/(-10914)). Suppose t - 5344 = -5*v. Suppose 3*y + 0*o + 4*o - v = 0, y + o = 235. Is y a composite number?
True
Let w(x) = 32*x + 7. Let l = -5 - -8. Is w(l) a prime number?
True
Let n(v) = -v**3 - 11*v**2 - 10*v + 2. Let k be n(-10). Let g = 1 + k. Suppose g*h - 23 = -5*y, -5*h = 3*y + 2*y - 35. Is h a prime number?
False
Suppose o = s - 116679, 2*o - 61 + 57 = 0. Is s prime?
True
Let n = -20 + 22. Suppose -461 = -n*i + 5*u, -5*i + 1164 = -3*u + 2*u. Is i a prime number?
True
Suppose 4*f - 1044 = -2*f. Suppose 0 = -3*w + f + 588. Let h = -123 + w. Is h composite?
False
Let b(t) = t**2 - 26*t + 16106. Is b(0) a composite number?
True
Let b = -84 + 87. Suppose -2*h + 8289 = 5*q, 4*h - 3316 = -2*q + b*h. Is q a prime number?
True
Let q = -2 + -2. Let a be (-4980)/18 - q/6. Let s = -158 - a. Is s prime?
False
Suppose 1943 = 4*j + 463. Let g = 241 + j. Is g composite?
True
Let g = 10 - 8. Is (g/(-6))/(1/(-231)) a composite number?
True
Suppose -13653 = 5*l + 43802. Let z = l - -21426. Is z composite?
True
Let g = 14 - 5. Let k(m) be the second derivative of -m**5/20 + 2*m**4/3 + 2*m**3 + 7*m**2/2 + 3*m. Is k(g) prime?
False
Let u(t) = -t**3 + 2*t**2 + 8*t + 7. Let k be u(-3). Let a = k - -151. Is a a composite number?
False
Let t be 36/20 - 1/(-5). Let d = 22 + -19. Suppose -290 = -v - t*s, 0 = 3*v - 0*s - d*s - 906. Is v a prime number?
False
Let d be 9/(-12) + (-12)/(-16). Suppose 2*n - 3 + 7 = d. Is ((-5)/(-4))/(n/(-152)) a prime number?
False
Let o be (-2)/(-4) + (-84)/(-24). Let m be (703/(-2))/(13/(-26)). Suppose -2119 = d - o*d + w, -d = 3*w - m. Is d composite?
True
Let h(k) = 2*k**2 + 1215 - 4*k**3 + 5*k**3 - 1199 + 7*k**2 - 25*k. Is h(-11) prime?
False
Let m = 115 - 58. Suppose 5*p + m = 432. Suppose 0*i = 3*i - p. Is i composite?
True
Let l be (24/(-8))/(-2 - -1). Let b be (-4)/(-12) + 1718/l. Suppose 0*a = 3*a - b. Is a a prime number?
True
Let a(y) = -y**3 - 10*y**2 - 8*y + 3. Let c be a(-9). Is 2/(-6