?
True
Let o be 4/3 + 1/(-3). Let j be o/(-4) - (-43)/(-4). Let v = 4 - j. Is v a prime number?
False
Suppose -v - 4 + 32 = 0. Let y = v + 9. Is y prime?
True
Let n = 8 + -8. Suppose n = -p + 55 + 42. Is p a prime number?
True
Let a be (101/2)/(1/12). Let o be (-1)/2 + (-1239)/(-6). Suppose 3*j - a = -3*l, -5*l + o = 3*j - 398. Is j a composite number?
True
Suppose 0 = n + 2. Is n/(-3*(-2)/(-141)) prime?
True
Let q be (-4)/(-14) + 124/7. Suppose q = -w + 55. Is w prime?
True
Let t = 14 + -7. Suppose 0 = 4*z + 4*o - o - 13, z + 2*o = t. Is z/((-3)/(-9)) + 80 a prime number?
True
Suppose 0*a - 5*a = -3*t - 72, t + 28 = 3*a. Let w = -13 - t. Suppose -x + w*x = 50. Is x prime?
False
Let b = 373 + -168. Suppose 4*z + 51 = -b. Let n = 23 - z. Is n prime?
False
Let i = 533 + -282. Is i prime?
True
Let w(h) be the first derivative of -h**4/4 + 5*h**3/3 + 5*h**2/2 + 10*h + 2. Let x be w(7). Is 0 + -2 - 0 - x composite?
True
Suppose 2*k - 6 = -0*k. Suppose 456 = k*g - 3*r, 0*g - 2*g + 304 = -3*r. Suppose 3*d - 13 = g. Is d a composite number?
True
Let g(o) = 19*o**2 - 2*o - 1. Let d = 44 - 27. Suppose -5*z = -7 + d. Is g(z) prime?
True
Is ((-1)/1)/(3/(-537)) a composite number?
False
Let k = 4 - 6. Let b be ((-298)/4)/(k/4). Suppose b = -6*m + 7*m. Is m a composite number?
False
Is (3 + 4)*(2 + 0 + 1247) prime?
False
Let k be 1 - (-3 - -17) - -3. Is k/(-15) + (-151)/(-3) prime?
False
Is ((-1354)/8)/(-2*(-1)/(-8)) prime?
True
Suppose -2 = -0*h - h. Let w(q) = 7 + 7*q**2 - 9 - 3*q**2. Is w(h) prime?
False
Let t = 53 - 28. Suppose 0*u - 5*u + t = 0. Suppose 3*s = -u*i + 268, -4*i - 4*s = -9*i + 261. Is i composite?
False
Let k be (-20)/9 - (-4)/18. Let p(s) = 3*s**2 - 14*s + 8. Let m be p(5). Is (1 + k)*m*-5 a composite number?
True
Suppose -4*k + 19 = -a, -k - 3*k + 22 = 2*a. Suppose -560 = 2*v - 6*v. Suppose 3*y = v + a. Is y a prime number?
True
Suppose 5*t = -4*g + 24, -3*g + 12 = -g + 5*t. Let j(u) = 0 + 0*u + u - 2 + g. Is j(9) a composite number?
False
Suppose -9*q - 7915 = -14*q. Is q a prime number?
True
Let y(u) = u**3 + 7*u**2 + 5. Let r be y(-7). Suppose -2*n = 2*n + a - 528, r*n + 5*a = 645. Is n a prime number?
False
Let b(m) = 42*m**2 + 2*m + 1. Let l be b(-2). Suppose -3*s - l = -3*c, c - 3*s - 55 = -6. Is c a prime number?
False
Suppose -2*o + 563 = -v, 2*o - 1697 = 5*v - 2*v. Let t = 1055 + v. Suppose 0*k + t = 4*k. Is k prime?
False
Let m = 107 - 76. Is m prime?
True
Is 2/4*0 - -83 a composite number?
False
Let d(m) = 8*m**2 + m - 2. Let x be d(-2). Is (-7794)/(-14) + 8/x a composite number?
False
Let j(r) = -4*r - 17. Is j(-12) prime?
True
Suppose -626 = -3*u - y, 4*u + 3*y - 836 = 2*y. Let w = 401 - u. Is w a composite number?
False
Suppose 17 = 5*k - 8. Suppose 0 = -0*t - k*t - 3*c + 15, 10 = -2*t + 2*c. Suppose 4*a - 5*h + 3*h - 1142 = t, a = 3*h + 278. Is a composite?
True
Let z(w) = 7*w**2 - 3*w - w**3 + 2*w**2 + 0 - 7. Let d be z(8). Let r = 46 + d. Is r composite?
False
Suppose 2*i - 2*f = 446, 9*i + 4*f - 1115 = 4*i. Is i a prime number?
True
Let c be 36/(-10) + (-3)/(-5). Let m(b) = b**3 + 2*b**2 - b - 5. Let d(s) = 2*s**3 + 2*s**2 - s - 6. Let l(t) = c*m(t) + 2*d(t). Is l(3) composite?
True
Let w(c) be the first derivative of -c**5/20 - c**2/2 - c - 1. Let o(k) be the first derivative of w(k). Is o(-2) a composite number?
False
Let k(h) = 206*h**2 + 2*h + 1. Suppose -2*c - c = 3. Is k(c) a composite number?
True
Is (1 - -1) + (109 - 14) a prime number?
True
Let h(y) = y**2 - 2*y - 4. Let r be h(4). Let w = 0 - -5. Suppose 4*g = r*z - 60, -w*z = -2*z - 2*g - 40. Is z composite?
True
Let r = 581 + 32. Is r prime?
True
Let a(q) = 4*q + 1. Let p be a(1). Suppose -o + p*k + 0*k - 25 = 0, -o = 5*k + 15. Let w = o - -35. Is w a composite number?
True
Let d be 2*(262 + 1 + 2). Let h = d - -161. Is h a prime number?
True
Suppose 18 = 3*b - b. Suppose -4*t = -b - 3. Suppose -4*k + 45 = h - 6, -5*h - t*k + 170 = 0. Is h composite?
False
Let k = -1398 - -2441. Is k a prime number?
False
Suppose -5*h + 30 = -5*g, -h + 2*g + 5 + 5 = 0. Suppose -5*z + 4 = 2*q, 0*z - 3*z + 4 = h*q. Suppose 67 = q*f - 63. Is f a prime number?
False
Let o(c) = -80*c. Let s be o(-5). Is s/3 - 2/(-3) prime?
False
Let k(t) = t**3 - 4*t**2 + 2*t + 1. Let c be k(3). Let v = 13 - c. Is v prime?
False
Suppose -5*o + 3*d = -d - 2574, -5*d = -4*o + 2052. Suppose 3*w = a + 777, -2*w - a + o = 2*a. Is w composite?
True
Is 263 - (-9)/(27/6) composite?
True
Suppose j + 2 - 5 = -i, -3 = -3*j. Let k(z) = -108*z - 3. Let g be k(-2). Suppose g = i*t + t. Is t a composite number?
False
Suppose 0 = 4*s + d - 8, -4*s + 8 = 4*d - 2*d. Suppose 2*a - 1682 = -2*h - s*h, 0 = -2*h + 3*a + 829. Is h composite?
False
Let p(w) = -w**2 + 15*w - 1. Is p(8) composite?
True
Let o(i) be the first derivative of -i**3/3 + 8*i**2 - 10*i + 2. Is o(9) a composite number?
False
Let x be (11/22)/((-2)/16). Let f(t) be the first derivative of 2*t**3/3 + 3*t**2/2 - 5*t + 1. Is f(x) prime?
False
Let d be (-6)/(-21) - 80/(-14). Suppose 0 = 3*i - o - 106, 5*i - 4*o = -d*o + 173. Is i a composite number?
True
Let b(i) = i**3 - 359. Let p be b(0). Let o = p + 570. Is o a composite number?
False
Let x be 2/(-4) + 20/8. Let u be (-5)/x + 1/2. Is (u + 85)/(0 + 1) a composite number?
False
Let o = 5 + -5. Let u be 3/(-9) + 79/3. Suppose 0*v + v - u = o. Is v a prime number?
False
Suppose 0*y = -2*y + 66. Suppose -631 = -5*q + p, 5*p + 13 = y. Is q a prime number?
True
Let o = 49 - 13. Is o - (-1)/(-2)*-2 a composite number?
False
Let z be (1 - 1)/1 - -4. Suppose 3*k = 8*k + 1510. Is (-2)/z*(4 + k) a prime number?
True
Suppose 0 = -8*r + 3*r + 10. Suppose -t = -d - 17, r*t + 4*d - 21 = 1. Is t a prime number?
False
Let s be (2 - (-14)/(-1))*-29. Let k = s - 245. Is k composite?
False
Suppose 0 = -3*f + 7*r - 3*r - 112, 0 = -4*f - 4*r - 196. Let o be f/(-10) - 4/10. Suppose -w + o*w = 267. Is w prime?
True
Suppose 14*a = 20945 - 3879. Is a composite?
True
Let t(x) = -6*x**2 - x + 11. Let j be t(8). Let u = j - -830. Is u a prime number?
True
Let p(d) = -d**3 + 13*d**2 - 8*d + 13. Let m be p(11). Let n = 474 - m. Is n a composite number?
False
Let c be (-1 + 2)/(2/46). Let i = c + 10. Is i prime?
False
Suppose 2*l = b + 15, 4*b + 29 = 4*l + 3*b. Let d(a) = -1 - 8*a**2 - 3 + l*a - a**3 + 5. Is d(-9) a prime number?
True
Let s(q) = q**3 - q**2 + q + 187. Let k be s(0). Suppose 2*i - k = -5*h, -h + 21 = 5*i + 2. Is h composite?
True
Suppose 4*k + 31 = -2*f + 3*f, -k - 94 = -4*f. Suppose -65 + f = -h. Is (152/12)/(4/h) a prime number?
False
Let n(w) = -7*w**2 + w. Let a be n(1). Let b = a + 0. Is (-887)/(-7) + b/(-21) prime?
True
Is (-3)/1*(-2260)/30 composite?
True
Let z(d) = -d**3 + 4*d**2 + 6*d - 3. Let i be z(5). Suppose 288 = i*r - r. Let s = -131 + r. Is s a prime number?
True
Let z(n) = 2*n**2 + 4*n + 3. Let o be z(-2). Suppose -2*b = o*b - 2135. Suppose 4*l + b = 3*c, 3*c - l + 727 = 8*c. Is c a prime number?
False
Suppose 6 = -z + 4*c + 27, 0 = -5*z + 3*c + 20. Let q(o) = 5*o**2 + o. Let i be q(z). Is (-12)/18 - (-130)/i composite?
True
Let j = -6930 + 9923. Is j a composite number?
True
Let w be (3 + (-51)/9)*3. Let i(m) = 13 - 4 - 2 - 6*m. Is i(w) prime?
False
Suppose 5*k + 4675 = 2*c, 3*k = -c + 1659 + 651. Suppose -5*r + 2950 = -5*u, 4*r + 2*u - c = -u. Suppose -i + 455 = 4*m, 0 = -6*m + m + 2*i + r. Is m composite?
True
Suppose -2*q = 1221 - 7769. Is q a prime number?
False
Suppose 5*t = -2*c, 3*c - 3*t + 2*t = 17. Suppose 0 = 2*b + c - 27. Is b a prime number?
True
Suppose 5*f + 11 = -2*a + a, -2*f = a + 2. Let g(s) = s**2 - 4*s. Let x be g(a). Suppose x = -2*t - 3*d + 64, 6*d - 171 = -5*t + 4*d. Is t a composite number?
True
Let x = -28 + 39. Suppose 0*v + x = 4*w - 5*v, 16 = 3*w + 4*v. Suppose -w*l - 10 = -34. Is l composite?
True
Let c = -786 + -135. Is 4/(-12)*c*1 a prime number?
True
Let d = 16 - 12. Suppose c - 4*c = -d*l - 181, 0 = 5*c - 5*l - 310. Is c composite?
False
Let y(t) = -5*t - 3. Let p be y(-2). Suppose 2*m - 24 = -5*u, 4*u + p = m + 21. Is ((-38)/5)/(m/(-10)) a prime number?
False
Let l = 7 - 13. Let y be ((-4)/3)/(1/l). Suppose -m + 3*s + 167 = 4*m, 0 = -2*s - y. Is m composite?
False
Let p be (2 - 3)*-262 + 2. Suppose -332 - p = -4*h. Is h prime?
True
Let f = -50 + 127. Is f com