2*w. Suppose -314 = -2*t - w*t. Is t a prime number?
True
Let g(c) = -17*c + 2642. Is g(0) prime?
False
Let t = -3 - -9. Let d be 21/t - (-2)/(-4). Suppose 2*n - d*g - 353 = -51, -5*n + 721 = g. Is n composite?
True
Suppose 2*a + 287 + 37 = 0. Let g = 367 + a. Is g a composite number?
True
Let f(x) = -4 + 3 - 4 + 121*x. Is f(2) prime?
False
Let c be -1*(-3 - -4)*(-3 - -3). Suppose -2*n + 10 = c, n - 385 + 3649 = h. Is h a composite number?
True
Let c = 109 + -97. Let p(q) = -q**3 + 13*q**2 - 12*q + 11. Is p(c) a composite number?
False
Suppose -26256 = -0*r + 4*r. Let f be r/(-18) + (-2)/3. Suppose 5*o = o + f. Is o composite?
True
Let l be (-63)/(-42)*11044/6. Let b = -1866 + l. Is b composite?
True
Let h = 8 + -3. Let q(i) = i**2 - 4*i - 1. Let k be q(h). Suppose 2*a = 2*b - 0*b - 420, -841 = -k*b + 3*a. Is b prime?
True
Let m(k) be the third derivative of 6*k**5/5 - k**4/24 + k**3/2 + 15*k**2. Is m(2) composite?
True
Let i(n) = -3*n**3 - 13*n**2 - 2*n - 11. Suppose 0 = -9*k - 62 - 10. Is i(k) a prime number?
True
Suppose 8*j + 248413 = 19*j. Is j prime?
False
Suppose -27782 = 71*k - 73*k. Is k a composite number?
True
Suppose -109 = -3*b - 3*p - 25, -148 = -5*b - 3*p. Suppose 5*d - w - 3*w = 176, d = 4*w + b. Let x = -17 + d. Is x a composite number?
False
Let m = -14 + 23. Let i = -8 + 10. Is i - 3/(m/(-159)) composite?
True
Suppose 0 = 2*i - 5145 - 163. Suppose -7*v + i = 603. Is v a prime number?
True
Let l be 2/11 + 4083/(-11). Let c = -104 - l. Is c composite?
True
Let q be (-1)/(-1) + 2 + -2. Let t = q - 4. Is (14 - 3 - t) + 0 a prime number?
False
Let m = -2282 + 7163. Is m a prime number?
False
Let m(b) = b**2 + 5*b + 7. Let y be m(-4). Suppose -y*u - 2*u = 5*o - 5, -5*u + 5 = -5*o. Suppose o = 2*v - 24 - 38. Is v composite?
False
Suppose -4*t + 7*t - 9 = 0. Suppose t*l = -x + 8 + 5, -l + 15 = 3*x. Is (-6)/(-4) + 1318/x a composite number?
False
Suppose -2*q - 17 = -15. Is (-8 - -7)/((-1)/(-298)*q) a composite number?
True
Suppose -3*h - 7 = -m + 6, -h + m - 1 = 0. Let p(r) = -268*r - 5. Let o be p(h). Let q = 2646 - o. Is q composite?
True
Suppose -767946 = -18*i - 165324. Is i prime?
True
Let r = 3 - 2. Let t(f) = 6 + 0 + 4*f**2 - r. Is t(6) a composite number?
False
Let k = -3 + 10. Let v(q) = 10 + 8 - k - q. Is v(0) a composite number?
False
Let a = -10 + 20. Is 7372/10 + a/(-50) prime?
False
Let p(h) = h**3 + 10*h**2 + 20*h + 20. Let s be p(-8). Is (-563)/((6 + -2)/s) a prime number?
False
Let a(l) = l**2 + 20*l - 4. Let t be a(-21). Suppose 879 = -14*i + t*i. Is i a prime number?
True
Suppose -y - 2 - 6 = -2*m, 2*m = -3*y - 8. Suppose -6*j + 2*k + 239 = -j, 5*k - 113 = -m*j. Suppose 5*v - 119 = -2*p, 4*p + v - j = 144. Is p a prime number?
True
Let z(q) = -268*q - 361. Is z(-66) composite?
False
Let r(n) = 2*n**2 - 4*n**2 - 5*n + 3 + 4*n**2 + 13. Is r(7) composite?
False
Suppose -29*o = 401721 - 1284858. Is o a composite number?
True
Let z(c) = c**3 + 7*c**2 + 3*c + 5. Let v be z(-7). Is (-6)/v - (-19024)/128 a prime number?
True
Let f(d) = -540*d**3 - d**2 - 2*d. Suppose 17*s = 20*s + 3. Is f(s) a prime number?
True
Suppose 2*u + 8 = 5*i, 2*u + 8 = -5*i - 0. Suppose -3680 - 7388 = -5*f + 3*k, i = 4*f - k - 8853. Is f composite?
False
Let b be 2 - (28/(-12) - (-1)/3). Suppose -2*j + 256 - 637 = -c, -4*j + 1512 = b*c. Is c prime?
True
Let m(w) = 202*w**3 - w**2. Let t be m(1). Suppose -2*l + 601 = -t. Is l composite?
False
Suppose -5*y - 3*b = -27, 4*y - b - 5 = 3. Suppose o + 6215 = y*x, -5*x + 10369 = -2*o + 3*o. Is x a composite number?
True
Suppose -4*g + 4 = -0*g. Let v = -5 + -2. Is 21/v - (-799 - g) a composite number?
False
Let i = 6653 + -472. Is i a composite number?
True
Let h = 16 - 11. Let z(r) = 8*r**3 + 6*r**2 - 2*r - 3. Let n be z(h). Suppose -3*t + n = -0*t. Is t composite?
False
Suppose -2*b = -3328 - 142. Suppose 0 = 5*m - 5105 + b. Is m a composite number?
True
Let o = 694 - -20865. Is o prime?
True
Let g(b) = 34*b**3 - b**2 + 3*b + 7. Let i be g(3). Suppose 0 = 2*d - 7*d + i. Is d prime?
False
Let h(p) = -35*p - 70. Let v(f) = -17*f - 35. Let k(w) = -3*h(w) + 7*v(w). Is k(-8) a prime number?
False
Suppose 0 = -3*m, f = 3*f + 4*m - 836. Suppose -4*h + 106 = -f. Is h a composite number?
False
Let l = -39 - -66. Let i = 164 + l. Is i a prime number?
True
Is (2 + 6*2)/(2/839) composite?
True
Let k(h) = 8*h**3 - 59*h**2 - 4*h - 8. Is k(17) a prime number?
False
Let n be -418 - ((-9)/(-3))/(-2 - -5). Let c = n + 678. Is c a prime number?
False
Let w(f) be the first derivative of -127*f**2/2 + 16*f - 26. Is w(-7) prime?
False
Suppose 9*b - 4*b = 10. Let v be b/(-8) - (-3804)/48. Is v + -2 + (-4)/(-2) a prime number?
True
Suppose 9*r - 5*r = 2*k + 24646, -k - 6164 = -r. Is r prime?
False
Suppose 484*v + 1630 = 489*v. Is v prime?
False
Let d be 14*((-7)/2)/(-7). Let f = -4 + d. Suppose -2*j - f*v = -j + 3, 2*j - 30 = 3*v. Is j a prime number?
False
Let b be 3/(2 - (0 + 3)). Let w be 0 - -3*(-3)/b. Suppose w*u + 2*u = 175. Is u a prime number?
False
Let o = 7303 + 13546. Is o composite?
False
Let w(f) = 2*f**3 - 12*f**2 - 13*f + 25. Is w(12) a prime number?
True
Suppose 22*o = 67*o - 963855. Is o composite?
False
Let i(w) be the third derivative of 13*w**5/60 + w**4/8 - 11*w**3/6 + 18*w**2. Is i(3) composite?
True
Let k(q) = -q**3 + 12*q**2 + 5*q - 13. Let d(x) = -x**3 - x**2 + x + 1. Let o(m) = -2*d(m) + k(m). Is o(-12) a composite number?
True
Let p = -1039 + 479. Is -3 + p/(-3 - -2) prime?
True
Let i(b) be the third derivative of 5*b**4/2 + b**3/6 - 7*b**2. Let k be i(7). Suppose -4*f - k = -2649. Is f a composite number?
False
Let m = 16477 - 8976. Is m a prime number?
False
Suppose -6*d = -2*d - q - 5, 0 = -5*q - 5. Let r(c) = 469*c**2 - c + 1. Is r(d) a prime number?
False
Let v(d) = 7*d - 21. Let k be v(7). Suppose 0 = 33*m - k*m - 10. Suppose 5*j - m*t = 5281, 795 - 2908 = -2*j + t. Is j prime?
False
Let y = -14 + 16. Let k be 8/(-1)*(-1)/y. Suppose -f = -0*f + k*a - 95, -5*f - a + 570 = 0. Is f prime?
False
Let u = -34 + 41. Let o(v) = -1 - 4 + 3*v**2 - 4*v + v**2. Is o(u) a composite number?
False
Let a(k) = k + 155. Suppose 10 = 2*l + z, 2*l - 15 = -l - z. Suppose 3*g = 2*g + 5*q, l*g = q. Is a(g) a composite number?
True
Let o(d) = 32*d**3 - 5*d**2 - d - 3. Is o(4) a prime number?
False
Let y = -5 - 0. Let g be (860/(-6))/(y/(-15)). Let p = -245 - g. Is p prime?
False
Let h be 132/(-14) + 18/42. Let m be ((-9)/6)/(h/12). Suppose 959 = 2*i - 5*j, -5*i - m*j = -0*j - 2325. Is i prime?
True
Is 115666/3 + 295/177 prime?
True
Suppose -19*v + 0*v + 76 = 0. Is (v/(-6)*-3)/((-2)/(-1187)) prime?
True
Suppose -n = n - 12. Suppose -y + 13 + n = 4*j, 2*j - 15 = -y. Let u(p) = p**2 + 10*p - 20. Is u(y) composite?
False
Let y = 14156 + -5139. Is y a prime number?
False
Let g be (3 - -4) + 0 + -4. Let w(h) = -h**2 + h. Let t(a) = 4*a**2 + 4*a + 17. Let j(c) = g*w(c) + t(c). Is j(-6) composite?
False
Let z = -281 + 3652. Is z prime?
True
Let j(b) = 37*b**2 + 5*b + 217. Let y(z) = 80*z**2 + 11*z + 435. Let u(a) = 13*j(a) - 6*y(a). Suppose 0 = 3*h - 4*h. Is u(h) a prime number?
True
Is 1/(2/1250) + 6 prime?
True
Let v(j) = -4*j**3 - 3*j**2 - 4*j + 5. Let r be v(-4). Let k = r + 78. Is k prime?
True
Let f = 7914 + -4643. Is f composite?
False
Let u = -1852 - -36554. Is u a prime number?
False
Suppose -3*r - 4676 + 13439 = 2*t, -3*r + 17529 = 4*t. Suppose 0 = -14*o + t + 2323. Is o a prime number?
True
Let y(k) = 3*k**3 + 10*k**2 + k + 7. Suppose -a - a = 14. Let l be y(a). Let n = -382 - l. Is n a composite number?
False
Suppose -m + 1370 = -1163. Is m a prime number?
False
Let t = 535 + -1123. Let v be (-1)/(2/(9 + 3)). Is (v - -3 - t) + 2 composite?
False
Let w(y) = -60*y - 25. Suppose 3*l = -44 + 2. Is w(l) composite?
True
Let r(l) = -28*l - 53. Is r(-7) composite?
True
Let g(p) = p**3 - 9*p - 8. Let x be g(-6). Let r = x + 115. Let k = -30 - r. Is k composite?
True
Suppose -28 = -2*r + 2*s, -4*r = -2*r + 2*s - 20. Is (-6)/r - 26475/(-10) prime?
True
Suppose 3*v = -3*o + 15453, 9154 = 4*o + 5*v - 11446. Is o prime?
False
Is (2/(-4))/(65/(-1320020)) composite?
True
Suppose o + 2*o - 2*y - 2976 = 0, 3*o - 2988 = -2*y. Suppose -3*k - 5*b + o = 0, -887 - 753 = -5*k - 5*b. Is k composite?
True
Suppose -3*b + 190 = h - 19