 104*r - 3679 = -k, 0 = k + r - 3695. Is k a prime number?
True
Let b be (5 - 4)/((-4401)/(-2199) - 2). Let a = b - -514. Is a prime?
False
Suppose -332*l + 327*l = -1255. Is l a prime number?
True
Let i = 2377 + -1156. Suppose 17*x - i = 6*x. Is x a prime number?
False
Let i(c) = -7363*c - 31. Is i(-2) prime?
False
Let m be 1 + -1 + 1 + 4. Suppose 12*d = m*d + 847. Is d a prime number?
False
Suppose -2*d + 7906 = 3*p, -4*p + 10536 = 17*d - 13*d. Let n = 3711 - p. Is n prime?
False
Let o(m) = -7 + 309*m - 140 + 80. Is o(14) a prime number?
True
Let a(l) = -l**3 - 5*l**2 + 7*l + 8. Let z be a(-6). Suppose 1592 = 2*p + z*b, 4*b + 801 = -0*p + p. Is p prime?
True
Let h(o) = -24*o**3 - 15*o**2 - 10*o + 37. Is h(-12) a composite number?
True
Let o = 1215 + -203. Suppose 12*k - 16*k = -o. Is k composite?
True
Suppose -330 = 4*u - 3*u. Let x = u - -475. Is x a prime number?
False
Suppose 2*i = -i + 17337. Is i a composite number?
False
Suppose -4*a = 2 - 10. Suppose 0*z - a*z = q - 359, z + 4*q - 183 = 0. Is z a prime number?
True
Let n(u) = u**3 - 15*u**2 - u + 11. Let w be n(15). Let j be (w - 1)*(-4)/4. Suppose 0 = 4*s - x - 1328, -4*x - j = 11. Is s prime?
True
Let w(a) = 24*a**2 + 11*a - 31. Let c be w(9). Suppose 578 = -3*y + c. Is y prime?
False
Suppose 4*w - 1 = 7. Suppose -86 = -w*r - 4*a, a + 191 = 3*r + 34. Is r a composite number?
True
Let z = 12087 - 6950. Is z a composite number?
True
Suppose 0 = -2*d + v + 31524, -5*d - 17*v + 20*v = -78811. Is d a prime number?
True
Let z = 12442 + -6195. Is z a composite number?
False
Let i be 3/(-1*3/(-92)). Suppose 184 = 4*c + 4*a, -c + 4*a = c - i. Is c prime?
False
Let p = -3 + 5. Let r(i) = 0 + 1 + 21*i + p - 4*i. Is r(8) a composite number?
False
Let u = 276 - 131. Suppose 5*r = u + 1920. Is r composite?
True
Suppose 4*r = 8, -2*r - 2 = -h - r. Suppose -3258 + 1334 = -h*k. Is k a composite number?
True
Suppose 5*u - 20 = -0*u. Suppose 2*a = u*a - 4. Suppose -3*q = -a*q - 157. Is q prime?
True
Suppose -128 = -4*a + 5*v, -v - 19 = -a - 3*v. Suppose a + 2299 = 2*w. Is w a composite number?
False
Suppose 5*h - 2601 = 634. Suppose -395 = -2*w + h. Is w a composite number?
False
Suppose 3*a - 3*x = 1993 - 9313, 2*a - 5*x + 4877 = 0. Let l = a + 4894. Is l composite?
True
Suppose 5*o + 76 - 21 = 0. Let q(c) = 5*c**2 - 7*c + 1. Let a(y) = 9*y**2 - 14*y + 3. Let w(d) = -3*a(d) + 7*q(d). Is w(o) prime?
False
Suppose 2*i - 1 = -3*h, -5*i + 0*h = 5*h. Let k be (i + 6)*24/60. Suppose k*x + 159 = 5*x. Is x composite?
False
Suppose -u = -2*w + w - 1, -2*u = 2*w - 2. Suppose -u = -s - 9. Is (-8395)/(-20) + 6/s composite?
False
Let r = 67764 + -38863. Is r composite?
False
Suppose w = -u + 3*u + 2, -w - 2*u + 2 = 0. Suppose -w*p + 420 = -68. Suppose -5*h + 66 = -p. Is h prime?
False
Suppose -25*q + 179308 = 21033. Is q a prime number?
False
Suppose -m - 52*r + 49*r + 1909 = 0, -5*m = r - 9545. Is m prime?
False
Let q(d) = -26*d**2 + 4*d + 5. Let b(f) = 131*f**2 - 21*f - 26. Let j(l) = -2*b(l) - 11*q(l). Is j(5) a prime number?
True
Let w(z) = 13*z**2 + 250*z - 91. Is w(-54) composite?
False
Let j be 4*(-1)/4*-1. Let m = j + -2. Is 2563/44 - m/(-4) a composite number?
True
Let k be ((-12)/18)/((-4)/(-18)). Let x be (6/(-7))/(k/(-21)). Is (-66)/((-3)/((-9)/x)) prime?
False
Let w(c) = c**3 + 3*c**2 - 2*c + 3. Let h(y) = -3*y**2 - y - 1. Let d be h(-1). Let x be w(d). Is (783/x)/(0 - -1) composite?
True
Suppose 4*n - 8 = -76. Let o = -17 - n. Suppose o = -9*s + 6*s + 291. Is s composite?
False
Let i(l) = 111*l**2 + 2*l + 5. Let d be i(-3). Let j = d - 237. Is j composite?
False
Suppose -3*q + 0*q + 1512 = 0. Suppose 735 = -10*j + 13*j. Let p = q - j. Is p composite?
True
Let h(t) = -2*t**3 - 16*t**2 + 4*t + 25. Is h(-14) a composite number?
True
Let j(b) = 2*b**2 - 11*b + 7. Let i be j(6). Suppose 0 = -14*v + i*v + 133. Is v prime?
False
Suppose -524400 = -4*n + 2*x, 4*n + 75*x - 524412 = 71*x. Is n a composite number?
False
Let n(q) = 4 - 21*q + 6 + 6*q. Let k be n(13). Let j = -74 - k. Is j composite?
True
Suppose -6*z + 4*z - 106 = -5*p, -3*z = -2*p + 49. Let c be p/130 + 7178/(-13). Is -2 - c - (2 + -6) a composite number?
True
Let y be 0 + 373 - (-5)/5. Suppose -3*m + 932 = y. Is 5/(2*3/m) a prime number?
False
Let z = 46 + -239. Suppose -4*d + 28 = -2*m, -3*d = 4*m + 1 - 0. Is m + 2 + 0 - z a composite number?
False
Let z be -15*(-94)/(0 + 2). Suppose 19*v = 16*v + z. Is v composite?
True
Let w(m) = -13*m + 1. Let f be 8/(-36) + 104/(-18). Is w(f) a composite number?
False
Suppose 2*o + 1 = -7. Let t(k) = 46*k**2 - 2*k + 5. Is t(o) a prime number?
False
Suppose -2*g = 3*g - 15. Suppose -3*y = -g*a + 2*a - 16, 2*y = 5*a + 28. Is a/6*1413/(-6) composite?
False
Suppose -2*d - 5*m = -73233, -123*m + 125*m + 10 = 0. Is d a prime number?
True
Let s(n) = -3786*n**2 + 6*n - 6. Let h be s(-4). Is h/(-30) + 12/15 a prime number?
False
Let y = -18 - -72. Let n = 13 + y. Is n a composite number?
False
Let q = 14 + -13. Suppose 0 = -4*p - 2*t + 10, -p - q - 1 = -4*t. Suppose 4*v + 414 = p*d, 2*v = -1 + 5. Is d composite?
False
Let u be (-1620)/2*(-4)/6. Suppose 4*c + c = u. Let i = 13 + c. Is i composite?
True
Let w be 2 + (-4)/(8/42). Let m = -33 - w. Let u = 37 - m. Is u a prime number?
False
Let y = 16070 - 10347. Is y prime?
False
Let z(s) = -19*s - 68. Let n(w) = -20*w - 68. Let v(t) = 4*n(t) - 3*z(t). Is v(-14) a prime number?
False
Let j be (-6)/(-4)*(-8)/6. Let g(k) = -70*k + 2. Is g(j) prime?
False
Let b = 135 - 145. Is 4/(-2) - (b - -1)*241 a composite number?
True
Let a(d) = d**2 - 18*d - 17. Let s be a(16). Let b = 228 + s. Is b prime?
True
Suppose 0 = -56*z + 93401 + 1671215. Is z prime?
True
Let s(d) = -8*d - 16. Let u(m) = -4*m - 8. Let o(f) = -3*s(f) + 7*u(f). Let a be o(-9). Suppose 0 = l - 95 + a. Is l prime?
True
Let g = 14 + -2. Suppose 4*u - 8 - g = 0. Suppose n = u*n - 2756. Is n a composite number?
True
Let z(x) = -2*x**2 + 10*x + 4. Let w be z(5). Suppose j + w = 5*j, 5*j = 5*k - 1460. Is k prime?
True
Let k be (658/5)/(2/(-60)). Is 2*(36/(-8))/(-9) - k a prime number?
False
Suppose 4*u + 25 = 5*w, 26 = -2*w - 5*u + 3. Is -422*w/(-4)*2 prime?
True
Suppose -3*g + 20 = g. Suppose -g*j - 86 = -2*y + 199, 2*y - 288 = 2*j. Is y composite?
True
Let w = -13 + 13. Suppose -y + 2*x + 6 = 0, 3*x + 0 + 3 = w. Is 2/(-1)*(-134)/y prime?
True
Suppose -9*j = -947 - 5119. Is j composite?
True
Suppose -4*q + 3190 = s, s + 1680 + 1506 = 4*q. Is q prime?
True
Let v(w) = 3*w - 14. Let y be v(8). Let s = 14 - y. Is (66/(-12))/((-2)/s) a prime number?
True
Let n(j) = j + 10. Let b be n(-7). Suppose -196 + 1087 = 3*y + 2*p, -888 = -b*y - p. Suppose -3*f - y = -742. Is f a prime number?
True
Let v = 9 - -11. Let t(j) = -2*j**3 + j**2 - 5. Let w be t(-4). Suppose 3*g - w - v = 0. Is g prime?
True
Let d(i) = 9*i**2 - 14*i - 48. Let k be d(-11). Suppose -8*n = -4*n + 2*r - 1596, 0 = -3*n - r + k. Is n composite?
False
Let i(q) = 858*q**2. Let v be i(1). Suppose -4*u + 2583 = -t, 4*t = -3*u + 2781 - v. Suppose r - k = u, -3*r - 2*k + 4*k = -1931. Is r prime?
True
Suppose -3*d + 57869 = 4*a, -5*d + 0*d = a - 96420. Is d composite?
True
Let d(p) = 85*p**2 + 14*p + 30. Is d(-7) a prime number?
False
Is (-6)/1 - (-1120646)/118 a composite number?
False
Suppose 0 = -318*r + 316*r + 3086. Is r a composite number?
False
Let d = 9162 + -6167. Is d a prime number?
False
Let m = -14 + 18. Suppose 0 = -l + u + 674, 0 = -m*u + 3*u - 2. Suppose -3*g = 5*n - l, 3*g = 3*n - 133 + 781. Is g prime?
False
Let l be 2*(-14)/(-4) + 1. Suppose -4*n + 4 = -l. Suppose z + 2*g = 323, 4*g - 640 = -2*z + n*g. Is z a composite number?
True
Let w(f) = f**3 - 8*f**2 + 6*f + 9. Let s be w(7). Suppose s*a = -3*b + 5*a + 270, b - 93 = 2*a. Is b a prime number?
False
Let f(u) = u**2 - 5*u - 5. Let o(s) = s**2 + 3*s - 3. Let d be o(-3). Let t be (d/2)/(21/56). Is f(t) prime?
True
Suppose -o - 11785 = -5*a, -5*o + 4804 + 6951 = 5*a. Suppose -w - 1767 = -3*k + 4*w, 5*w + a = 4*k. Is k prime?
False
Let x(j) be the first derivative of -j**3/3 - 5*j**2/2 - 2*j - 1. Let k be x(-3). Suppose -g - 57 = -k*g. Is g a composite number?
False
Suppose 1225*m = 1215*m + 146290. Is m prime?
True
Let z(m) = -m**3 + 17*m**2 - 6*m - 2. Let i be z(15). Let r = i + 941. Suppo