 15 = 0, c = -5*f - 7. Let j(i) = -2*i**2 - 1 + 4*i**2 + i**2 - 13*i + i**3 + 11*i. Is j(f) prime?
True
Let g(q) = 39*q - 30. Let h(z) = -8*z + 6. Let v(m) = 2*g(m) + 11*h(m). Let j(a) = -9*a + 6. Let t(c) = -5*j(c) + 4*v(c). Is t(5) prime?
True
Suppose 5*c + 3 - 43 = -5*d, 2*d = -4*c + 24. Suppose -4*f + o = -1713, 1600 = d*f + 2*o - 98. Is f a composite number?
True
Let p be (7 - -3)*(3 + -2). Suppose -5*i = 10 + p. Let n(h) = 4*h**2 + 5*h + 5. Is n(i) a prime number?
False
Suppose 0 = 3*l - l + 14. Is 2 + 2 + l + 54 a prime number?
False
Let c be 1 - (-1 + 5 + -2). Is (25 + -2)*-1*c a composite number?
False
Suppose 0 = 3*f - 2 - 592. Is -2*(-1)/2 + f a composite number?
False
Suppose g - 714 = -4*i, -3*i - 3*g + 693 = 162. Let l = i + -15. Suppose 3*s - l = 469. Is s a composite number?
False
Suppose -l + 267 = 2*l. Is l a composite number?
False
Let t = 91 + 23. Suppose -4*y + 5*l = -2 - 141, -3*y - 3*l = -t. Is y composite?
False
Suppose 1683 + 6372 = 15*r. Is r prime?
False
Suppose -43 = 3*l - 3*f - 13, 0 = -4*l + 3*f - 38. Let y(g) = -g**3 - 7*g**2 + 5*g - 10. Let v be y(l). Let x = v - -5. Is x composite?
False
Suppose 2*z - 10 = 2*w + 2*w, -10 = z + w. Let x(v) = -9*v + 2. Let n be x(z). Let f = n - 0. Is f composite?
False
Let l(x) = 2*x**2 + 3*x + 1. Let o be l(-2). Suppose 7 = -b - s, -2*b - o*s - 39 = -6*s. Is (b/(-2))/(6/15) a prime number?
False
Let l(q) = -8*q**3 - q**2 - 2*q - 2. Let x = -2 + -1. Is l(x) prime?
True
Let l = 11 + -8. Suppose l = -4*t - 1. Is (29 - t)*2/4 composite?
True
Let x be (4*(-3)/(-4))/1. Is 10*(-3 + 1 + x) a prime number?
False
Suppose o + 34 - 92 = 0. Let a = o - 9. Is a a composite number?
True
Let k(n) = n**2 - n + 7. Let q be k(-11). Suppose -4*p + 399 - q = 0. Is p prime?
False
Suppose 2*f + 14 = x + x, -5*x - 14 = 2*f. Let q = -4 - f. Is (-3)/3*(-16 - q) a prime number?
True
Is 3/(-6)*41*-4 composite?
True
Let i(t) = 414*t**3 + t**2 - 1. Let m be i(1). Suppose 4*f - 208 - 226 = -5*n, m = 4*f - 5*n. Is f a composite number?
True
Suppose 40*q = 38*q + 1802. Is q composite?
True
Let h(k) be the third derivative of k**5/60 - k**4/12 + k**3 + 2*k**2. Is h(4) a prime number?
False
Let j = -3 - -2. Is (-6)/(-3) - (-32 + j) composite?
True
Suppose 2*q = -7 - 3. Let s(v) = v - v**2 - 7 + 1 + v**3 - 2*v**3. Is s(q) a prime number?
True
Suppose 0*r - 5*r + 25 = 5*p, 2*r + 5*p - 19 = 0. Suppose -4*s = -3*l - 3*s + 31, 3*l - r*s = 32. Is l composite?
True
Let o = -11 + 8. Let x = 0 - o. Is x prime?
True
Suppose 2*n - 1 = 3*m + 16, 2 = -3*n - m. Is 0 + (-3 - -94)*n a prime number?
False
Let m be -1*(0 + (0 - 0)). Suppose 3*l = -m*l + 99. Is l composite?
True
Suppose -q - b + 70 + 1348 = 0, -q + 3*b = -1406. Is q a prime number?
False
Let s(b) = 22*b**2 + 1. Is s(2) composite?
False
Let j(i) = 331*i**2 + i. Let k be j(-1). Suppose s = 4*g - k, -68 + 242 = 2*g - 5*s. Is g a prime number?
False
Suppose -3*d - 8 = 4. Let c = -2 - d. Suppose -k = 4*r + 67 - 214, -2*k = c*r - 270. Is k prime?
True
Let a(w) = 7*w**3 + 2*w**2 - 12*w + 14. Is a(9) prime?
True
Let a(y) = -11*y - 11. Suppose -3*d - 16 = -d. Is a(d) a composite number?
True
Let l(g) = -2 + 3*g - 2*g + 5. Let a be 553/77 - 2/11. Is l(a) a composite number?
True
Let m(r) = -r. Let j(k) = 6*k - 12. Let h(a) = -j(a) - 5*m(a). Is h(-11) a prime number?
True
Suppose 2*m = -4*x + 6, 3*m = x - 1 - 11. Let j be (-32)/(-18) - (-8)/36. Suppose 2*t + 0*t - 3*a - 98 = 0, j*a - 173 = -x*t. Is t a prime number?
False
Suppose -109 = -3*l - y, 2*l - 7*y - 84 = -2*y. Is l prime?
True
Let u(x) be the second derivative of -3*x**5/20 - 5*x**4/12 + x**3/6 + 3*x**2/2 + 8*x. Suppose 0*b + 4 = -b. Is u(b) composite?
True
Suppose -3*f + f + 982 = 0. Is f a composite number?
False
Suppose -2*z + 3*y + 2124 = 0, -z + 0*z + 3*y + 1059 = 0. Is -2 - (-3)/(9/z) composite?
False
Let w(k) = 65*k**2. Let p be w(1). Let v = 105 - p. Suppose y + t = 4*y - 35, -2*y + v = -4*t. Is y prime?
False
Let c be 2/(-4)*(-428 - -6). Let f = -84 + c. Is f a prime number?
True
Let f(w) = -w**3 - w**2 - 1. Let n(p) = -4*p**3 + 6*p**2 - 17*p - 17. Let s(c) = 5*f(c) - n(c). Is s(-13) prime?
False
Is (912/2 + -4)/2 prime?
False
Let o(u) = u**3 + 23*u**2 + 21*u + 17. Let b be o(-22). Let t = 57 - -15. Suppose 0 = -y - 4*h + b, -4*y + 3*h = -t - 46. Is y composite?
False
Suppose 0 = -2*l - 0*l - 4*n + 166, 4*l - 5*n - 293 = 0. Is l a prime number?
False
Suppose 7*p = 3*p + 2*y + 14, -17 = -4*p + 5*y. Suppose 4*w - 5*k = 34 + 2, 0 = p*k. Is w a prime number?
False
Suppose 0*u + u = 44. Suppose 0 = -k - 7 + u. Is k a prime number?
True
Let o(x) = -2*x**2 - 2*x - 1. Let n be o(-2). Let b(w) = 7 + 2*w + 0*w + 2*w + 2*w**2 - 2. Is b(n) prime?
False
Let k = 150 - 97. Is k a prime number?
True
Let r = 11 - 6. Let j be (-2)/r + 994/10. Let b = j - 22. Is b composite?
True
Let q = 2246 - 1107. Is q a composite number?
True
Let r = -759 + 1178. Is r prime?
True
Let h(g) = g**2 + 2*g - 3. Let x be h(-3). Suppose x = l - 8 + 63. Let j = 108 + l. Is j a composite number?
False
Suppose -2*i + 420 = 2*g, -1053 = -5*i - 5*g + 3*g. Is i a prime number?
True
Suppose 4*f = -3*l + 2*l + 17, 0 = -3*l + f + 64. Is l prime?
False
Suppose 3*j + 2*c = -c + 744, -j + 244 = 5*c. Is j composite?
True
Let w be (698/3)/(2/(-3)). Let y = w - -494. Is y prime?
False
Suppose -2*i - c = 11, -5*c - 1 - 24 = 0. Let r be (-7)/(-3)*(-45)/i. Let p = r + -13. Is p composite?
True
Suppose 2*u = 4*u - 78. Is u a prime number?
False
Let o = 7 + -1. Is 195/o*(1 - -1) a prime number?
False
Suppose -2*r - 3*r = -10. Let h(n) be the third derivative of n**6/24 + n**5/60 - n**3/6 + n**2. Is h(r) a composite number?
False
Let l = 237 - -80. Is l a prime number?
True
Let d(m) = 2*m + 250. Let x be d(0). Let v = x - 123. Is v composite?
False
Let h be (-2)/(-4) - 3/(-2). Let r = 2 - h. Suppose r = 4*k - 60. Is k a prime number?
False
Is 2/(-8) + (-22345)/(-20) composite?
False
Suppose -3*f = 5*c - 3 - 1, 0 = -5*f - c + 14. Suppose -f*p + 1 = 4. Is p + 5*(-1 - -9) prime?
False
Let y(f) = -4*f**3 + f**2 + f. Let x be y(-1). Suppose 0 = -2*d + 5*h + 37, -25 = -x*h - h. Suppose -d - 75 = -2*g. Is g a composite number?
False
Let d(t) = 0*t**3 - 41*t**3 - t + t**2 + 1 - 2 + 0*t**2. Let x be d(-1). Suppose -2*l + 30 = 2*o, l - o - x = -l. Is l a prime number?
True
Let m(k) = 1. Let d(w) = w + 1. Let y(u) = d(u) - 3*m(u). Let x be y(7). Suppose 7 = -x*p - 8, a = -3*p + 22. Is a a prime number?
True
Let w(t) = 29*t - 4. Suppose 0 = -4*c + z + 2*z + 5, 5*z = 3*c + 10. Suppose -2*v - 1 - 1 = -4*i, -4*i = c*v - 37. Is w(v) prime?
False
Let b = 4 - -2. Suppose -3*n - b = 0, -3*k = -k - 4*n - 374. Let s = -22 + k. Is s prime?
False
Let j = 81 + -2. Is j a prime number?
True
Let s be (-20)/8*4/(-5). Suppose 0 = -4*k + s*k + 134. Is k a composite number?
False
Is 4 - 1647/6*-2 prime?
False
Let z(d) = 9*d**2 + 5*d - 7. Suppose 3*k + a = 15, -4*k + a = 4*a - 25. Is z(k) composite?
False
Suppose -4*l + 10 + 338 = 0. Is l a composite number?
True
Is (-60)/90*(-4242)/4 a prime number?
False
Let p = 1111 + -792. Is p a composite number?
True
Suppose 3*l - 380 = -2*l. Suppose -3*o + 4*o = -l. Is 0 - (o - (0 - -3)) a composite number?
False
Let j = 7 - 12. Suppose -6*t - 3 = -9*t. Is (28 - j) + 1 + t a prime number?
False
Suppose 0 = -0*l - 3*l + 2193. Is l a prime number?
False
Let b = 177 + -50. Let g(a) = -19*a**2 + 2. Let z be g(-2). Let m = z + b. Is m a prime number?
True
Suppose -4*j = -4*k + j + 767, 0 = 4*k - 2*j - 782. Let v = k - 129. Is v a prime number?
False
Let q(a) = -3*a - 4. Let z(c) = -c - 1. Let o(r) = -3*q(r) + 8*z(r). Let i be o(-4). Suppose 0*l - 2*l + 12 = i. Is l prime?
False
Is 129/12 + 1/4 prime?
True
Suppose 5*o = 7789 + 8506. Is o a composite number?
False
Let n = 2 + 0. Suppose 4*m - 1060 = -5*q, -3*m + 1042 = n*q + 247. Is m composite?
True
Let b(m) = 4*m**2 + 2*m - 1. Let i be b(1). Suppose 475 = -0*y + i*y. Is y a prime number?
False
Let h(m) = 52*m**2 + 3*m - 3. Is h(2) prime?
True
Suppose 5*f = 4*n - 673, -5*f + 0*n - 694 = 3*n. Let k = 720 + f. Is k a composite number?
True
Suppose -3*i = -9, -2 - 7 = 2*j - 5*i. Suppose -3*a + 73 = 2*g - 0*g, 5*a + j*g = 121. Is a a composite number?
False
Let h(p) = -93*p + 10. Let t be h(-10). Suppose 3*o = 