 composite?
True
Suppose -4*c - 20 = -0*c. Let k be 0/(c + 0) - -3. Suppose 0 = g - k*l - 5563, -7*l = g - 2*l - 5547. Is g composite?
False
Suppose 4*c - 188 = 5*a, -2*c + 0*a + 4*a + 88 = 0. Let n = c - 47. Suppose 5*t - 2*j - 581 = 0, -n*j - 9 = -2*j. Is t prime?
False
Let n = -1303668 + 3525115. Is n a composite number?
False
Suppose 0 = -p - 64*p - 1493216 + 7178311. Is p composite?
True
Let o(z) = -3*z**2 - 47*z - 54. Let v be o(-13). Let m = v - -377. Is m a prime number?
False
Let p be (-10)/(-8)*(19 - 11). Let g be -5*4/((-8)/6). Suppose 0 = -p*t + g*t - 2605. Is t prime?
True
Is (-10)/12 - 3683646/(-108) a prime number?
False
Suppose -22044589 - 10872022 = -91*s. Is s a composite number?
True
Let f = -1 + 13. Suppose -4*x = f - 24. Suppose -2709 = -x*p - 264. Is p composite?
True
Suppose 281*v + 3571497 = 290*v. Is v prime?
True
Let j(k) = 3363*k + 152. Let y be j(-6). Let q = y - -29417. Is q composite?
False
Let c(l) = -14 - 9*l**2 - 6*l**2 - 3*l + 16*l**2 - 3*l. Let g be c(-2). Suppose -4*i - 109 = -n, -g*n = -5*i + 2*i - 203. Is n a composite number?
False
Let i = 716 + 1275. Suppose -8*w + i = 3*w. Suppose -w = -5*s - 51. Is s prime?
False
Suppose 23*h - 29*h + 18 = 0. Suppose -5*m + 17860 = -5*u, -3*u = -h*m + 2*m + 3574. Is m composite?
False
Let x be (2/4 - (1 + 1))*6. Let l = x + 13. Let q(m) = 16*m**2 + 1. Is q(l) prime?
True
Let u = 311 - -1271. Suppose 2*x - 4*g - u = 0, x - 2*g = -7*g + 756. Suppose -2*c - 5*y + 546 = -0*y, -3*c = -2*y - x. Is c prime?
True
Let n = -560 + 44190. Let g = n + -29529. Is g prime?
False
Let d = -23266 - -40809. Is d composite?
True
Suppose 2744 + 1403 = 11*z. Suppose 3*o = 3*j + 15353 - z, 5*j = -3*o + 14936. Is o prime?
True
Let k = 2649 - -19528. Is k a prime number?
False
Suppose -8*b = 301 + 499. Is 7792 + (-18)/8*b/75 prime?
False
Let o(n) = n**2 + 14*n - 13. Let p be o(-14). Let m(l) = 42*l**2 - 5*l + 44. Is m(p) prime?
True
Let v(c) = -986*c + 943. Is v(-20) composite?
False
Let q(b) be the second derivative of 275*b**4/12 - 53*b**3/6 + 13*b**2/2 + 10*b - 12. Is q(-8) a prime number?
False
Let s be ((-36144)/(-96))/(2/4). Suppose 5*c - 2314 - 96 = 0. Let j = s - c. Is j a composite number?
False
Let g = 2319 + -1622. Let q = g - 430. Is q/(-2)*(-160)/48 a composite number?
True
Suppose 84*o = 1590204 + 3574289 + 5449663. Is o prime?
True
Let c = -1 - -3. Suppose -5*u - 19 + 16 = -4*k, -9 = -4*k - u. Suppose k*m = -c*r + 6*r + 958, 3*r - 1437 = -3*m. Is m prime?
True
Suppose -5*v + 133 = -5*l - 3462, 0 = -5*v - 10. Suppose w = -4*w - 1660. Let x = w - l. Is x a composite number?
False
Let o(r) = r**2 + r. Let h(t) = -498*t**3 + 4*t**2 + 4*t + 1. Let l(z) = h(z) - 3*o(z). Let j = -12 + 11. Is l(j) a prime number?
True
Let f(w) = -2*w**3 - 3*w - 307. Let q(h) = -h**3 - 3*h - 307. Let i(o) = 2*f(o) - 3*q(o). Is i(0) prime?
True
Let c(y) be the second derivative of -139*y**5/20 + y. Suppose -47*o + 28*o + 24*o + 5 = 0. Is c(o) prime?
True
Suppose -218*u + 214*u = -356684. Is u composite?
True
Let y(f) = 1888*f - 1845. Is y(11) a composite number?
True
Let k be -25*(1 - 2) + 1 + 1. Let l be 1*(k + 4 + -5). Suppose -f + l = -13. Is f a composite number?
True
Suppose -7*u = 3*a - 2*u - 18, 2*u = 2*a + 4. Is (1530 + -59)/(-1 + a + 1) prime?
True
Let s be (6 - (-272)/(-24))/(6/(-9)). Suppose 0 = -k + 1, 0 = -s*l + 3*l - 5*k + 340. Is l composite?
False
Let u = -58483 + 96522. Is u a composite number?
False
Suppose -6*m + 9*m = -3*u, -4*m = 3*u - 1. Is (6/(-18))/(u*1/29901) prime?
True
Let d(c) = c**2 + 10*c + 15. Let p be d(-5). Let z(s) be the third derivative of s**5/60 + s**4/4 - s**3/2 + 6*s**2. Is z(p) a composite number?
False
Let v(x) = -x**3 + x**2 + 9*x - 7. Suppose -4*p = 4*q - 44, -8*p + 4*p - q + 32 = 0. Let j be v(p). Let i = j + 459. Is i a composite number?
True
Let x = 649602 + -366457. Is x composite?
True
Suppose -6*k = 10 - 28. Suppose 5*d = s + 18, k*d + s = -s + 16. Is (-3 + (-445)/(-20))*d composite?
True
Let z(x) = 353*x + 337. Let n be z(6). Suppose -9*t + n = -4*t. Is t a composite number?
False
Let d(q) = -1313*q**2 - 5*q - 27. Let z(w) = 1314*w**2 + 5*w + 26. Let g(x) = 3*d(x) + 4*z(x). Is g(-3) a composite number?
True
Let a be (1/(6/(-9)))/(6/(-32)). Suppose a*y + 4810 = 34850. Is y prime?
False
Suppose 16998 = 5*o + 3*p, -p = -3*o + 9044 + 1152. Suppose 0 = -5*r + r - s + o, -3*r + s = -2558. Is r a prime number?
False
Suppose -1000788 = -11*s + 11*s - 12*s. Is s a prime number?
True
Let m(c) = 2864*c - 1107. Is m(25) a composite number?
True
Let t(m) = -419*m**2 - 5*m - 5. Let n(f) = 418*f**2 + 3*f + 4. Let l(c) = 4*n(c) + 3*t(c). Is l(-1) a composite number?
False
Is 3/8*-2 + 587198/8 + 28 composite?
True
Suppose 2*n = -5*u - 93 - 76, -142 = 4*u + 5*n. Let g = -15 - u. Is 5163/g + (-4)/(-24) a composite number?
True
Let q(u) = 2*u - 14. Let a be q(8). Suppose a*m - 832 = -5*k, m + 4*k + 0*k - 416 = 0. Suppose -3*p - 2*w = 2*p - m, 15 = 5*w. Is p prime?
False
Suppose 6 = 6*h - 4*h. Suppose p = 4*u + u - 12, 4*u = -h*p + 2. Suppose -2*q - a + 134 = 0, q + u*a - 15 = 58. Is q prime?
False
Let c be 2/(-6) - (-5936)/6. Let r be (-6)/5*(-212220)/243. Suppose -3*n + r = -c. Is n prime?
False
Let z(r) = -4*r - 27. Let n(h) = 29 + 5*h - 22 + h - h**3 - 4*h**2. Let o be n(-3). Is z(o) a prime number?
True
Let x be 1/((4/(-59802))/((-2)/(-3))). Let o = x + 15144. Is o a prime number?
False
Let j = -72 - -72. Suppose w = -5*b - w + 50, -5*b + 3*w + 75 = j. Is 6026/b + 0 + 1/(-6) prime?
False
Let k be 4 + -2 + -6 + 1651 + 3. Let g = k - 667. Is g a composite number?
False
Suppose 24 = 10*a - 2*a. Let z be 2/9*a + (-14)/21. Is (-3 - z)/(2/(7554/(-9))) a prime number?
True
Let z = -119779 - -188150. Is z a composite number?
False
Suppose 15*u = 11*u + 13592. Suppose -x = -u + 1195. Is x prime?
True
Let l = -1677 - -1424. Let n = 8 + -40. Let s = n - l. Is s prime?
False
Let z be (14/3)/((-6)/(-9)). Suppose -18183 = -18*w + z*w. Let b = w - -320. Is b prime?
True
Suppose 8*f - 11*f = 3195. Let s = 3698 + f. Is s a prime number?
True
Suppose -5*m + 40 = 5*v, 0 = -m - 5*v + 27 + 1. Suppose -4*l + 4*p = 0, 2*p + 21 = -2*l - m*p. Is (176/6 + -3)*l*-1 prime?
True
Let d(l) = l**3 + 7*l**2 + 12*l + 8. Let p be d(-4). Suppose 7 = p*c - 1. Is ((-4)/12)/(c/(-153)) prime?
False
Is 2916880/12 + (-129)/387 composite?
False
Let h(i) = 1682*i**2 - 48*i - 183. Is h(-4) composite?
False
Let c = -75785 + 173004. Is c a composite number?
True
Suppose y - 17 = -7*n + 5*n, -2*n + y + 15 = 0. Suppose 2*m - 13 = -5*i, 9 = 2*m - 0*m + i. Is ((-7724)/n)/((-2)/m) a prime number?
True
Is (-1 - -59334)/((-2)/(-4) + 7/14) a composite number?
False
Let t = 206301 - 99488. Is t composite?
True
Let u be (-1480938)/(-90) - (-10)/75. Let x = 28652 - u. Is x prime?
True
Let f(d) = 218*d - 50. Let p be f(4). Let z = p + 73. Is z prime?
False
Let k(v) be the third derivative of 1273/24*v**4 - 25*v**2 + 0 + 1/3*v**3 + 0*v. Is k(3) a composite number?
False
Suppose 5*z - 4 + 1 = j, z - 3*j = 9. Suppose z = -5*t - 4*d + 8461, -4*t + 1091 = 2*d - 5679. Is t a prime number?
True
Let a(k) = -k - 6. Let w be a(-6). Suppose -26*b = -28*b + 3*n + 2746, n = 5*b - 6891. Suppose -5*z + 4391 + b = w. Is z prime?
False
Let o be (-309837)/(-110) - (-6)/20. Suppose 2*n - o = 4541. Is n prime?
False
Let v = 1230 - 1199. Suppose 0 = -5*y - 9418 - 692. Let c = v - y. Is c a composite number?
False
Let y(h) = 4*h + 24. Let i be y(-15). Let v = -32 - i. Suppose 0 = -v*w + 772 + 784. Is w composite?
False
Let l = 299448 - 178279. Is l composite?
False
Let y = 423814 + -252672. Is y prime?
False
Suppose -4*a + 5*b - 8167 = 0, 2*a - 5*b + 4091 = -0*a. Let v = a + 4237. Is v a composite number?
True
Let d(k) = 2*k**3 + 8*k**2 + 20*k + 17. Let z(x) = 3*x + 32. Let r be z(-7). Is d(r) a prime number?
False
Let x = -664 + 954. Suppose -18*f - 5*s + 2916 = -14*f, -5*f + 3645 = 4*s. Let z = f - x. Is z a composite number?
False
Suppose 0 = 3*i - 2*v - 9314, 1 = -5*v + 26. Suppose 0 = -5*w + w - 2*o + i, 5*o = -w + 759. Is w composite?
True
Suppose 0 = -3*c + 12 - 21. Is (3551/c)/((-23)/69) a composite number?
True
Let u be 163878/(-17) + 142/(-1207). Let r = u + 20847. Is r a composite number?
True
Suppose -d = 4 - 8, -d = -3*o - 7. Let t(