 -5*r + 3. Let x = 32 + q. Is x composite?
True
Let b(q) = q**3 - 10*q**2 + 8*q - 3. Is b(12) a composite number?
True
Is 1/3 + 9925/15 composite?
True
Suppose -k - 12 = -5*k, -5*k = -4*o + 133. Let u = -2 + o. Suppose -t + u = 4*t. Is t a prime number?
True
Suppose 0*d = -d - 158. Is (-2)/2 - d/1 a composite number?
False
Suppose -3*t + 6*t + 111 = -5*h, -93 = 4*h + t. Let c = h + 36. Suppose -c + 31 = i. Is i a composite number?
False
Suppose 14*c - 10387 = c. Is c a composite number?
True
Let s be ((-2)/(-5))/(3/(-15)). Is (s/3)/((-2)/759) a prime number?
False
Let i = 6809 - 3990. Is i a prime number?
True
Let v(k) = k**2 + k. Let z = -1 - -2. Let h(b) = 4*b**3 - 3*b**2 - 6*b - 1. Let t(x) = z*h(x) + 5*v(x). Is t(2) a composite number?
False
Suppose 5*q - 2*q = 15. Suppose q*n = -28 - 57. Is 1*((-4)/2 - n) a composite number?
True
Suppose -3*d + 1174 = -c, -1475 = -3*d + 5*c - 321. Suppose -d = -5*b + 2*u, -3*b + 9 + 231 = 3*u. Is b a composite number?
False
Suppose 2*g = 2*u - g - 646, -2*g = 8. Is u a prime number?
True
Let r(f) = f**2 - 4*f + 17. Is r(-7) a prime number?
False
Let y(l) = -l**3 - 8*l**2 - 6*l + 10. Let p be y(-7). Suppose -p*c = c - 148. Is c a prime number?
True
Let t(i) = i**3 - 4*i**2 - 2*i + 2. Let k be t(5). Suppose o - k = 3*y, 4*o + 0*o - 28 = 4*y. Suppose o*u - 3*a + 45 = 184, -5*a = -2*u + 129. Is u prime?
False
Let x = 28 - 20. Let m = 46 - x. Is m a composite number?
True
Let w(l) = 9*l**2 + 2*l + 2. Is w(3) a composite number?
False
Let s(p) = -5*p - 3 - 5 + 4. Let r be s(-6). Let d = r - -53. Is d composite?
False
Suppose 0*x + 12329 = 3*x + 4*m, 5*m = x - 4078. Is x a composite number?
True
Let j(h) = 2 + 1 - h + 1. Let w be j(0). Suppose -w*r + 0*b + 98 = 2*b, -r + 23 = 2*b. Is r composite?
True
Suppose -6*m = -10*m - 212. Let d = m + 91. Is d composite?
True
Suppose -4*v - 3*t + 220 = 0, -132 + 20 = -2*v - 2*t. Suppose -2*j + 174 = -v. Is j composite?
False
Let h(q) = -q - 8. Let s be h(-7). Let b = s - -6. Suppose -b*u + 88 + 157 = 4*n, 3*u + 95 = 2*n. Is n prime?
False
Let b be (2 - 3)*(-16)/4. Suppose -3 = -b*g + 3*g. Suppose 3*v = m + m - 176, 0 = 4*m - g*v - 346. Is m composite?
True
Is ((5 - 1)*-1)/(10/(-755)) prime?
False
Suppose 4*b + 262 = 38. Let d = b + 87. Is d a composite number?
False
Suppose 2*p + 8 = 0, -4*c + 2*p - 16 = 4*p. Is c + 471 + (2 - 4) a composite number?
False
Suppose 18 + 30 = -4*d. Let l = 65 + d. Is l a composite number?
False
Suppose 5*h + 76 = -r, -h = 5*r + 2*h + 270. Let c = 172 - 88. Let f = c + r. Is f prime?
False
Suppose -2*x = 2*j - 504, 6*x + 25 = x. Is j a prime number?
True
Let n = 45 - -98. Suppose -4*q - n = -a, 2*a + 2*q = 105 + 141. Is a prime?
True
Suppose -5*p - 5 = -k - 15, -2*p - 5*k = -31. Let d(u) = -7*u**2 - 3*u + 2. Let h(j) = -j**2 - j. Let w(l) = p*h(l) - d(l). Is w(-2) composite?
True
Let z(g) = -3*g**3 - 4*g**2 + 2*g - 1. Is z(-4) composite?
True
Let z(j) = 8*j**3 - 3*j**2 + 3*j - 3. Suppose 0*i + i - 2 = 0. Is z(i) composite?
True
Let x(g) = g**2 + 6*g + 7. Let n(o) = 8*o - 1. Let i be n(2). Suppose 5*u - 5*d + i = -15, -3*u + d = 20. Is x(u) a prime number?
False
Let n be (-10)/(-4)*(-8)/1. Let q be (-12)/n - (-3)/(-5). Suppose 50 = 2*c + 4*x, 0*x + x = q. Is c prime?
False
Suppose -y - 4*q + 13 = -9, 0 = 4*y - 2*q + 2. Let m(g) = 2*g + 0*g - 2*g + 3*g**2 - 2*g + 2. Is m(y) a composite number?
True
Suppose -32 + 12 = -4*f. Suppose 0 = -f*n + 5 - 25. Let g(r) = 2*r**2 + 2*r + 1. Is g(n) prime?
False
Is ((-1)/4)/((-2)/3832) composite?
False
Let i(g) = g + 62. Is i(0) composite?
True
Suppose -144 = 3*t - 2535. Is t composite?
False
Let u be -12*(168/9)/(-4). Suppose -2*q - 2*q = -u. Is q composite?
True
Suppose 2*d = -7*d + 8487. Is d composite?
True
Let w(m) = 2*m - 1. Let o be w(4). Suppose 0 = o*z - 5*z - 12. Is 458/z + 4/6 a prime number?
False
Suppose 5*y - 3*m - 58 = 0, 6 = -0*y - y + 5*m. Is y a composite number?
True
Suppose 6*k - 1353 = -3*m + 2*k, 1353 = 3*m + 2*k. Is m a composite number?
True
Let u(z) = 18*z - 5. Let o(r) = -19*r + 4. Let y(a) = 4*o(a) + 5*u(a). Let g be 2/(-7) + 153/21. Is y(g) a composite number?
False
Let s(b) = -122*b - 51. Is s(-10) composite?
True
Suppose u + 0*t + 3*t - 7 = 0, 28 = 4*u - t. Let b be (u - 3) + 2/(-2). Suppose -b*w = -8 + 2. Is w a prime number?
True
Let m be (-6)/27 - 94/(-18). Suppose 248 + 147 = m*i. Is i prime?
True
Let o(u) = 11*u**2 + 4. Let n be o(-4). Let b = -86 + n. Is b a prime number?
False
Let h(o) = o**3 + 10*o**2 - 13*o - 16. Suppose 0*p - 3*p - 33 = 0. Let l be h(p). Is (-462)/(-2)*2/l a prime number?
False
Let l(z) = 1407*z**3 - z**2 + 4*z + 1. Is l(2) composite?
False
Suppose 0*i = -i + 3. Suppose i*c = -9 + 87. Is c a prime number?
False
Suppose 4*u + 82 - 1426 = 0. Let g = -1 - -31. Suppose -m = q - 51 - g, -q + u = 4*m. Is m a composite number?
True
Let i(k) = -97*k + 1. Let d be i(-1). Suppose 0*y - d = -2*y. Is y composite?
True
Suppose 0 = -5*i + 65 + 90. Is i composite?
False
Suppose -5*n = -3*n - 6. Suppose n*q = 5*q - 614. Is q prime?
True
Let a(p) = p**3 - 6*p**2 + 8*p - 3. Let n be a(5). Is 6*2/(n/177) composite?
True
Suppose -j - 6 = 3*w - 240, 5*w = -2*j + 389. Is w composite?
False
Let h(x) = 7*x**2 + 22*x + 14. Let y be h(-11). Let j = y - 365. Is j a prime number?
False
Suppose 12*l = 14*l - 370. Is l a composite number?
True
Let z be 52 - (-6)/2 - -1. Let p = z - 7. Is p a prime number?
False
Let w(o) = 81*o**2 - 4*o + 7. Is w(2) composite?
True
Suppose 2*u - 2*j + 2 = 10, 0 = u + 3*j + 12. Suppose u = h - 4*h + 159. Is h prime?
True
Suppose -8 = -4*i + 16. Let n = i - 7. Is 28/(-2)*(0 + n) a prime number?
False
Suppose s + 2 = -0*s - 2*m, -5*s - m + 17 = 0. Suppose 483 = s*y - 521. Is y prime?
True
Let g(q) = -256*q + 5. Is g(-6) a prime number?
False
Let r be 5/(1 - 0/(-2)). Let m(h) = 2*h + 1. Let k be m(r). Let j = -4 + k. Is j composite?
False
Let p(c) = c**3 - 8*c**2 - 22*c + 32. Is p(15) a prime number?
True
Let i = 130 - 65. Is i prime?
False
Let z(w) = -6*w**3 - 4 + 3*w**3 - 2 + 2*w - 8*w**2. Let r(q) = -7*q**3 - 17*q**2 + 3*q - 12. Let d(h) = -2*r(h) + 5*z(h). Is d(-7) composite?
True
Let f = 5 + -5. Suppose -5*j + 0*j + 95 = -3*t, -5*j - 5*t + 135 = f. Is j a composite number?
True
Let o = 2 + 3. Let y be 1/(2/4 - 0). Suppose y*c + o*t + 19 = 3*c, 4*t = 4*c - 76. Is c composite?
False
Suppose -l = 1 - 0. Let u(z) = -9*z + 1. Is u(l) prime?
False
Let r = -7 - -7. Suppose r = -2*q - 27 + 77. Is q a composite number?
True
Let w = -7 + 10. Suppose -130 = -5*n - w*u + 166, 0 = n - u - 56. Is n composite?
True
Let f(n) = n**3 - 3*n**2 + 2*n - 5. Let d be f(4). Suppose 0 = 2*y - d - 49. Is y prime?
False
Let a(f) = -f**2 + 6*f - 4. Let g be a(4). Let c(k) = -5*k + k + g*k**2 + 5*k - 2 + 0*k. Is c(3) a prime number?
True
Is (-257)/(-4) - (-1 + 1/4) a composite number?
True
Let b be ((-6)/12)/(1/(-8)). Suppose -c = 3*c - 4*u, 5*u + b = 4*c. Is (141/(-6))/(2/c) a prime number?
True
Suppose a = 5*u - 4381, 4*a + 4729 = 4*u + 1237. Is u a composite number?
False
Suppose -4*t + 2 = -22. Suppose 0 = -t*n + 8*n - 74. Is n a prime number?
True
Let a(z) = -z**2 + 6*z + 7. Let g be a(-6). Let t = g + 160. Is t a composite number?
True
Suppose -2*n + 5*y - 56 = 0, -5*n - y - 50 = 63. Is n/(-1)*(-3)/(-1) a composite number?
True
Suppose -4*b = -b. Let f(t) be the second derivative of t**5/20 + 9*t**2/2 + 7*t. Is f(b) composite?
True
Is ((-1982)/4)/(8/(-16)) a prime number?
True
Suppose -y = -0*y - 133. Is y a prime number?
False
Let l(g) = 5*g**2 + 3*g. Let h be l(3). Suppose -3*v + 3 = -h. Is v a composite number?
False
Let h = 5419 - 1806. Is h a composite number?
False
Suppose 1 = -o - 0*o. Is -1 + 90 + o + -1 prime?
False
Is (4/(-6)*-13)/(2/33) a composite number?
True
Let b = -10 + 15. Suppose -5*x = -2*l + 50, l - b*l = 4*x - 44. Is (-188)/(-5) + (-9)/l a prime number?
True
Suppose 0 = -5*l - 3*s + 7 + 11, -2*s = 8. Suppose 0 = 2*d - 10, -2*h + 4*d = l*d - 456. Is h a composite number?
False
Let i(x) = -11 + 3*x - 8 + 4. Let g(z) = z - 4. Let t(y) = 9*g(y) - 2*i(y). Is t(9) a composite number?
True
Let k = 5 - -78. Is k composite?
False
Let f be (-6)/9*(-222)/4. Suppose f = 2*g - x, 3*x - 177 = -5*g - 57. Is g a prime number?
False
Let i = 242 - 66. Suppose -v +