 = -r. Is n a prime number?
True
Suppose 4*i - 8897 = -3*a, -i - 1650 = -a + 1325. Let s be (-3)/(2 - 7/2). Suppose 3*m = -h + 2230, -4*m = s*h - 3*h - a. Is m prime?
True
Suppose 9*u + 2504 = 13*u. Let m = u + -423. Is m composite?
True
Suppose -16*k + 53511 - 8743 = 0. Is k prime?
False
Suppose 2*x - n - 1 = -0*n, -3*n = 3. Suppose x = -2*t - 0*t + 8. Suppose 0 = -4*s - v + 822, 5*s - 1408 = -t*v - 375. Is s a composite number?
True
Suppose -2*i = -t - 775, 0*i = 3*i - 2*t - 1160. Let u = i + -83. Is u a composite number?
False
Let z(s) = s**2 - s - 16. Let f be z(-4). Suppose -8*q - f*q + 3972 = 0. Is q composite?
False
Let h = -16 - -31. Let g be (-212)/159 - 692/(-6). Let c = h + g. Is c prime?
False
Let a = -7455 - -11200. Let l = a - 2122. Is l a composite number?
True
Let u = 42120 + 31171. Is u prime?
True
Let p(b) = -b + 14. Let y be p(8). Suppose 2*s + x - 139 = 0, -3*x = -x + y. Is s a composite number?
False
Let n be 56495/9 + 28/(-126). Suppose 0*g - n = -3*h - 5*g, -5*h + 2*g + 10503 = 0. Is h prime?
True
Let v be 36/54 + 212/6. Is 112/(-12)*(v/16)/(-3) prime?
True
Let i be ((-22)/(-6))/(1/(-3)). Let r(d) = -2*d**2 + 11*d - 10. Let t be r(8). Let n = i - t. Is n prime?
False
Is 4 + 9 + -3 + 27811 a prime number?
False
Suppose 0 = 3*m - 0*m - 3069. Let w = m + -580. Is w prime?
True
Let k(l) be the third derivative of 47*l**5/60 + 5*l**4/24 + l**3/2 + 9*l**2. Let o(w) be the first derivative of k(w). Is o(4) a prime number?
False
Let w = -575 + 2251. Suppose -9*h = -5*h - w. Is h prime?
True
Let j(x) be the first derivative of x**2 + 10*x - 9. Let c be j(0). Suppose -4*g = -u + 1143, -5*g = 5*u - c*g - 5745. Is u a prime number?
True
Let o be -3 - (-1898 - 2)/4. Is ((-28)/(-8))/(4/o) a composite number?
True
Suppose 0 = -2*z - 6, -r + 143 = -2*z + 753. Let y = r + 1413. Is y a composite number?
False
Let r(x) = 19*x + 2*x**2 - 4*x - 4 - 1 - 6. Let b(h) = -2*h**2 - 14*h + 10. Let v(y) = -6*b(y) - 5*r(y). Is v(-8) a composite number?
True
Let o be ((3 - 0) + -4)*(1 + 7). Let b(q) = -3*q**3 + 3*q**2 + 3*q + 5. Is b(o) a composite number?
False
Let o(y) = y**2 + 4*y + 2. Let n be o(-4). Suppose 944 = -3*p + 7*p - 4*q, -2*p + 480 = n*q. Suppose 4*g - 6*g = -p. Is g a prime number?
False
Suppose -8*l = -3*l - 40. Let x(o) be the third derivative of -o**6/120 + 3*o**5/20 + o**4/8 - 5*o**3/6 - 4*o**2. Is x(l) a composite number?
False
Let d = 50255 - 17386. Is d a composite number?
False
Let j = 33 + -28. Suppose 5*a - 21 = 3*c, -a = -10*c + j*c - 13. Suppose -y = a*y - 364. Is y composite?
True
Is ((-2676)/(-16))/(0 - (-6)/88) a prime number?
False
Let d = 672 - -1008. Suppose 4*l - 2*a - 1060 = 0, -5*l + d - 349 = -a. Is l prime?
False
Suppose -2*p = p - 9, 0 = 4*f - 5*p + 455. Is ((-6)/10 + (-1)/(-10))*f prime?
False
Let r(i) = -i**2 + 15*i - 20. Let x be r(9). Suppose -3*b + x - 4 = 0. Is b a prime number?
False
Let v be -3 - (1 + -17)/2. Suppose -3890 = -v*q - 3*x, 3*x - 2318 = -3*q - 2*x. Is q composite?
True
Suppose l - 374 = 5205. Is l prime?
False
Let j(v) be the second derivative of 5*v**3/6 + 685*v**2/2 + 20*v. Is j(0) composite?
True
Suppose -14*s = -37255 - 174271. Is s a prime number?
False
Suppose 0*c + 5*c - 12 = -2*m, 0 = -3*c - m + 8. Let u be -1 + c/(-2) - -305. Suppose 2*q + 5*o = 490 + 99, q + o - u = 0. Is q composite?
False
Let j = -97 + 47. Let q = j + 149. Suppose 0 = -2*s + q + 3. Is s a composite number?
True
Let t(k) = 3*k**2 + 9*k + 5. Let g be t(16). Let m = -471 + g. Is m prime?
False
Let a be 10/(-3)*(-1110)/(-25). Let l = a - -359. Is l composite?
False
Let f(u) = -u**2 - 4*u - 1. Let b be f(-4). Let z be (b - (-5 - -2)) + 56. Suppose -x + r = 3*x - 128, r = -2*x + z. Is x a composite number?
False
Suppose 2*x - 2 - 8 = 0. Suppose -2*s - 713 = 3*j - 3142, 0 = -3*j + x*s + 2422. Is j prime?
True
Let h = 40 + -23. Suppose -4*f - 3 = 5*y - 11, 5*y = -f + h. Suppose 5*x + 3*u - 1522 = x, -y*u + 1145 = 3*x. Is x a composite number?
False
Let h(n) = -117*n**3 - 9*n**2 - 18*n - 37. Is h(-5) prime?
False
Suppose -15*v + 111769 = -8*v. Is v composite?
True
Let j(x) = 115*x**2 - 19*x + 179. Is j(-15) composite?
False
Let a be (180/(-8))/((-3)/(-36)). Is (1 + a/(-8))/((-13)/(-988)) a composite number?
True
Let g(v) = -2*v - 7. Let j be g(-6). Suppose -j*d = -5*l - 2885, 0 = 4*d + 2*l + 1158 - 3478. Suppose 116 = 5*m - d. Is m a composite number?
False
Suppose 0 = 12*x - 36 + 12. Suppose 5*r + g = 787, 0 = -0*r - x*r + g + 312. Is r a composite number?
False
Is 1/(-2) - (7 - 11785/10) a composite number?
False
Suppose 0 = 6*a - 9*a - 30. Let k be 3/(-12) - (-9)/4. Is (1045/a)/(k/(-4)) prime?
False
Suppose -5*a = -3*a - 18. Suppose -2*w - 2*q + a = w, -3*w + 2*q = -9. Is 90 - (-4)/((-12)/w) composite?
False
Suppose -2*n = 4*c - 12330, -4*n - 6*c = -3*c - 24655. Is n composite?
False
Suppose 273 = 7*k - 3*k + g, 0 = 5*k + 4*g - 355. Let w be (-1)/(-2)*2 + 123. Suppose -w = -z + k. Is z a prime number?
True
Is -1*(-7432)/2 + -5 prime?
False
Let w(q) = -q**3 + 13*q**2 + q - 1. Let r be w(13). Let j be r*(-1 - (-178)/(-6)). Is -3 - (-4 - j/(-2)) composite?
True
Let x = 6503 + -3832. Is x a composite number?
False
Let f = -9 - -13. Suppose -3*v - 257 = -f*c - 0*v, -4*c + 262 = 2*v. Suppose c + 8 = 3*s - 5*o, s = -o + 35. Is s a composite number?
False
Let i(m) be the first derivative of m**4/4 - 19*m**3/3 + 2*m**2 + 3*m - 14. Is i(19) a composite number?
False
Let i(r) = r**3 - 10*r**2 + 16*r + 10. Let x be i(12). Suppose x = l + 166. Suppose 6*q - l = 450. Is q a composite number?
True
Let y(d) = -d**2 + 2*d + 2. Let r be y(2). Is r - (4 + -2045 + -4) a prime number?
False
Let n(i) = i**3 - 14*i**2 + 42*i - 50. Is n(23) a composite number?
True
Suppose -p - 8 = -4*u, -4*u + 4*p + 8 = -0*p. Is (u - (13 - 8))*337/(-3) prime?
True
Let a = 25 + -32. Let r = a + 7. Is (2 - r) + 10 + 23 a composite number?
True
Suppose 0 = -12*t + 9*t + 6. Suppose -4*w = 5*q - 8891, -t*q - 3*w + 3554 = w. Is q prime?
False
Let h(z) = -5*z - 3. Suppose n - 32 + 40 = 0. Is h(n) a composite number?
False
Let y(m) = -m**2 - m + 3. Let i be y(-4). Let z be 0*3/i + 79. Let h = 492 - z. Is h prime?
False
Suppose -15 = -3*d, 0 = 36*i - 38*i + d + 7289. Is i composite?
True
Let f = -9300 - -5908. Let h = f + 6799. Is h a prime number?
True
Suppose 28*f = -72947 + 371175. Is f a prime number?
True
Let q = 14241 + -3299. Is q composite?
True
Suppose 379*k + 65096 = 387*k. Is k composite?
True
Let v = -2543 - -5137. Suppose -z = -4*n + 3*z + 10304, 5*z - v = -n. Is n prime?
True
Let o(t) be the second derivative of 14*t**4/3 - t**3/3 - 5*t. Let k be o(2). Suppose -4*s + 48 = -k. Is s a composite number?
False
Let o = -1596 - -10127. Is o a prime number?
False
Is 2/(-10) + -10 + 676786/55 composite?
True
Let o = -29877 - -88984. Is o a composite number?
False
Suppose 168 + 62 = 2*r. Is r a composite number?
True
Let q(a) = 2*a - 7. Let j be q(4). Let l be (55 - (0 - j))/1. Suppose -l = -6*g + 1714. Is g a composite number?
True
Let n(w) = -9*w**3 - 5*w**2 - 3*w + 4. Let z(c) = -c**3 + 11*c**2 + 11*c + 9. Let m be z(12). Is n(m) a composite number?
False
Suppose 132 = a + u - 0*u, 0 = 5*u + 5. Suppose 435 = 3*o + 3*g, -4*g + a = o - 7*g. Is o composite?
True
Let g(l) = l + 7. Let c be g(-3). Let i be 0 + (-2)/1 - -520. Suppose -m - 121 + 375 = p, -2*p - c*m = -i. Is p a composite number?
True
Suppose 57 = -15*m - 3. Suppose -q + 2*q = 2. Is 471/(-6)*m/q composite?
False
Is (7/((-28)/(-346)))/((-2)/(-236)) prime?
False
Suppose 209*j - 212*j = -384909. Is j a composite number?
True
Let x(u) = -u**2 + 6*u - 5. Suppose -3*o = -16 + 4. Let p be x(o). Is (-1)/((p/(-293))/3) prime?
True
Let v(q) = 2*q**2 + 10*q - 109. Is v(-23) a prime number?
True
Let h = 9 - 7. Suppose 4 = -h*q + 8. Suppose 2*f + q*f = 140. Is f a prime number?
False
Let s(x) = 2931*x**2 - 2*x. Is s(-1) prime?
False
Let u = 87 + -84. Suppose -5*z = a - 2 - 10, 3*z + 18 = u*a. Is a composite?
False
Suppose 12 = 11*a - 7*a. Let s be (-1 + 88)/(9/6). Suppose -f + 39 = o, 3*o = -f + a*f - s. Is f composite?
True
Suppose 5*z = z - 1628. Let r = z - -1042. Is r prime?
False
Suppose -16*r = -17*r + 17. Let n be (-330 + -2)*6/(-8). Suppose 0 = -2*x + n + r. Is x a composite number?
True
Suppose -128