= x + 2*t, f*t = -5*x + 2927. Is x prime?
False
Suppose 4*t - d - 96 = 0, 0*t = t - 5*d - 43. Suppose -4*w = 2*n + 14, -n + 3*w + w = -t. Suppose 2*s - 135 - 37 = -2*j, -n*j - 398 = -5*s. Is s a prime number?
False
Suppose -3*s + 0*s = -4*q - 46, 4*q - 4*s + 48 = 0. Let j(k) be the first derivative of -k**4/4 - 10*k**3/3 - 7*k**2/2 - 8*k + 2. Is j(q) prime?
False
Let v be 0*((1 - 5) + 5). Suppose -10*w + 11*w - 11 = v. Let i(r) = 2*r**2 - 16*r + 17. Is i(w) prime?
True
Let g = 534 - 203. Is g prime?
True
Let c(q) = -q**3 + 8*q**2 - 10*q - 11. Let b be c(6). Let h(i) be the second derivative of 39*i**5/5 + i**4/6 - i**3/6 + i. Is h(b) prime?
True
Is (0 + 1)*(-27)/(-9) - -356 composite?
False
Suppose 3*k - 15433 = -4*l, 4*k - 3*l - 20594 = -0*k. Is k a prime number?
True
Let s(d) = d**2 - 11*d - 19. Let o be s(13). Let n(p) = 2*p**3 - 8*p**2 - 6*p - 1. Is n(o) a prime number?
True
Suppose 2 + 41 = 4*z - 3*b, -4*z + 38 = 2*b. Let t be (21471/85)/(2/z). Suppose 4*q = -5*p + t, -3*q + 2*p = -0*p - 953. Is q prime?
True
Let l be -1*(-4)/(-2) - -2. Suppose -9*q + 6*q = l. Suppose 307 = 4*s - q*s + 3*r, 3 = -r. Is s a prime number?
True
Let w(n) be the second derivative of n**5/20 - 5*n**4/6 + 3*n**3/2 + 2*n**2 + 5*n. Let k be w(9). Let f(g) = 15*g**2 + 5*g - 1. Is f(k) prime?
False
Suppose 2*p - 5*p + 7697 = 2*d, -2*p = 2*d - 5132. Let w = p + -1448. Is w composite?
False
Let b(g) be the third derivative of g**6/20 + g**5/10 + 7*g**4/24 - 11*g**3/6 - 28*g**2. Is b(6) composite?
False
Suppose 0 = -5*n - 0*n. Suppose n = 3*t - 5*f + 2*f - 5766, 0 = 2*t + 3*f - 3829. Is t composite?
True
Let q be 5*2/(-45) - (-4)/18. Suppose 4*t = -c - q*t + 505, 4*c - 2100 = 4*t. Is c composite?
False
Let s(w) = 288*w + 24. Let b be s(5). Suppose -5*c - b = -8669. Is c prime?
False
Suppose x - 17744 = -0*x - 3*t, -4*t + 35478 = 2*x. Is x a composite number?
False
Is (57561/42)/(22/4 + -5) a prime number?
True
Suppose r + 9 = 3*r - 3*h, 3*r + 2*h + 6 = 0. Suppose v = -4 - r, -v - 76 = 4*n. Is 2372/3 - 6/n a composite number?
True
Suppose -3*s - 4*v + 5671 = 0, 2*s + 3*v - 961 = 2818. Is s a prime number?
False
Let k(c) = -22*c + 1. Let b be k(-1). Suppose 4*l = 5*g + b + 53, -3*g = -2*l + 44. Is (2 + 2)*(-1023)/g composite?
True
Let n = -6134 - -10365. Let s = n - 2816. Is s a composite number?
True
Let q = -1872 + -8679. Is 16/24*(q/(-6) + -2) composite?
False
Let b(y) = 53*y**2 - 2*y + 7. Is b(-8) a prime number?
False
Suppose -2*s + 8*s = 76674. Is s a prime number?
False
Let g(v) = 3586*v**2 - 15*v - 3. Is g(-2) a prime number?
False
Let y(h) = 20*h**3 + 3*h**2 - 5*h + 5. Is y(3) a composite number?
False
Let m(c) = -70*c - 15. Let y = 5 - -2. Suppose y = -o - 3. Is m(o) prime?
False
Suppose 0 = 6*k - 273 - 2193. Let m = -116 + k. Is m prime?
False
Suppose -2*v + 2271 = 5*s, -5143 = -5*v - 3*s + 487. Let o = v + -566. Is o composite?
False
Suppose -t + 352 = -2298. Let s = 1624 + t. Suppose -5*j = 429 - s. Is j a prime number?
True
Is 5/((-25)/(-10970))*(-1)/(-2) prime?
True
Suppose 6*m = 5*m. Suppose -j = -5*b - 183, 2*j - 3*b + m*b - 345 = 0. Suppose -2*l + 150 = 2*k + 2*l, -2*k + 5*l = -j. Is k composite?
False
Let q(z) = z**2. Let i(j) = 5*j**2 - 7*j - 2. Let n(o) = i(o) - 6*q(o). Let w be n(-6). Suppose -3*r + 10 = a, -a = 2*r + w*a - 24. Is r prime?
True
Suppose -3*y = -0*y. Suppose 21 = -2*o - 5*q, y = -5*o + 3*q + 13 + 12. Suppose -4*i + 219 + 113 = -5*c, -o*c = -5*i + 415. Is i prime?
True
Suppose 21*a = 16*a - 7670. Let v = -572 - a. Suppose 5*w = 5*g - 2430, 2*g - w = 3*w + v. Is g prime?
True
Suppose 19 = -d + 22. Suppose -2*r + 1484 = 4*m + 3*r, -m + d*r + 371 = 0. Is m a composite number?
True
Suppose 3*u = q + 7, 3*u - 1 = -3*q + 2. Let g = u - 0. Suppose g*m = 3*t - 7*t + 1880, 0 = -5*t - 5*m + 2355. Is t prime?
False
Let a = 56743 + -27026. Is a a prime number?
True
Suppose 4*p = -s + 425919 - 70697, 2 = s. Is p a composite number?
True
Is 32763/2 + (-8)/(-48)*-3 composite?
False
Suppose -5*u + 15*d - 10*d + 24380 = 0, 3*d + 6 = 0. Is u a composite number?
True
Let j be 0 - 0 - (1 - 9 - -1). Suppose 2416 = m - j. Is m composite?
False
Let x(m) = -115*m - 4. Let y be x(-17). Suppose 2*d - 531 - y = 0. Is d a prime number?
False
Suppose 0*b - 4*b + 260 = 0. Let x = b + 148. Suppose -3*i + 828 = x. Is i composite?
True
Let l(m) = -314*m**3 - 9*m**2 - 16*m - 8. Is l(-5) a prime number?
True
Suppose -n + 0*k = k + 2, -4*n = -5*k - 1. Let b be -7 + (n - 0) - 1. Is (b + 43)*(-2)/(-2) prime?
False
Let h = -32 + 34. Suppose h*j - 370 = 412. Is j composite?
True
Let g be -1 - (-590 - (2 + -2)). Suppose o = 14 - g. Let y = 826 + o. Is y prime?
True
Let z = -25916 - -53662. Is z prime?
False
Is 57104/28 - (-1 + 30/21) composite?
False
Let g = 333 - -183. Suppose 6*d + 2226 - g = 0. Let n = d - -494. Is n prime?
False
Let w = -46 - -46. Suppose -j - d + 268 = w, -3*j - 5*d - 238 = -4*j. Is j a prime number?
True
Let y = -19 - -14. Let t(a) = 8*a**3 + 2*a**2 - 2. Let c be t(2). Let h = y + c. Is h a prime number?
False
Suppose -8*l + 2*k = -3*l - 8939, -2*l + 3572 = -2*k. Suppose f + 288 = l. Is f a composite number?
True
Let y = -6393 + 12172. Is y a prime number?
True
Suppose -10078 = -4*d + 10966. Is d a prime number?
True
Suppose r = 6 + 1. Suppose 152 = -r*w + 1041. Is w a prime number?
True
Suppose q + 7 = 2*q - 2*p, 3*q - 3*p - 18 = 0. Suppose -2*x + 357 = q*x. Is x composite?
True
Suppose 3*q = 3*i - q - 20919, 5*q = 0. Is i a prime number?
False
Let w(y) = 7*y - 20*y + 5*y + 1 + 17*y. Suppose -c + 4 = 2*q - 2, -14 = -2*q + 3*c. Is w(q) a composite number?
False
Suppose 883 = 5*t + 138. Suppose -3*a + p = -1753 + t, -5*a = 4*p - 2679. Is a a composite number?
True
Suppose 5158 = -2*y - 0*y. Let q = y + 4895. Let z = q - 1571. Is z composite?
True
Let n = -306 + 2839. Is n a composite number?
True
Suppose 2*k - 96*v - 190 = -92*v, -2*k = -3*v - 191. Is k a prime number?
True
Let q be (0 - 1)/(15/(-22470)). Suppose 2*b - q = -0*b. Is b composite?
True
Suppose 0 = -4*f + 4*c + 7544, 1937 = 2*f - 3*c - 1834. Suppose 2*r - 1742 = -3*k, -125 = 2*r - 2*k - f. Is r a prime number?
True
Suppose -62 = -9*r - 8. Suppose 3*i - r*w = -11*w + 8728, i - 5*w - 2876 = 0. Is i a prime number?
False
Suppose -5*w + n + 7822 = -2389, -4080 = -2*w - 4*n. Suppose j - 46 - 361 = 2*g, -5*j + 3*g + w = 0. Is j a prime number?
True
Suppose 2*h + 938 + 42 = 0. Let l = h + 1299. Is l prime?
True
Let i = -12 + 12. Suppose i = -7*h + 10*h + 9. Is ((-35)/(-14))/(h/(-78)) a prime number?
False
Let t(p) = 3*p**3 - 9*p**2 - 7*p - 8. Let n be t(13). Suppose 14*m = 11*m + n. Is m composite?
False
Let l(t) = 3*t**3 - 47*t**2 - 41*t - 57. Is l(25) composite?
True
Let x be (-6)/3 + 2 + -9. Let y = 11 + x. Suppose 5*f - 55 = -5*j, -f - 41 = -5*j + y*j. Is j composite?
False
Suppose 5*f - 19*x - 89009 = -23*x, -3*x = 5*f - 89008. Is f a composite number?
True
Suppose 4*p + 52 - 4 = 0. Let o be (-16)/(-6) + 8/p. Suppose 239 = o*z - 3. Is z composite?
True
Let i = -2298 - -1373. Let t = i - -1580. Is t prime?
False
Is 2*3*(-34936)/(-48) a composite number?
True
Let n(b) = -31*b**3 + 3*b**2 - b - 3. Let f = 23 - 25. Is n(f) a prime number?
False
Is 9/(-3) + 1952 + (-1 - 3) a composite number?
True
Let s = 3906 - 2545. Is s a prime number?
True
Suppose -3*g + 11*g + 0*g = 0. Suppose 5*r - 3*r - 326 = g. Is r composite?
False
Is (-2)/(-3) + 0 - 5355021/(-63) prime?
False
Let s(c) = 695*c**3 + 2*c**2 - 2*c + 3. Is s(2) composite?
True
Suppose b = -4*s + 24, -5*s - 4*b + 9 = -32. Let k = s + -11. Is 134 - k*1/(-2) a prime number?
True
Let j(k) = 3*k**3 + 26*k**2 + 6*k + 56. Let t be j(18). Suppose t = 4*p + 3*g, 0 = -4*p + g + 41899 - 15815. Is p composite?
False
Let l(d) = 4*d**3 - d**2 + d. Let x be l(1). Suppose 2*w + w - n + 6 = 0, 5 = x*w + 3*n. Is 33 + 3/((-3)/w) composite?
True
Let p(t) = -9*t - 16. Let y be p(-9). Let d = y - 12. Is d a prime number?
True
Suppose -2976 = 4*x - 7*x. Let w = x + -405. Is w composite?
False
Suppose 5*f - 14 = -m, 0*f = -2*f - 5*m + 1. Suppose -2*i + q + 369 = 0, f*q = -0*i + i - 177. Suppose -l + 605 = i. Is l prime?
True
Suppose 4*d + 0*d = 1256. Let t = d + -21. Is t composite?
False
Suppose -j = -0*j - 52. Let m(t) = -2*t - 7. Let g be m(-10). Suppose -g*n 