number?
False
Let d(w) = -w + 127. Is d(0) a prime number?
True
Let v be 3/(-5) - (-2)/(-5). Let g = 5 + v. Let d = g - -73. Is d a prime number?
False
Let j(a) = 6*a**2 + 3*a + 13. Let i be j(13). Is (-1)/(i/(-355) + 3) a composite number?
True
Suppose h - 8 = 2*o, 0*o = h + 2*o. Suppose -w + 19 = h*c - 4, -3*w - 4*c = -29. Suppose -175 = -w*x + 26. Is x a composite number?
False
Suppose -j + 1800 - 18 = -5*a, 3*j = 3*a + 5370. Suppose 0 = 4*b + 2*r - 0*r - j, 3*b - 1351 = -5*r. Is b prime?
False
Suppose -13 = -2*a - j + 54, -64 = -2*a + 2*j. Is a prime?
False
Suppose 0 = 2*t - 3*t + 114. Let b be (2/(-4))/(3/t). Is b*((2 - 1) + -8) prime?
False
Let r = -11 + 234. Is r a prime number?
True
Let c(n) = n**2 - 13*n - 12. Let x be c(14). Suppose -252 = -x*z - 58. Is z a composite number?
False
Suppose -4*j + 4 = -4. Is (-5 - j)/(1/(-37)) composite?
True
Let b = 287 - -130. Let z = b + -268. Is z a prime number?
True
Suppose -y = -2*y + 2. Suppose y*o = 3*o. Suppose -29 = -2*q + 5*n, o*q = -q - 3*n + 31. Is q a prime number?
False
Let p(o) be the third derivative of 0 + 0*o + 1/12*o**4 + 2*o**2 + 1/24*o**6 - 1/60*o**5 - 1/2*o**3. Is p(2) composite?
False
Let u = 2352 - 1661. Is u a composite number?
False
Let x(u) = -u - 1. Let f be x(-4). Let d be ((-1)/f)/((-4)/(-24)). Is ((-414)/(-15))/(d/(-5)) a prime number?
False
Is 51499/35 - 4/10 composite?
False
Let h(p) = -1. Let b(r) = 2*r**2 - 4*r + 4. Let x(k) = b(k) + 3*h(k). Is x(-6) prime?
True
Let a be (-1 - 4)*4/5. Let r = 11 + a. Let l(d) = d**3 - 6*d**2 + 11*d - 7. Is l(r) a composite number?
True
Let z(n) = n**2 - 2*n - 5. Let v be z(5). Is (v/6)/((-3)/(-18)) prime?
False
Is (-15)/(-6)*5028/30 a prime number?
True
Let w = 10 + -10. Suppose 0 = -3*l + 2*j + 179, -4*l - 5*j + 128 + 80 = w. Is l a prime number?
False
Let w(q) = q**2 + 2*q + 4. Suppose -3 + 28 = 2*i - 5*u, -2*u = 2*i - 4. Is w(i) prime?
False
Suppose 2*o = 4*i - 6 - 2, 6 = 3*o. Suppose -2*w - 1 = i*w + 4*l, -10 = -2*w + l. Suppose -q + w*q = 42. Is q a prime number?
False
Suppose 0 = 4*d + 16, -3*c + 397 = d - 5*d. Is c prime?
True
Let l = 679 + -407. Suppose 2*t - 5*r = -t + l, 3*r + 181 = 2*t. Is t a prime number?
True
Let a = 610 - 347. Is a a composite number?
False
Let s be (-15)/(-25) + 2/5. Let w be 10 - ((-2)/s + 1). Suppose -2*i + 5*l + 116 = 0, -w = -i - 5*l + 32. Is i prime?
True
Suppose m + 8 = 5*g, -2*m = -3*g - 0*m + 9. Let k be 0/(1 - 2 - g). Is 35*(k + 1 + 0) prime?
False
Let l = -9 - 72. Let y = 38 - l. Is y composite?
True
Let s(r) = 61*r**2 - 3*r - 3. Is s(3) composite?
True
Let x = -15 + 21. Suppose 3*o - g = 7, -19 = -3*o + g - x*g. Suppose i + o*i = 524. Is i a prime number?
True
Suppose -3*g - 4 = -q, -4*g - 3 = -3*q + 4. Is (q + (-12)/(-9))*3 prime?
True
Suppose -57 = -4*j + 79. Is j prime?
False
Let r(s) = -238*s - 11. Is r(-3) composite?
True
Let f = -4 + 6. Suppose -f*j + 47 = -k, -3*k - k + 65 = 3*j. Is j a prime number?
True
Suppose -2*d - 28 = -2*s, -s - s - 3*d = -48. Let l be 12/(-2) + s/6. Is (-89)/(-1) - -3 - l a prime number?
False
Let a(i) = i**3 + 7*i**2 + 7*i + 9. Let q = 9 - 15. Let j be a(q). Suppose 51 = 5*l - 4*m, 0 = -2*l - 0*m - j*m + 2. Is l a prime number?
True
Let a(l) = -25*l**3 - 3*l**2 - 3*l - 2. Let s be a(-2). Let v = -68 + s. Suppose 3*k = 17 + v. Is k a composite number?
False
Suppose -2*c = -7*c. Suppose c = 5*m - 45 + 10. Let u = -4 + m. Is u prime?
True
Let p be 6/(-4) + 5/2. Let k be -4*(3/6 - p). Suppose -30 = -4*l + k*l. Is l prime?
False
Let z(a) = -8*a**2 + 2*a + 2. Let k be z(3). Let t be 2/5 - k/40. Suppose -8*s - t*f + 111 = -3*s, 5*f - 57 = -2*s. Is s a prime number?
False
Let i(d) = d**2 - 5*d. Let q be i(4). Let h = q - -6. Suppose 575 = h*s + 3*s. Is s prime?
False
Let v be -3 - 1/(4/(-904)). Suppose j = g + 223, -5*g + v = j - g. Is j prime?
True
Let q(b) = b - 3. Let h be q(8). Suppose 0 = -2*j + h*f + 325 - 80, -2*f - 581 = -5*j. Is j composite?
True
Let a(c) = 3*c**3 + 6*c**2 - 6*c. Let b(w) = -10*w**3 - 18*w**2 + 17*w + 1. Let q(x) = 7*a(x) + 2*b(x). Let r be q(-7). Is 37/3 + 6/r a composite number?
False
Let b(l) = -l**3 - 2*l**2 + 7*l + 9. Is b(-6) a prime number?
False
Let u(k) be the first derivative of -k**3/3 - 2*k**2 + 3*k - 3. Let h be u(-5). Is 3/(h/((-52)/6)) a prime number?
True
Let s = -19 + 11. Let w be ((-6)/s)/(6/(-24)). Is (2 + w)*-1 - -52 prime?
True
Let y(z) = 142*z**3 + z**2 + z - 1. Is y(1) composite?
True
Suppose m + 0 - 2 = 0. Suppose -36 = -x + 5*g, m*g = 4*x + 28 - 208. Suppose -5*c + 11 + x = 4*d, 3*d + 9 = 2*c. Is c a prime number?
False
Let k be ((-36)/14 - -2)*-7. Suppose 0 = 3*t + 4*s - 157, 0*s = k*s + 8. Is t a composite number?
True
Let z be -1*(-4*1)/1. Suppose -z*w - m + 15 = 0, 2*w - m = 19 - 4. Is 432/30 - (-3)/w a composite number?
True
Is 345/4 - 9/(-12) composite?
True
Let d = 16289 - 6534. Is d prime?
False
Let m(o) be the first derivative of o**4/4 - 5*o**3/3 + o**2/2 - 9*o + 1. Is m(8) composite?
False
Suppose -2*y + 1474 = 3*m, -2*y + y + 2*m + 737 = 0. Is y composite?
True
Let l(v) = 10*v + 5. Let r be l(7). Suppose 0*s = -3*s + r. Let o = 56 - s. Is o prime?
True
Suppose -3*n - 5*t = 91, -4*n + 5*t - 89 - 44 = 0. Let c = n + 65. Is c a prime number?
False
Suppose -4*z = -71 - 389. Is z a composite number?
True
Suppose -x = -2*l - 3 + 7, 5*l = 4*x + 16. Suppose l*d = 5*d - 5, c + 2 = 5*d. Let b = 64 + c. Is b prime?
True
Let o(g) = g**2 - 6*g - 4. Let w be o(6). Is -382*w/(-16)*-2 a prime number?
True
Suppose 20*m - 8*m = 2988. Is m a composite number?
True
Let t(g) = -5*g + 29*g**3 + 5 + 0*g - 3*g**2 + 0 - 1. Is t(3) composite?
True
Suppose 0 = -5*c - n + 14, -3*c + 7*n - 4*n + 12 = 0. Is (-158)/(-5 + c + 0) composite?
False
Suppose -15*a = -8*a - 329. Is a a composite number?
False
Suppose -3*o + 0 = 9. Suppose y + 3*i - 97 = 0, 2*y + 0*y = -4*i + 188. Let u = o + y. Is u prime?
False
Let u(b) = 3148*b**2 - 3*b + 4. Is u(1) prime?
False
Let v(z) = 5*z - 6*z + z - 2*z. Is v(-5) a composite number?
True
Let a be 2380/12 - 1/3. Let g(z) = -2*z - 5. Let o be g(-5). Suppose 3*r + a = 4*n - 202, -5*n = -o*r - 505. Is n a prime number?
True
Let n(g) = -253*g + 3. Let y(t) = -254*t + 4. Let x(m) = 3*n(m) - 2*y(m). Let i be x(-1). Suppose -i = -2*z - 74. Is z a prime number?
True
Is (-1 + 0)/(1/(-2819)) a composite number?
False
Let d(t) = 8*t + 3. Let w = -2 + 3. Let o be (w - 0)/(5/30). Is d(o) composite?
True
Let q(l) be the third derivative of -3*l**7/560 - l**6/360 + l**5/20 - 2*l**2. Let x(i) be the third derivative of q(i). Is x(-3) a prime number?
True
Let u = -2023 + 3369. Is u a composite number?
True
Let z(f) = -f**2 - 2*f - f**2 + 0*f + 8 + 3*f**2. Let d be z(-7). Suppose 3*n - 22 = d. Is n a composite number?
False
Suppose -3*i - 3 = 0, -2*n + 9 = -0*n + i. Suppose 5*j + 665 = 5*c, n*j - 127 = -c + 3*j. Is c a prime number?
True
Let o(k) = k**3 + 5*k**2 + 3*k - 2. Suppose 8*d + 6 = 6*d. Let t be o(d). Suppose -4*n + t*n = 93. Is n prime?
True
Let n = 222 - 107. Is n prime?
False
Suppose 6*q = 3*q + 6. Is -2 + 1170 + q + 1 a prime number?
True
Let u(m) = m + 1. Let a(y) = -y**2 - 14*y - 19. Let i(s) = -a(s) + 4*u(s). Is i(-18) prime?
True
Is 1/((1 + (-328)/326)/(-1)) a prime number?
True
Suppose o - 5*o - 108 = 0. Is (-5637)/o - (-2)/9 a prime number?
False
Let u(w) = 4*w**2 - w + 1. Suppose -4*g + 16 = -4*a, 0*a + 10 = -2*g - 4*a. Let t be u(g). Suppose -t*m + 12 = -64. Is m composite?
False
Suppose -2*j - 285 = 3*j. Let n be (j + (1 - 2))*2. Let q = n - -423. Is q prime?
True
Let r(h) be the second derivative of -h**3/6 - 7*h**2/2 - 2*h. Let b be r(-7). Suppose b = -v - v + 110. Is v a prime number?
False
Suppose -107 = -h + 84. Is h composite?
False
Let i(b) = 0*b + 3 + 1 + b. Let k be i(-5). Is k*22*(-15)/10 prime?
False
Let p(o) = 11*o**2 + 7*o + 4. Is p(-6) a composite number?
True
Suppose -3 - 3 = -2*y. Suppose 0 = y*z - 3 - 0. Let u(q) = 8*q + 1. Is u(z) a composite number?
True
Suppose -4*u = 4*t - 488, 0 = 4*u + 5*t - 219 - 272. Is u a prime number?
False
Suppose -25 + 1 = -3*n. Suppose 7 = -2*r - 7. Let f = n - r. Is f a prime number?
False
Let r(b) = 2*b + 1. Let x be r(0). Is -3 - 318/((-3)/x) a composite number?
False
Suppose 4*g - 3 - 17 = 0. Suppose -g*y = -2 + 7. Is 4 - (-2 + 0) - y prime