posite number?
True
Is 3040/12 + (-2)/6 a prime number?
False
Let j(f) = 295*f - 2. Is j(1) prime?
True
Let m(h) = h**3 + 7*h**2 + 8*h + 9. Let z be m(-6). Is 390/6 + (-1 - z) composite?
False
Suppose -t - t = 12. Let f(s) = 4*s - 5*s + 0 + 4*s**2 - 7. Is f(t) a composite number?
True
Let q be (-4840)/(-72) + 2/(-9). Suppose -4*c = -2*h - 142, -h = c - 6 - 22. Let u = q - c. Is u a composite number?
True
Let v = -104 + 68. Let t be 50/(-2 + v/(-17)). Suppose -2*j - 3*j + t = 0. Is j a prime number?
False
Let u(c) = -c + 259. Is u(0) a prime number?
False
Let p be 110 - (0 + 0 - 0). Suppose 8*k - p = 3*k. Is k a prime number?
False
Let x(a) = -a**3 - 8*a**2 + 10*a + 13. Let n(d) = d**3 - d**2 + d - 9. Let f be n(0). Let l be x(f). Is 5/1 + (-8)/l composite?
False
Suppose 0 = l, -i + 1 = -0*i - 4*l. Let y(p) = p**2 - p. Let r be y(i). Is 1 + 21 + r - 1 a prime number?
False
Let c(v) be the first derivative of v**4/4 - 3*v**2/2 + 3*v - 5. Is c(5) prime?
True
Suppose 5*g - 1394 - 871 = 0. Suppose p + 58 - g = 0. Is p composite?
True
Let y = -93 - -564. Is y a prime number?
False
Let n = -388 - -1309. Is n prime?
False
Is (93/2)/((-33)/(-22)) composite?
False
Let a = -1009 + 2174. Is a a prime number?
False
Let h = -25 - -28. Suppose h*r - 140 = 241. Is r a prime number?
True
Suppose 0 = -4*j + 40 + 60. Is j a composite number?
True
Let v = 10 + -6. Suppose -63 = -k + 4*b, v*b = 5*k - 256 - 75. Is k a composite number?
False
Let w be (-84)/(-15) + 4/10. Suppose -w*m = -8*m + 106. Is m prime?
True
Let i(p) = -11*p**3 - 6*p**2 - 14*p - 12. Is i(-5) a composite number?
False
Suppose 3*p - 3*h - 1189 = -4*h, -3*h = p - 391. Is p prime?
True
Is (-290)/3*15/(-10) a prime number?
False
Let b(i) = -18*i - 1. Suppose -17 = -3*w - 5. Suppose -5*g - 6 = w. Is b(g) a prime number?
False
Let c = -5 + 3. Let m be c/4 + (-11)/(-2). Suppose 0 = f - m - 9. Is f a prime number?
False
Let n be -17 + 5 - (-1 - 1). Is (-33 - n)/(2/(-22)) a composite number?
True
Is (1/(-3))/((-5 - -7)/(-858)) a composite number?
True
Let y(i) be the second derivative of i**4/6 - 4*i**3/3 - 11*i**2/2 + 4*i. Is y(9) a prime number?
True
Let r = -141 + 467. Is r a composite number?
True
Suppose -2*j = 5*o - 131, 135 = 2*j + 4*o - 3*o. Let d = j + -15. Is d a composite number?
False
Suppose 0 = 3*p + 3*d - 5*d - 2738, 0 = -3*p + 5*d + 2732. Is p a prime number?
False
Let n(w) = 50*w**2 - 1. Let c(g) = g**3 + 2*g**2 + g + 1. Let y be c(0). Is n(y) a prime number?
False
Let d(q) = q**3 + 12*q**2 - 20*q - 17. Is d(-13) a prime number?
False
Suppose -2*x + 5*w = -1677, 0 = 2*x + 4*w + 890 - 2576. Is x prime?
False
Let k be (0 + 3)/(6 + -7). Let m(j) = -21*j + 8. Let t(b) = 7*b - 3. Let d(v) = 3*m(v) + 8*t(v). Is d(k) a composite number?
True
Let t be (0 - 3) + (-1 - -9). Suppose -t*i - 4 = -119. Is i prime?
True
Let a = -849 - -1256. Is a prime?
False
Is (9/15 - (-28)/(-30))*-381 composite?
False
Let m be (-2)/5*(-1 - 3029). Suppose -3*s = s - m. Is s a prime number?
False
Suppose -3*j + 5*n - 333 = 0, 2*j + 293 = 5*n + 76. Let z(k) = -194*k + 1. Let g be z(-1). Let m = j + g. Is m prime?
True
Suppose -35 = 8*u - 13*u. Suppose 2*k + 8 = -2*j - 26, 4*j = 3*k - 75. Let h = u - j. Is h prime?
False
Let u(g) = -g**3 + 6*g + 1. Let m be u(-5). Suppose -m - 57 = -3*d. Suppose j = 68 + d. Is j a composite number?
True
Let z = 8 - 3. Let b(y) = 2*y**2 - 8*y + 9. Is b(z) composite?
False
Suppose -3*c - 8 = 4*y, -2*c + 7*c + 4*y + 8 = 0. Let f(p) = p**3 + p**2 + p - 31. Let d be f(c). Let s = d - -68. Is s a composite number?
False
Suppose 4 = -h + 7. Suppose q = 83 + 95. Suppose q = -c + h*c. Is c a prime number?
True
Suppose 5*j - 15 = o, -2*j = 3*j + 5*o + 15. Suppose -j*z = -171 - 47. Is z composite?
False
Let s(j) = -3*j**3 + 2*j**2 - 8*j - 5. Is s(-4) composite?
False
Let w = 14 - 9. Let d = -2 + w. Suppose v - d*v + 26 = -4*z, v - 18 = -3*z. Is v prime?
False
Let i = -112 + 257. Is i a prime number?
False
Let v(a) = -a**2 + 12*a + 12. Let q be v(13). Is -3*q/3*161 composite?
True
Let b be 2/(-8) + 871/(-4). Let i = 307 + b. Is i prime?
True
Let u(r) = r**3 - r**2 + 34. Is u(0) a prime number?
False
Suppose -6*f + 2*f + 12 = 0. Let m(p) = -2*p + 4*p**f + 7*p**2 - 3 + 3*p - 5*p**3. Is m(6) prime?
False
Let b(v) = 102*v - 5. Is b(2) prime?
True
Let l = 8 - 6. Suppose -17 = l*m - 5. Is (-333)/m*6/9 composite?
False
Is (-38)/3*(-15)/10 prime?
True
Let v be (0 + 1)/((-3)/(-12)). Let d = v - 1. Is 1/d*(2 + 73) composite?
True
Let p(q) = q**2 - q. Suppose 0 = -5*h + w + 36, h + 5*w - 1 = 1. Let r be p(h). Let g = r - 5. Is g a composite number?
False
Suppose -3*b - 14 = -56. Is 4/b + (-57)/(-21) composite?
False
Suppose -4*y - 6*u = -3*u - 14359, 0 = -5*y + u + 17944. Is y prime?
False
Let n be 85/25 + (-4)/10. Suppose 3*r - q - 223 = 273, -486 = -n*r + 3*q. Is r composite?
False
Let h = 21 + -13. Let b = -4 + h. Suppose -2*p = b, 3*r + 3*p + 5 = 17. Is r a composite number?
True
Let h(j) = -j**2 + 8*j - 1. Let x be h(8). Is (0 + x)/(4/(-1052)) composite?
False
Let m(i) = 19*i - 12. Is m(5) prime?
True
Let a(c) = 40*c**2 - 4*c + 1. Let h(f) = -79*f**2 + 9*f - 3. Let s(u) = 13*a(u) + 6*h(u). Is s(3) composite?
True
Is ((-286)/1)/(-4 - -2) composite?
True
Let k = -1 + 3. Suppose -57 = -u - k*u. Is u prime?
True
Let u(k) = -2*k**2 - 2*k**2 - 5*k - 2*k**3 - 2*k**2 - 3. Is u(-4) composite?
True
Suppose p - 4*m - 108 = -3*p, 2*p + 5*m = 47. Is p prime?
False
Suppose -555 = -6*r + r. Suppose 3*x + w = r, 0*w = -5*w. Is x composite?
False
Suppose j - 149 = 102. Is j composite?
False
Let k(a) = 3*a - 10. Let l(v) = v - 12. Let x(u) = -2*u + 37. Let z(j) = 14*l(j) + 4*x(j). Let f(t) = -9*k(t) + 4*z(t). Is f(-11) a prime number?
True
Suppose 4*c + 4*j - 621 = c, 0 = 4*c + j - 841. Is c a prime number?
True
Let v = 3 + -14. Let m = -4 - v. Is m a prime number?
True
Let l = 414 - 271. Is l a prime number?
False
Suppose -248 = -5*f - 4*i, 10 = 4*i + 22. Suppose -5*q = 2*u + 4 - 3, 0 = 5*u - 4*q + f. Is (184/(-10))/(u/20) composite?
True
Let r = 198 + -43. Is r a composite number?
True
Let j = -859 + 4646. Is j prime?
False
Suppose -3*u - j - 63 = -8*u, 5*j - 9 = -2*u. Is u - (9/3 - 4) composite?
False
Let h be (-2)/(-3) + 215/15. Suppose 0 = -17*r + h*r + 518. Is r prime?
False
Let c(p) = 111*p**3 + p**2 - 2*p + 1. Let l be 3 + -1 + (-90)/9. Let h = l - -9. Is c(h) a prime number?
False
Let a be -3*(-3)/((-27)/24). Let l = a - -8. Is 2/(2/115) + l a composite number?
True
Let j(f) = 2*f**3 + 0*f**3 + 13 - f**3 - 8*f**2 + 12*f - 16*f. Let h be j(9). Let t = h - -21. Is t composite?
False
Is 33/(21/27 - 6/(-27)) a prime number?
False
Let m(x) = 5*x**2 + 9*x + 11. Let f be m(-10). Suppose 3*n - f = -4*o, 0 = -o - 0*n - n + 105. Suppose 32 = 2*h - o. Is h a composite number?
True
Suppose 20*q - 19*q = 251. Is q a composite number?
False
Suppose -6*p + 673 = -449. Is p a prime number?
False
Let y be 3*-1*4/3. Is ((-8)/(-10))/(y/(-70)) a composite number?
True
Let u = 4043 + -2776. Is u composite?
True
Suppose -413 = -2*a - 5*a. Is a prime?
True
Let q = 12 + -18. Let f(c) = -c**2 - 8*c - 9. Let w be f(q). Suppose -5*r = 5*m - 190, -r - 81 = -w*r - 3*m. Is r a prime number?
False
Let a(n) = -n**2 + 6*n - 7. Let r be a(6). Let q(t) be the first derivative of -t**3/3 - 5*t**2 + 10*t - 5. Is q(r) a prime number?
True
Let s be 1/2 + (-21)/(-6). Let j be 24/10 + s/(-10). Suppose -j*l - 3*l - 25 = 0, -123 = -3*n - 3*l. Is n composite?
True
Let u = -977 + 2818. Is u a composite number?
True
Let g(t) = 11*t**2 + t - 5. Let q be 9/(-2) + 3/(-6). Is g(q) prime?
False
Suppose -4*i - 109 = 27. Let t = 53 + i. Is t a composite number?
False
Suppose 1772 = 3*q - 760. Suppose 7*u - 11*u + q = 0. Is u a prime number?
True
Let g = -1 + 7. Let v be (-1 - 2 - -1) + g. Suppose -2*k = -4*s - 74, 3*s + 83 - 198 = -v*k. Is k a composite number?
False
Let o = -4 + 7. Suppose -21 + 6 = -o*q. Suppose -h + 5*h - 12 = 4*u, -q*u = 0. Is h prime?
True
Is 63 + -61 + (-1 - (-1 - 4304)) a composite number?
True
Let k be ((-8)/(-24))/((-2)/(-3774)). Let p = k + 6. Is p a prime number?
False
Let l(k) = -2*k**2 + 14*k**2 + 2*k - 3*k + 3. Is l(4) a prime number?
True
Is (-3 - -6567) + (1/(-1))/1 composite?
False
Let u be 1/(-3) + 394/3. Suppose -5*o + u = 