rime number?
True
Suppose 12*y - 581891 = 207817. Is y a composite number?
False
Suppose 194543 - 1113572 = -103*w + 312542. Is w prime?
False
Let s = 223321 + -67488. Is s a composite number?
False
Let a = 178515 + -266011. Is (-4)/(-6) + 3 + a/(-12) prime?
False
Let h(f) be the first derivative of -9*f**3 - 5*f**2/2 - 36*f - 3. Let k(n) be the first derivative of h(n). Is k(-4) a prime number?
True
Let b(y) = y + 3. Let j be b(0). Let i(g) be the third derivative of g**6/15 + g**5/30 + g**4/24 + g**3/3 - 172*g**2 + 2. Is i(j) composite?
False
Let a(s) = -s**3 - 50*s**2 + 70*s - 59. Let b be a(-41). Let w = 32817 + b. Is w a prime number?
True
Suppose -9*f = -23 - 4. Suppose t = -f*t + 46324. Is t prime?
False
Let f(t) = -2*t - 6. Let h be f(-7). Let n be (-5)/(7/(-28) - 6/h). Let z(j) = 5*j**3 - 4*j**2 + 2*j + 2. Is z(n) a prime number?
False
Let v = 254 + -179. Let l = 75 - v. Suppose l = -3*y + 2*n + 5087, -4387 + 12868 = 5*y - 4*n. Is y prime?
True
Let l = -531216 + 2417987. Is l composite?
True
Suppose -18*t + 4709 + 10591 = 0. Let p = -10 - -16. Suppose -668 = -p*n + t. Is n prime?
False
Is 12/8 + 951110/20 a composite number?
True
Let f = -31214 - -61249. Is f a prime number?
False
Is 17 + -16 + -3 + 30973 a composite number?
False
Suppose 0 = 258*u - 268*u + 1415030. Is u a composite number?
True
Let n = 1975 + -1847. Let g = -656 + 1107. Let k = g - n. Is k prime?
False
Let n be 7 - -1*(0 + -1)*4. Is n - (2 + 1260/(-6)) prime?
True
Let d = 73 + -71. Is 2 - d/4*-6714 a prime number?
True
Let g(o) = -8*o**3 + o**2 + 3*o. Let b be g(2). Let i = b + 60. Is 3 + 22*i + -1*2 composite?
True
Let g = -54190 - -99579. Is g prime?
True
Let k = -184 - -188. Suppose 5*c = 5*s - 12977 + 3737, s - 1843 = -k*c. Is s prime?
True
Suppose -382329 - 87716 = -4*f - 35701. Is f prime?
False
Suppose 2*v = -g + 208871, 3*v - 233977 - 79329 = -g. Is v composite?
True
Let f(r) = -5873*r + 87. Let g be f(-45). Suppose 36*x = 24*x + g. Is x prime?
True
Is 843494/18 - (-486)/2187 prime?
True
Let t(d) = -67*d**2 - 2*d + 12 + 128*d**2 - 70*d**2 + 22*d**3. Is t(7) a prime number?
True
Let u be 2 + 1064723 + 11/((-11)/2). Suppose 0 = 43*f - 0*f - u. Is f prime?
False
Let v = 316 - 301. Suppose -10*h = v*h - 110425. Is h prime?
False
Suppose -123*n + 1910959 = -9094958. Is n prime?
False
Is 31 + -17 - -51633*1 a prime number?
True
Let f(u) = 4 - 25*u**2 + 139*u**2 + 4*u - u + 376*u**2. Is f(-1) a prime number?
True
Let n(w) = 746*w**3 + 19*w**2 - 14*w - 4. Let s be n(1). Let u(d) = -9*d**3 + 4*d**2 + 8*d + 5. Let m be u(-5). Let z = m - s. Is z composite?
False
Let n be (18/21)/(3 + 650/(-217)). Suppose a - n = -4*l, -a + 202 = 2*l - 6*l. Is a a prime number?
False
Let n(l) be the second derivative of 79*l**7/105 + l**6/180 - l**5/120 + 5*l**3/3 + 6*l. Let p(i) be the second derivative of n(i). Is p(1) prime?
False
Suppose -p - 5*z = -15491, -z = 14*p - 16*p + 31026. Is p a prime number?
True
Suppose 84909 = r - 47*f + 42*f, -254699 = -3*r + f. Is r composite?
True
Let w(u) = 298*u**2 + 57*u - 911. Is w(28) composite?
False
Let t = 480 - 478. Suppose f - 1843 = t*d, -33 + 39 = 3*d. Is f a prime number?
True
Let d = -143990 - -268519. Is d prime?
True
Let q(a) be the first derivative of 29*a**4/4 + 8*a**3/3 - 13*a**2/2 + 33*a - 10. Is q(5) composite?
False
Suppose 2969880 = 272*h - 152*h. Is h composite?
False
Suppose -39*y = 3*q - 59730, 34*q - 4*y = 30*q + 79584. Is q a composite number?
True
Let x be (-1)/(-3 + (-292)/(-96)). Let u be (x/14)/(4/(-2226)). Suppose -k = 5*q - u, -q + 0*k = -k - 192. Is q prime?
True
Let n(g) = -4*g**3 + 32*g**2 + 31*g - 172. Is n(-23) a composite number?
True
Let o = -198244 + 433403. Is o prime?
True
Suppose 1771993 = -17*p - 4690931. Is p/117*(-6)/8 a composite number?
False
Let a be -2 + 2 + 2 + 1 + 3. Let t be (-2)/a + 1869/(-9). Is 8/(8/3) - t composite?
False
Suppose 10*d + 7 = -3. Let k be (-1)/d + 2470 + -1. Let v = k - 317. Is v a prime number?
True
Suppose 3*t + 1062916 + 574721 = 3*f, -f + 4*t = -545897. Is f composite?
False
Let l(s) = 82006*s**2 + 15*s + 18. Is l(-1) composite?
False
Suppose -3*y = 4*m - 405, m - 5*y = 94 + 36. Suppose h = -4*d - 215, 3 + 6 = -3*h. Let c = m - d. Is c a prime number?
False
Suppose 0 = -x - 9*l + 8*l, 5*x + 4*l - 2 = 0. Let r(k) = 2*k**2 - k - 3. Let f be r(x). Let h(d) = 36*d**2 - d + 10. Is h(f) prime?
True
Let k(h) = 1841*h**2 - 44*h + 265. Is k(6) a composite number?
True
Let n(s) = s**2 + 53*s - 35. Let v(y) = y**2 - 10*y - 9. Let o be ((-4)/(-32)*-4)/(1/(-26)). Let x be v(o). Is n(x) a composite number?
True
Let l(j) = -j**2 + 13*j - 11. Let c be l(12). Let h be (1 - c) + (7 - 9 - -6). Suppose -h*w + 7*w - 2310 = 3*r, 4*w + 3*r = 3087. Is w a prime number?
False
Let v(w) = -9*w**3 + 9*w**2 + 15*w + 5. Let a be (-1995)/(-147) + 3/7 + 0. Suppose -c - 10 = 8*t - 7*t, -5*t + 4*c = a. Is v(t) a composite number?
True
Suppose q - 87 = -87. Suppose 0 = -2*h - 3*a - 1384 + 4175, -4*h - 3*a + 5585 = q. Is h prime?
False
Suppose 212*t - 285*t - 241*t + 480050422 = 0. Is t a composite number?
False
Let c = 20891 + -10930. Is c a composite number?
True
Suppose -6*y - 7 = r - 2*y, 14 = -2*r + 4*y. Let x be 2 - ((-115)/35 - 2/r). Suppose -k - k - 649 = -x*h, -4*k - 381 = -3*h. Is h composite?
False
Let x(n) = 10*n**3 - n**2 - 4*n - 2. Let c be x(-1). Let p be (3/6)/(c/(-131886)). Let z = p - 4290. Is z composite?
False
Suppose 4*c + 4*l = 5*c + 1323, 2*c + 3*l = -2591. Let h = 2460 + c. Is h a prime number?
False
Suppose 64 = 3*f - 50. Suppose 3*a - f = c - 9712, 5*c = 5*a + 48320. Suppose -2*b - 5*k + 6432 = 0, 0*b + 3*b + 2*k = c. Is b a prime number?
True
Suppose -g + 0*h + h = -29, 26 = g - 4*h. Let u be g/(-25)*(-20)/8. Is u/(-4) + 93/12 a composite number?
False
Let w(t) = -879*t**3 - 36*t**2 - 303*t + 1. Is w(-9) composite?
True
Suppose -5*n - 9*n = 5*n. Suppose -25*f - 43394 + 194169 = n. Is f a composite number?
True
Suppose z + 120*z = -160*z + 28703869. Is z prime?
True
Suppose 12*v - 26 = 10. Suppose -34636 = -v*d + 1073. Is d a prime number?
True
Let s(u) = -198*u + 28. Let x(n) = 1. Let c(h) = s(h) - 5*x(h). Suppose -5*k - 11 = 19. Is c(k) a composite number?
True
Let d(o) = -o**2 + 8*o - 13. Let l be d(6). Is (-368270)/(-25) - l*(-4)/(-20) composite?
False
Is 31153616/286 + (-15)/(-55) a composite number?
False
Let a(y) = -2*y**3 + 5*y**2 - 11*y + 12. Let b be a(2). Is (-56)/42 + 1 + (-11840)/b a composite number?
False
Suppose 17*j - 2630387 = -9*j - 330349. Is j a composite number?
False
Suppose -5*n - 3*f = -0*f - 55794, -33477 = -3*n - 2*f. Let i be ((-3)/6)/(2/4). Is 1/(i/n*-3) a composite number?
False
Is 27658*(0 + (43/(-473) - (-158)/44)) prime?
False
Let y(p) = -p**3 + p**2 + 22*p - 5. Let f be y(5). Suppose -2*q = -a - 101062, 0*a = f*q + 4*a - 252681. Is q prime?
False
Let r = 459 + -25. Let v = 265 + r. Is v a prime number?
False
Let q(a) = 7*a - 37. Let g(r) = 48*r - 258. Let s(d) = -4*g(d) + 27*q(d). Let l be s(11). Suppose -5*x - 2*x + 154 = l. Is x prime?
False
Let i(m) = -102*m**3 + m**2 - m - 1. Let a be i(1). Let r = a - -541. Let f = -215 + r. Is f composite?
False
Let j = 124870 - 67661. Is j composite?
True
Suppose 57 = -13*m - 8. Is ((-6880)/(-5) - 4) + m a composite number?
False
Let s be 5/(5/3) + 3127. Suppose 0 = 5*m - s - 1485. Suppose y - m = -0*y. Is y a composite number?
True
Let k(m) = 3255*m + 646. Is k(13) prime?
True
Suppose 475*v = 8055778 - 594003. Is v prime?
False
Let o(s) = 75*s**2 - 7*s - 15. Let a be o(-4). Let i = 1 + a. Is i a composite number?
True
Let y(x) = 451*x**2 - 1237*x + 7435. Is y(6) a prime number?
True
Suppose 2*o - 28 = -18. Suppose i - 11 = -r + o, r - 49 = -4*i. Let z = i - -2. Is z composite?
False
Let p be (249/(-6))/((-5)/10). Suppose 4*c - 3 = 5. Suppose p = c*n + 13. Is n a prime number?
False
Is (1808092 + 2 + 0)/((0 - 6)/(-3)) a composite number?
True
Suppose 106*v - 83*v + 782 = 0. Let y(l) = 6*l**2 + 123*l + 23. Is y(v) composite?
False
Suppose -472169 = -8*x + 25*x - 3204188. Is x a composite number?
True
Suppose -61*z + 66*z - 25120 = 0. Suppose -7*n = -g - 6*n + 5030, g + n - z = 0. Is g a prime number?
False
Suppose 3*f + 131*r = 132*r + 37655, -5*f = -r - 62761. Is f prime?
True
Let x(a) = 22*a + 7415. Is 