pose -5*t - 5*r = -9515, -3*t - 4*r + 2004 + 3701 = 0. Is t a prime number?
True
Let m = 27089 + -15078. Is m a composite number?
False
Let j(b) = 199*b**2 + 10. Is j(-3) prime?
True
Let g = 933 - -2403. Let z = g - 1753. Is z a composite number?
False
Suppose 0 = 4*g - 7 - 9. Suppose -g*r - 7 = 3*k, -4*k + 9 = -2*r - 11. Suppose -5*s = -k*p - 110, -13 + 3 = -2*p. Is s prime?
False
Suppose -2*k = -k + 4, -3*i + 1771 = -k. Is i a prime number?
False
Suppose -i + 150244 = 3*i. Suppose -i + 997 = -12*r. Is r a composite number?
True
Suppose -2 = 3*d - 2*d. Let o be -4*d/8*4. Suppose o*x + s = 2351, -4*s = -4*x + 2842 - 506. Is x composite?
False
Let s(q) = 4*q**3 - 8 - 17*q**2 - 6*q**3 + 3 + 4*q. Is s(-12) composite?
True
Let q = 167 + 3. Suppose 2*u = 2002 - q. Suppose 5*c + u = x + 4*c, 896 = x + 3*c. Is x a composite number?
False
Let x(q) = 2*q**2 - 27*q + 5. Is x(22) composite?
False
Let v = 386 - 243. Is v composite?
True
Let m be 4/62 - (-366)/93. Suppose 2*x = -2*h + 638, -x + 126 + 835 = 3*h. Suppose m*r + 2*l = 7*l + 291, -4*r - l = -h. Is r a prime number?
True
Suppose 0 = -8*j + 11*j + 2*x - 6959, 4*j - 9278 = -3*x. Is j composite?
True
Is 4292/232*-194*(-1)/1 prime?
False
Is (6 - (-60655)/10)*2 a prime number?
True
Let y = 11143 + 334. Is y a prime number?
False
Suppose 22407 = a + n, 0 = 7*a - 5*a + 3*n - 44816. Is a composite?
True
Let o be (-3)/((-63)/(-6)) - (-2018)/7. Let g = 499 - o. Is g a composite number?
False
Let o(l) = -102*l - 9. Let s(v) = -101*v - 10. Let q(i) = -7*o(i) + 6*s(i). Is q(1) a composite number?
True
Suppose 3*p + 31*p = 80138. Is p composite?
False
Let t = 115 - 64. Let v = -313 - t. Let i = -113 - v. Is i composite?
False
Let m(y) = 5*y**3 - 13*y**2 + 31*y + 12. Is m(5) a prime number?
True
Let d be -2 - (-2 + 3)*-3. Let n be (-9 - d)*5/(-10). Suppose n*b - 342 = 593. Is b a prime number?
False
Let i(h) = h**3 + 6*h**2 - 8*h - 7. Let k be i(-7). Suppose -3 + k = -t. Suppose -u - 5*s + 539 = t*u, 5*u + 3*s = 690. Is u composite?
True
Let s = -201 - -383. Suppose 2*o - 5 - 1 = 0. Suppose -481 = -o*a + s. Is a a composite number?
True
Suppose -6*j = -2*j - 8. Let f be 1*j/2 + 45. Suppose -g + f = -21. Is g prime?
True
Let b(j) = 31*j - 1. Let o be b(1). Suppose -5*r + o = -3*r. Suppose 0*f - 2*u = f - r, -2*u - 4 = 0. Is f a prime number?
True
Suppose -4*z = -7*z + m + 95, z - m = 31. Let q = z - 83. Let t = -4 - q. Is t a prime number?
True
Suppose 566*f + 1127 = 573*f. Is f a prime number?
False
Let d(x) = -3*x**3 - 13*x - 17. Is d(-9) prime?
True
Let a = -200 - -787. Is a prime?
True
Let g be ((-4)/(-6))/((-4)/(-30)). Suppose g*y - y = 0. Suppose 2*x - 5*v - 214 - 263 = y, 2*x - v - 497 = 0. Is x a composite number?
False
Suppose -4*r + 0*r = 5*h - 71, 3*r - 60 = 3*h. Let m = 8 - r. Let a = m - -138. Is a a prime number?
True
Let u = -22 - 22. Let x = 79 - u. Is x composite?
True
Let v = 43574 + -3379. Is v a prime number?
False
Let c = -34 + 36. Suppose 15 = -5*h - 5*b - 0, -c*h + 5*b = 13. Is (508/12)/(h/(-12)) prime?
True
Let n(f) = 387*f - 8. Let k be (4 + 70/(-15))/(2/(-3)). Is n(k) composite?
False
Let c(w) = -2*w**3 + 25*w**2 - 10*w - 18. Let p be c(12). Let o(z) = 8*z**2 + 17*z - 25. Is o(p) a composite number?
True
Let z(d) be the second derivative of -d**5/20 + 2*d**4/3 + d**3/6 - 3*d**2/2 + 2*d. Let h be z(8). Suppose -2*u + 5*b - 81 = -4*u, -u + h*b = -18. Is u prime?
False
Is 10211*(-2)/10*-5 a composite number?
False
Let y be -1 + 8/14 - (-426)/14. Is y/70 - 17980/(-7) composite?
True
Suppose -3*t - 3 = -69. Suppose 0 = 18*z - t*z + 356. Is z a composite number?
False
Let c = 4 - 0. Let r be (c/(-6))/(6/9). Is ((-3)/9)/(r/237) composite?
False
Suppose 3 = -g, 3*m + 2*g + 0*g - 426 = 0. Let x = m + -87. Is x prime?
False
Let o(m) = 6*m**2 - 7*m + 31. Let a be o(13). Suppose 2*u = a + 620. Is u composite?
False
Let y(x) = x**2 + 4*x - 3. Let v be y(-4). Let t = v - -6. Suppose 0 = 2*k + 3*r - 257, t*k + 4*r = 5*k - 222. Is k composite?
True
Let k(x) = 4*x**2 + 2 - 5 - x**3 + 0 + 7 + 5*x. Let g be k(5). Suppose -g*l - 138 = -6*l. Is l prime?
False
Let i(o) = 4*o**2 - 2*o + 14. Let l be i(17). Let p = l + 57. Is p composite?
False
Let g = 228 + 23. Is g composite?
False
Let r = 1931 - 901. Suppose 5*k = 2*o - r - 968, 3*k = 5*o - 4957. Is o composite?
True
Let j = 10 - 12. Let t be (5/j)/((-2)/(-4)). Let n(w) = w**2 + w - 6. Is n(t) a prime number?
False
Is 41*(3 + 303) + -7 composite?
False
Let c(l) = -3*l + 31*l**2 - 5 + 7*l - 12*l**2 - l. Suppose -q + 21 = 5*b, -b + 2*b - 13 = 2*q. Is c(q) prime?
False
Let j = 6989 + 3432. Is j a prime number?
False
Suppose 2*x + 2*r + 966 = 40, -2*x - 3*r = 926. Let t = 1167 + x. Suppose -3*o + 541 = -5*u, 0*o - 4*o - 2*u + t = 0. Is o a prime number?
False
Suppose 8*s = 4*s + 8. Suppose -5*y - 2 = -c, 3*c - c = -s*y + 4. Let w(a) = 22*a**2 + 1. Is w(c) composite?
False
Let f = -70 + 80. Suppose -i = -f*i + 25101. Is i composite?
False
Let w(n) = 525*n**2 - n + 9. Let o be w(-3). Suppose 2*r + 0*r = -4*p + 18940, p + r = o. Is p a prime number?
True
Let p be -6*(-1)/(-1) + 1. Let f be 260/p*(-1 + -1). Suppose -i = -189 - f. Is i prime?
True
Let i(p) = 23*p + 4. Let t(j) = -j**2 - 8*j - 3. Suppose -2*z = -m + 16, -2*z + m = -4*m + 32. Let o be t(z). Is i(o) a prime number?
True
Let q be (-1 - (-12)/9)*57. Suppose -g = -m - 3, -q = -5*g + 1. Is m/(-4) - (-51)/12 a composite number?
True
Let v(k) = 13*k - k**3 + 7*k + 21 - 7*k**2 - 2*k - 8*k**2. Is v(-17) a composite number?
False
Suppose -6 - 10 = -3*b + 5*o, -b + o + 4 = 0. Suppose -3*n + 20 = b*n. Suppose -n*i + 2*i = -602. Is i prime?
False
Suppose -8*o - 31 + 7 = 0. Is (1261/o - -4)*-3 a prime number?
True
Let w be -2*65/(-15) + (-2)/3. Suppose w*x - 5*x - 1266 = 0. Is x a composite number?
True
Suppose -5969 + 865 = -8*q. Let u = q + -269. Suppose -957 = -4*l - 4*o - u, -2*l + 300 = -o. Is l prime?
True
Suppose 5*q = 4*s - 20386 + 6746, q - 4 = 0. Is s composite?
True
Let q(s) be the first derivative of -s**2/2 + 7*s + 8. Let u be q(4). Suppose -u*j + 0*j + 5*m = -1600, -2144 = -4*j - 4*m. Is j a composite number?
True
Suppose -4*i - 7152 + 144748 = 0. Is i a prime number?
False
Let c(s) = s + 9. Let y be c(-4). Suppose -20 - y = -5*w. Suppose w*k + 9*r - 4*r - 1605 = 0, 0 = -2*k - 5*r + 654. Is k a composite number?
False
Let x be -2 + 12/5 - 1077/5. Let h = x - -450. Is h composite?
True
Suppose 2*k = 3*k + a + 1351, 4*a + 4056 = -3*k. Let d = k - -3149. Is d prime?
True
Suppose j - 2*u - 19113 = 0, 2*u - 17 = -9. Is j a composite number?
False
Is (1531/3)/(22/726) a composite number?
True
Suppose -5*q = 5*k + 25, -5*k - 40 + 6 = -4*q. Is (1/k*4911)/((-1)/2) prime?
True
Let r(v) be the first derivative of 35*v**2 + 0*v**2 - 4 - v + 55*v**2. Is r(1) a composite number?
False
Suppose 3*c = 5*j + 9484, 5*c + 6*j - 15810 = 11*j. Is c composite?
False
Suppose a = 2*m + 4667, 0 = -5*a + 8*a + 3*m - 14001. Is a composite?
True
Is (-3)/(-5) - (-118382)/55 a composite number?
False
Suppose -4*t = -3*j + 163, -2*t = -4*t - 8. Suppose 2*w = 2*u - j - 69, -2*w - 173 = -3*u. Is u a composite number?
True
Let l(b) = -b**2 + 5*b + 1. Let k be l(0). Is (-9 - -10) + 372/k composite?
False
Let h be 1/4 + 42/24. Suppose h*q + q = 255. Is q a composite number?
True
Suppose -644363 = 57*m - 3001712. Is m a composite number?
False
Is ((-56)/20)/(9/(14445/(-6))) a prime number?
False
Let p = 4 - 22. Is (-896)/(-6) + 6/p composite?
False
Is (-15)/(-30)*14028/6 composite?
True
Let l(x) = 56*x**2 + 27*x - 1. Is l(-4) prime?
True
Suppose 4*n - 10*n = -18. Suppose v - 471 + 76 = -5*k, 4*k = n*v + 316. Is k prime?
True
Let q be 0/(-2) - (2 + -5). Suppose 3*s - 53 = 5*j + 6, q*s = -j + 89. Let x = s + 46. Is x a composite number?
True
Let c(q) = -3*q - 30. Let y be c(-11). Suppose -y*v - 1985 = -8*v. Is v a prime number?
True
Is (-139 + -3)*(-21)/6*1 a composite number?
True
Suppose -10*l = -5*t - 6*l + 20623, 4*l - 12393 = -3*t. Is t composite?
False
Let p(i) be the first derivative of -i**3/3 - i**2 + 2743*i - 22. Is p(0) prime?
False
Is (1/5)/(2/13610) a prime number?
True
Let s(a) = 18228*a**3 + a**2 - 5*a + 3. Is s(1) composite?
True
Suppose -t = 3*i - 2*i - 309, 0 = -3*t + 6. Suppose 2*l = -v + 183, 0 = -3*l - 0*v + 5*v +