6486 = 0. Is n composite?
True
Suppose -3*i - 37 = -4*m - 0*i, 3*m - 4*i = 26. Suppose 10349 = 4*r - 3*n, -m = -3*n + n. Is r a prime number?
True
Let b be 3 - (3/(-9))/(3/(-27)). Let c be b - ((-2)/(-6))/(2/(-12)). Let j(h) = 55*h + 13. Is j(c) prime?
False
Let i(z) = -6*z - 36. Let l be i(-6). Suppose l = 2*a + 10, 3*o = -2*a + 6510 - 2563. Is o a composite number?
False
Let z(j) = -j**2 + 37*j + 122. Let u be z(40). Suppose u*s - 8*s = -134598. Is s prime?
True
Let p = 101312 - -21145. Is p prime?
False
Is 4/9 - (-13 - 49842662/171) prime?
True
Suppose 20*k = 9*k + 39468. Suppose 5 = 5*c, w + 2*c = 6*w - k. Is w a composite number?
True
Suppose 3*p - 62 + 326 = 0. Let t be 2/6 + 5/((-30)/p). Let f = t - -364. Is f a composite number?
False
Suppose u + 2*y + 22 = -3*y, 0 = -4*y - 20. Let c be (-45)/(-60)*4/u. Is (c + 0)/6 - 5588/(-24) composite?
False
Suppose 42*w + 12*w - 20*w - 5775274 = 0. Is w composite?
True
Let s = 3047060 + -1737387. Is s composite?
False
Suppose -12*f + 24*f = 48. Is 69618/(-2 + 8) - f a composite number?
True
Suppose 461*k - 69584767 - 17979044 = 87041783. Is k a prime number?
False
Let f(i) = 49*i. Let m be f(1). Let w = m + -52. Let u(x) = 22*x**2 - 9*x - 14. Is u(w) a composite number?
False
Let x(l) = 8307*l + 526. Is x(5) composite?
False
Is 2819/(-2 - -2 - ((-40)/35 - -1)) a composite number?
True
Suppose -4*x = -2*c + 2, 0 = 4*c + x - 8 - 5. Suppose -2*f + 465 = c*u, -u + 2*u - 1143 = -5*f. Let k = f + -110. Is k prime?
False
Let n = -231 + 231. Suppose n = 6*c - 2037 - 10929. Is c composite?
False
Let q be (1 - -14)*-6*(-6)/(-90). Let v(m) = -m**2 - 4*m + 14. Let l be v(q). Is (4 - (4 - 2)) + l + 207 prime?
True
Let v = 40 + -47. Let y be (-70630)/(-9) - ((-130)/18 - v). Let n = y - 5279. Is n composite?
True
Let r(y) = 0*y**2 + 9*y + 5 - 4*y**2 - 3*y**2 + 10*y**2 - 770*y**3. Let m be r(-2). Suppose -k - m = -4*k. Is k a prime number?
True
Suppose 0 = -12*b - 10474 - 878. Is (2 + -4)/2*(b + 3) a composite number?
True
Let x be (174/(-2) + -1)/(-1). Suppose 14 = 5*v - 6, -5*p - 3*v + 117 = 0. Let b = x - p. Is b composite?
False
Suppose n - 29887 = 58949. Is (-1)/(n/17768 - 5) prime?
False
Suppose 4*v = -32, -3968 = -3*d - 4*v + 167087. Is d prime?
False
Let w be -68*-5*4/(-120)*4476. Is -4 + 30/165 + w/(-22) prime?
False
Let k(g) = -55*g**3 - 4*g**2 - 186*g - 83. Is k(-14) a prime number?
True
Let m(z) = -4*z - 12. Let t be m(-4). Let h be t/(-10) - (3 + (-260)/25). Suppose -h*i + 0*i = -38045. Is i a composite number?
True
Let v = 133 - 133. Suppose v = 3*r - 50308 + 1597. Is r/5 + 13/(390/(-12)) a composite number?
True
Let d(t) = 6*t - 7 + 4 + 0 - 7*t + 2*t**2 - 311*t**3. Suppose 4*u = -y + 1 - 11, -5*u - 4 = -3*y. Is d(y) prime?
False
Let s(o) be the first derivative of 43*o**5/30 + o**4/3 + 11*o**3/6 + 33*o**2/2 + 22. Let w(b) be the second derivative of s(b). Is w(-2) a prime number?
False
Suppose 4*m = -3*m - 150863 + 727362. Is m composite?
True
Let b be ((-5)/(-4))/(3/(-12)*-1). Suppose -5*z - 4 = -4*o, 5*o + 1 = z + 6. Suppose -5*u + 9*u - b*q - 21894 = z, 5*q - 10932 = -2*u. Is u a composite number?
False
Let n(y) = -5647*y**3 + y**2 - 2*y + 3. Let k be n(1). Let r = -2302 - k. Is r a composite number?
False
Is (-687)/1145 - (-1611548)/5 composite?
True
Let w(f) be the first derivative of -f**4/4 + 17*f**3/3 + 2*f**2 - f - 36. Is w(-12) prime?
True
Let h = 8729 + -2712. Is h a prime number?
False
Let p(q) = 2*q**2 - 2*q - 1. Let n be p(-2). Suppose -n*f = 15 - 59. Suppose 0 = 3*h + 3*d - 1224, -f*h - 2*d + 1639 = -5*d. Is h a prime number?
True
Suppose -602895 - 1656516 = -77*a. Is a a prime number?
False
Let h(x) = -x**2 - 8*x - 51. Let l be h(-15). Let i = 152 + l. Let v(j) = 92*j**2 - 2*j + 1. Is v(i) composite?
False
Let d = 971277 - -813294. Is d a composite number?
True
Suppose 0 = 4*a + 4*a - 121312. Suppose 3*x - 2*w + a = 7*x, -w = -2*x + 7590. Is x a composite number?
False
Let j(t) = t**2 - 13*t + 4. Let r be j(13). Suppose -3*q - 2469 = 3*u, -5*q - 5814 = -r*u - 1717. Let c = -414 - q. Is c composite?
True
Suppose 5*b - 53 = 22. Suppose r = -r + p + 14, r + 5*p + b = 0. Suppose 5*d - r*g = 200, -4*g + 18 = d - 7. Is d a composite number?
False
Suppose 0 = -5*z + 4*m + 4959620 + 6303813, -4*m = -32. Is z prime?
True
Is 6504429*(200/(-30))/(-20) prime?
True
Let y be (2 - 1)*(-33 + 33). Let i(b) = b**3 + 21001. Is i(y) composite?
False
Let v be ((-4)/(-12))/(5/45). Suppose v*y + 8*t - 10*t - 10005 = 0, 4*t = 0. Suppose 0 = -7*c + 2*c + y. Is c composite?
True
Suppose 0 = 3*i - z - 8, 5*i + 8 - 20 = z. Suppose -5*x + 7764 = -3*x. Suppose 4*d - x = -i*d. Is d a composite number?
False
Suppose 285186 = 4*g + 2*u - 659738, 5*g = -5*u + 1181155. Is g composite?
False
Let a be 275517/897 - (2/13 + 0). Suppose -2*s - 2*l + 10 = 0, 0 = 5*s + l - 0*l - 17. Suppose s*b = a - 52. Is b prime?
False
Let f(x) = 2*x**3 - 50*x**2 - 41*x + 110. Let w(t) = -3*t**3 + 99*t**2 + 83*t - 219. Let q(s) = 5*f(s) + 3*w(s). Is q(-24) composite?
True
Let a(d) = 15539*d**3 + 13*d**2 + 69*d + 11. Is a(4) a prime number?
True
Let c be (2/(-4))/((-4)/(17780*-4)). Let p = 15601 + c. Is p composite?
True
Suppose 18*a - 24 = 14*a. Suppose -1030 = a*n + 5336. Let z = 2320 + n. Is z prime?
True
Let q(p) = -p**3 - 15*p**2 - 15*p - 2. Let z be q(-14). Suppose -z*k = -8*k - 12. Suppose k*n = -4*u + 4190, -5*n = 6 + 4. Is u a composite number?
False
Suppose 5*k + 218320 = 21*k. Is ((-99)/(-27) - 2/(-6)) + k composite?
False
Suppose 0 = 5*k - 10*k + f + 5242103, 3145273 = 3*k + 5*f. Is k composite?
True
Let c = 482 + -477. Is (((-28515)/c)/3)/(-1*1) a prime number?
True
Suppose 118 = 4*o - 102. Suppose 59*j - o*j - 56116 = 0. Is j composite?
False
Suppose 0 = 13*l - 1253738 - 87485. Is l a composite number?
False
Let q(r) = -r**3 + 16*r**2 - 5*r - 3. Let y be q(16). Suppose 0*p - 2*p = 324. Let c = y - p. Is c a prime number?
True
Is (-26 - -33) + (4838 - 4 - -2) composite?
True
Let l be (4039 + -3)/(5/10). Suppose l = -11*w + 36166. Is w composite?
True
Let k(f) = 93*f**2 - 21*f + 427. Is k(13) composite?
True
Let x be (3/(-9))/((-6)/90). Suppose -5*y = -2*w - 2481 - 2064, x*w + 932 = y. Is y prime?
True
Let i be (-6)/(-9) + 1*10/3. Suppose 3792 - 440 = i*a. Suppose -4*y + s = -a, -623 = -2*y + 2*s - 201. Is y a prime number?
False
Suppose 9*d - 93 = -22*d. Suppose 2*h + 17495 = d*k, 2*k + 6*h - 11676 = h. Is k a prime number?
False
Let v(s) = -s**2 + 12*s + 6. Let k be v(12). Suppose -x = -k*x + 9550. Suppose 2*a + a - x = m, -4*a - m = -2535. Is a prime?
False
Let l(p) = -65*p - 10 - 73*p - 6 - 57*p + 157*p. Is l(-1) a composite number?
True
Suppose -14*a = -6*a. Suppose 3*v + 4*n + 362 = 8*v, a = 5*v + n - 347. Let p = 1531 - v. Is p a prime number?
False
Let r(n) = 2072*n - 1026. Is r(29) a composite number?
True
Suppose 30*k + 13 - 73 = 0. Is k/5*(24837/6 + 3) composite?
False
Suppose -4*f + 3*f = 11. Let o(j) = -j**3 + 12*j**2 - 9*j - 16. Let x be o(f). Let s = x + -293. Is s prime?
False
Let s = 3910 - -11817. Is s a composite number?
False
Let h = -82055 - -38862. Let y = h + 62142. Is y composite?
True
Suppose -x + 2*x - 10353 = 0. Let a = -5655 + x. Suppose 7*m - 517 - a = 0. Is m composite?
True
Suppose 0 = -41690*p + 41692*p - 213646. Is p a prime number?
True
Suppose -3*c = -13 + 1. Suppose -c*w + 3*z + 15415 = 5140, 5*z - 2586 = -w. Let j = -1670 + w. Is j a prime number?
False
Is 1643963 + (2 - 4)*90/45 composite?
False
Suppose -5*p + 16 = -19. Suppose -13729 = -3*f + 5*r, 4*r - 9 - p = 0. Is f composite?
False
Let o(g) = -3*g**2 + 15*g + 5. Let r be o(5). Suppose -r*a + 3*c - 728 + 13005 = 0, 0 = 2*c + 8. Is a prime?
False
Is 9/(-1) - (-39)/((-429)/(-3121250)) composite?
False
Let f(y) be the first derivative of -4*y**3/3 + 9*y**2/2 + 2*y + 8. Let i(w) = -7*w**2 + 19*w + 4. Let k(u) = -5*f(u) + 2*i(u). Is k(-9) a composite number?
False
Let i(b) be the second derivative of 82*b**3 - 2*b**2 + 18*b. Let x be i(-1). Let a = x - -825. Is a a prime number?
False
Let i(u) = u**3 + 15*u**2 + 13*u + 18. Let o(f) = f**3 - 10*f**2 - 11*f. Let p be o(11). Suppose 5*d + 74 - 9 = p. Is i(d) prime?
False
Let x = -2527 + 6576. Is x prime?
True
Suppose 0 = -2*a, -15*m + 84781 = -22*m + 8*m + a. Is m a prime number?
False
Le