pose 18*c - 13*c = 935. Is c prime?
False
Suppose n - 2 - 3 = 0. Let c be 1/n + (-6)/30. Is -2 - (c - 2) - -79 a prime number?
True
Let p(h) = 89*h**2. Suppose 0 = 2*a - 3 + 5. Let v be p(a). Suppose 22 = 3*u - v. Is u prime?
True
Is (-6)/6 + (-16)/(-1) composite?
True
Let l be 0/(-3 - 0)*-1. Suppose 0 = -2*h + 5*h - g, l = -h - 2*g. Suppose h = 3*i - 402 + 141. Is i prime?
False
Suppose 0 = -3*a + p + 471, -a + 4*p - p + 149 = 0. Is a a composite number?
True
Let z = -15 - -41. Is z composite?
True
Let b(n) = 20*n**2 - 4*n - 2. Let l be b(-3). Suppose 10*m - 5*m - l = 0. Is m composite?
True
Suppose -2*k = -0*k + 4*y + 12, 0 = -3*y - 12. Let x = k + 2. Let z(i) = 9*i - 3. Is z(x) a prime number?
False
Let m(t) = 25*t + 3. Let u be 12/(3/3 - -1). Let w be m(u). Let y = 272 - w. Is y a prime number?
False
Suppose x = 4*c - 3816, -x = -9 + 5. Is c composite?
True
Let k = -352 + 207. Let i = k - -294. Is i composite?
False
Let b(a) = a - 1. Let m be b(-9). Let c be ((-4)/m)/(3/15). Suppose -14 = -0*l - c*l. Is l composite?
False
Suppose 3*h = 5*s + 367, -2*h + 347 - 117 = 4*s. Is h composite?
True
Let a = 503 + -270. Is a prime?
True
Suppose 4*k - 2*c = 24, c = -5*k - 4*c. Suppose 2*v - 16 + 2 = -2*h, 5*v - 30 = -k*h. Suppose v*a = -0*a + 46. Is a prime?
True
Let k be 1/1*(-5 - 0). Let g be (-14)/(-10) + 2/k. Is g/3*0 - -53 prime?
True
Suppose -6*k = n - 8*k - 10, -2*k - 4 = 0. Suppose b + 3 - n = 0. Suppose 7*w = -3*c + b*w + 65, 0 = -c - 3*w + 25. Is c a composite number?
False
Let h be 6/4*20/15. Suppose -h*n = n - 6. Is n composite?
False
Let i(l) = l**3 + 11*l**2 - 2*l - 2. Let u be i(-6). Let k = u + -104. Let j = k - 48. Is j a prime number?
False
Let f be 1948/18 + 8/(-36). Is (-2)/(-8) + f/16 prime?
True
Suppose 9*j - 12270 = -j. Is j prime?
False
Is (-6)/18 + 58/3 composite?
False
Let l = 42 - -91. Is l a composite number?
True
Suppose -3*g - 200 = -0*o - 4*o, 3*o + 3*g - 129 = 0. Is o a composite number?
False
Let l be (-44)/(-10) - (-4)/(-10). Suppose -l = f - 2*f. Is 118/(4/(f/2)) a composite number?
False
Suppose -2 = -2*c - 4, 4*p + 5 = -5*c. Suppose p = -2*z - 2*z. Suppose -s + z*u = -u - 26, s + 5*u = 20. Is s a composite number?
True
Let z be 1 + 10 - (-4 - -8). Suppose -212 = -z*w + 3*w. Is w prime?
True
Let w(z) = z**3 + z**2 + 5. Let a(h) = -h**3 - 5*h**2 - 4*h. Let c be a(-4). Let y be w(c). Suppose y*o - 57 = 2*o. Is o a composite number?
False
Suppose 5*f + 5*i = 25, 2*f - 4*i = 10 + 6. Suppose 0 = f*u - u - 20. Is u a composite number?
True
Let r = 651 + 748. Is r a composite number?
False
Let w(d) = d**2 + 7*d. Let s be w(-4). Let n = 5 + s. Let i = n - -20. Is i a prime number?
True
Let x be ((-3)/3)/((-2)/6). Suppose 2*v + 251 = x*v. Is v a composite number?
False
Let i(q) = 24*q**2 + 6*q + 5. Let o be i(6). Suppose -5*m - 1337 = -3*g - 3647, 2*m - o = 5*g. Let d = 676 - m. Is d prime?
True
Suppose -1855 = -6*f - f. Is f prime?
False
Suppose 3*n = -2*n + 730. Suppose 4*m - n = -3*h + 93, 0 = -h - 3*m + 83. Is h prime?
False
Let r(m) = m + m - 5*m**2 + 8 + 10 - 8*m**3 + 5. Let c(h) = -3*h**3 - 2*h**2 + h + 8. Let b(a) = -11*c(a) + 4*r(a). Is b(-3) composite?
True
Let l(u) = u**3 + 6*u**2 - 7*u - 1. Let t(j) = 2*j**3 + 5*j**2 - 6*j - 2. Let n(a) = 2*l(a) - 3*t(a). Let w be n(-3). Suppose 3*z - w = 20. Is z a prime number?
True
Let a(u) = 3*u**2 + 6*u - 3. Let y be a(-6). Suppose 3*p = -2*b + 2*p - 34, -b - 28 = -5*p. Let m = y - b. Is m prime?
False
Let s(n) = 12*n + 2. Let l be s(9). Suppose 37 = 3*h - l. Is h composite?
True
Let g(t) = -t**3 + 9*t**2 - 9*t + 5. Let d(p) be the third derivative of -p**4/12 + p**3/3 - 3*p**2. Let i be d(-2). Is g(i) a composite number?
False
Let c = 1215 + 122. Is c composite?
True
Is ((-10)/(-4))/(2/1228) composite?
True
Suppose 22 = 2*l - 14. Let q(u) = -u**2 + 11*u + 1. Let i be q(5). Let d = i - l. Is d a prime number?
True
Suppose 18 = 3*y + h, 9 - 1 = y + h. Let a = -7 + y. Is (-105)/a + 1/2 a prime number?
True
Let m be 3 + 6/(-3) + -2359. Is 4/10 + m/(-30) a composite number?
False
Suppose -5*n = 0, -799 = -i - 3*n - 2. Is i a composite number?
False
Let u(m) = 445*m - 12. Is u(2) prime?
False
Suppose -2*x - 2085 = -5*f, -f = 3*x - 35 - 399. Is f composite?
False
Suppose 0 = -3*m - 2*i + 55, 0 = -m + 3*m + i - 38. Suppose -m = -3*q + 12. Is q composite?
False
Suppose -2*a - 3*w = -47, -4*w = 1 + 3. Suppose -8*d + 3*d = a. Is -2 + 5/(d/(-39)) a prime number?
True
Suppose 0 = -n - 11 + 44. Let m = 61 - n. Suppose -3*d - 1 = -m. Is d prime?
False
Suppose 0 = -3*s + 2*s + 3*c + 88, 0 = -2*c - 6. Is s a prime number?
True
Suppose a - 2*a + 152 = 0. Suppose 4*c = -w + 2*w + a, -3*c = -2*w - 119. Is c composite?
False
Let l be 2/10 + (-1)/5. Suppose l = -5*y + 3*y + 506. Is y prime?
False
Let u(s) = 111*s**2 + 4*s + 3. Is u(-2) composite?
False
Suppose 2*u - u + 383 = 4*i, -2*i - 5*u = -219. Is i a prime number?
True
Suppose -i + 161 - 42 = 0. Is i prime?
False
Is (2/6)/(8/5304) composite?
True
Let s(k) = 10*k**2 + 2*k - 4. Let o be s(3). Suppose -2*g + o = -120. Is g composite?
True
Let u(q) = q**3 + 4. Let r be u(0). Suppose -v = -r*v + 129. Is v a prime number?
True
Suppose 4*o - 4*q - 3420 = 0, -2*o - q + 2*q = -1706. Is o a composite number?
True
Let l(i) = -i**3 - i**2 + 307. Is l(0) composite?
False
Suppose 0 = -3*r + 9 + 9. Suppose 0 = -o + 2*t + 35, r*o - 4*o - 70 = -t. Is o composite?
True
Let q(o) = o**2 + 5*o - 4. Let p be q(-6). Suppose -4*u + 86 = -2*r, p*u - 3*r = 44 - 7. Is u prime?
True
Let q(w) = w + 1. Suppose 2*l - 4 = -0*l. Let o be q(l). Let t(g) = g**3 - g**2 + 2*g + 2. Is t(o) a prime number?
False
Suppose 133 = -4*l + 509. Suppose 0 = 4*v - 3*n - 114 - l, -v + 39 = -4*n. Is v a composite number?
True
Let d = 59 + -27. Suppose 2*p - d + 6 = 0. Is p prime?
True
Suppose 0 = o + 2*i - 714, 4*o + o - 4*i - 3570 = 0. Is o/15 + 6/(-10) a prime number?
True
Let c(s) = -s**3 + 9*s**2 - 11*s + 1. Is c(5) a composite number?
True
Is (-1)/3*-6 + -1 - -1038 a composite number?
False
Let l(u) be the first derivative of -67*u**2/2 + 4. Let x be l(4). Is (x/(-12))/((-1)/(-3)) a prime number?
True
Suppose -17 = d - 23. Suppose 4*t - 6 = -2*y, 5*y - 7*t = -2*t - 15. Is 1125/d - y/(-2) prime?
False
Let x(p) = -p**3 - p**2 + p + 7. Let l be x(0). Suppose -35 = -2*d + 4*y - l*y, -62 = -3*d + 5*y. Is d prime?
True
Let d(r) = 71*r**2 - 22*r**2 + 28*r**2. Is d(-1) a composite number?
True
Let t = -33 - -4. Let n = 60 + t. Is n prime?
True
Let x(u) = 12*u**2 - u - 6. Is x(-5) a prime number?
False
Suppose 0*l + 3*l - 6 = 0. Suppose 4*y + 3*u - 15 = 3*y, -4*u + 20 = -l*y. Let g(q) = -q + 89. Is g(y) a prime number?
True
Let v(p) = p. Let d be v(4). Suppose d*o - 3 = -z, 3*z = 2*o + 71 - 6. Is z a composite number?
False
Suppose 0 = -4*v + 4*i, -2*v = -5*v - i. Suppose -d + v + 7 = 0. Is d prime?
True
Suppose -u - 26 = 3*u - 3*h, -4*u = 5*h + 10. Let o(j) = j**2 + 3*j - 7. Let a be o(u). Let m = a + 64. Is m a prime number?
True
Suppose 4*g = -3*v + 373 + 22, -5*g - 225 = -2*v. Let w = 210 - v. Is w a prime number?
False
Suppose -x - 11 = -2*x. Let z = x + -8. Is z prime?
True
Let b(m) = -m**3 + 4*m**2 - 2*m + 4. Let h be b(3). Let w(l) = 3*l + 2*l**2 + 9 - 2 + 6*l - 3*l**2. Is w(h) a prime number?
False
Let g(f) = 6*f + 1. Suppose -3*m + 3 = -0*m. Let i be g(m). Let y(z) = -z**3 + 7*z**2 + 7*z + 4. Is y(i) composite?
False
Let w(v) be the third derivative of -v**5/30 - v**4/3 - v**3/3 - v**2. Let r be w(-6). Let i = 45 + r. Is i prime?
True
Suppose 5*w - 115 = 1015. Is w a composite number?
True
Let q be ((-4)/(-3))/(6/81). Is (-3)/q + 3585/18 prime?
True
Let i = 4 - 83. Let m = 29 + -143. Let a = i - m. Is a composite?
True
Let o(h) = 9*h + 6 + 13*h**2 - 8 + 3 + h**3. Is o(-12) composite?
False
Let c = 114 - 77. Is c a composite number?
False
Let m(y) = y**2 + 6*y - 8. Let x be m(-7). Is (-1 - x) + (72 - 3) a composite number?
True
Suppose -7*h + 5 = -2*h. Suppose -4*y = -3*y + h, 0 = 2*i + 2*y - 100. Suppose -2*w = 3*z - i, -3*z + 2*w = 7*w - 42. Is z a prime number?
True
Let z(l) = 26*l - 17. Is z(8) composite?
False
Suppose 163 = m - 8*j + 3*j, -435 = -3*m - 3*j. Let g = 282 - m. Is g a composite number?
True
Let b = 73 + 14. Is b a prime number?
False
Suppose 0 = 5*z - 4*p - 54