- 3 = -2*b. Suppose 0 = 2*z - 3*i - 133, b*z + 2*z - 263 = 3*i. Is z prime?
False
Let m = -4908 - -7201. Is m prime?
True
Suppose 5*a - 205 = y + 895, -3*a = -4*y - 643. Is a a prime number?
False
Let m(b) = 2*b**3 + 2*b**2 - 10*b - 20. Is m(7) composite?
True
Suppose 0 = -0*i - 4*i - 20, i = -4*y + 67. Let b = 10 + y. Suppose 3*p + 24 = 2*r + r, 2*r - b = -4*p. Is r a prime number?
False
Suppose -16 = x - 5*x. Let z(n) = 262*n - 5. Is z(x) a composite number?
True
Let v(k) = k**2 + 2*k + 3. Let n(d) = d**2 + d + 2. Let m(l) = -3*n(l) + 2*v(l). Let b be m(1). Suppose b = -3*q + 3 + 6. Is q composite?
False
Suppose -2*c = -4*r + 8, 0*c - 4 = 2*c. Let h be (0 - (-1 - 2))*r. Suppose -3*j = -2*b - h, -4*b + 3 = -0*j - 3*j. Is j prime?
True
Suppose -3*v - 2055 = -3*q - 0*q, 0 = -q - 2*v + 700. Suppose 5*j = 365 + q. Is j a prime number?
True
Is 4/(-30) - (203860/(-75) - 3) prime?
False
Let q(f) = -16*f**3 + 4*f**2 + 8*f + 5. Is q(-3) a prime number?
True
Let q(l) = 2*l**3 - 2*l**2. Let h be q(2). Let m = 25 + h. Is m a prime number?
False
Let a = 700 + -485. Is a a prime number?
False
Let f(t) = -t**3 - 5*t**2 + 3*t - 6. Let v be f(-6). Let s be v/20 + (-17)/(-5). Suppose s*h - 347 - 9 = 0. Is h composite?
False
Let w = 0 - -5. Suppose -3*i = w*j - 2, 0*j + 4 = -2*j. Suppose u - r = -2*u + 262, -i*r - 247 = -3*u. Is u prime?
True
Let q = 52 + -73. Let v = q + 29. Suppose -3*s + v = -s. Is s a composite number?
True
Suppose 0 = -4*n + 146 - 1090. Let w = -123 - n. Is w prime?
True
Let r(q) = q**3 - 3*q**2 + 5. Let h = 6 - -2. Let u = -3 + h. Is r(u) prime?
False
Suppose 2*y + 5*o = 13193, -4*o - 2812 = 3*y - 22619. Is y a prime number?
False
Let u = 11 - 9. Suppose -5*r - 2 = 4*o + 3, 2*r = -u*o - 4. Suppose -2*q = r*q + 5*h - 315, q = h + 71. Is q prime?
True
Let l(v) = -3*v**3 - v**2 + 3*v + 4. Let d be 1 - (1 - 0) - -3. Let x = 0 - d. Is l(x) prime?
True
Is (-1 + 0)*(-4 - 22) prime?
False
Let i(u) = u**3 + 5*u - 5. Suppose 5*z - 5 = 15. Is i(z) a prime number?
True
Let l = 185 + -54. Is l prime?
True
Suppose c = x + 4*x + 260, 5*c = -x + 1326. Suppose d - 160 = -3*b, 6*b - b + c = 2*d. Is d composite?
True
Suppose -3*u = 5*f - 47, -7 = -2*f - u + 12. Is f prime?
False
Let t(z) = -7*z**3 + 3*z**2 - 1. Is t(-2) prime?
True
Let b = 3 + 4. Let i = 10 - 4. Suppose i = n - b. Is n a prime number?
True
Let h(r) = -39*r + 4. Let n be h(3). Let z = -78 - n. Is z prime?
False
Let d(z) = 7*z**2 + 4 + z + 4*z - 3*z + 2. Is d(5) a prime number?
True
Let v(x) = 3*x**3 + 2*x - 1. Let l be v(1). Let i be ((-6)/(-5))/(4/20). Suppose i*k = l*k + 38. Is k a composite number?
False
Suppose -3*b - 894 = -6*b. Suppose -3*h = -z + 12, 2*z + 2*z = h + 4. Suppose -2*a = -z*a - b. Is a composite?
False
Let j(v) = 14*v**2 + 2*v - 3. Is j(7) a composite number?
True
Suppose -3113 = -3*s - 4*g, -s = -2*s - 2*g + 1041. Is s composite?
False
Let m be (-1 + -11)*(-3)/4. Suppose 7*g = 3*g + 16. Suppose -g*p = -m*p - 15, 2*c - 37 = -3*p. Is c prime?
True
Let b(m) = -45*m - 2 - 3 + 3. Is b(-5) a composite number?
False
Let c(w) = w**3 - 8*w**2 + 9*w - 10. Let h be c(7). Let p be 104/28 - h/(-14). Suppose -p*u + u = -57. Is u a prime number?
True
Let t(i) = i**2 - 7*i + 9. Let a be t(6). Suppose 3*v - 6*v + 618 = -a*o, -5*o = -3*v + 624. Is v a prime number?
False
Let z = -191 + 133. Is (-9)/3*z/2 prime?
False
Suppose -5*y + 526 + 1174 = r, -5*r = -25. Is y composite?
True
Is (4/6)/((-12)/(-46854)) a prime number?
False
Suppose 3*x - 19 = -t - x, 5*x = 5*t + 5. Suppose 2*h - 4 = t*z + 1, 4*h + z - 31 = 0. Is h prime?
True
Suppose 12*h = 7*h + 70. Is h a prime number?
False
Suppose -2*h = -5*l + 5, 4*h - 5*l = h - 5. Suppose -5*a + 1 - 6 = j, h = -4*j + 3*a + 26. Suppose -212 = z - j*z. Is z a prime number?
True
Let f = 2591 - 740. Is f composite?
True
Let z be 108/(1 + 3) - 0. Is (-1 - 0) + 1*z a prime number?
False
Let o(l) = -1067*l. Is o(-1) composite?
True
Let j(u) = -u**3 + 7*u**2 - 6*u - 3. Let m = 14 + -8. Let z be j(m). Is 0 + 74 + (-3 - z) prime?
False
Is 2*(-3*(-3)/(-18) + 478) a composite number?
True
Let y = 1020 - 542. Suppose y + 264 = 2*m. Is m composite?
True
Suppose -3918 = -4*r - 2*r. Is r a composite number?
False
Suppose -4*z = -2 - 14. Suppose -2*t + 449 = -3*s - 309, 401 = t + z*s. Suppose x = 6*x - t. Is x composite?
True
Let t = 1 + -6. Let x be 2 + -4 - t - 0. Suppose -x*y - r = -2*r - 117, -4*y + 156 = 5*r. Is y a composite number?
True
Let q = 1 - -1. Suppose 0 = z + q*z - 84. Suppose -g - z = -3*g. Is g a composite number?
True
Suppose 5*w + 15 = h, -4*w - 6 = 2*h + 6. Suppose -m + 0*m + 9 = h. Is (564/9)/(6/m) a prime number?
False
Suppose -3*l = -k - 5, 6 - 2 = -4*k + 4*l. Suppose 11 = -3*h - k. Is (-2 + 282/h)*-2 a composite number?
True
Let h = 7213 - 3272. Is h prime?
False
Suppose a - 3 = 2*a. Is 2/(-6)*(a - 390) composite?
False
Let p be (-1 + 4)/((-8)/32). Let r = p - -91. Is r a composite number?
False
Let o be -4 + 3 + (1 - -85). Let b = 138 - o. Is b prime?
True
Suppose -5*u = -2*w + 6*w + 3, 2*u = 4*w + 10. Let d be (w - -1) + 17*2. Is (-8)/(-20) + d/5 prime?
True
Let p(b) = -11*b - 3. Let k be ((-2)/(-5))/((-4)/20). Is p(k) a prime number?
True
Let z(h) = -61*h + 44*h - 114*h. Let b be z(-1). Is 1 + 0 + -3 + b prime?
False
Let y(g) = -g**3 + g**2 - g + 2. Is y(-4) prime?
False
Let z(a) = a - 4. Let i be z(9). Suppose -i*d = -2*v + 1483, -2214 = -2*v - v - 3*d. Is v composite?
False
Suppose -11 = 2*a + 3*i, -1 - 10 = -3*a + i. Let y = a - -4. Is y a composite number?
True
Let a be 0 - (-2*1 - 3). Let i be (-6)/2 + (-15)/(-3). Suppose 3*b - i*w = 3*w + 82, 25 = -a*w. Is b composite?
False
Suppose 4*j = 4*f + 164, 9*j + 3*f = 4*j + 197. Let o = j - 29. Is o a composite number?
False
Let n(k) be the third derivative of 0*k + 0 + 7/6*k**3 + 7/60*k**5 + 1/6*k**4 + 1/120*k**6 + k**2. Is n(-6) a prime number?
True
Let f(j) = 4*j**2 + 6*j + 3. Is f(8) a composite number?
False
Let t = 1113 + 148. Is t prime?
False
Suppose 3*v = 49 + 2. Suppose -5*x - 22 = 28. Let w = v + x. Is w prime?
True
Let s = -10 - -24. Let r = 19 + s. Is r composite?
True
Let z(v) = 3*v + 6. Let x be z(-3). Is ((-1)/x)/((-2)/(-1758)) a composite number?
False
Let i = -4 + 6. Suppose -3*g - i*g + 71 = b, 0 = 3*b + 5*g - 253. Is b prime?
False
Let j be (-5)/(-1)*14/35. Is j/5 - 603/(-5) a prime number?
False
Let c(n) = -2*n**2 - 6*n - 4. Let r be c(-5). Let a = -204 - -125. Let i = r - a. Is i a prime number?
False
Let a(r) be the first derivative of -r**4/2 - 2*r**3 - 5*r**2/2 + 3*r - 1. Is a(-4) a composite number?
True
Is (0 - 1) + 3*216 a composite number?
False
Suppose -2*l + l = -2. Suppose -k - l*k - 339 = -4*i, -5*k = i - 102. Is i composite?
True
Suppose 0 = 2*r + 2*k - 2170, 3*r - r + 5*k = 2164. Is r composite?
False
Let m(f) = 3*f + 2. Let x be m(2). Let y be x/5 + 4/10. Suppose -4*r - 3*l = -4*l - 27, -l = -y*r + 13. Is r prime?
True
Let v = 185 + 32. Is v prime?
False
Let r be 4*1/8*4. Suppose -412 = -4*t + r*x, t - 4*x - 103 = -3*x. Is t a prime number?
True
Let q(w) = 0*w**2 - w - 3*w + w**2 + 2*w**2. Is q(-5) a composite number?
True
Let z = 5 + 0. Suppose 4*c - 77 = 5*d, -2*c + z*d = -0*d - 31. Is c a prime number?
True
Let s(v) = 31*v**2 - v - 1. Suppose -h - 3 = -0*h + m, 3*h + 9 = -2*m. Let n = h + 2. Is s(n) prime?
True
Is (2426/(-4))/(3/(-6)) a composite number?
False
Suppose -6*q - 5*x + 30 = -q, -4*q - x + 21 = 0. Let p = q + 3. Is 381/4 + (-2)/p composite?
True
Let p(i) = -i**3 + 3*i + 1651. Is p(0) composite?
True
Let c(t) = 11*t**2 - t + 1. Let p be c(4). Suppose 5*w = 212 + p. Let d = w - 54. Is d a prime number?
True
Suppose 0 = -2*y - 5*q - 150, -2*y - 182 = -q - 2*q. Let z = 58 - y. Is z a prime number?
False
Suppose -5*f + 4 + 11 = 0. Suppose 2*s - v - 658 - 517 = 0, -f*s - 4*v = -1768. Is (2/6)/(4/s) a composite number?
True
Let j be ((-9)/6)/(3/(-106)). Let u = 208 - j. Is u a prime number?
False
Suppose 0 = -2*v + 347 + 51. Is v prime?
True
Is 3 - 55*-2 - -2 composite?
True
Let s(p) = 2*p**2 - 4*p + 4. Let l be s(-8). Let q = 129 + l. Is q a composite number?
False
Let a = 177 + 268. Is a a prime number?
False
Suppose -2*d + 5*d - 41 = -2*f, -5*d = -f - 64. Let z = d - -6. Is z prime?
True
Suppose 3*l - 10 = -2*l. Suppose -l*h = 3*h - 10.