posite number?
True
Let r = -164 - -349. Is r a prime number?
False
Let x(w) = -10 - w**3 + 2*w**3 + 2*w + w - 8*w**2 + 0. Is x(8) composite?
True
Let g(i) = -1. Let f(u) = 11*u**2 - 3*u - 6. Let k(d) = f(d) - 5*g(d). Is k(-4) a prime number?
False
Suppose -3*a = 2*p - 15530, -5*p + 11*a = 6*a - 38825. Is p composite?
True
Let h be 34/12 + 1/6. Suppose -x - 4*y + 154 = x, -h*x - 5*y + 228 = 0. Is x composite?
False
Suppose -1594 = -16*w + 14*w. Is w a composite number?
False
Let b = -3286 - -5032. Is b/12*2/3 composite?
False
Suppose 3*t = -3*x + 2685, -4*x = 2*t - 6*x - 1790. Is t prime?
False
Let o(r) = -r**2 - 2*r + 58. Is o(0) a prime number?
False
Let x = 127 - -90. Let n = x + 6. Is n composite?
False
Let f be (-1 - -2)*21/7. Suppose -3*k = 9, -3*t + f*k = 2*t - 404. Is t prime?
True
Let j be (1 - 2)/((-6)/2322). Suppose 387 = 3*q - 2*x, -3*q - 2*x + j = -x. Is q a composite number?
True
Suppose l - 3*l = 2*v - 138, 0 = -3*v + l + 195. Suppose -2*n + v = -268. Is n composite?
False
Let b(r) = 33*r. Let u be b(2). Suppose -49 = -v + u. Let l = -69 + v. Is l a composite number?
True
Let o be (1*4)/((-1)/(-10)). Let y(d) = 3*d**3 - 3*d**2 + 2*d + 1. Let s be y(2). Let j = o - s. Is j a prime number?
True
Suppose 0 = 2*s + 10. Let z(v) = -v**3 - 4*v**2 + v + 6. Is z(s) composite?
True
Let d be 4/3*(-3)/(-2). Suppose -4*l = -4*x, d*l = 4*l - 4. Suppose 4*g = x*t + 148, -2*g + 3*t - 23 = -3*g. Is g composite?
True
Let g(m) = -293*m + 1. Let b be g(-2). Suppose 4*z - 5*j - b = -158, -5*z + 5*j = -540. Is z composite?
True
Let u(x) = x**2 + 6*x - 2. Let f be u(-7). Let o = f + 8. Is o a prime number?
True
Let w be 0/(-2 - (-5 + 2)). Suppose w*d + 4*d - 140 = 0. Suppose -2*q + 6 + 20 = 2*r, -5*r = 2*q - d. Is q a composite number?
True
Let p = -139 - -316. Is p prime?
False
Is (-4)/(-2)*1266/12 prime?
True
Let k(o) = 9*o**3 - 3*o**2 + 3*o - 1. Let i be k(2). Let r = i + -32. Suppose 3*b = 2*b + 5*t + r, -3*t - 253 = -5*b. Is b a composite number?
False
Let k be 37/(1*(-2 - -3)). Let i = 61 - k. Let j = i - -103. Is j a prime number?
True
Let h be 55 - ((-2 - -4) + -5). Let l = 111 - h. Is l a prime number?
True
Let p(w) = w**2 - w - 3. Let r be p(3). Suppose 2*a + s = -4*s + 67, -r*a = -s - 109. Suppose 2*i - 74 - a = 0. Is i prime?
False
Let a(m) = 6*m**2 + 19*m - 1. Is a(-10) prime?
True
Let u be 0 - 0 - (-7 - -1). Let o(r) = r**3 - r**2 - r. Let t(h) = 5*h**3 - 2*h**2 + h - 7. Let d(s) = 6*o(s) - t(s). Is d(u) prime?
True
Let a(z) = -83 + 86 + z + 298 - 2*z**2 + 3*z**2. Let s = -2 - -2. Is a(s) a prime number?
False
Let x = 110 + 3. Is x a prime number?
True
Let v(y) = -2*y**2 - 6*y**2 - 7*y - y**3 - y**2 + 1. Let x be v(-7). Let q = x + 115. Is q a composite number?
False
Suppose -2*x - 16 = -2*r, 5*r = -x + 3 + 25. Suppose -v + 75 = -r. Suppose 0 = 3*u - 336 + v. Is u a prime number?
False
Suppose 4*j + 9 - 1 = 0. Let z be (1 + -1)*(-3 - j). Suppose z = -0*m - m + 13. Is m prime?
True
Let h = 588 - 355. Is h composite?
False
Let i(w) = 215*w**2 - 2*w + 1. Is i(1) a composite number?
True
Suppose 0*w = -2*w + 8206. Is w composite?
True
Let v(j) = j + 9. Let g be v(-4). Suppose 0 = -3*b - 2*r + 22, 2*b - 18 = -0*b - 2*r. Suppose 3*d - 143 = -b*c, g*d + c + c - 257 = 0. Is d prime?
True
Suppose 0 = 4*z - 0*z. Suppose -4*p = -2*s - 826 - 112, p - s - 234 = z. Is p a prime number?
False
Let z be 2*((-2)/4 + 2). Suppose -a = -f - 108, -z*a + 307 = -2*f + 86. Let r = -70 - f. Is r composite?
True
Suppose -17291 = -5*u - 0*j + 2*j, u - 3*j = 3466. Is u composite?
False
Let g(u) = 18*u**2 - 7*u - 9. Is g(-4) a composite number?
False
Let b(j) = j**3 - 6*j**2 - 9*j - 1. Let g be b(7). Let l be g/(-10) - 477/(-2). Suppose -4*r = o - 5*o - l, -o - 2 = 0. Is r prime?
False
Let w(b) = 2*b**2 + 30*b + 3. Is w(-20) a composite number?
True
Let y be 3/6*48/(-3). Let k(u) = -3 - 4*u + 5 + 0*u. Is k(y) prime?
False
Let o = -4173 - -5866. Is o prime?
True
Suppose -4*g + 8*g - 144 = 0. Is ((-48)/g)/((-4)/138) a composite number?
True
Let x be (-252)/(-8) + (-1)/2. Suppose i - x = -4*t + 41, i = -2*t + 36. Is 12/54 - (-878)/t prime?
False
Suppose -5*t - a = -t - 33, -3*t + 16 = -a. Suppose 3*q + 4*s + 152 = t*q, 5*s - 106 = -3*q. Is q a prime number?
True
Suppose 0 = 5*h - h - 3476. Is h prime?
False
Let x be 1 + -2*(-21)/6. Suppose f = 129 - x. Is f a prime number?
False
Suppose -5 = -r + 6*r. Let i be (9/6)/(r/(-2)). Suppose 2*a = -3*a - 3*z + 736, -i = z. Is a a composite number?
False
Suppose 4*d + 2*g + 3*g + 693 = 0, 0 = -d - 2*g - 174. Let t = d + 306. Is t a composite number?
True
Let m = 1495 - 674. Is m prime?
True
Is ((-4)/10 - (-23)/(-5))*-29 composite?
True
Suppose a - 2 = -6. Is 5751/63 + a/14 a prime number?
False
Suppose 4*a = -3 - 5. Is (-682)/(-14) - a/7 composite?
True
Let x(a) = 2*a**2 + 5*a - 4. Let w be x(-5). Suppose 100 = 3*n - 2*n. Let s = n - w. Is s a composite number?
False
Let f(o) = 38*o**2 + 6*o + 3. Is f(-4) a prime number?
True
Is (-135)/54*3628/(-10) a prime number?
True
Suppose -8*l + 10*l = 4298. Is l a prime number?
False
Let p = -720 - -1086. Let f = -175 + p. Is f a composite number?
False
Suppose -5*u - 10 = 10. Let g(w) = -w**3 + 1. Is g(u) a composite number?
True
Let w(r) = 74*r**2 + r - 2. Is w(3) a composite number?
True
Let w = 617 + -298. Is w composite?
True
Let z(t) = -t**3 - 6*t**2 + t - 7. Suppose -2*w - 3*q + 1 = -2*q, 0 = -3*q - 9. Suppose 2*m - 5*n + 14 = -2*n, -m = w*n + 7. Is z(m) composite?
True
Let f(k) = -k**3 + 0*k**3 + 8*k - 12*k**2 - 8 + 18*k - 40*k. Let c be -13 - -1 - (1 - 2). Is f(c) a prime number?
False
Let y(h) = 2*h**2 + 10*h + 9. Let f be y(-6). Is 2366/f - (-2)/6 composite?
False
Suppose 2*q - 107 = -k + 222, -k + 5*q = -357. Is k composite?
False
Suppose 6*x + 3117 = 9*x. Is x a composite number?
False
Suppose 0 = 4*w - 1047 - 1877. Is w a composite number?
True
Suppose 0 = 2*a - 5 - 3, -r = a - 4. Suppose -3*m - 2 - 10 = r, 3*y = 5*m + 221. Is y a composite number?
False
Let z(h) = -4*h**3 + 2*h**2 - h + 1. Let r be z(-3). Let j = r - 84. Suppose -3*u + j - 182 = -2*k, 2*k - 122 = -4*u. Is k composite?
True
Let u(t) be the third derivative of -t**4/12 - 7*t**3/6 - 3*t**2. Let y be u(-6). Suppose 0*m + y*m = -z + 65, z - 65 = 3*m. Is z composite?
True
Suppose z - 14 = -5. Let o(y) = -9*y - 8 - y**2 - 3*y**3 + 2*y**3 + 14*y**2 + 0*y**3. Is o(z) a prime number?
False
Suppose 3*v + 9 = -0*v. Let h = 1 - v. Suppose -3*u = -5*b - 44, 0 = -3*b + h*b - 5. Is u composite?
False
Let i(o) = o**2 - 3*o + 3. Let m be -6*3/(12/(-2)). Let g be i(m). Suppose -g*x + x - 3*l = -263, 4*x = 4*l + 496. Is x a composite number?
False
Is ((-4)/(-6))/(4/2454) composite?
False
Let y(v) = 2*v**3 + 3*v**2 + 1. Let c be y(-6). Let s = -229 - c. Is s composite?
True
Suppose 0 = -5*y - c + 11, -2*y + 4*c = y - 25. Suppose -9 + 21 = y*g. Suppose 0 = -g*u + 16, 4*u = -0*n - 3*n + 229. Is n prime?
True
Let c = -569 + 1086. Is c a prime number?
False
Let s = 24 + 127. Let k = s + -24. Is k a prime number?
True
Suppose 220 = 4*n - 4*t + t, -3*n = -4*t - 165. Suppose 78 = d - n. Is d prime?
False
Suppose 0 = -2*d - 10, l + 2*d = -2*d + 377. Is l a composite number?
False
Let l(n) = -2*n + 10. Let m be l(4). Suppose m*j - j = 251. Is j a prime number?
True
Let x(c) = -2*c + 14. Let d be x(7). Suppose d*j + 147 = 3*j. Is j composite?
True
Let c(d) = -d - 1. Let n be c(-5). Let q(w) = w**3 + w**2 - w + 2. Let v be q(0). Suppose -n*o = -v*f - 2*o + 80, 0 = o - 3. Is f a prime number?
True
Suppose 2*d + d = 105. Is d prime?
False
Let x(i) = 14*i + 1. Let m(h) = -3*h - 5. Let r be m(-2). Is x(r) a composite number?
True
Let x = -5 + 1. Is ((-6)/x)/(2/268) composite?
True
Let o(k) = 4*k**3 - 2*k**2 + k + 1. Let p be o(2). Suppose -3*a + p = 4*r - r, 1 = r + 3*a. Is r a prime number?
True
Suppose 5*a = -2*y + y + 1979, -3*a + 1197 = 3*y. Is a prime?
False
Let z = 2 - 0. Let q = z - 0. Suppose -2*d + 2*c = -36, -2*d - 5*c + 61 = -q*c. Is d a prime number?
True
Is 0 + (895 + -3)/4 composite?
False
Let s(n) be the third derivative of n**4/24 + 32*n**3/3 + 2*n**2. Let a(u) = 1. Let c(z) = 3*a(z) + s(z). Is c(0) prime?
True
Is 5442/14 - (-4)/14 a composite number?
False
Let f = 12 - 3. Let a(y) = -9 + y**2 + f. Is a(7) a prime number?