 r(x) = 61*x + 7. Let k be 176/30 - 8/(-60). Is r(k) prime?
True
Let d = -565 - -1074. Is d prime?
True
Suppose 8 = -2*t, -5*t = 2*d - 0*t - 90. Is d a prime number?
False
Let i(h) = h**3 - 2*h**2 + 7*h - 3. Let j be i(5). Suppose t - p = p + j, 5*t = 4*p + 559. Is t a composite number?
True
Suppose -4*q - 2*u = -354, -5*q - 2*u = -0*u - 443. Is q a prime number?
True
Let r(x) be the second derivative of 17*x**4/12 - 2*x**3/3 + 2*x**2 + 5*x. Is r(3) a prime number?
False
Let m(i) = i**3 + 21*i**2 + 41*i + 10. Is m(-17) a composite number?
True
Suppose 0 = 7*x + 388 - 2537. Is x a composite number?
False
Let c(a) = 473*a + 2. Let h be c(1). Let i = h + -224. Is i composite?
False
Let h = 1 + 4. Is ((-15)/(-2))/h*2 a prime number?
True
Let j = -4 - -8. Suppose -j*a = -a - 327. Is a a composite number?
False
Suppose -5*c - 15 = -5*z - 10*c, 0 = -3*z + 2*c + 4. Suppose -2*s = -5*g - s + 118, 0 = -s - 3. Suppose -l = -z*l + g. Is l composite?
False
Suppose v = 4*j - 1227, -4*j = v + 204 - 1425. Suppose k - 4*c = 3*k - j, k - 2*c = 145. Is k a composite number?
False
Suppose -u = 2*u - 6. Suppose 3*z = -2*z - u*i + 70, z + 2*i = 22. Is ((-141)/z)/(1/(-4)) a prime number?
True
Suppose -186 + 30 = -2*p. Suppose 8*r - 3*r - 57 = -q, -p = -2*q - r. Is q a composite number?
False
Let j(f) = -907*f - 14. Is j(-3) a prime number?
True
Let o be (-885)/(-4) + (-3)/12. Let l = 720 - o. Suppose -136 - l = -5*d. Is d a prime number?
True
Let m(g) = 4*g**2 + 9*g + 3*g**3 - 2*g**3 - 7*g**2 + 8. Is m(7) composite?
True
Let w = 10789 - 4808. Is w a composite number?
False
Let d = 583 + -186. Is d composite?
False
Suppose -2*w - 12 = -5*w. Let n(a) = -3*a - 6. Let o(j) = 2*j + 5. Let s(l) = -3*n(l) - 4*o(l). Is s(w) a prime number?
True
Let x = -162 + 227. Is x a prime number?
False
Let i(m) = m**2 + 3*m + 2. Let u be i(-4). Let l be 22/u + 1/3. Suppose 0 = -2*f, 0*p + 316 = l*p + 3*f. Is p a prime number?
True
Let q(b) = 395*b - 6. Is q(1) prime?
True
Let h = 46 + 4. Suppose 2*y = -2*d - 2*y + h, -4*d + 124 = 2*y. Is d composite?
True
Let n(p) be the second derivative of p**5/20 - 3*p**4/4 + p**3/6 + 13*p**2/2 - 4*p. Is n(9) prime?
False
Let m(y) = -y**2 - 5*y - 2. Let n be m(-5). Is 431/3 - n/(-3) prime?
False
Let i(y) = 3*y + 1. Let d be i(-2). Let a(r) = -r. Let n(s) = 79*s + 4. Let m(u) = -4*a(u) - n(u). Is m(d) composite?
True
Let s(l) = -26*l**3 + l**2 - l - 1. Is s(-3) composite?
True
Let f(y) = -2*y + 13. Let z be f(11). Let v = z - -18. Suppose -5*p = -26 - v. Is p a composite number?
False
Let i be 2 - 7 - (1 - 1). Is ((-1)/(-2))/(i/(-890)) a composite number?
False
Suppose -8 - 11 = -o. Is o composite?
False
Suppose -7*o = -4*o - 561. Is o composite?
True
Let g be ((-2)/3)/(2/(-9)). Suppose 0 = 3*u - 0 - g. Is 1/(1*u/143) composite?
True
Let g be 14 - (-2 - -4 - 0). Suppose -3*s - 5*d + 14 = -8, 2*s + 4*d = g. Is s a prime number?
False
Suppose 6*y - 2457 - 969 = 0. Is y prime?
True
Let y(p) = p**3 - 2*p**2 + 7*p - 1. Is y(5) composite?
False
Suppose 4*i + i = 4795. Is i composite?
True
Let r(f) = f**3 - 9*f**2 - f + 9. Let d be r(9). Let k be 3 - (d/(-1))/(-3). Suppose k*p + 4*t - 125 = 0, -p + t = 6*t - 38. Is p composite?
False
Let g(l) = l**2 + 9*l + 6. Let t be g(-8). Is (-40)/t + 0 + 2 a prime number?
False
Let g(c) = -37*c + 4. Let y(n) = -14*n**3 + 2*n**2 + 17*n - 9. Let m(v) = -5*v**3 + v**2 + 6*v - 3. Let t(u) = -17*m(u) + 6*y(u). Let x be t(5). Is g(x) prime?
False
Let k(v) = 80*v**2 - 2*v + 13. Is k(3) a composite number?
False
Let k be 1*(-6*2)/(-3). Suppose z - k*z + 2*u + 599 = 0, 0 = -z + 5*u + 178. Is z composite?
True
Let i = 0 - 0. Suppose i = -3*m, 5*m + 261 = -c + 4*c. Is c prime?
False
Suppose -3*c - 7 = 5. Let s be (-402)/c*4/6. Is s*(2 + 1 - 2) a composite number?
False
Suppose 4*q = 3*a - 24, -4*q - 12 - 12 = a. Is (-3350)/(-30) - (-4)/q a prime number?
False
Let u = 0 - -2. Is u*22 - (-2 - -3) a composite number?
False
Suppose 66 = v - 93. Suppose -5*y + v = -46. Let x = y - 6. Is x composite?
True
Let p be (-42)/8 + (-6)/8. Let i(w) = -2*w**3 - 4*w**2 - 3*w + 1. Is i(p) a composite number?
False
Let s = 537 + 182. Is s a composite number?
False
Suppose 2*m + 4*f - 692 = 0, m - 5*m = 5*f - 1390. Is m/6 - (-6)/9 a composite number?
False
Suppose -207 = -3*i + 207. Suppose -2*m - i = k - 44, -3*m + 4*k = 163. Is m*(0 - 3)/3 composite?
True
Let t(w) = -w**2 + 16*w + 8. Is t(13) a prime number?
True
Suppose -3*z + 3*t = -11 - 7, -3*t = 6. Let k(i) = 2*i**3 - 3*i**2 + i - 1. Is k(z) composite?
False
Suppose -i + 55 = -s, 5*i - 220 = i + 3*s. Is i a prime number?
False
Let k = 0 - -3. Is ((-43)/(-2) - k)*2 a prime number?
True
Let b be 18/4 - (-2)/(-4). Let q = b + -5. Is -1 - -1 - 95*q a composite number?
True
Let m = -40 + 42. Let b(q) = -q**2 + q. Let x(k) = k**2 + 6*k - 1. Let y(r) = -3*b(r) + x(r). Is y(m) a prime number?
False
Let i = 59 - -570. Is i prime?
False
Suppose 0 = -4*h + h + 171. Is h*(-1)/6*-4 a composite number?
True
Suppose 5*i + 14 = -4*p + 44, 3*i = p + 1. Let a(k) = -15*k**2 + 3*k + 5. Let y(b) = -5*b**2 + b + 2. Let o(l) = -3*a(l) + 8*y(l). Is o(i) prime?
True
Suppose 0 = 5*b + 221 - 2196. Is b a prime number?
False
Let b(y) = y**3 - y**2 - y - 1. Let v be b(2). Let u be (v/2)/((-4)/(-848)). Suppose -72 = -2*n - 3*s, -4*n + 3*s + 56 = -u. Is n a composite number?
True
Suppose g = -2*h + 464, 3*g - 74 = h - 313. Is h prime?
True
Suppose 5*p - 2*p + 24 = 0. Is (-996)/p*(-2)/(-3) composite?
False
Let h = 17 - 4. Let c = h - 6. Is c a prime number?
True
Let q(a) = 3 - a - 10*a - 12. Is q(-6) composite?
True
Is (-1990)/5*1/(-2) a prime number?
True
Let h(j) = -j**3 - 6*j**2 + 8*j + 9. Let t be h(-7). Suppose -t*y + 5*y - 5*k = 450, 2*y = -k + 287. Is y composite?
True
Let i be 2 + -1 - (1 - 5). Suppose m - 38 = -i. Is m prime?
False
Let c = -35 + 78. Is c prime?
True
Is -2*(-1 - 0) - -57 a composite number?
False
Let z = -13 + 14. Is z + -3 - -195 - -1 a composite number?
True
Let k = -1978 + 3377. Is k a prime number?
True
Let f(r) = 22*r - 1. Is f(1) a prime number?
False
Let c(m) = 5*m**3 + m + 12. Let j(y) = 9*y**3 + 2*y + 23. Let h(u) = -11*c(u) + 6*j(u). Let o be h(0). Is (1 + -20)*(-7 + o) a composite number?
False
Let p(q) = 0*q**3 + q - q**3 + 2*q + 0*q**3 + 4*q**2. Let a be p(-7). Suppose 0*k = -2*k + a. Is k a prime number?
False
Is (5/(-3) - -1)/(76/(-25422)) prime?
True
Let x = 4366 + -2609. Is x composite?
True
Suppose 12 = 5*p + 2. Let y(g) = -4*g**3 + 4*g**2 - 2*g - 1. Let h be y(p). Is (-2)/3*1*h a composite number?
True
Is (22/6)/(5/345) a composite number?
True
Let y = -21 + 30. Let p(i) = 5*i + 5*i - y - 3*i. Is p(6) prime?
False
Let f(z) = z**3 - 10*z**2 + 11. Suppose 3*u - 3*q = 18, 0 + 42 = 4*u + 5*q. Let r be f(u). Let t = r - -196. Is t prime?
True
Let w be (28/(-16))/(1/(-4)). Let i be 2 - -1 - (0 + -1). Suppose w*a = i*a + 237. Is a a composite number?
False
Let b be 177/(-1)*(-3)/(-3). Let v = 357 - b. Suppose -3*k - v = -5*k. Is k composite?
True
Suppose j + 4*u - 453 = 0, -2*j + 5*j + 4*u - 1391 = 0. Is j prime?
False
Is ((-10)/(-15))/(2*(-1)/(-1893)) prime?
True
Suppose h - 13 = -2*p, -5*p - 23 + 63 = 4*h. Let g(l) = -h*l**2 + 51*l**2 - l + 2*l. Is g(1) a composite number?
False
Let t be (4/6)/((-4)/654). Let v = -32 - t. Is v composite?
True
Let p be (-3)/3*(-1 - 4). Suppose 0 = -p*b + 4*t + 99, t + 111 = b + 4*b. Is b composite?
False
Let c = -126 + 181. Is c composite?
True
Suppose j = -h + 74, j - 3*h = 2*j - 82. Suppose -4*b - 2*m = -3*b + j, -398 = 5*b - 2*m. Let p = b + 155. Is p a composite number?
True
Let z = -41 + 15. Is z/(-10) + (-16)/(-40) a prime number?
True
Let z = 6 + -5. Let u(p) = 67*p**3 - p**2 + 2*p - 1. Is u(z) a prime number?
True
Is ((-1797)/(-2))/(10/20) prime?
False
Suppose 2*l - 20 = -2*l. Suppose 6 - 1 = -l*y. Is 382/((y - -1) + 2) a composite number?
False
Suppose -2*n - 2*f + 70 = 30, 4*f + 52 = 2*n. Suppose -n*v + 18*v = -184. Is v composite?
True
Suppose -5*u = -i - 7, 0 = 4*i - u + 5*u + 4. Is (23/i)/((-1)/2) prime?
True
Let u(h) = h**3 + 4*h**2 - 3*h + 4. Let a be u(-5). Let c be (a/(-15))/(2/10). Is c*3/6*6 a composite number?
True
Let n = 28 + -22. Let o(w) = 53*w + 11. Is o(n) a prime number?
False
Suppose -4*a + 16 - 4 = 0. Suppose -r + 28 = 