pose 4*l = -k*x + 528, -2*l + 4*x = 2*l - 492. Is l prime?
True
Let s(w) = -w**2 - w + 1. Let f(r) = 6*r**2 + 5*r + 628. Let i(k) = f(k) + 5*s(k). Is i(0) a composite number?
True
Let f(x) = -4*x. Let c be f(1). Let r be (-1)/c + 23/4. Is 224/r - 2/(-3) a prime number?
False
Let t(b) = 2*b**2 + 0*b**3 - 4*b**2 - b**3 - 2. Let u be t(-2). Is 159/u*2/(-3) composite?
False
Suppose -9683 = -4*l - 5*y, 5*y = -l + 3*y + 2417. Is l prime?
False
Suppose 5*t = -1039 + 3134. Is t a prime number?
True
Let j(c) = c**2 + 7*c + 7. Is j(-10) composite?
False
Let y be 20/(-9) - 8/(-36). Let m be -75*2*y/12. Let n = -6 + m. Is n prime?
True
Let a(o) = 18*o + 31. Is a(17) composite?
False
Let q be (-1)/((-15)/6)*5. Let u be 5/2 + q/(-4). Suppose 2*h - 92 = -u*h. Is h composite?
False
Let w(p) = 4*p**3 - 2*p**2 - 2*p + 6. Let x(o) = -4*o**3 + 2*o**2 + 2*o - 7. Let g(i) = 4*w(i) + 3*x(i). Is g(3) a prime number?
False
Is 3*(217/3 + -2) prime?
True
Suppose 0*i = 3*i + 4*l + 5, 2*i - l = 15. Suppose 0 = 5*b + o - 58, b - 4*b + i*o = -18. Is b prime?
True
Suppose 11*u = 6*u - 955. Let h = u + 284. Is h a prime number?
False
Suppose -4*b = -w - 13 - 0, -3*b = -4*w. Is 429/(-26)*(-146)/w prime?
False
Let n(m) = 2*m**2 + 6*m - 6. Is n(7) a prime number?
False
Suppose 0 = 4*w + k - 888, -3*w - 5*k = -w - 426. Is w a composite number?
False
Suppose 3*b + 15 = 5*l - 8*l, -2*l - 4*b = 18. Let d(p) = -30*p - 46*p - 38*p + 1. Is d(l) a prime number?
False
Let x be (20/6)/5*12. Suppose -x = d - 5*d. Suppose -d*q - 132 = -g + 7, -2*q + 308 = 2*g. Is g prime?
True
Let r(f) = -55*f**3 - 6*f**2 - 5*f - 7. Is r(-4) a composite number?
True
Let f = -2 + 7. Suppose 0*o = f*o. Suppose 2*w = -o*w + 70. Is w composite?
True
Let j be (-3)/(-4)*(13 + -5). Suppose -2 = -4*z + k, 5*z + 3*k + 1 = 6*k. Suppose o - z = j. Is o a composite number?
False
Let c(o) = 4*o**3 - o**2 + o - 1. Let y be c(1). Suppose -2*p = -p + y*n - 88, -n = -5*p + 392. Is p prime?
True
Suppose -3*k + 3*y + 1 - 7 = 0, -5*y = -2*k - 16. Suppose -s = -k*s + 14. Is s composite?
True
Suppose 0 = -5*g - 226 + 1406. Let x be (g/6)/(2/3). Suppose -w + 2*o + 29 = -0, -w + x = 4*o. Is w composite?
True
Let i(v) = -2*v**3 - 12*v**2 + 10*v + 13. Is i(-9) a composite number?
False
Suppose 2*i - p = 862 - 100, -3*i + 3*p + 1149 = 0. Is i a prime number?
True
Let v(x) = -2*x - 5. Let d be v(6). Let b = d - -25. Is (-74)/b*(-7 - -3) composite?
False
Suppose 0 = -0*t + 4*t - 2*u - 1082, -4*t = u - 1073. Is t prime?
True
Suppose 7 = -f - z - 0, 0 = -3*f + 3*z - 15. Let l = 133 + f. Is l a composite number?
False
Let n = -252 + 1129. Is n a prime number?
True
Let h(m) = -m + 23. Let d be (2/(-8))/((-2)/8). Let j = d - 1. Is h(j) prime?
True
Suppose 0 = u + 3*u + 36. Is (-892)/(-6)*u/(-6) composite?
False
Suppose -5*z - 4*r = 144, -2*z + 5*r - 51 = -0*r. Let i = -12 - z. Suppose -3*f = 4*l - 59, -5*l - 4*f - i = -91. Is l a composite number?
False
Suppose -i - 2*n - 311 = -2*i, -1244 = -4*i - 3*n. Is i prime?
True
Suppose 5*m = -3*s + 16 + 5, -4*s + 8 = 0. Suppose 0 = -5*p + m*p. Suppose p*r - 3*t = -r + 65, 5*r - 3*t = 349. Is r a prime number?
True
Suppose -3*d = k - 19, -2*d + 0*k = -3*k - 31. Suppose -d*v = -3*v - 2670. Is ((-2)/(-3))/(2/v) composite?
True
Suppose 3*y = 2*z + 6, -4*z - 3 = -y - 1. Suppose -4*x = -y*x - 94. Is x prime?
True
Suppose 27 = 3*i - 24. Suppose -398 = -3*v - i. Is v prime?
True
Suppose 4*v - 38 = -2*i + 804, v + i - 210 = 0. Is v composite?
False
Let g = -339 + 502. Is g composite?
False
Suppose 0 = -5*g + 2*g - 4950. Let t be ((-2)/4)/(5/g). Suppose 0*x + t = 3*x. Is x a prime number?
False
Suppose 5*f = 12 + 3. Suppose f*i = -i + 148. Is i a prime number?
True
Let n = -313 + 183. Let d = 261 + n. Is d a composite number?
False
Let n(w) = 2*w**2 - 8*w - 11. Let k be (1/(-1) - -2)*8. Is n(k) a composite number?
False
Suppose -2*h - 6 = 0, 0*o + 702 = 3*o + 5*h. Is o composite?
False
Suppose 2*u + 0*u = -6. Let s be ((-50)/(-6))/5*u. Let o(y) = y**3 + 7*y**2 - 1. Is o(s) a prime number?
False
Suppose 6*r - 2*r - 3*i - 2427 = 0, -4*r - 5*i = -2387. Let k = -352 + r. Is k a prime number?
True
Suppose n - 168 = -0*n. Suppose -n = m + m. Let o = -53 - m. Is o prime?
True
Let r = 613 + -399. Let m be 10/15 - r/6. Is (4 + -1)/(-3)*m a composite number?
True
Let h = -104 + 191. Is h prime?
False
Suppose d - 137 = 3534. Is d a composite number?
False
Suppose 141 + 85 = 2*u + 4*n, 2*n = 2. Is u a composite number?
True
Let b(p) = 3*p**2 + 4*p + 12. Let u(l) = -l**2 - l - 4. Let q(s) = 6*b(s) + 17*u(s). Let c be q(-7). Suppose c*v = -0*v + 188. Is v a prime number?
True
Suppose 24 = -2*k + 5*y, 4*k + 3*y = 5 - 1. Let u be k/3 - 17/(-3). Suppose u*r - 3*a = -a + 713, 0 = r - 4*a - 139. Is r a composite number?
True
Let z = -332 + 543. Is z a composite number?
False
Suppose -4*u - n + 2056 = -313, 4*u - n = 2359. Is u prime?
False
Suppose 3*l + 6 = 0, -4*s + 4*l = -2*s - 2746. Is s a composite number?
True
Suppose 5*f = 2*k + 322, -4*k - 2*f - 353 = 315. Let i be k*(0 - (-2)/(-2)). Suppose 3*u + 4*y - 137 = 0, -4*u = 3*y - 6*y - i. Is u prime?
True
Let k be 3*(0 - 39)/(-3). Suppose 126 = 5*c - k. Suppose -p = -2 - c. Is p composite?
True
Let h be -1*3*(-30)/9. Suppose o - h = -o. Suppose o*q - 33 = 2*q. Is q composite?
False
Let w(b) = b**3 - 12*b**2 + 9*b - 15. Let m be w(12). Let l(i) = -i**2 + 9*i + 4. Let x be l(7). Suppose -3*o + m = -x. Is o a composite number?
False
Is 5 + 1 - -1684 - -1 a composite number?
True
Suppose -4*h - 794 = -4*a - 9*h, 5*h - 593 = -3*a. Is a composite?
True
Suppose 2*i - q - 681 - 1161 = 0, i - 928 = -3*q. Is i a composite number?
True
Let b(f) = 38*f**2 - 12*f - 1. Is b(-5) a prime number?
True
Let v = 8 + -5. Is (-2 - (2 - v)) + 98 a prime number?
True
Let k be 0 - (5 + -2 + -1). Let g = k - -4. Suppose h + w = g, -h + 2*w + 24 = h. Is h prime?
True
Suppose -2*q - 4 = -4*q. Suppose -21 = w - q*w + l, -2*w + 4*l = -46. Is w a composite number?
False
Let d(l) = -2*l + 7. Suppose 4*u - 25 + 9 = 0. Suppose -4*y - 40 = u*c, -5*y - c - 28 = -2*y. Is d(y) prime?
False
Let s = 386 + 56. Let r = s - -136. Suppose -m + r = 4*c - 2*m, -5*m - 135 = -c. Is c a prime number?
False
Let z = -107 - -238. Is z composite?
False
Suppose -5*b = -2*g - 789, 5*g = 3*b - 0*g - 462. Let z = -108 + b. Is z a prime number?
False
Suppose 0*y = -y - 27. Let o = 48 + y. Is o composite?
True
Let m = -18 + 41. Suppose -24 - 246 = -5*o. Let g = o - m. Is g prime?
True
Let r(l) = 8*l - 14. Let s(x) = -3*x + 5. Let t(c) = 4*r(c) + 11*s(c). Is t(-4) a composite number?
False
Suppose -5*b = -0*b - 15. Is -1 - (-109 + (b - 6)) a composite number?
True
Let z = 2483 + -1528. Is z a prime number?
False
Let x = 11 - 8. Suppose -f = -0*f - 2, -3*g - x*f = -111. Is g a composite number?
True
Suppose 3*c = 5 + 10. Let k = 21 + -11. Suppose -145 = -c*t + k. Is t prime?
True
Let a = 181 - 32. Is a a prime number?
True
Suppose -105 - 380 = -5*i. Is i a composite number?
False
Suppose 0 = k - 4 - 130. Let g = k + -25. Is g a composite number?
False
Suppose -6*x + 5 = -79. Suppose x = -l - 5*s, -s - 22 = -l - 2*l. Is l composite?
True
Suppose 0 = -4*s + 8, 4*s + 1 = -3*t + 3. Let w be 1*t/(-2) - 0. Is 162 - w*(2 - 3) a composite number?
False
Let s = 0 - 0. Suppose 3*y = -2*q - 2, s*q - 5*y - 15 = q. Suppose 2*m - 119 = -q*d, -3*d + 2*d + 27 = 2*m. Is d a prime number?
True
Let z be (-2)/(-4)*(322 - -4). Suppose 2*w - 6*i = -2*i + 54, -4*w - 3*i + z = 0. Is w prime?
True
Let i(q) = 41*q - 1. Let p(g) = 122*g - 3. Let t(n) = 8*i(n) - 3*p(n). Let b be t(-1). Suppose s - b = -6. Is s prime?
False
Let j(d) = -7*d + 71. Is j(-6) a prime number?
True
Suppose 2*k + 4*o = -22, 2*o + o = -12. Let v(r) = r. Let h(q) = 13*q - 4. Let j(m) = -h(m) + 2*v(m). Is j(k) composite?
False
Let t be (2 + 1)/(12/(-8)). Is t - (-1 + -53 + -1) a composite number?
False
Suppose 270 = 4*f - 166. Is f composite?
False
Is 3 - -42*(5 + 4) a prime number?
False
Suppose -4*m + 3*g - 20 = 0, -2*g + 1 = m - 5. Let d be m + 6 + -2*1. Is d/(-9) + 598/18 a composite number?
True
Is (2092 - -6)*(-2)/(-4) composite?
False
Let m = -1 + 8. Suppose -2*l + 3 - m = 0. Let t = 165 + l. Is t a composite number?
False
Suppose 2537 = 9*d - 1504. Is d composite?
False
Suppose