?
False
Let g = -5432 + 2509. Let w = 430 - g. Is w prime?
False
Suppose -9355 - 375749 = -12*r. Suppose -9*f + r = -30431. Is f a prime number?
True
Let m = 37602 - -111185. Is m a composite number?
True
Suppose -22*u + 743060 = -2*u. Is u composite?
True
Let w(z) = 7*z**2 + 18*z + 78. Let y be w(30). Suppose 4*n = -12*g + 14*g - y, -5*g + 5*n = -17285. Is g prime?
False
Let i(f) = 3174*f - 2351. Is i(111) a prime number?
True
Let q(u) = 2*u**3 - 16*u**2 - 43*u - 185. Is q(22) a composite number?
False
Let r(t) = 5*t**3 - 7*t**2 - 7*t - 4. Let x = 31 + -37. Let w be r(x). Let l = 67 - w. Is l a composite number?
False
Let f(h) be the third derivative of 23*h**5/60 - h**4/24 + 3*h**3/2 - 27*h**2. Let x be f(-5). Suppose -6 = -3*d, -5*o + x - 120 = -3*d. Is o composite?
True
Let q be -5 - (-3)/((-15)/2504765). Is ((-1)/3)/(18/q) composite?
False
Suppose -2*q + q = -14. Let w(h) = 3 - 14*h**2 - 3 + 11*h + h**3 + 7. Is w(q) composite?
True
Suppose 113*t + 18347 = 148410. Is t a prime number?
True
Is ((-7593278)/(-21))/11 - (-42)/(-18) a prime number?
True
Let c(j) = j - 1. Let r = -59 - -62. Let y(a) = 9*a - 13. Let h(x) = r*c(x) - y(x). Is h(-18) a composite number?
True
Let d = -95 + 52. Let y = -40 - d. Suppose 4*c = y*c + 2*p + 241, -699 = -3*c - 2*p. Is c composite?
True
Suppose 3*r = 4*a - 230563, 2*r - 12*r = 2*a - 115316. Is a prime?
False
Let j(t) = 372*t**2 - 16*t - 1. Let b(q) = -372*q**2 + 18*q + 2. Let i(c) = 4*b(c) + 5*j(c). Is i(4) prime?
True
Let b(u) = 2*u**3 - 13*u**2 - 3*u + 3. Suppose 22 = -y + 22. Suppose y = 4*x + x - 45. Is b(x) a prime number?
False
Let l = -217863 - -368804. Is l composite?
True
Suppose -496331 = 22*u - 1353297. Is u a composite number?
False
Let l = 53 - 92. Let k = 55 + l. Suppose k*i - 40249 = 5*i. Is i composite?
False
Is 21223 - (-240)/(7 + 3) prime?
True
Let y(j) = 108*j**3 - 10*j**2 + 54*j - 175. Is y(8) composite?
True
Let d = 7363 + -7180. Let i(r) = -3*r**3 - 6*r**2 - 3*r + 2. Let q be i(-6). Let a = q + d. Is a a prime number?
False
Suppose 0 = 88*g - 8455820 - 1894476. Is g composite?
False
Let u = 183676 + 263915. Is u composite?
True
Suppose 0 = -42*q + 47*q - 1220. Let r = 289 + q. Is r composite?
True
Let l(h) = 23*h**2 - h - 13. Let o(m) = -m**2 - 6*m + 5. Let u be o(-6). Let q be l(u). Is (-1)/((-4)/q) - 1/4 a composite number?
False
Let m(h) = 64*h**2 + 7*h - 28. Is m(-17) a prime number?
False
Let d = -1790 + 3267. Let g = 120 + d. Is g prime?
True
Let f(t) be the third derivative of 7*t**5/5 + 7*t**4/12 + 29*t**3/2 - 90*t**2. Is f(-7) a prime number?
False
Let o = -78 + 186. Is (-3)/(o/(-832)) + (-2)/18 a composite number?
False
Let y = -2578 + 5999. Is y prime?
False
Let s be (-1 - (-14)/12)/((-5)/(-90)). Suppose -4*d = d - 5*g - 2685, -s*d + 4*g = -1607. Is d a prime number?
True
Suppose -14*h - 2*b = -9*h - 295347, 0 = -h + 4*b + 59065. Is h a composite number?
False
Is 0 + 0 + 19957*(-33)/(-21) a composite number?
True
Let h(x) = 3*x**3 + x**2 - 2*x + 11. Suppose 0 = -10*o + 135 + 5. Let z be ((-8)/6)/(o/(-63)). Is h(z) a prime number?
True
Let b(x) = 3*x**2 - 33*x + 20. Let t be b(13). Let c = -9 + t. Is c a composite number?
False
Let k = 221722 - 32999. Is k prime?
False
Is (-5)/(-3) + 9 + (-16004251)/(-57) prime?
False
Suppose -7 + 19 = 4*a. Let v(f) = 188*f**2 + 3*f - 8. Is v(a) a prime number?
True
Is (1/(15/65))/(1/14727) prime?
False
Let p(k) = -15*k + 100. Let z be p(5). Suppose 59056 + 104619 = z*v. Is v composite?
False
Let v = -30156 + 142813. Is v prime?
True
Let z = 82 + -82. Suppose z + 0 = -21*j. Suppose v - 7*v + 21558 = j. Is v a prime number?
True
Suppose -35 = -3*z + 4*h + 21, -3 = -3*h. Is (-260745)/(-33) - z/55 composite?
False
Suppose 0 = -21*s + 18*s + 6. Suppose -s*z - 5 = -21. Suppose z*h - 8893 - 6811 = 0. Is h composite?
True
Let l(h) = 602*h - 3001. Let g be l(5). Suppose 2*v = -10, 3*v = 3*m - 17459 + 1655. Suppose -g*d + 7328 = -m. Is d prime?
True
Let y = 426634 + -292749. Is y prime?
False
Suppose -2*w + 2*l = l - 20, -3*w + 5*l = -16. Is (22664/(-6))/(w + (-266)/21) prime?
False
Suppose -105 = -5*j - b + 72, 2*j = -5*b + 80. Suppose -3*o + 1896 = 3*y, -37*o + j*o - 3181 = -5*y. Is y a prime number?
False
Let d(n) = -145651*n**3 + n**2 + 70*n + 69. Is d(-1) a composite number?
True
Suppose -172*d + 98*d - 1021830 = -89*d. Is d composite?
True
Let c(g) = 2*g + 24. Let m be c(-10). Suppose 0 = 5*t - 4*w - 21, -2*w - 7 + m = -t. Suppose t*k - 2244 = -3*q, 0 = 3*k + q + 3*q - 1353. Is k prime?
False
Let c = 1516138 + -957089. Is c prime?
True
Let h = 384 + -544. Let b = 1223 - h. Is b a prime number?
False
Let m = 265211 + -103837. Is m a prime number?
False
Is (-211124 - (-9 - -14))*-1 a prime number?
True
Let o be 3/5 - 85/(-25). Suppose 15 + 9 = -o*v. Is 4/v*36030/(-20) composite?
False
Suppose 0 = -2*c - 2*u - 4744, -5*c - 4213 = 2*u + 7647. Let o = -127 - c. Is o prime?
False
Suppose -5*k + 6 = 1. Suppose 0 = 4*t - 7 - k. Let y(a) = 73*a**2 + 3*a - 5. Is y(t) composite?
False
Suppose -3*g - 2*k = -15, -g + 2*g = 3*k + 5. Let c(n) = -7*n**3 - 2*n**2 + 3*n + 8. Let h be c(-7). Suppose -4*a = -12, -2*t + h = -g*a + a. Is t prime?
True
Let j be -3 + (10/2 - -16). Let v be -1 + j/6 - 6756. Let q = -2993 - v. Is q a composite number?
False
Suppose -29073534 = -152*g + 29602046 + 18754284. Is g a composite number?
True
Suppose 5*a + 2*x - 11 = 0, -4*x = -5*a + 5 - 12. Suppose -2*d + 10588 = 2*y + 80, 0 = -d - a. Is y a composite number?
True
Let y be ((-2)/(-4))/(6/(-60)). Let u be y/(-14)*7478 - 12/(-42). Let m = 3842 - u. Is m prime?
True
Suppose 3*r - 16326 = p, 4*r - 2*p - 6704 - 15066 = 0. Let n = -1534 + r. Is n a composite number?
False
Let j = 116281 - -81792. Is j a prime number?
True
Suppose 0 = 5*i + z - 332629, 5*z - 332348 - 257 = -5*i. Is i prime?
False
Let y(c) be the first derivative of 64*c**3/3 + 9*c**2/2 + 25*c - 15. Is y(10) prime?
False
Suppose 4*j - 13 = 4*o - 41, -2 = j. Suppose o*l = 7*l + 8750. Is (l/4)/(-5)*4 - -4 a composite number?
True
Is (30/270)/(2/(-6))*-888033 prime?
True
Let k be (-12)/2 - (-1490)/(-5). Let o = k + 775. Is o composite?
True
Let j = -41694 - -98705. Is j composite?
True
Suppose -73*u - 37785078 = -391*u. Is u a prime number?
False
Let t = 1441644 + 2661067. Is t composite?
False
Let i(h) = h**3 - 10*h**2 + 17*h - 4. Let v be i(8). Suppose 0 = 4*y + 5*s + 4141, -v*y + s = 4368 - 233. Let k = 2319 - y. Is k prime?
False
Suppose 0 = 4*a - 136518 + 27607 - 249845. Is a a composite number?
False
Suppose 1521*m = 1021*m + 255630500. Is m a prime number?
True
Let c = 3633 - -870. Let d = c - 2521. Is d prime?
False
Let y be 25239/(-33) - 4/22. Let c = y - -4550. Is c composite?
True
Let c(n) = 10621*n**2 - 459*n - 5117. Is c(-11) a composite number?
True
Suppose 5*g + 3*a = 3849515, 4*a - 3849515 = -39*g + 34*g. Is g a composite number?
False
Let p be 23709*(6 + (-46)/6 + 2). Let b = -4980 + p. Is b a prime number?
False
Let i = 1497 - 2506. Let d = i - -1718. Is d a prime number?
True
Let m = 230483 + -112956. Is m prime?
False
Let c = -219 - -309. Let o(w) = -c*w + 11 + 90*w + 11*w**2. Is o(6) prime?
False
Let c(t) = 139*t + 2700. Is c(97) a composite number?
False
Let s be 8 + -7 + -234868*4/(-8). Is (55/33)/(25/s) a prime number?
True
Suppose -3026*a + 2997*a = -16105121. Is a prime?
True
Is (((-8618918)/21)/11)/(14/(-21)) a prime number?
True
Suppose 0 = -17*y - y - 1224. Let i = y - -71. Suppose -z + 7464 = 3*m - 8132, 2*m = -i*z + 10395. Is m prime?
False
Let m(j) = 149*j**2 - 2*j - 6. Let p be (8 - 7)/((-3)/(-9)). Is m(p) a prime number?
False
Let k(v) = 144*v**2 + 131*v + 441. Is k(-28) prime?
False
Suppose 540 - 2382 = 2*b. Let v = 3280 - b. Is v prime?
True
Suppose -x - 9842 = -4*c, -3*c + 6*x - 3*x + 7377 = 0. Is c a composite number?
True
Let o(q) = -q**2 + 4*q. Let g be o(3). Let y be 0*(-2)/(5 - 1). Suppose -5*f + 649 = -4*t, y = 5*f - g*t - 314 - 339. Is f composite?
True
Let t(o) = o + 1. Let q(c) = c + 19. Let g(m) = -q(m) - 3*t(m). Let z be g(-7). Suppose 7226 - 644 = z*y. Is y prime?
True
Let t(q) = 11*q**2 - 30*q + 55. Let z(h) = -5*h**2 + 15*h - 27. Let g(v) = -4*t(v) - 9*z(v). Let i be g(-16). Suppose 0 = k - i - 880. Is k prime?
True
Suppose -128863 + 1373133 = 2*d + c, 622135 = d + 