- 4172 = 2*l. Is l prime?
False
Let u = 10 - 6. Let n be 45/105*35/5. Suppose -n*p + 360 = p + u*s, -5*p = -2*s - 443. Is p a prime number?
True
Let i = 103 - 100. Suppose 3*z - 2622 = -i*b + 8*b, -z + 873 = -2*b. Is z prime?
False
Suppose 4*o - 16 = 2*k, -2*o = k - 0*o - 8. Is (-1 - k) + 10920/28 a composite number?
False
Let k(u) = 4869*u + 6. Let m be k(1). Let d be 1480 + -1 + -2 + 2 + -1. Let v = m + d. Is v a composite number?
False
Suppose 3*j - 2*u = 1214309, -j + 400178 + 4615 = 4*u. Is j composite?
False
Let i(v) = -v**3 + 28*v**2 - 52*v + 202. Is i(-45) composite?
True
Let p(r) = 15*r**2 + 13 - 11 - 8*r**2 - 2*r. Let o be p(-12). Suppose -4*j + 5*k + o = 2*k, 4*j - 1032 = 2*k. Is j prime?
True
Let n(j) = -184*j**3 - j**2 - 17*j + 41. Is n(-8) a prime number?
True
Suppose 3*a - 4*j - 899415 = 0, 299803 = a + 151*j - 152*j. Is a a prime number?
False
Suppose -196*w + 192*w = 5*z - 117741, 0 = -3*z - 3*w + 70644. Is z a composite number?
False
Let c(t) = 32*t**2 - 2*t - 25. Suppose 0 = -3*k + 5*d - 26, 3*k - 2*d + 36 = -5. Is c(k) a prime number?
True
Let t = -1054 - -1062. Suppose t*z + 13055 - 54375 = 0. Is z a composite number?
True
Let w = 148 + -168. Is 305 - ((-40)/220 + w/11) a composite number?
False
Suppose 353837 = 164*u - 145*u. Is u composite?
True
Suppose 0 = 2*i + 2, 4*q - 57599 = 12*i - 17*i. Is q a composite number?
False
Let a = 94 - 89. Suppose -5*c + 13535 = a*r, 0 = -c - 2*r + 4*r + 2722. Suppose 5*d + 4*n - 6797 = 0, 0 = -2*d - 3*n - 2*n + c. Is d composite?
False
Let r(s) = -127*s - 1. Suppose -3*j + 4*j + y - 14 = 0, -3*y = 5*j - 62. Suppose 2*z - 2 = 2*a - 0*a, -2*z = 2*a + j. Is r(z) prime?
False
Suppose 275 + 106 = 3*q. Let p = 847 + -301. Suppose -q = -t + p. Is t a composite number?
False
Suppose -8*y + 3*a = -5*y - 540573, a = -2*y + 360382. Is y a composite number?
True
Let r(f) = -f + 9. Let w be r(3). Suppose 4 + 2 = w*u. Is -65*u/(-15)*3 prime?
True
Let x(q) = -q**3 - 4*q**2 + 14*q + 24. Let i be x(-6). Let d(s) = -s**3 + 16*s**2 - 8*s - 1. Is d(i) composite?
False
Suppose -13666 + 73476 = 10*u. Is u a prime number?
True
Let x = -37 + 45. Let a be 4 - (-4 + x/4). Let y(f) = 58*f**2 + 2*f - 1. Is y(a) a prime number?
True
Suppose -390 = 4*s + 6*s. Let k = 37 + s. Let y(i) = 39*i**2 - i. Is y(k) a composite number?
True
Suppose -60*d + 49*d = 5*t - 999246, 4*d = 4. Is t prime?
False
Let m(u) be the second derivative of 7*u**3/6 + 13*u**2/2 - 2539*u - 2. Let v be (-1 - 3)*(0 - 2). Is m(v) prime?
False
Let d(x) = 224*x**2 - 9*x + 4. Let v(s) = 224*s**2 - 10*s + 5. Let w(b) = -4*d(b) + 5*v(b). Is w(2) composite?
False
Suppose -u = 0, -2 + 162 = 4*g + 5*u. Let c be (1 + 0)/(1/10). Is (53928/g)/9 + (-8)/c a prime number?
True
Suppose 0 = 510*g - 506*g + 462242 - 1538910. Is g composite?
False
Let n be (-11)/(-66) - (-4223)/6. Suppose 3*f = n + 49. Is f composite?
False
Let b = 270 + -270. Suppose 0 = 5*v + o - 1913, b = -5*v + 2*o - 617 + 2521. Is v composite?
True
Let w(x) = 707*x**2 + 10*x - 14. Suppose 0 = -6*j + 35 - 17. Is w(j) a prime number?
True
Let o = -4914 + 9138. Suppose 18*q - 15738 = o. Is q a composite number?
False
Suppose 0 = 1047*d - 1111*d + 31981504. Is d composite?
False
Let m = 630 - -436051. Is m a composite number?
True
Suppose -2*y = -4*y. Suppose y = 5*x - 10. Suppose -l + 3*a = -203, 3*l - x*l - 203 = 5*a. Is l a composite number?
True
Let g(y) be the second derivative of 109*y**5/12 + y**4/24 - 29*y**3/6 + 3*y. Let x(o) be the second derivative of g(o). Is x(3) a composite number?
False
Let u(t) = -t**2 - 6*t + 18. Let g(o) = -o**2 + o + 1. Let p(x) = -5*g(x) + u(x). Let r = 242 - 218. Is p(r) a composite number?
False
Suppose -3*t = 3*p - 104934, 3*p + 344*t - 104928 = 339*t. Is p composite?
False
Let k be 2/4*(-4 + -6)/(-5). Is 2 - k - (1864/(-4) + 0) a prime number?
True
Suppose -68*r + 24 = -72*r. Let m(a) = -8*a**3 - 5*a**2 - 4*a - 13. Is m(r) prime?
True
Let t(y) be the first derivative of 986*y**2 - 3*y + 2. Let v = 6686 - 6685. Is t(v) prime?
False
Suppose -242*m = -2*o - 246*m + 87294, -87324 = -2*o + 2*m. Is o a composite number?
True
Is (-20)/120*2/(-4)*(21863 + 13) a composite number?
False
Is (3/(-9))/((-28)/24398892) composite?
True
Let i(p) = 482*p**2 - 4*p + 1. Let j be i(3). Suppose 3*k = -r + j, -2*r + 4*k - 6*k + 8654 = 0. Is r a composite number?
False
Let n(r) = -r**3 - 4*r**2 - 2*r - 3. Let v be n(-5). Is 3610 + (-8)/(v/(-12)) a prime number?
True
Suppose 4*t + 17*d - 22*d - 6731189 = 0, 4*t = d + 6731201. Is t prime?
True
Suppose -5*p - 2221344 = -4*k, 2*p - 309913 = k - 865246. Is k a prime number?
False
Is -15495*(-12)/80*-4*-1 - 4 a prime number?
True
Let v(l) = 102*l + 29. Let w(q) = -1 - 2 + 6*q + 5*q + 2. Let s be w(1). Is v(s) a prime number?
True
Let o = -3494 + 6531. Is o prime?
True
Let k = -47052 + 97381. Is k composite?
False
Suppose z - 2*z = -3*d + 12, 5*z = -4*d - 3. Is z - (-1 + 2490/(2 + -4)) composite?
True
Let o(y) = 365*y**2 + 8*y + 303. Is o(-14) a prime number?
False
Let i = -20414 + 10758. Let k = -7465 + 5152. Let a = k - i. Is a composite?
True
Let b = 34041 + 800. Is b prime?
True
Is (133671/(-204))/((-1)/124) composite?
True
Let y = 50 - 162. Let n = 783 - y. Is n prime?
False
Let x(s) = -4*s + 17. Let u be x(3). Suppose u*w = 11 - 51. Let f(q) = 31*q**2 + 17*q - 13. Is f(w) composite?
True
Let m be (2/(-4))/(3/(-6))*0. Let c be -2 - m/((-4)/8*8). Is (c/(-8))/((-43854)/21928 + 2) prime?
True
Let a be (5/(-10)*2)/((-2)/(-18)). Let y(j) = 2*j**2 + 7*j + 32. Is y(a) a composite number?
False
Let p = -252393 + 368580. Is p a prime number?
False
Suppose -44*m - 4*l - 171035 = -49*m, -136854 = -4*m - 2*l. Is m a prime number?
True
Is 5 - (52/(-4) + -9788) prime?
False
Suppose -1338160 = -89*s + 9*s. Is s prime?
False
Suppose -4*w + 866720 = 6*j - 8*j, -5*w + 1083387 = 4*j. Is w a prime number?
True
Let l(u) = -94754*u + 4459. Is l(-9) a prime number?
False
Let g = -23575 + 35192. Is g a composite number?
False
Is ((-575880)/18 + 3)/((-10)/30) a prime number?
True
Suppose 1419856 = 110*n - 4553254. Is n a composite number?
True
Suppose -5*u - 4*h + 20964 = 0, 14 - 11 = 3*h. Let t = u + -2485. Is t composite?
True
Let d(i) = -i**3 - 19*i**2 + 24*i + 20. Suppose v = 3*n - 20, 2*v + 40 = 5*n - 2*n. Let b be d(v). Is (b/40)/((-3)/74) a composite number?
False
Let p = -47561 + 73930. Is p prime?
False
Suppose -3*n + 28 + 26 = 5*z, -4*z = -4*n + 104. Suppose n*b - 20479 = 33088. Is b composite?
True
Let b be 38 + 3 - (1 - 0). Is 330436/b + -7*1/(-70) a prime number?
False
Suppose -r + 3 = -5*w, 2*w + 63 = 5*r + w. Suppose -4*z = r + 35. Let h(l) = 3*l**2 - 17*l - 7. Is h(z) a prime number?
False
Let b(h) = -638*h + 17. Let m be b(-6). Let g = 7652 - m. Suppose 3*w - 6 = 0, -g = 3*i - 8*i + 4*w. Is i composite?
True
Let x = 17051 + 15084. Is x a prime number?
False
Let t be (-2)/4 - (-399)/(-42). Is 21/(-105) + (-1)/(t/23332) prime?
True
Let q = 24278 - 16995. Is q prime?
True
Is (-8)/(-16)*(-11)/((-55)/553130) a prime number?
True
Let r(c) = -5 - 4*c + c - 4*c**2 - c**3 + 21*c - 6*c. Let p be r(-6). Is ((-606)/p)/(4/10) composite?
True
Let v(s) = -1747*s - 990. Is v(-23) a prime number?
True
Suppose -4*u - 3 - 1 = -3*a, a + 5*u + 5 = 0. Suppose 2*v = -4*o + 3534, a = -2*v + 2*o - 1257 + 4767. Is v a prime number?
True
Let q(v) = 16*v + 60. Let j be q(-4). Let a(l) = 8*l**2 - 4*l - 13. Is a(j) prime?
True
Suppose -145*v = -103*v - 16779210. Is v a composite number?
True
Let p(d) = 7660*d - 479. Is p(7) a composite number?
True
Let h = -2 - -9. Suppose -h*r + 1565 = -2*r. Is r + -1 + (3 - 4) a composite number?
False
Suppose -2*h + 2*p = -17562, 3*h - h + 3*p - 17567 = 0. Is (h/(-16))/(2/(-16)) prime?
True
Let r(s) be the third derivative of s**5/60 - 13*s**4/24 - 61*s**3/6 + 5*s**2 + 4*s. Let u be r(17). Suppose -5298 - 3543 = -u*x. Is x a prime number?
False
Suppose 4*x - y - 43327 = -0*x, -10828 = -x - y. Is x a composite number?
False
Let n(u) = -5*u**3 + u**2 + 37*u + 35. Let y(f) = -f**3 + f + 1. Let r(g) = -n(g) + y(g). Is r(13) composite?
False
Let c(h) = -121281*h**3 + 29*h**2 + 27*h. Is c(-1) composite?
False
Let f be 1/((-3254)/2172 - (-21)/14). Is f + -9 + (-21)/(-3) prime?
True
Let t be (1 + -4)*4/(-6) + 3. Suppose -t*z + 11*z = 0