rue
Suppose 2*q + 2*q + k - 12961 = 0, -q + 3244 = k. Is q prime?
False
Let b = 285 + -62. Is b a composite number?
False
Suppose 7 = 2*u + r + 1, -2*u - 5*r = -14. Is ((-447)/(-6))/(u/4) composite?
False
Let g(t) = -6*t**3 + 2*t**2 - 6*t - 6. Let q be g(-6). Is q/9*(-12)/(-8) composite?
False
Let y be (-3)/(-1 - (-89)/86). Let c be y/3 - (-1)/(-3). Is 1 + 0 + (1 - c) a composite number?
False
Suppose 9*j - 2863 = 170. Is j a composite number?
False
Let f = -7 - -7. Let l(n) = -1 + f*n + 3*n - 9*n + 0. Is l(-4) a prime number?
True
Let t(k) = -4*k + 1. Let a be t(-1). Suppose y - a*r = 226, 3*y = -y - r + 841. Is y prime?
True
Let b = 100 - 21. Is b a composite number?
False
Let x(k) = k**2 - 22*k + 28. Is x(-19) a composite number?
True
Let a = 10 + -6. Suppose 340 = a*k + 128. Is k prime?
True
Let n(t) = 38*t**2 + 11*t - 9. Is n(-6) prime?
False
Let c(w) = 48*w + 14. Is c(19) composite?
True
Let k be -177 - (-1 + -1 - 0). Let g = k - -462. Is g prime?
False
Let d(y) = 20*y**2 + 5*y + 6. Is d(-11) composite?
False
Let g = 1 - 4. Let h be (-1)/(g - 8/(-3)). Suppose 0 = -h*j - 22 + 181. Is j prime?
True
Let h = -521 - -165. Is ((h + 3)*1)/(-1) prime?
True
Suppose 4*w = 5*v + 1565 + 1628, 4*w - 3187 = -v. Is w a composite number?
False
Suppose -4*c + 14044 = -2*w + 6*w, 2*w + 10508 = 3*c. Is c a prime number?
False
Suppose -y + 148 = -3*p, y = -0*y - 4*p + 127. Suppose 0 = -0*t - t + y. Is t prime?
True
Suppose 2*k - 114 = 5*d, 4*k + 6*d - 3*d - 280 = 0. Let a(g) = g**2 - 6*g - 5. Let j be a(7). Suppose j*u = u + k. Is u a prime number?
True
Suppose -3*h = -5*h + 6. Suppose 0 = -h*y - 6 + 237. Suppose 3*g + 14 = y. Is g a composite number?
True
Suppose -4*i - 176 = -3*r + i, i = 3*r - 184. Is r a prime number?
False
Suppose 0 = -57*w + 54*w + 6567. Is w prime?
False
Let c(h) = 3*h**2 + h + 1. Let s be c(-1). Suppose s*v - 314 = -65. Is v prime?
True
Let u = -362 - -1041. Is u prime?
False
Let w(r) = 16*r**2 + 1. Let l be (-16)/6 - 6/(-9). Is w(l) a composite number?
True
Suppose 2*j + 4*h - 280 = 4*j, 4*j = 5*h - 551. Let i = j - -195. Suppose -4*n + 31 = -i. Is n a prime number?
True
Suppose -8 = u - 5*u. Let z(p) = p**2 + 16*p + 2. Let a be z(-16). Is u*(-106)/(-8)*a composite?
False
Suppose -5*u + 1679 = -p, -2*u + 207 = p - 466. Let c = u - 43. Is c a prime number?
True
Suppose 5 = 5*k - 0, 4*b - 2*k - 14 = 0. Suppose -2*g = 5*r - 499, b*r = g - 333 + 77. Let l = g - 91. Is l prime?
False
Let a(m) = -m**3 - 2*m**2 + m + 1. Let s be a(-3). Suppose -3*k - 259 = -3*h - s, -4*k + 217 = 3*h. Is h composite?
False
Let x = -6 + 10. Suppose 0 = x*w - 292 + 96. Is w prime?
False
Suppose -10*s + 1192 = -2*s. Is s prime?
True
Let f = -222 + 356. Is f a prime number?
False
Let h(m) be the third derivative of -2*m**2 - 1/12*m**4 - 5/6*m**3 + 0*m + 0. Is h(-6) a composite number?
False
Let p = 6 - 14. Let s = -4 - p. Suppose -d + 97 = -5*m, 244 = s*d + m - 102. Is d a composite number?
True
Suppose 3*s - 2*s = 5*l - 3669, 0 = 2*l - s - 1470. Is l a prime number?
True
Suppose 4*u = -4*l + 1248, -393 - 256 = -2*l + 3*u. Is l a composite number?
False
Let i(u) = -22*u + 1. Let f be i(-7). Suppose -b - 169 = -5*g + 232, -2*g - 5*b + f = 0. Suppose 5*v - g = 265. Is v composite?
True
Suppose -2*k - k + 444 = 0. Suppose -5*y = -y - k. Is y a prime number?
True
Suppose -2*p = -r - 134 - 3653, 0 = p + r - 1895. Is p a composite number?
True
Let p be (-3)/2*20/(-6). Suppose -5*y = 4*c - p*c + 95, -y = -2*c + 190. Is c a prime number?
False
Suppose 0 = 6*v - 4*v - 8. Let k be v/14 + 794/14. Suppose -3*b + 170 = -s - k, -3*b - 2*s + 239 = 0. Is b a prime number?
False
Suppose 2*b + 0*b - 36 = 0. Suppose -m - m = -b. Is m composite?
True
Let a = 22 - 14. Let o(p) = 6*p - 7. Let r be o(a). Let u = 60 - r. Is u composite?
False
Let g be (1 - -2)*(1 + 0). Let k(s) = -1 + 4*s + 4*s**2 - 6*s**3 + 0*s**g + 0. Is k(-3) composite?
True
Is (-1)/(-3) - (-43500)/45 a prime number?
True
Suppose -1 - 35 = -6*n. Suppose 7*o - 1294 = 4*o - z, 4*o - 4*z = 1752. Is n/8 - o/(-4) composite?
False
Let t = -5 + -1. Let b = -3 - t. Suppose -5*u - 3*s + 2*s + 172 = 0, 4*u - 131 = -b*s. Is u prime?
False
Suppose -3*r - 3*z + 1143 = 0, z = -4*r - 0*z + 1509. Is ((-9)/(-6))/(6/r) composite?
True
Let b(w) = -13 + 3 - 7 + 3*w. Is b(12) a composite number?
False
Let r(x) = 2*x**2 - 4*x + 2. Let s be r(2). Suppose 3*m = -s*q + 470, -5*m + 5*q + 768 = 18. Is 3/(-9) - m/(-3) a composite number?
True
Suppose -g - 2*s + 749 = -s, 3*g - 3*s = 2259. Is g a composite number?
False
Let v(p) = p**3 + 6*p**2 - 6*p - 3. Let b be v(-6). Let q = 100 - b. Is q a composite number?
False
Let n(y) be the first derivative of y**4 - 4*y**3/3 - y**2/2 + 3*y + 3. Is n(4) a prime number?
True
Suppose -5*g = 0, -2*u - 2*u = 5*g - 40. Is u a prime number?
False
Suppose 0 = -3*s + 68 + 7. Suppose -j - d = -3*d - 45, 0 = 5*d + s. Is j a composite number?
True
Let n be (-6 + 6)/(-1 - 0). Suppose n*w = 5*w - 195. Suppose -779 = -4*y - w. Is y a prime number?
False
Let m(o) = 57*o**2 - 3*o + 7. Is m(4) composite?
False
Let y(p) = -p**3 + 10*p**2 - 12*p + 11. Suppose 4*k = 8*k - 32. Is y(k) a prime number?
True
Let l(r) = r**3 - 5*r**2 + r - 2. Let u be l(5). Let a(f) = -f**2 + 1. Let v(o) = 6*o**2 - 4*o - 4. Let j(i) = 3*a(i) + v(i). Is j(u) a composite number?
True
Let j = 25 + -27. Is (0 + j)/(2/(-67)) prime?
True
Suppose -5 = -2*s + 5. Suppose -3*v + 2*r = -617 - 566, -s*r = -2*v + 796. Suppose 111 - v = -3*t. Is t composite?
True
Suppose -2*u + 2*n + 14 = 0, 4*u + 3*n + 0*n + 7 = 0. Suppose 2*j = -5*b - 416, 0 = u*b + 4*j + 98 + 62. Let s = 211 + b. Is s a prime number?
True
Let w(q) = 14*q**3 + 7*q**2 + 16*q + 20. Let r(z) = 5*z**3 + 2*z**2 + 5*z + 7. Let d(a) = 11*r(a) - 4*w(a). Is d(-7) a composite number?
False
Suppose s + 2*c - 23 = 0, 4*s - 5*s + 5*c = -51. Is s composite?
False
Suppose 5*t - 9*t + 46517 = 5*y, 2*y + 4*t - 18602 = 0. Is y a composite number?
True
Suppose 8*i = 3*i + 190. Suppose 0 = 4*w - 4 - 4. Suppose -w*c + f = -c - 9, -3*f - i = -4*c. Is c a prime number?
True
Suppose -2*q + 3*g = -75, 7*q + 2*g = 3*q + 142. Let c be (-42)/4*q/(-21). Let r = c + 109. Is r prime?
True
Let i be 3/(-15) + (-7382)/(-10). Is i/14 - 2/(-7) a composite number?
False
Let b(m) = -5 + 3 - 2 + m + m**2. Let k be b(-3). Suppose -y = -k*y + 89. Is y a composite number?
False
Let z = -2 - -6. Suppose z*s = 4*r - 224, 3*s = -r - 4*r + 256. Is r prime?
True
Suppose -4 = -2*i - 2*i. Suppose 0 = 2*j - 10*q + 5*q + 3, i = 2*j - q. Is 26*((-1)/2 + j) prime?
True
Let t(f) = -2*f**3 + 2*f**2 - f - 8. Is t(-6) a composite number?
True
Let s(r) = -r**3 + 7*r**2 + 23*r + 8. Is s(9) a prime number?
True
Let f(r) = r**3 - 14*r**2 + 17*r + 1. Is f(13) composite?
False
Let m = -10 + 5. Let x = -2 - m. Suppose x*c = -0*y + y + 201, -c = 4*y - 67. Is c composite?
False
Let q(t) = -t - 6. Let i be q(-4). Let m be (7/(-4) + i)*4. Let y = m + 38. Is y a composite number?
False
Let q = -271 - -430. Is q a prime number?
False
Let i(n) = 4*n**2 - 36*n - 3. Is i(-16) prime?
True
Is (1087/2)/((-9)/6 - -2) a composite number?
False
Let y be (-402)/(-33) + (-2)/11. Let f = -9 + y. Is f prime?
True
Suppose d - 334 = -f, -f + 328 = d - 2*f. Let x = 575 - d. Suppose 2*p = 2*q + x, -p + 0*p + 5*q = -102. Is p prime?
True
Suppose -10 = -4*b - 2*t, 0 = 2*b - t - 0*t - 11. Let n(m) = 361*m - 1. Let z be n(1). Suppose 0 = -b*q + z - 52. Is q a prime number?
False
Suppose m + 16 - 44 = 0. Is m - -2*(-6)/(-4) prime?
True
Let j(s) = 7*s**2 - 24*s + 16. Is j(-19) prime?
True
Let m(d) be the third derivative of d**5/3 + d**4/24 + d**3/3 - d**2. Is m(3) composite?
True
Suppose m = -3*m. Suppose 5*i + 3*a + a - 575 = m, -5*i - 3*a + 580 = 0. Is i prime?
False
Suppose 0 = 4*a + a - 10. Suppose 4*d - 498 = -a*n, -5*d + 181 + 429 = 5*n. Is d a composite number?
False
Suppose -3*x - 4 = 5. Let n = -1 - x. Suppose w = n*w - 35. Is w a composite number?
True
Let l be (24/(-16))/(1/156). Let f = 352 + l. Is f prime?
False
Suppose -3*k = -5*k + 334. Is k a prime number?
True
Suppose 4*f = 2*i - 3*i + 20, i - f = 0. Suppose 517 = 5*t + 2*n, -4*t + i*n + 31 = -377. Is t a composite number?
False
Is 1*(-1 - (3 + -261)) a prime number?
True
Let a(v) = v**2 - 8*v - 7. Let j