
False
Let p = 65 + -72. Let o be (2 + 14/p)/(1 - 5). Suppose o = -7*a - 1941 + 11363. Is a a composite number?
True
Let p(j) = -26*j - 12. Let c be (3/(-6)*15)/((-4)/(-8)). Let n be p(c). Suppose -4*g + n = -254. Is g a prime number?
False
Suppose -5*q - 41 = -2*j, -2*q + 14 = 2*j + 2*q. Suppose -j*i + 5370 = -7*i. Is i composite?
True
Is (-12)/(-20) - (-544338)/45 a prime number?
True
Suppose -h - 3 = -5. Is (-2 - (-5)/h)/(1/590) prime?
False
Let j(m) = -m + 12. Let b be j(-6). Is (-8 + 53829/b)*(-4)/(-10) composite?
False
Let p = 460184 + -231777. Is p prime?
False
Suppose 7*c + 7*c = 9*c. Suppose 0 = -5*l + 4*t + 11, -l - 5*t + 8 = -c*t. Suppose 0 = -l*x - 6*x + 2979. Is x a prime number?
True
Suppose 187*r - 188*r = 28. Let n = 6 - 13. Is (-1 - 6/n) + (-20808)/r composite?
False
Let p(b) = 1464*b + 2731. Is p(15) composite?
False
Let m(s) = -s**3 - 7*s**2 - 4*s + 2. Let q be m(-5). Let n = q - -30. Suppose -3*c + 433 = -n*j, 0*c = -c - j + 141. Is c a prime number?
False
Let b = -52 + 60. Suppose -b*i + 15*i = 49. Suppose -6*r + 3367 = i*r. Is r a prime number?
False
Let z = -3668 - -10758. Let c = z - 4966. Let i = -755 + c. Is i prime?
False
Let u(h) = -37*h**3 - 3*h**2 - 42*h - 47. Is u(-13) a composite number?
False
Suppose -v = 6 - 16. Suppose 2*h = v - 90. Let m = 709 + h. Is m a composite number?
True
Suppose -q = 10*q - 110. Suppose 0 = j + 5 - q, -j = z - 1908. Is z a composite number?
True
Let k be (1/(-2))/((10/932)/5). Let l be k*-2*3/(-6). Let j = 5506 + l. Is j prime?
True
Suppose -28739*x + 6932397 = -28720*x. Is x prime?
False
Suppose 15 = 5*z, -2*s - 3*s + 382 = -z. Suppose -s*r = -72*r + 60. Is r/4 - (-184)/2 composite?
False
Suppose 72514 = y + 5*z, -4*y + 45*z = 41*z - 289984. Is y composite?
True
Suppose h + 29*p - 30*p - 64 = 0, -3*h - 4*p = -171. Let q = h + 294. Is q a prime number?
False
Let a = 77600 + -19329. Is a a composite number?
False
Let h(n) = n**3 + 2*n**2 + n + 3. Suppose 24*i - 22*i = 0. Let q be h(i). Suppose q*p - 2603 = 1810. Is p prime?
True
Let g(v) be the first derivative of v**4/4 + 11*v**3/3 - 6*v**2 - 14*v - 28. Let q be 7/(-28) - (-39)/(-4). Is g(q) composite?
True
Let a = 113573 - 62590. Is a a prime number?
False
Let x(w) = w**2 - 3*w - 6. Let q be x(-2). Suppose 0 = q*t + 3*c - 58, -2*c - 17 - 19 = -2*t. Suppose -456 - 8008 = -t*h. Is h a prime number?
False
Suppose -2*l + 0*l + 28 = 2*a, 4*a + 34 = l. Let f be 20/9 + (-4)/l + 0. Suppose -8285 = -5*k + f*o, 3*k - 4*o - 3223 = 1762. Is k composite?
True
Let q(d) = -d**3 + d**2 + 23215. Let b be q(0). Suppose 12*m = 17*m - b. Is m composite?
False
Let u(y) = -545*y**3 - y**2. Suppose -4*q = -4*h - q - 2, -4*q = h - 9. Let r be u(h). Let v = 955 + r. Is v a composite number?
False
Let p(u) = 157*u - 7. Let o = -257 + 259. Is p(o) composite?
False
Suppose 3*f - f = -2*l + 30, 5*f = -4*l + 65. Let g be l*-1*12/30. Is 268/8*(-24)/g a prime number?
False
Let v(j) = -3923*j**3 + 15*j**2 + 44*j - 209. Is v(-9) prime?
True
Let j(v) = 2093*v + 1244. Is j(15) composite?
True
Let q be (-1*(3 - 2))/(9/(-45)). Suppose 2*f - 2271 = 5*v + 4495, q*f - 16915 = 3*v. Is f prime?
False
Suppose 0 = 4*s + 4*h - 12, -7*s + 4*h = -4*s - 16. Suppose -4*p + 2207 = -1205. Suppose -s*z = -5*z + p. Is z composite?
False
Let h(l) = -257*l - 85. Suppose -3*g = 4*u + 25, 5*g = -u - 50 + 14. Is h(g) a prime number?
False
Let g(h) = 29526*h + 1907. Is g(7) a composite number?
False
Let w = 210 - 158. Is 164/w + -3 + 196233/13 prime?
False
Let x = 115 - 111. Suppose -2*d - 15794 = -x*h, h - 3218 = -d + 723. Is h a composite number?
True
Let w be (-8)/(-72)*-87*-15. Let g = w - -78. Is g prime?
True
Let u(d) = -d - 1. Let c be u(-6). Let t(a) = 212*a - 18. Let g be t(c). Suppose -k + g = k. Is k a composite number?
False
Suppose i + 25 = 6*i, 3*i = x - 5. Suppose 5*h = -x, 7*h - 10 = 5*w + 2*h. Is 3532 - 16 - (-1 - w) a composite number?
False
Let d be 4/(-6) - 74/12*-346. Suppose -d = 3*g - 11484. Is g a prime number?
False
Suppose -3*i = 3*i - 18. Suppose -4*j + 5*z + 8 = -17, -4*j - i*z + 17 = 0. Suppose b - j*b + 1070 = 3*r, -1068 = -4*b - 4*r. Is b a composite number?
False
Suppose -l - 1 = 0, -3*y + 2*l - 4*l - 214418 = 0. Let h = -50569 - y. Suppose -3*m - 4*v = -15685, -4*v = -4*m + v + h. Is m a prime number?
True
Let y(k) be the second derivative of 527*k**4/12 + k**3/6 + k**2/2 + 14*k. Let m be y(-1). Suppose 5*b = -3*c + b + 733, 0 = -2*c + 5*b + m. Is c prime?
True
Is 23 + 1/(2/252568) prime?
True
Suppose 0*t + 189 = 3*t. Let i = 67 - t. Is (1 + -702)*(i + -5) composite?
False
Let m = -189 + 194. Suppose 5*y - m*x - 179 = 871, -5 = -5*x. Is y composite?
False
Let d(u) = u**3 + 17*u**2 + 17*u + 20. Let b be d(-16). Suppose 0 = 2*q + 2*q + b*s + 736, -9 = 3*s. Let p = -52 - q. Is p prime?
False
Suppose -176*i - 7448 = -184*i. Let z = -110 + i. Is z prime?
True
Let h = 17342 + -11887. Suppose -28*l + h = -54941. Is l prime?
False
Let y = 112 + -109. Let g be (y/9)/(1/12*1). Suppose -g*a + 9*a - 3925 = 0. Is a a prime number?
False
Suppose -4*d + 28 = 0, -125132 = -4*i - 4*d + 199048. Is i a prime number?
False
Suppose 2*k + 3 = 19. Suppose 5*l - 5*y - 6 = -26, 0 = -5*l - 2*y + k. Suppose l*g + 3772 = 4*g. Is g a composite number?
True
Let z(k) = -4*k**2 - k + 92551. Is z(0) composite?
False
Is ((-1139990)/(-8))/((-275)/(-220)) composite?
True
Let f(y) = y**3 + 9*y**2. Let p be f(-9). Let z(m) = -m**3 - 2*m**2 - m + 637. Let q be z(p). Suppose 0 = -7*r - 0*r + q. Is r composite?
True
Is (0 + (-296116)/(-16))/(61/244) prime?
False
Let p be ((-7)/(7/(-9)))/(12/92936). Is ((-6)/(-24) - p/(-8))*1 a composite number?
False
Suppose v - 10 = -0*j - j, 5*j - 42 = 3*v. Let i(h) = -64*h. Let n(m) = -16*m + 1. Let z(y) = 6*i(y) - 26*n(y). Is z(j) a prime number?
False
Suppose -29*w + 15 + 72 = 0. Let k be (4/2)/((-2)/(-3)). Suppose 4*t - 773 = k*m, t - w*m + 4*m = 188. Is t composite?
False
Let k(j) = -5*j + 53. Let w be k(10). Suppose -w*p - 3*q + 2027 = -q, 2*q + 3357 = 5*p. Is p composite?
False
Suppose 291*v + 1421364 = 375*v. Is v a composite number?
False
Suppose 22*v = 14*v + 160. Suppose 26*f = -v*f + 373382. Is f prime?
True
Suppose 37*t + 3016095 = 17243372. Is t a composite number?
True
Let a = -710 + 721. Suppose 0 = a*z - 39711 - 340. Is z composite?
True
Suppose 74*u + 533423 = 85*u. Is u a prime number?
False
Let u(c) = c**3 - 17*c**2 + 34*c - 19. Let s be u(15). Let r = 43 - s. Is 2*(-2)/(-2) - (-2790)/r a prime number?
False
Suppose -408925 = 139*n - 164*n. Is n a composite number?
True
Suppose 0 = 2*n + 2*c - 115026, -19*c + 20*c - 4 = 0. Is n composite?
True
Suppose 68*m - 25*m = 633065 + 7749054. Is m a prime number?
True
Let d = 24 + -21. Suppose -5*g + 7 + d = 0. Suppose -2*n = -g*l - 0*n + 598, 0 = -l - 5*n + 275. Is l composite?
True
Let n(s) = 3767 - 3928 + 2433*s + 275*s. Is n(6) prime?
True
Let o = 282712 - 147635. Is o composite?
False
Let s(y) = 2782*y**2 + 5*y - 16. Let v be s(2). Let k = v - -3745. Is k prime?
True
Suppose -5*t - 792999 = -3*o, 103*t = 107*t + 24. Is o prime?
True
Let b = 81416 + -41133. Is b composite?
False
Suppose 76*p - 4*k = 75*p + 1427179, 0 = -p + 5*k + 1427176. Is p composite?
False
Let k(d) = -3*d - 1. Let t(z) = 594*z - 7. Let w(h) = -6*k(h) - t(h). Is w(-11) composite?
True
Is -8 + 9930 - ((-16)/64 + 3/(-4)) composite?
False
Suppose 0 = t - 2*b - 0*b + 26, 5*t + 5*b = -70. Is 4/6 + (-130434)/t prime?
True
Let k = -90 + 140. Suppose b + 2*b = 84. Let u = k - b. Is u prime?
False
Suppose 141*m - 70499539 = -8*m + 167597544. Is m prime?
False
Suppose 5*t - 7 = w, 4*t - 2*w - 9 = -1. Suppose -28 = -4*u + 4*y, t = -2*u - y + 3. Suppose 4*i - 179 = 2*i - 3*f, 0 = -u*i + 5*f + 316. Is i composite?
False
Let w(k) = -5*k**2 + 13*k - 31. Let i(u) = -4*u**2 + 12*u - 31. Let d(m) = -6*i(m) + 5*w(m). Let a be d(-16). Let q = a + 324. Is q prime?
True
Let b(y) = 8390*y**2 + 142*y - 19. Is b(-5) a prime number?
True
Let v(p) = -2*p**3 - 2*p**2 + 2*p + 3. Let q be v(-2). Let x(h) be the second derivative of h**4/2 - 7*h**3/6 + 7*h**2 - 8*h. Is x(q) composite?
True
Let k(q) = -351*q**3 - 4*q**2 + 170*q + 11. Is k(-10) prime?
True
Suppose -68103 = 22*p - 309553. Suppose 3*u + 2*b = p, -5*u + 5*b + 16773 + 1527 = 0. Is u a composite n