v(z) = 27*z**2 + 2*z + 3. Let b be v(-2). Suppose 2*y - 411 = -5*k, -5*y + 1336 - 226 = -4*k. Suppose -b = -5*p + y. Is p prime?
False
Let x = 11356 - 2265. Is x composite?
False
Let v(u) = 2*u**3 - 24*u**2 - 16*u + 4. Let k be v(13). Suppose 0*r - 4*l - 11 = -r, -4*r - 3*l + 25 = 0. Suppose -6*j = -r*j + k. Is j composite?
True
Let b be ((-2)/(-6))/(-4 + (-185)/(-45)). Suppose 5*t - 5*g - 13785 = 0, b*g - 4*g + 13809 = 5*t. Is t a prime number?
False
Let r(q) = 2305*q - 52. Is r(3) composite?
False
Suppose -30*n + 983263 = -13*n. Is n a composite number?
False
Suppose -4*p + 75604 = -4*b, -4*p - 81*b + 83*b = -75600. Is p prime?
True
Is ((-6)/9)/(38/(-165927)) prime?
False
Let f(g) = g**3 - 5*g**2 - 4*g - 8. Let w be f(6). Suppose -2*k + 2*d = -4*k + 3110, -1561 = -k - w*d. Is k composite?
False
Suppose -d + 3*d - 4 = 0. Suppose 0 = 17*z - 12*z + 4600. Is (z/(-24))/(d/6) prime?
False
Let h(j) = -j**3 + 14*j**2 + 18*j - 11. Suppose 0 = -0*f + f + 2. Let x(n) = 5*n**2 + 2*n - 1. Let v be x(f). Is h(v) a prime number?
False
Let n(f) = 1105*f**2 - 91*f - 565. Is n(-7) composite?
False
Let a be 4134/(-2) + (-9)/(-3). Let w = a + 3342. Let p = w - 389. Is p a prime number?
False
Suppose -15*j = 7*j - 192434. Is j a prime number?
True
Is 20/(-70) + (-44809)/(-7) a composite number?
True
Suppose 19 = u + 4*k, 4*k + 3 = 2*u + 1. Suppose 6*p = 7*p - u. Let m = 6 + p. Is m a composite number?
False
Let s(h) = 6*h**3 - h**2 - 2. Let g be s(2). Let m = g - 5. Is m a prime number?
True
Suppose 0*x + 5*k + 533 = x, 3*k + 6 = 0. Let h = -254 + x. Suppose 3*p = -5*r + h, -p - r = 3*p - 336. Is p a composite number?
False
Suppose 3*m = 2*o + m - 2, 4 = -4*o - 4*m. Suppose o = 3*w + 2*w + 20. Let g = 71 + w. Is g a prime number?
True
Let d = 85660 + -45915. Is d a prime number?
False
Let r be 3/(36/8)*-3. Let q(h) = -219*h**3 - 2*h**2 - 2*h - 3. Is q(r) a prime number?
False
Is (-393501)/(-17) + (-11)/(561/6) prime?
False
Let v(a) = -49*a**3 - 6*a + 2. Is v(-3) composite?
True
Let c = -111 - -115. Is -2*6/c + 4388*1 a prime number?
False
Suppose r + 2 = -5*w + 7, 1 = -4*r + w. Let q be -1 + (r - -1)*1086. Suppose -5*j = -0*j - q. Is j a composite number?
True
Suppose -y = -4*v + 4, 3*y = v + 2*y - 4. Suppose v = -4*s + 2045 + 2867. Suppose -3*a + 7*a - s = 0. Is a composite?
False
Suppose 60 + 20 = 5*n. Let u = 49 - n. Is (-7683)/(-33) + 6/u a prime number?
True
Let w(c) = 4*c - 49. Let r be w(15). Is ((-671)/r)/(1/(-7)) prime?
False
Let f(a) = -a**3 - 2*a**2 - 4*a - 5. Let p be f(-2). Let d = -26 - -44. Suppose -p*y = -3 - d. Is y prime?
True
Suppose 3*o = 4*t + t + 3752, 3*o + 2*t = 3787. Is o prime?
True
Suppose -25 = -2*j - 247. Let u be j/2 + (-12)/(-8). Let n = u + 143. Is n a prime number?
True
Let m(d) = -d**3 + 3*d**2 + d + 4. Let w be m(3). Suppose 176 = -15*x + 19*x. Suppose -3*q = -w*q + x. Is q a composite number?
False
Suppose 2*a - 4*d = 22, 2*d - 7 = -a - 0*a. Let t be 5 - 1/(3/a). Suppose 0 = t*n - 122 - 32. Is n prime?
False
Let f(y) = -6*y - 4. Let l be f(-1). Suppose -5*p + 725 = -4*h, -145 = -p - 2*h - l*h. Is p prime?
False
Let c(b) = 645*b**2 - 9*b - 7. Is c(-4) a prime number?
False
Let v = 26 - 32. Let w(a) = a**3 + 6*a**2 - 2*a - 10. Let n be w(v). Suppose 3*x + 2*l = 761, 3*x + l + n*l = 765. Is x prime?
True
Let y(r) = 108*r - 32. Let l be y(-12). Let a = l - -4849. Is a composite?
True
Is (-5918)/(2*((-2)/2)/1) a composite number?
True
Let j(b) be the third derivative of -6*b**4 - 73*b**3/6 - 2*b**2 + 5*b. Is j(-20) prime?
False
Let n(y) = y**2 - 7*y + 2. Let u be n(7). Suppose 3*c - 769 = 3*h - h, -c = -u*h - 263. Is c composite?
True
Let p be 2/3 - 15/9. Is p/(((-2)/9354)/((-8)/(-24))) composite?
False
Let k be (-328)/(-104) - (-2)/(-13). Suppose -1 - 5 = -k*p. Suppose p*i - 286 = -0*i - 3*w, -4*i + 2*w + 604 = 0. Is i prime?
True
Let v(p) = -254*p - 1. Let g(d) = -d**3 + 4*d**2 + 2*d - 9. Let s(b) = -b + 17. Let i be s(13). Let y be g(i). Is v(y) prime?
False
Let a(k) = k**3 - 14*k**2 + 26*k + 10. Is a(13) a composite number?
False
Let l(g) = -g**2 - g + 26. Let a be l(0). Suppose 0 = 3*f - 5*s + 30, -2*f + 3*s - 22 = -s. Let w = f + a. Is w composite?
True
Suppose -4*i + 20437 = 5*j, -27*j = i - 26*j - 5110. Is i prime?
True
Suppose -5*i + 1060 = -10*i. Let v = 1121 - i. Is v a composite number?
True
Suppose 0 = 3*l + 37 + 8. Is (83/(-3))/(5/l) a composite number?
False
Let g(u) be the third derivative of 7*u**5/60 + 7*u**4/12 - 14*u**3/3 - 20*u**2. Is g(7) composite?
True
Let n(c) = c**3 + 12*c**2 + 4*c - 6. Let f(i) = -i**3 - 12*i**2 - 4*i + 6. Let j = -6 + 9. Let h(v) = j*f(v) + 4*n(v). Is h(-11) a prime number?
True
Let j(t) = 108*t + 55763. Is j(0) a prime number?
True
Suppose -q - 5*x + 1228 = 0, -1419 = 5*q - 4*x - 7646. Is q a composite number?
True
Suppose -4*o = y - 0*y + 18, -3*o - 22 = 5*y. Is (-3 - y) + 70*1 composite?
True
Is 58*(1 + (-5)/4)*-838 a prime number?
False
Let z be (-3)/((-3)/7)*4/14. Suppose 505 = s - 3*m, 0*s + s - 503 = z*m. Is s a composite number?
False
Suppose 5*f - 5*g = 10, -2*g + 7 = 1. Suppose -f*y = -1125 - 3370. Is y composite?
True
Suppose 0*j = 32*j - 514592. Is j composite?
True
Suppose 4*i = -i - 4*k + 1578, 5*i - 1574 = -2*k. Is i composite?
True
Suppose 3*d - 2*l = 3*l - 9, 2*l = 5*d - 4. Suppose -7 = -d*h + 3*c - 0, 0 = 5*h + 5*c + 20. Is (h + -258)/((-2)/2) a prime number?
False
Suppose 16 = 3*a - 11. Suppose -a*v = v - 5650. Is v a prime number?
False
Suppose -64*t = -6*t - 2400446. Is t composite?
False
Is (-5)/((-48)/(-32)*4/(-10554)) composite?
True
Let h(m) = -3*m**2 - 30*m + 26. Let i be h(-11). Let q(o) = 93*o - 56. Let g(w) = 23*w - 14. Let v(s) = -9*g(s) + 2*q(s). Is v(i) a composite number?
True
Let u(o) = -29*o - 8. Let l be 1 - (0 + (8 - 3)). Let y be u(l). Suppose -d - y = -2*d + 5*w, d = -4*w + 117. Is d a prime number?
True
Suppose t - 1162 = -2*w, -5*w + 10*w - 3*t = 2905. Let f = w + -208. Is f a composite number?
False
Let b(p) = -p**3 - 3*p**2 + 5*p + 2. Let t be b(-4). Let y(d) = 14*d**2 - 69*d + 36*d - 1 - 68*d**3 + 30*d - 16*d**2. Is y(t) composite?
False
Let t be 1*(12 - (3/(-3) - 2)). Is 6/t - 413/(-5) composite?
False
Let l be (-64)/12*(-3)/2. Suppose 0 = 16*a - l*a - 5480. Is a a prime number?
False
Let l = -25 - -28. Is (1 - 48)/(l/(-102)*2) composite?
True
Suppose -3*r - 1 = -7. Let z(v) = 4*v + 5 + r - 5 + 0. Is z(8) composite?
True
Let w be (-1341)/(-15) - (-9)/15. Let r = -23 + w. Is r composite?
False
Suppose 0*x + 8 = 2*x, 0 = -g + 2*x - 4. Suppose -3*u + g*u = 3. Suppose -u = y - 40. Is y prime?
True
Let s = 15 + -10. Suppose u - f = 3*u - 586, s*u - f = 1465. Is u prime?
True
Suppose -8*k = -90455 + 28431. Is k composite?
False
Let w(b) = 34*b + 9. Suppose -4*j + 1 = 3*c, 5*j + 0*c - 40 = 4*c. Is w(j) prime?
False
Let p(w) = -4*w + 26. Let a be p(7). Let y(z) be the third derivative of -z**4/3 - 5*z**3/6 - z**2. Is y(a) composite?
False
Is (38/(-95))/(2/(-1765)) a prime number?
True
Suppose 3*d - 18632 = -w, -2*w + 23178 + 14036 = -4*d. Is w a composite number?
False
Let m(a) = 36*a**3 - a**2 + 2*a - 1. Let r be m(1). Let p be (9/r)/(1/12). Is (1/p)/(1/195) composite?
True
Let c = -238 + 239. Let j(i) = 58*i**2 + 2 - 4 + 3. Is j(c) composite?
False
Let i = 31 + -5. Suppose 695 = 5*g - 2*y, -i - 669 = -5*g + 5*y. Suppose -4*f = -g - 1225. Is f prime?
False
Suppose q = -1, 3*y - 111767 = 14*q - 12*q. Is y prime?
False
Suppose 20*m - 24*m + 1056 = 0. Let y be m/16*(-88)/(-6). Suppose a = 3*a - y. Is a a prime number?
False
Suppose -1 = -d, -3*d - 30 - 7 = -5*r. Let j be (2/r)/(20/160). Suppose -2*n + 2*w = 2*n - 214, 5*n + j*w - 263 = 0. Is n composite?
False
Let z(h) = 110*h - 89. Is z(15) composite?
True
Suppose 5*y - 15 = 0, -4*m - 2*y + 15941 + 67689 = 0. Is m a prime number?
False
Let u = -20 + 16. Let t be (-6 + (-4 - -8))*u. Is (-2)/t - (-2603)/76 a composite number?
True
Let n = 957 + -512. Is n a prime number?
False
Let p(v) = -v**3 + 26*v**2 + 4*v + 8. Is p(19) prime?
False
Suppose -x = -5*x + 4*b - 772, 777 = -4*x + 3*b. Let j = x + 96. Is j/(-9) + (-4)/12 prime?
True
Let g(c) = c**3 + 47*c**2 - 135*c - 88. Is g(-45) a composite number?
False
Let k be 6 + 3 + 13 - (1 - 3). Is (66/k + -3)/(1/(-1492)) a prime number?
True
Let g(y) = -4*y*