 = 3*f - c*f - 3*y + 25. Is f composite?
False
Let j be 1/7 - 8/56. Suppose j = -s, 3*s - 897 = -4*t - 261. Is t a composite number?
True
Let v = -4 + 6. Suppose -v*c - 28 = -c. Let a = 3 - c. Is a prime?
True
Let l be 1 + 0 - (-1 - 0). Suppose 0 = -5*q + 3*k + 341, 0*q + l*k - 331 = -5*q. Is q a prime number?
True
Suppose 4*y - 11 = -f - 4*f, 2*f + 4*y - 2 = 0. Let w be (-8)/12 + 3/(-9). Is w/(1*f/(-75)) a prime number?
False
Suppose 0 = 3*y - 2*d - 25, 2*y + 3*d = 2 - 7. Suppose 889 = 4*l - 0*k + y*k, 0 = 5*l + 3*k - 1121. Is l composite?
True
Suppose 7*c - 3*c - 20 = 0. Suppose w = c*w, -5*w + 345 = 3*l. Is l a composite number?
True
Let k(h) = 0 + 2 + 7*h + 2*h. Let p = 0 - -5. Is k(p) prime?
True
Let r(m) = 68*m + 1. Let n(p) = p**2 + 16*p + 6. Let q be n(-16). Is r(q) a composite number?
False
Let m(g) = 7*g**2 - 2*g - 1. Let c be m(-1). Let r(n) be the first derivative of -n**4/4 + 10*n**3/3 - 9*n**2/2 + 3*n - 1. Is r(c) prime?
True
Let l(d) be the third derivative of d**4/24 - 2*d**3/3 + 3*d**2. Let w be l(4). Suppose 0*h - h - 5*s + 278 = w, h - 228 = 5*s. Is h a prime number?
False
Suppose -4*g = -460 - 48. Is g a composite number?
False
Suppose 0 = -3*l - 2*w + 453, 3*w + 78 = -4*l + 683. Is l a prime number?
True
Let c(x) = -2*x**3 - 6*x**2 - 7*x - 4. Let p be c(-4). Suppose -p = 3*d - 7*d. Let k = 23 + d. Is k a prime number?
True
Suppose -3*q - 347 = -5*i, -3*i = -5*q - 138 - 67. Let c = -32 - i. Let h = c - -169. Is h prime?
True
Let a be (40/(-14))/(6/(-21)). Suppose 5*x - 825 = -a. Is x prime?
True
Let f(t) = 253*t**2 + t - 1. Is f(-1) composite?
False
Let a be 2*4/((-24)/1041). Let y = -184 - a. Is y composite?
False
Suppose w - 4*l = -4*w + 8, -2*l - 4 = -3*w. Suppose w = -t + 189 + 12. Is t a prime number?
False
Suppose -3*s - 3*k = -1771 - 5, 0 = -2*s + k + 1169. Is s composite?
False
Suppose -5*c + c + 556 = 0. Is c a composite number?
False
Suppose 0 = -2*z + 4 - 0. Suppose -224 = -3*l + n, -4*n + n + 142 = z*l. Suppose 3*g - l = g. Is g prime?
True
Suppose 4*k + 1 = 2*n - 21, -1 = 5*n + 4*k. Suppose 0 = -4*p - g + 20, n*p + 2*g + 3*g = 15. Suppose p*l = -4*o + 296, -5*o - 2*l + 411 = -6*l. Is o prime?
True
Suppose -4*l = -77 - 63. Is l a prime number?
False
Suppose 4*m + 2*c = -m + 14, 17 = 2*m - 3*c. Suppose m*v + 13 = 5*j + 3, -4*j + 3*v = -8. Is j prime?
True
Suppose -2*f - 49 = -p, -2*f = 7*p - 2*p - 269. Let d = 136 - p. Is d prime?
True
Let r be 20/3 + 2/6. Suppose -2*s = -1 - r, -t - s + 9 = 0. Suppose -t*k + 18 = 2*d, d + 0*k = k + 9. Is d composite?
True
Let h = -40 + 107. Is h a prime number?
True
Suppose -2*z + 5*v = -239, -505 = -z - 3*z + v. Let c = -50 + z. Is c composite?
True
Let y be 5 - (-2)/(-1) - 2. Suppose -y = 2*g - 7. Is g a prime number?
True
Let v be 4/(-10) - (-8)/20. Suppose v = 2*l + l - 231. Is l a prime number?
False
Suppose -5*n = 2*n - 91. Is n prime?
True
Let v = 95 - 48. Suppose v + 40 = k. Is k composite?
True
Let i be (3/4)/((-3)/(-1044)). Suppose -u = -4*u + i. Is u a composite number?
True
Let f(d) = -2 - 7*d + 4 - 1. Let x be f(-5). Suppose 4*b = 4*t + x, 4*t = 5*b - 5 - 42. Is b a composite number?
False
Let s = 37 + -16. Is s a prime number?
False
Let l = -9 - -8. Is (5/(-15))/(l/705) prime?
False
Let g be (0 + -1)/(2/994). Let l = -294 - g. Is l a prime number?
False
Suppose 3*m - 8 + 20 = 0. Let h = m - -14. Is h prime?
False
Suppose -5*z = 3*s - 3148, -3*s + 2*z + 178 = -2956. Suppose -378 = 4*t - 4*i - s, 5*t = 2*i + 832. Is t a composite number?
True
Suppose 4*n - 5*y = 20, -3*y - 3 + 8 = n. Let z(a) = 10*a + 3. Let w be z(4). Suppose 2*m + 2*o = 3*o + w, -n*m = 5*o - 100. Is m prime?
False
Let t = 86 + -33. Is t a prime number?
True
Let t(o) = -o**3 + 8*o**2 - 6. Let i be t(8). Let c = 21 + i. Is c composite?
True
Suppose -f + 49 = -51. Suppose -5*w = -b - 0*b + 2, -5*b = 5*w - f. Suppose 5*t - 88 = b. Is t a composite number?
True
Let t = 694 + -487. Let h(f) = 2*f**2 + 4*f - 1. Let l be h(-3). Suppose -2*d = -l*d + t. Is d composite?
True
Let z(o) = -o + 1. Let s(g) = -3*g - 3. Let k(x) = -2*s(x) - 2*z(x). Let r be k(6). Let i = -3 + r. Is i a prime number?
False
Let g(n) = 45*n - 3. Is g(2) a composite number?
True
Suppose -5*i + i = -932. Is i composite?
False
Is 263/((-2 - 4)/(-114)) a composite number?
True
Suppose -2*y - 2*u = -768, 0*y = 2*y + 5*u - 783. Is y a composite number?
False
Let r(m) be the first derivative of m**4/4 + 2*m**3/3 + 2*m - 3. Let y be r(-2). Is 2 - y - 2 - -225 composite?
False
Suppose 9*d - 2937 = 4*d + 2*m, 0 = 3*d - 4*m - 1751. Is d composite?
True
Let f = 89 - -38. Is f a prime number?
True
Suppose 4*x = 9 - 1. Let y be 5/((-5)/x) + -2. Is 3/(-6) + (-150)/y a composite number?
False
Let w(u) = 33*u**2 - 4*u + 3. Is w(2) a composite number?
False
Let o(v) = -34*v**3 - 4*v**2 + 2*v + 3. Is o(-3) composite?
True
Is 1/(-1)*(4 - 23) prime?
True
Let q(b) = 2*b**3 - 3*b**2 - 6*b + 4. Is q(5) a prime number?
True
Suppose 3*r + j - 28 = 2*j, 4*r - 2*j = 40. Suppose -7 = -3*o + r. Suppose 0*v + 2*k + 116 = o*v, 0 = -2*v - 3*k + 35. Is v prime?
False
Let r = 0 + -1. Suppose -4*a = -l - 10, 0*a + 2 = 3*a + 2*l. Is (-1)/a*(-61 + r) composite?
False
Let q(b) = 2*b**2 - 2*b - 1. Let s be q(2). Suppose -r = -s*r. Suppose -4*f + 485 = 3*u - r*f, -2*u - f = -315. Is u composite?
True
Is 222/4*2/3 prime?
True
Let w(z) = -z**2 - z + 3. Let v be w(0). Let g(u) = u + 17. Let i be g(-15). Suppose -i*h + 5*o + 349 = -58, h + v*o = 220. Is h prime?
True
Let a = 8 + -14. Let t(u) = -2*u - 8. Let m be t(a). Suppose -g + 0*g = o - 91, 0 = m*g - 2*o - 352. Is g a prime number?
True
Let l be 3 + -2 + 7/(-1). Let a(d) be the third derivative of -d**4/12 + d**3/2 + 3*d**2. Is a(l) composite?
True
Let q(b) = -238*b - 13. Is q(-5) a prime number?
False
Suppose 2*i - 4*i + 36 = 0. Suppose 0 = -4*s - 2*x + i - 2, 5 = 5*s - 5*x. Suppose -s*t = -7*t + 740. Is t a composite number?
True
Suppose 1134 = 2*p - 260. Is p composite?
True
Suppose 7*y - 249 = 4*y. Suppose y + 22 = 5*x. Suppose x + 111 = 4*n. Is n composite?
True
Suppose 395 = 5*t - 0*t. Is t a prime number?
True
Let g(r) = 14*r - 2. Let n be g(4). Let k = n - 29. Suppose 4*c - 3*s = -0*c, k = 3*c + 4*s. Is c a prime number?
True
Let l = -3 + 6. Let p be 3*l/9 + 13. Let t = p + 23. Is t a composite number?
False
Suppose 3*r + 2*r - 2425 = 0. Let g = 448 + -722. Let c = g + r. Is c composite?
False
Is ((2 - 2) + 3)*71 composite?
True
Suppose -5*n = -4*s - 35 - 142, -s = 4*n - 129. Suppose 2*f + 2*f = 8. Suppose -c = -f*c + n. Is c a composite number?
True
Suppose 0 = q + 5*t - 0*t - 8, -5*q - 5*t = -20. Let a be 1/q*(77 + -2). Let y = a - -10. Is y prime?
False
Suppose 14*q - 3*q = 2101. Is q a composite number?
False
Suppose -4*w = -5*o + 10, 2*o = 4*w - o + 6. Is w/1 - (-14 + -1) prime?
False
Let q(t) = -2*t**2 - t - 4. Let w be q(3). Let u = w - -62. Is u a prime number?
True
Let k(f) = f**3 - 5*f**2 + f - 1. Let a be k(5). Suppose d - a = -3. Is 11*1/(d/2) composite?
True
Let h(y) = -4 - 3*y + 2*y + 7. Let z be h(0). Suppose -z*x = -6 - 36. Is x composite?
True
Suppose -a = 4*t - 165 - 846, -3*a + 3113 = -4*t. Is a a prime number?
True
Let r(x) = x**2 + 7*x - 9. Let i(j) = -j**2 - 8*j + 10. Let a(m) = 3*i(m) + 4*r(m). Is a(4) prime?
False
Let u(l) = -3*l + 2*l + 6*l**2 - 3*l**2. Let p be 1 - (3 - (1 - (-6)/3)). Is u(p) prime?
True
Suppose -s = 2*p + 4*s - 5252, -5*p + 13151 = 2*s. Is p composite?
True
Suppose f + 5*f = 2226. Is f prime?
False
Let j(i) be the second derivative of 25*i**3/2 - 2*i**2 - 2*i. Is j(3) a composite number?
True
Let j(m) = -100*m - 13. Is j(-2) a prime number?
False
Let y = 6 + -6. Suppose y = 10*h - 6*h. Let k(j) = -j**3 + j**2 + 55. Is k(h) composite?
True
Let j(s) be the third derivative of 11*s**5/15 - s**4/12 + s**3/6 - 3*s**2. Is j(1) a composite number?
False
Let m = 9 - 4. Suppose 587 = m*n - 228. Is n prime?
True
Suppose -5*k + 0*k + 455 = 4*z, -5*z + 541 = -3*k. Let s = z + -63. Suppose 3*m - 11 = -h + 7, 5*m - s = 4*h. Is m composite?
False
Let s be (-1 + 2 - 1) + 4. Is 4476/24 - (-2)/s a composite number?
True
Let m be 0 - ((-3 - -4) + -149). Suppose r - m = -r. Is r a prime number?
False
Suppose -m = -4*m + 669. Is m composite?
False
Let j(b) = 52*b**2 + 18*b + 41. Is j(-9)