ber?
True
Suppose -5 = 5*q - 0*x - x, -2*q + 5 = x. Suppose q - 4 = -2*l. Let u = 12 + l. Is u a composite number?
True
Let w(r) = 12*r + 6. Let l be w(-6). Let d be -2*163*(-2)/4. Let h = d + l. Is h a composite number?
False
Let n(v) = 2*v**2 + 4*v + 3. Suppose o - 3*o - 4 = 0. Is n(o) a prime number?
True
Suppose 4*s - 5*z + 2*z = 13427, 5*z + 6703 = 2*s. Is s a prime number?
True
Let o(h) = -h**3 - 8*h**2 - 7*h + 5. Let g be o(-7). Let n be 10*(5/2)/g. Suppose -9 = -2*k + n. Is k prime?
True
Suppose 2*v = 8 + 416. Suppose -2*z = -v - 498. Is z prime?
False
Let r be (-22)/(-6) + (-6)/9. Suppose 0 = -2*a + 3 + r. Suppose -c + 5*c + 3*g - 50 = 0, -44 = -a*c + g. Is c a composite number?
True
Let s(x) = 126*x - 1. Is s(10) a composite number?
False
Let n be (3274/5)/(2/10). Let d be (-12)/(-66) - n/(-22). Suppose -5*u = -w + d, 5*w + 2*u - 745 = u. Is w composite?
False
Suppose 5*g + 0*j + 46 = -j, 0 = 2*j + 2. Let t(k) = -k**2 - 10*k - 5. Let u be t(-11). Let a = g - u. Is a prime?
True
Let v(x) be the third derivative of -1/12*x**4 + 3*x**2 + 1/30*x**5 + 0 - 5/6*x**3 + 0*x. Is v(6) a prime number?
False
Suppose -1 + 3 = p. Suppose 5*s + p*h + 1104 = 0, 822 = -4*s - h - 63. Is (-6)/(-4)*s/(-9) a prime number?
True
Let g(d) = 3*d + 1. Let r be g(-1). Let n be (-2 + r)*14/(-8). Suppose n*u - 4*u = 357. Is u composite?
True
Suppose -4*b = -3 - 17. Suppose -i = -b*i - c, 0 = 3*i + 2*c. Suppose i = -j + 15 + 16. Is j prime?
True
Let g = -43 - -740. Is g composite?
True
Suppose 12938 = 2*y + 5*p, 2*y - 3*p = 4*y - 12938. Is y prime?
True
Let t be -1*(-2 - (-3 + 6)). Suppose 0 = 4*y - t*y + 329. Is y prime?
False
Let z(t) = t**3 + 2*t**2 + t + 1481. Is z(0) a composite number?
False
Suppose 5*t = -23 - 17. Let l = 4 + t. Is l + 2 - -3 - -84 a prime number?
False
Let t = 82 - -79. Is t composite?
True
Let n(a) = a**3 + 14*a**2 + 14*a + 17. Let b be n(-13). Suppose 2*j + 261 = -q + b*q, 0 = -2*q + 5*j + 163. Is q prime?
True
Let a = -14 - -6. Let u(m) = 2*m**2 + 10*m + 5. Is u(a) a composite number?
False
Let p(m) = 5*m - 1. Let x(i) = 6*i - 2. Let q(n) = 5*p(n) - 4*x(n). Is q(8) a composite number?
False
Let a be 784/26 + (-2)/13. Let t = a + 261. Is t composite?
True
Suppose 0 = 4*m + m. Suppose m = 5*w - 5*a - 80, -3*w - 6*a + 4*a + 63 = 0. Is w composite?
False
Let f = -281 - -33. Let z = -85 - f. Is z composite?
False
Suppose 5*l - 1639 = 1296. Is l prime?
True
Let o = 7 + -7. Suppose 5*j = j - y + 435, j + 3*y - 106 = o. Is j prime?
True
Suppose a = 5*r + 5*a + 15, 9 = -3*r - 2*a. Is -2 + 4 - 17*r prime?
True
Suppose 7727 = 5*n - 4*y, -6 = 4*y + 6. Is n composite?
False
Let u be ((-3)/(-3))/(-1) + 24. Suppose n - 41 = -5*t, -t - 3*t - u = -n. Is n prime?
True
Let u(j) = -j**3 + 17*j**2 + 5*j - 2. Is u(17) prime?
True
Suppose -i = b - 0*b + 7, -5*b - 3*i = 29. Let z be (76/(-6))/(b/144). Suppose 0 = -3*w - 63 + z. Is w a prime number?
True
Let g be -2 + (3 - 1) + 0. Suppose -2*o - 4*r = r - 60, g = -5*o + 3*r + 212. Let j = 7 + o. Is j a composite number?
False
Let p(c) be the second derivative of -c**5/20 - 11*c**4/12 + 17*c**3/6 + 4*c**2 - 4*c. Let l be p(-13). Suppose 0*r - 5*r + l = 0. Is r prime?
False
Let m(k) be the first derivative of k**2/2 + k + 3. Let c be m(0). Is c/(-3) + (-308)/(-6) prime?
False
Let h = -7 - -15. Let z be h/12*6*1. Suppose -z*p - c = -0*c - 14, -4*p + 10 = 3*c. Is p a prime number?
False
Let i be (114/24)/((-2)/(-8)). Suppose i = 3*b + q, -3 = -3*b - 0*q + 3*q. Suppose -3*s - 4*y = -235, -b*y - 406 = -5*s - 26. Is s a composite number?
True
Let s(o) = 3*o**2 + 10*o + 10. Is s(-6) a prime number?
False
Suppose 0 = -q - 3 + 1. Is (-105)/q + 6/(-4) prime?
False
Suppose 0 = 2*o - 2*a - 2706, 46 - 5474 = -4*o - 4*a. Is o composite?
True
Let w(c) = c**2 + 887. Is w(0) prime?
True
Let h(l) = -l**2 + 4*l - 4. Let q(g) = -g**2 + 4*g - 5. Let r(b) = -4*h(b) + 3*q(b). Suppose 4*j = 2*y - 2, 2 = -4*y + 3*j + 2*j. Is r(y) prime?
False
Let u = -84 - -153. Is u composite?
True
Let n(o) be the third derivative of -5*o**4/12 + 3*o**3/2 + o**2. Suppose -12*t = t + 91. Is n(t) a composite number?
False
Is -2*(9837/(-126) - 3/7) prime?
True
Let x(z) = z**3 - 7*z**2 - 2*z + 9. Let o be x(7). Let l = -4 - o. Is -2*l*-1*29 a prime number?
False
Let h(y) = 6*y**2 + 4*y + 9. Suppose 5*t + 9 = 3*q - 7*q, 0 = 5*t - 15. Let k be h(q). Is ((-8)/12)/((-2)/k) a prime number?
True
Is 6 + (-31)/5 - (-3486)/5 prime?
False
Suppose -x = -2 - 0. Is 2*x/(-4)*-67 composite?
False
Let p be (-8)/6*(-6)/4. Let f be 130/(-18) + p/9. Let t(m) = -m**3 - 5*m**2 + 9*m + 2. Is t(f) composite?
False
Suppose 4*h - 7500 - 727 = -5*s, 0 = -5*h - s + 10268. Is h a composite number?
False
Let c = -1155 + 1642. Is c composite?
False
Let q(n) = -n**3 + 14*n**2 - 9*n - 13. Suppose 0*z - 22 = -2*z. Is q(z) a prime number?
True
Suppose 2*a = 186 + 772. Is a prime?
True
Let g = 142 + -53. Let h = g - -68. Is h a prime number?
True
Let f(m) = 36*m - 3. Let y(s) = 4*s - 5. Let w(c) = -7*c + 9. Let p(z) = 3*w(z) + 5*y(z). Let k be p(0). Is f(k) composite?
True
Let l = -135 - -228. Let y = -395 + 603. Let x = y - l. Is x composite?
True
Let d(x) = x**2 + 3*x + 2. Let n be d(-4). Suppose -3*v + 72 = -4*b, v - n*b = -2*b + 16. Let r = 9 + v. Is r prime?
True
Let h be -9 + 1 - (3 + -1). Let m = h + 14. Suppose -5*w + 245 = 4*i, 2*w + 2*i - m = 94. Is w a composite number?
True
Suppose 0*v - 4*v - d = -12813, 3*d - 3206 = -v. Is v prime?
True
Let y = -5 - -3. Let c be -6*(y - -1)/1. Suppose 0 = -c*d + d + 175. Is d a prime number?
False
Let s = 86 - 64. Is s a composite number?
True
Suppose 0 = -0*q + 5*q - 10. Suppose 3*k + 0*y - 5*y = -5, -y = -2*k - 15. Is q/10 - 328/k a prime number?
False
Let f = 73 - 15. Suppose -4*c - f = 2*d - 4*d, -4*c = 5*d - 89. Is d a composite number?
True
Suppose -45 - 1 = -2*q. Suppose 0 = -3*d - 2*d. Let h = d + q. Is h composite?
False
Let s = -26 + 32. Let v(h) = 37*h + 11. Is v(s) a prime number?
True
Let z(g) = g**3 + 21*g**2 + 13*g + 22. Is z(-9) composite?
False
Let u be (-42)/4 + (-6)/(-4). Let l = u + 136. Is l composite?
False
Suppose 0*g + 5*x = g - 1308, -5*x = 5*g - 6450. Is g a prime number?
False
Suppose 0 = 3*f + f + 20. Let s(c) = -11*c - 11*c + 10*c - 5. Is s(f) prime?
False
Suppose 3*q + 7 = 2*r, -4*q - 5*r + 37 - 8 = 0. Let h = 3 - q. Suppose -h*x = -6*x + 136. Is x a prime number?
False
Suppose -695 = -5*o - 0*o. Is o prime?
True
Let u(f) = 3 - f**2 + 2 - 1 - 3. Let z(j) = -4*j**2 - 4*j - 5. Let p(b) = -6*u(b) - z(b). Is p(-3) a prime number?
False
Suppose 8 = -0*d - 4*d. Is (35 - d)*(4 - 3) composite?
False
Suppose c - k = 216 + 411, 0 = -4*k - 16. Is c prime?
False
Let a(j) = j**2 + 4. Let i(t) = -t**2 + t - 5. Let h(p) = 3*a(p) + 2*i(p). Is h(-9) composite?
True
Is 257 + (-2 + 4)*1 composite?
True
Let c = -535 - -847. Suppose c = 2*f - 478. Is f a composite number?
True
Let n = 14 - 9. Suppose 3*j - 116 = -4*f + n*j, 0 = -j + 4. Is f a composite number?
False
Let h(t) = -3 + 4 + 0 + 121*t. Is h(4) composite?
True
Let r be 1 + 39/9*3. Let q(j) = j**3 - 11*j**2 - 20*j + 15. Is q(r) a composite number?
True
Is 10250/130 - 2/(-13) a prime number?
True
Let h be (-7)/(((-5)/6)/(-5)). Is (-2)/(-12) - 1295/h composite?
False
Suppose 0 = -4*u - 3*r + 46, -u = 3*u - 5*r - 62. Suppose 3*n + 2*n = -30. Let j = u - n. Is j prime?
True
Let y = -35 - -50. Is y a composite number?
True
Let p(u) = 8*u**2 - 19*u + 5. Is p(6) composite?
False
Let j be 2/(1 - 1/3). Let i(x) = -3*x + 5. Let o be i(-7). Suppose 5*t + o + 69 = j*w, -3*w - 5*t = -115. Is w a composite number?
True
Let s be (-1750)/(-15) - (-4)/(-6). Let r = s + -61. Is r composite?
True
Let j(a) = -32*a - 7. Let b(o) = -o**3 - 12*o**2 - 10*o + 4. Let i be b(-11). Is j(i) prime?
False
Let z(i) be the second derivative of i**5/60 - i**4/24 - 11*i**3/6 + 2*i**2 + 2*i. Let f(n) be the first derivative of z(n). Is f(-11) composite?
True
Is (17/3)/((-3)/(-171)) prime?
False
Let n = -11 - -14. Let q(s) = 3*s**2 - 8*s + 4. Is q(n) prime?
True
Suppose -p + 48 = -0*p. Suppose 0*x + p = -3*x. Is ((-145)/2)/(8/x) composite?
True
Is 14172/18 - 1/3 a prime number?
True
Let w be 0/(-2 + -1) + 3. Suppose -3*q = -w*p - 15, -2*p - 2 = 2*q - 0. Is 4 - (-3 + 2 + q) composite?
False
Let w = 3 - 1. Su