rime?
True
Is (12/(-9))/(-5 - 1) + 9300095/45 composite?
True
Let u = 117 - 112. Suppose i - u*x = -9*x + 3979, x + 1 = 0. Is i a prime number?
False
Let k(d) = 29*d**3 + 2*d + 2*d**2 + 24*d**3 - 10*d**3. Let m be k(-3). Let x = -526 - m. Is x a composite number?
True
Let h = -22590 + 50692. Is h a prime number?
False
Let w(b) = -b**3 + b**2 - 2*b + 4487. Let j = -47 - -72. Suppose -j = 4*u + 5*z, 2*u + u + 25 = -5*z. Is w(u) a composite number?
True
Let r(s) = -7*s + 35. Let i be r(5). Suppose i = -8*u + 3027 + 1957. Is u prime?
False
Suppose 7373751 = 40*w + 2427871. Is w a prime number?
False
Suppose 10*y - 7*y + g - 150 = 0, 202 = 4*y + 2*g. Is -1 + 3 - (-510335)/y a prime number?
False
Let q(s) be the first derivative of -s**4/4 + s**3/3 + s**2 + 2*s + 12. Let o be q(4). Let r = 503 - o. Is r a composite number?
False
Suppose -g + 30 = -15. Suppose -4*m = m + 3*b + g, 0 = 4*b. Is (-10356)/(-8)*(-6)/m a prime number?
True
Suppose c + i - 31502 = 0, -294*c + 290*c + 126004 = 3*i. Is c prime?
False
Let r(a) = 28*a**3 - 4*a**2 - 3*a + 37. Let t be r(5). Suppose t = 3*u - o, 4*u - 3*o = 4264 + 297. Is u prime?
False
Suppose 3*r = -5*j + 148, -j = -0*r + 3*r - 152. Suppose r*d - 45*d = 5034. Is d prime?
True
Is ((-3)/8*112/(-42))/((-2)/(-1784438)) prime?
True
Suppose -6*y - 6871 + 18079 = 0. Let d be (-1)/(y/(-932) - -2) - -1. Suppose -80 = 7*x - d. Is x a composite number?
True
Let l(k) = k - 18. Let c be l(17). Let f be (-1987 - 6/(-3))*c. Let a = 4180 - f. Is a prime?
False
Let y(j) be the third derivative of j**4/24 + 11*j**3/6 + 8*j**2. Let c be y(-3). Let f(l) = 4*l**3 - 11*l**2 + 15*l - 3. Is f(c) a prime number?
False
Let l be 0 + (-12 + 6 - 0/1). Let x(c) = 10*c**2 - c - 13. Is x(l) composite?
False
Suppose -3*f - 8 = 2*u + 20, -4*u - f - 46 = 0. Is 44 - (u + 20/5) a prime number?
False
Suppose 32*n - 415 - 385 = 0. Is 26490/5 - 4/((-20)/n) a composite number?
False
Suppose -2*z = -5*p + 9*p - 8980, -2*z + 8974 = p. Is z prime?
False
Suppose -5*d = -3*d. Suppose d = j - v - 3527 - 4951, -3*j - 2*v + 25459 = 0. Is j a composite number?
True
Is 1007/106*7380916/42 + 4/42 a composite number?
True
Let k be -17*((-16)/4 + -1). Suppose 444 = 5*f - 126. Let s = f + k. Is s a prime number?
True
Let r = 29562 - -32985. Is r prime?
False
Suppose -19*z = 2*z - 315. Is -1 + z/20 - (-292820)/16 prime?
True
Suppose 0 = -3*g - 19 + 7. Let d be 257832/(-54)*6/g. Suppose -1023 = 7*x - d. Is x a prime number?
True
Suppose 852*h - 26905292 = 776*h. Is h prime?
True
Suppose 23654 = b - 7*a + 2*a, -4*a = b - 23636. Suppose -b = 791*h - 795*h. Is h prime?
False
Suppose -6*s + 5*s = f + 4, 0 = s - 4*f - 6. Is ((-4)/s + 136/(-16))*-22 composite?
True
Let p(h) be the third derivative of -289*h**4/24 - 143*h**3/6 + 169*h**2. Is p(-16) composite?
False
Suppose 0 = 4*g - 3*m - 50, 0 = m + 4*m + 10. Suppose 16*b - 35 = g*b. Suppose -5*n + b*n = 2794. Is n a prime number?
False
Let x(m) be the third derivative of m**4/24 + m**3/6 + 8*m**2. Let o be x(-3). Is (-8)/12*813/o prime?
True
Suppose -14*t - 6 = -11*t, 5*t = f - 107031. Is f composite?
False
Let c(w) be the second derivative of w**4/3 + 2*w**3/3 + 23*w**2/2 - 3*w + 3. Is c(13) composite?
False
Suppose 2*m = -16 + 252. Suppose 0 = -4*f - m + 30. Is 2 - f/(-12) - 20665/(-30) prime?
False
Suppose 7*d = 24*d - 96305. Suppose -y - d = -c, 3*c - 8*c - 3*y = -28309. Is c composite?
True
Let u(d) = d**3 - 10*d**2 - 24*d - 17. Let t be u(12). Let v(h) = h**3 + 21*h**2 + 28*h - 21. Is v(t) a composite number?
False
Let o = 18734 + -5577. Is o a prime number?
False
Let k = 5 - 35. Let q = k + 36. Suppose -4*d + 398 = 5*x, -2*x = -3*d - q*x + 299. Is d composite?
False
Let d be (-2 + (-1 - -236))/1. Let n = -849 + 1495. Let m = n - d. Is m a composite number?
True
Suppose 930570 = 132*h - 126*h. Is h prime?
False
Let m = -75093 - -168376. Is m prime?
True
Let w = -139 + 136. Is 493*(-1)/(2 + w) a composite number?
True
Let b = 271277 - 139264. Is b a prime number?
False
Is 15/((-135)/(-36))*187394/8 composite?
True
Let d(b) = -7 - 509*b - 13 + 507*b + b**2. Let j be d(-6). Suppose 0 = 27*u - j*u + 381. Is u prime?
False
Let c(v) = v**2 - v + 2. Let b(w) = 15*w**2 + 5*w + 61. Let u(y) = b(y) - c(y). Is u(-7) prime?
False
Is ((-613650)/(-60) - (-5 - 1))*2 prime?
False
Let x be (324/18)/((-2)/16). Let h be (-560)/x + 2/18. Suppose -b + h*l + 64 = -147, 407 = 2*b - 3*l. Is b a composite number?
False
Let y(u) = 13*u**3 - 6*u**2 - 8*u + 16. Let i be y(7). Suppose -a + 4*a = -i. Let v = -812 - a. Is v a prime number?
True
Suppose -7*u + 3 = -6*u. Let l(k) = 3 - 264*k**u - k**2 + 2*k - 66*k**3 + k**2. Is l(-1) prime?
True
Let f = 460 - 454. Let p(k) = k**3 - k**2 - 9*k + 18. Let c be p(15). Suppose 3*z = f*z - c. Is z a prime number?
False
Suppose 0 = -3*j - 46897 + 210007. Suppose 4*c - j = -6*c. Is c prime?
True
Let d = 3307225 - 2240132. Is d prime?
False
Suppose 0 = 6*i - 192 + 510. Let o = 47 + i. Is (-1 - o)*(-53561)/(-95) composite?
False
Let d be 98/8 + (-26)/104 - 4. Suppose -5*l + m - 53347 = -d*l, 17793 = l - 5*m. Is l prime?
True
Let u be -43 + 16 + 2*3. Let j = -10 - -16. Is j/u - (-1245)/21 a prime number?
True
Let b = 282031 + 718446. Is b a composite number?
True
Suppose 0*a = -4*a + 3104. Suppose -301 = q - 3*g + 128, 4*q + 1748 = 4*g. Let u = a + q. Is u a prime number?
False
Let z = 575 - 573. Suppose -z*h + 34028 = 4*w, 4*w - h - h = 34044. Is w a composite number?
True
Suppose -4*w - 6*p = -0*p - 480766, -3*w - 5*p + 360576 = 0. Is w a composite number?
True
Let d be 2/(2 - (2 + -1)). Let i be d/(-6) + (-105000)/(-45). Suppose 2*p - 4*p = -3*k + 1771, -4*k + i = 3*p. Is k prime?
True
Let c be (42/(-4))/((-3084)/(-344) + -9). Suppose c*j - 298*j = 8457. Is j prime?
True
Let x = -6003 + -5163. Let v = -3305 - x. Is v prime?
False
Let l = 128 + -98. Let q be 30249/21 - l/70. Suppose 0 = -2*z - w + 2879, w = z + 2*w - q. Is z a composite number?
False
Let d = 28 - 26. Suppose f + d = 2*f. Suppose -g - 4*g + 407 = f*w, -5*w + 395 = 5*g. Is g a composite number?
False
Let y(d) = 16*d - 90. Let x be y(6). Is 6/(-18) + 10808/x composite?
False
Let f = 876 - 865. Suppose -4*b + f*b - 102319 = 0. Is b a composite number?
True
Let l = 272 - 269. Suppose l*r = 33*r - 351510. Is r composite?
False
Suppose -4*q = 2*q + 4*q. Suppose q = -3*s - 2*b + 4607, -4621 = -3*s - 0*s + 5*b. Is s a composite number?
True
Suppose 0 = 107*m + 48*m - 184614455. Is m a prime number?
True
Suppose -5*k + l + 20 = 0, l - 3*l - 19 = -3*k. Suppose -k*v + 51084 = -5*v. Is ((-36)/20 - -2) + v/(-15) prime?
False
Suppose -2*x = 2*l + 10, -8*l = -3*l - 3*x - 15. Suppose l = -19*n - 10*n + 1972957. Is n prime?
False
Suppose -b = 5*l - 17, 4*b = 2*l + 2*b - 2. Suppose -2*u - g - 1481 = -l*u, u - 3*g - 1475 = 0. Suppose -754 - u = -6*f. Is f composite?
False
Let v be (-6 - -1 - -13) + 1 + 1. Suppose -2*p + 0*p - v = 0, 275 = -5*h - 4*p. Let c = h + 208. Is c a prime number?
True
Let t(f) = 79*f**2 - 4*f + 5. Let u be t(2). Suppose 2*w = 3*w - u. Let x = w + -155. Is x composite?
True
Let q be 1/((-10)/6 + 2) + 0. Suppose 0 = -10*r - q - 7. Is (4/(-16))/(r/12) - -1252 composite?
True
Let p(m) = 811*m**3 + 3*m**2 + m - 1. Let n be p(-1). Let d = -517 - n. Is d prime?
True
Let j(i) = -33962*i - 153. Is j(-14) composite?
True
Let t = 2039825 + 2183616. Is t composite?
False
Let k be -1 + 6 + (-24 - -27). Suppose -2*b - 38983 = -3*s, 6*s - k*s + 4*b = -26002. Is s a composite number?
True
Let s = -447504 - -925745. Is s prime?
True
Let b(x) = 1123*x + 290. Suppose -19*g + 72 + 99 = 0. Is b(g) a prime number?
False
Let y(k) = 4*k - 7*k**2 + 36*k**3 + k - 15 + 18. Let n be y(6). Is -1 - (n/(-3) - 0) - -3 a prime number?
True
Let n(b) = 114*b**3 - 7*b**2 + 5*b - 1. Let x(k) = k**2 - 3*k - 18. Let g be x(-4). Suppose o + 3*s + g = 3*o, -4 = -o + s. Is n(o) a prime number?
False
Let b = -306 + 303. Let u(y) = -31*y**3 - y**2 + 9*y + 6. Is u(b) a prime number?
False
Let y be 230*-186 - (-3 - 0/14). Let x = y + 61724. Is x a prime number?
True
Suppose -2417987 = 9*o - 46*o. Suppose -114*u + o = -103*u. Is u composite?
True
Let r(m) = m**2 - 11. Let z be r(4). Suppose -g + z = -0, 2*g = -2*x + 28. Suppose 56 = x*u - u. Is u composite?
False
Let b(v) = -42