x a prime number?
True
Suppose 4*d = -592 + 3380. Is d a composite number?
True
Let q = -3396 - -5153. Is q composite?
True
Suppose -14*m + 508371 = 144805. Is m composite?
False
Let u = -73 - -73. Let q(x) = 0*x + 0*x + 497 - x**2. Is q(u) prime?
False
Let l(k) = 365*k**3 + 5*k**2 + 8*k - 7. Let f be l(-6). Is f/(-117) - (-2)/9 a composite number?
False
Is (-17320)/(-7) - (-7 - 816/(-112)) prime?
False
Let x(m) = 53420*m**2 + 8*m + 9. Is x(-1) composite?
True
Let i(f) = -f**2 - f + 2. Let o be -1 + (-2)/((-2)/3). Let y be i(o). Is 33/1 - y/(-2) a prime number?
True
Suppose 13*i = 40925 + 87762. Is i prime?
False
Let q(a) = a**2 - 22*a + 291. Is q(-31) a prime number?
False
Let a = -3 + 5. Suppose -766 - 324 = -a*r. Suppose 4*u - r = -213. Is u a composite number?
False
Is 9/6 + 670245/30 a prime number?
True
Let m(p) = -2*p**3 - 8*p**2 - 15*p - 14. Let n be m(-9). Suppose -o = o + 3*q - 463, 4*o - n = -q. Is o prime?
True
Let b = 439 + -309. Let m be 2 - 4/((-8)/b). Suppose 3*l - m + 6 = 2*q, 3*l = 3*q + 60. Is l a composite number?
True
Let w = 1592 - -1139. Suppose -3*q - s = -5653, -3*s = -3*q + 2906 + w. Is q composite?
True
Let h(v) = -v**2 - 25*v - 4. Let k be h(-7). Suppose -11 - k = -q. Is q prime?
False
Suppose 0 = 2*x - 2*w - 7450, 2*x + 1274 = -2*w + 8712. Is x composite?
True
Suppose 9*n - 202670 = -17*n. Is n a prime number?
False
Let q = 13 + -15. Let t be q/(-1) - (-22 - -21). Suppose -t*r + 8*r = 2755. Is r composite?
True
Let m be 90/(-27) + (-4)/6. Let j = -4 - m. Suppose 2*h = j, 5*f - 2*h - 3*h - 885 = 0. Is f a prime number?
False
Suppose 0 = 3*h + 5*f - 34, 4*h - 6*f + 3 = -3*f. Suppose o - 4*b = -21, -4*b + 17 = h*o - 0*b. Is 1 + 305 - 1/o composite?
False
Suppose 0 = -f + 3*b + 18, 2*b - 2 = -6*f + 2*f. Suppose f*n + 938 = 2*k - n, 5 = n. Is k a prime number?
True
Suppose -55*i = -26260 - 28245. Is i a prime number?
True
Let j(d) be the third derivative of 2*d**5/15 - 7*d**4/24 + d**3/3 + 10*d**2. Is j(-9) a composite number?
True
Let g be (12/30)/(1/15). Suppose h + 3*m = -425, -20 = -g*m + 2*m. Let y = -263 - h. Is y prime?
False
Let r(j) = -j**3 + 13*j**2 - 4*j + 13. Let o = 19 + -15. Suppose l - 2*y - 53 = -o*l, -23 = -2*l - y. Is r(l) prime?
True
Suppose 11*n = 10*n + 2. Suppose n*d - d = 71. Let h = 124 - d. Is h composite?
False
Is 27/(-90) + 30866/20 composite?
False
Let v be -4*(-1)/(-2) - -3. Suppose m = v + 13. Is m composite?
True
Let c(j) = j**3 + 4*j**2 - 4*j + 2. Let v be c(-5). Let a be (2 - v/(-1)) + 3. Is -2 - (a + (-236)/4) prime?
False
Let i(v) = 3*v**2 - 2*v - 2. Let k be i(-1). Let n(r) = r**3 + r**2 - 3*r + 3. Let z be n(k). Is 4/z - 16356/(-180) a prime number?
False
Let w(v) = 45*v**2 - 4*v + 4. Is w(-7) prime?
True
Let p(s) = s**2 + 8*s. Let c be p(-6). Is (-112 + 1)*4/c prime?
True
Is 5911 + (-16)/(-24) + 17/(-3) prime?
False
Suppose -2*d - 4 = 4, -d + 12 = 4*b. Suppose 3*j + 967 = b*j. Is j composite?
False
Let f(n) = 113*n - 20. Let a be 13 + (4 - 7 - -2). Suppose 5*z = 37 - a. Is f(z) prime?
False
Let a = 4698 - 2971. Suppose 8*p = 281 + a. Is p composite?
False
Suppose -4 = s - 9. Let q be 3/6*(-5 + s). Suppose 0 = 4*j - q*j - 1228. Is j composite?
False
Suppose 20757 = 2*p - 4*a + a, -5*p - 5*a + 51830 = 0. Is p composite?
True
Let f = 19 - 9. Let t = f - 5. Suppose t*z + 0*z = 1055. Is z a composite number?
False
Suppose g + 8835 = f, 0 = -5*f - 5*g + 1470 + 42745. Is f a prime number?
True
Suppose -2*n - 1 = -3*n + 4*l, n + 5*l - 10 = 0. Suppose p = -n*f + 253, -2*p - 95 = 2*f - 617. Is p composite?
False
Let b(d) be the first derivative of -d**4/4 - 5*d**3/3 + 9*d**2/2 + 6*d - 6. Is b(-11) a composite number?
True
Let x be (48/(-60))/((-4)/210). Let i = 541 + x. Is i composite?
True
Let i be (142/3 + -7)/((-2)/6). Let z = i - -282. Is z a composite number?
True
Let j(p) = -15*p**2 - 2*p + 1. Let w be j(-3). Let h be w/20 + 4/10. Is (-3)/(h/116) + 0 a prime number?
False
Let i = 5147 + -1984. Is i prime?
True
Suppose 0 = 12*s - 1836 - 4200. Is s prime?
True
Suppose -4*f - 728 = 200. Let s be -3 - (1 + -1) - f. Suppose -200 = -5*u + 3*g + s, 2*g - 439 = -5*u. Is u a prime number?
False
Let q(v) be the second derivative of 0 + 19/6*v**3 + 2*v - 1/12*v**4 - 7*v**2. Is q(16) a composite number?
True
Let g(i) = i**2 - 4*i - 29. Is g(-30) a composite number?
False
Let p(w) = 100*w**2 - 30*w - 19. Is p(11) a prime number?
False
Let h(u) = 17*u**2 - 3*u - 2. Let b be h(-2). Is (-16214)/(-18) + 16/b a prime number?
False
Let b(c) = -9*c + 419. Let a(r) = -r**3 + 9*r**2 - 10*r + 16. Let t be a(8). Is b(t) a composite number?
False
Let k(n) = 377*n**3 + 5*n**2 - 11*n + 5. Is k(4) composite?
False
Let d(n) = 6*n**3 + 9*n**2 - 3*n - 5. Let s be d(6). Let c = -313 + 888. Suppose 2*z - s = -c. Is z composite?
True
Let z = 167 + 1852. Is z a prime number?
False
Is (-3307056)/(-432) + -2 + 32/18 prime?
False
Let g be (838/(-6))/((-1)/3). Suppose -5*s = -3*s, r + 4*s - g = 0. Is r composite?
False
Is (-3)/(-45)*-5 - (-22664)/6 a prime number?
False
Let g(y) = -y**3 - 2*y**2 + 4*y + 3. Let n be g(-3). Let o be (n + 1 + 1)*378. Suppose 0 = 3*z + 3*l - o, -5*l = 2*z - l - 506. Is z composite?
False
Is (-50)/(-25) + 2 + 114229 prime?
False
Suppose -11*f + 371 + 33652 = 0. Is f a prime number?
False
Let k(d) = -4*d**3 - d + 4. Let a be k(-4). Suppose 0 = -2*o + 2*s - 62, -38*o - s - 179 = -33*o. Let r = a - o. Is r composite?
True
Let i be (-240006)/(-1170) - 2/15. Suppose 0 = 6*o - 3*o - 3*m - 372, 2*m - 508 = -4*o. Let r = i - o. Is r prime?
True
Let d(s) = s**2 - 5*s. Let n be d(5). Suppose n*p = -4*p + 4. Is 706*-4*p/(-8) a prime number?
True
Let k(h) = 9*h**3 + 3*h**2 + 12*h - 1. Let m be k(5). Suppose 4*d + 3*j - m = 0, 4*j = 3*d - 1 - 912. Is d composite?
False
Let t(v) = -v**2 - 4*v + 5. Let p be t(-5). Suppose 2*m + 3*m - 4085 = p. Is m prime?
False
Let j(y) = -695*y**3 + 2*y**2 + 3*y + 2. Let h be 1 - 0/4 - 2. Let g be j(h). Let f = g - 323. Is f prime?
True
Let n = -250 + 404. Suppose -6*c = -8*c + n. Is c prime?
False
Let c(p) = p**2 - 14*p - 106. Is c(-37) a composite number?
True
Let q(v) = 5*v - 23. Let w be q(11). Suppose -w*z + 1474 = -34*z. Let p = 170 - z. Is p a composite number?
False
Let r be (5 - 1) + (-16 - -15). Suppose -6 = 2*d - r*d. Is d/45 - 59092/(-60) composite?
True
Suppose 0 = 5*t - 56801 - 47714. Is t a prime number?
True
Let n(v) = -254*v - 9. Let b be n(5). Let p = -759 - b. Let r = p - 17. Is r composite?
False
Suppose 3*g + 2*t = 2546, -5*t = -2*g + 5*g - 2558. Suppose b - 5*b = 2*c - g, -637 = -3*b - 4*c. Is b a composite number?
False
Suppose -11*s + 33822 + 6295 = 0. Is s prime?
False
Let q(x) = 1404*x**3 + 2*x**2 - 3*x + 1. Let r be q(1). Let w = -755 + r. Is w a composite number?
True
Suppose 0*l - 10 = -2*l. Let q(n) = 6*n**2 - n + 21. Is q(l) a composite number?
True
Let x be (-3 - -2)/(-1)*0. Suppose -3*k = -x*k - 1233. Suppose 3*j = 5*t - 0*j - 409, -5*t + 2*j = -k. Is t prime?
True
Let c(g) = g**2 - 4*g + 9. Let f be c(4). Suppose -f*m + 147 + 186 = 0. Is m prime?
True
Suppose -1 + 12 = 3*z - 4*r, 2*z = 2*r + 4. Let o = z - -4. Is (o + -43)/(-2 - 0) a prime number?
False
Suppose -3*r - 2*r + 35 = -4*z, -r = -z - 8. Suppose -4*b = -r*b - 3. Suppose 4*h - k - 26 = 293, k = -b. Is h prime?
True
Suppose 0 = 32*h + 81918 - 206942. Is h composite?
False
Let s(t) be the second derivative of -t**5/20 - 5*t**4/4 - 5*t**3/6 - t**2/2 + 11*t. Is s(-16) composite?
True
Suppose -5*h + 5*v + 45 = 0, v - 45 = -3*h - 2*h. Suppose 0 = -h*g - 2768 + 10445. Is g a composite number?
False
Let k = -356 + 1303. Is k a prime number?
True
Let j(z) be the third derivative of z**4/24 - 13*z**3/6 + 3*z**2. Let d be j(10). Is d/(-1) + 11 + 837 composite?
True
Let q = -3165 + 5420. Suppose m = -3*w + q, -3*m = 4*w - 3*w - 757. Is w prime?
True
Let y(m) = -m**3 + 9*m**2 - m - 4. Let f be y(9). Let o(c) = -c**3 - 15*c**2 - 12*c - 5. Let s(g) = 1. Let l(v) = -o(v) - 2*s(v). Is l(f) a composite number?
True
Suppose -952152 = -47*w + 23*w. Is w a composite number?
True
Let a(v) = -2*v**2 - 13*v - 6. Let z be a(-9). Suppose -3*s - 5 = 2*s. Is (4 - 2) + z/s composite?
False
Let s(f) = f**3 - 13*f + 5. Let j(v) = -v**2 - 10*v - 14. Let q be j(-5). Is s(q) a composite number?
False
Let m be (0 