 l be i(4). Let z = 452 - l. Is z prime?
True
Let p be 273/63 - (-3)/(-9). Suppose -d - 2*j + 681 = 0, -d + p*j + 1330 = d. Is d prime?
True
Let q(x) = -x**3 - x**2 + 4*x - 4. Let u be q(-4). Let j(g) = -u - g + 0*g + 48. Is j(10) prime?
False
Let s(l) be the first derivative of -7*l**4/4 - 8*l**3/3 - 23*l**2/2 - 9*l - 194. Is s(-7) a prime number?
True
Suppose -17*v + 4265014 = -3*s, 4*s + 757810 = 5*v - 496609. Is v a composite number?
True
Let g = 552285 - 165874. Is g prime?
True
Let k(q) = q**3 + 8*q**2 - 2*q + 21001. Is k(0) a prime number?
True
Suppose -2765 = 78*o - 83*o. Let j = o + -266. Suppose j = 5*z - 2*s, 2*z = 5*z + 3*s - 189. Is z a prime number?
True
Let d(x) = 2219*x**2 - 4*x + 1. Let b be d(-3). Suppose -14*w + 39138 = -b. Is w a prime number?
False
Suppose -14*j - 1300964 + 1340382 = -3032644. Is j composite?
False
Let x be -15699 + -9 - (0/(-4) - 4). Let k = x - -26255. Is k a composite number?
True
Suppose -5080 = -4*z + 2*o, -5*z - 5*o + 477 = -5873. Suppose 20*a - z = 15*a. Is a a composite number?
True
Let l = -370 + 376. Suppose 3628 + 2426 = l*q. Is q a prime number?
True
Let y be 15 + -14 - 1/(1/(-4)). Suppose -2928 = -y*r + 2417. Is r prime?
True
Let o be 6790 + 0*5/25. Suppose 0 = -2*w - 4*q + o, -3*w + 2*w = -5*q - 3423. Is w a prime number?
False
Let q = -67 + 63. Is 15/(-60) - 17597/q a prime number?
False
Suppose 0 = 1265*v - 1238*v - 18984429. Is v prime?
True
Suppose 10*q = 182 + 198. Let m be ((-9)/(-9) - (-262)/(-4))*q. Let d = m + 4904. Is d prime?
False
Let j(l) = 552*l**3 - 12*l**2 + 79*l + 55. Is j(16) prime?
True
Suppose 0 = -133*u + 147*u - 790034. Is u a prime number?
True
Let n(s) be the second derivative of 107*s**4/12 + s**3/6 - 2*s**2 - s + 3. Is n(-2) a prime number?
False
Let y(l) = 181*l**2 - 96*l + 4. Is y(-19) composite?
False
Let r = -68 + 73. Suppose 2*t = -g + 54, 4*g = r*g - t - 57. Suppose -g*b + 3964 = -52*b. Is b a prime number?
True
Suppose 5*g + 3*q = -18, 5*g + q + 16 = -0*q. Is (5471/2)/(g/(-6)) composite?
False
Let x be (-8050)/(-4) - (-3)/6. Suppose -4*u - 4768 = -0*u. Let a = u + x. Is a a prime number?
True
Suppose k + 38511 = 4*h, 5*h - 6*h = 3*k - 9644. Let w = h + -3146. Is w a composite number?
True
Let n = -128 - -134. Suppose -n*g = -2*b - 3*g + 2522, -3*b + 3757 = 2*g. Is b a prime number?
False
Let y = -764 - -1843. Suppose o = 4482 - y. Suppose -k = -6*k - 2*t + o, 2*k = t + 1354. Is k a composite number?
True
Let w(g) = -g - 5*g + 15*g**2 + 3*g - 9*g**2 - 17. Let o(c) = -3*c**2 - 5*c - 5. Let z be o(-2). Is w(z) a prime number?
False
Let a(t) be the third derivative of 9*t**6/80 - 11*t**5/60 - 13*t**4/24 + 5*t**2. Let f(y) be the second derivative of a(y). Is f(11) a composite number?
True
Suppose q - 2551 = -3*f, f + 28*q = 26*q + 852. Let v = f + -431. Is v composite?
False
Let o(s) = -12*s + 172. Let j be o(14). Suppose -j*z = -8*z - 5*g + 9692, 2*z - g - 4846 = 0. Is z a composite number?
False
Suppose -o + o = -2*o. Let t be -1*(o - -499)*-1. Suppose -3*h - 28 = -t. Is h composite?
False
Let v(q) = -q**2 - 12*q + 40. Let i be v(-18). Let x = 68 + i. Suppose x = -10*u + 9*u + 1889. Is u composite?
False
Let z(s) be the second derivative of 0 + s - 17/2*s**2 + 13/6*s**3. Is z(10) composite?
False
Is (-560)/420 - 33878/(-6) composite?
True
Let z(h) = -2*h**3 + 20*h**2 - 15*h - 22. Let k be z(9). Is 2335 - -4 - 2 - (-1 + k) a prime number?
True
Is (197835 - 34) + 10 - 8*1 a composite number?
False
Suppose 0 = -3*k - 2*k. Suppose 3*h + 2*a - 1484 = k, -h = -0*h - a - 503. Suppose 0 = 4*b + 2*f - h, -b + f = -2*f - 142. Is b composite?
False
Suppose 1430809 = 5*l - k, l + 21009 - 307160 = 2*k. Is l prime?
True
Let j(s) = -s - 5. Let h be j(-7). Suppose 3*m = h*w - 8160, w = -0*m - m + 4080. Suppose 4*n + 5*p - 2779 = 0, w = 4*n - 4*p + 1256. Is n a composite number?
False
Let t be -3417 + (-8)/(-3)*9/(-6). Let o be (-50588)/(-10) + 4/(-5). Let y = t + o. Is y a prime number?
True
Let p = -89906 + 232177. Is p prime?
True
Let f(g) = g**3 + 6*g**2 - 4*g + 23. Let r be f(-7). Suppose k = -2*v - r, -3*k + 2*v + 14 = -k. Suppose -7*a - k*a = -4873. Is a composite?
False
Suppose 2*r - 44297 = 3*y, 0 = -r - 2*y + 10283 + 11862. Is r composite?
False
Suppose 68*i - 75*i + 14847 = 0. Let d = i - 1179. Suppose 3*n = -0*r - 3*r + d, -2*r - 4*n + 628 = 0. Is r a prime number?
False
Suppose -5*u - 4*k = -63, -u = -7*k + 6*k - 9. Suppose 150 = -u*y + 17*y. Is y/(-10)*(-2 - 1172) composite?
True
Suppose m = 2, 109943 = 5*y + 5*m - 80232. Is y a composite number?
True
Is ((-4193862)/(-10))/((-119)/(-340) + 2/8) a prime number?
True
Suppose 2 = 4*p - g + 3, -2*p - 4*g + 4 = 0. Let u = -293 - -295. Suppose u*a - 3*a + 587 = p. Is a a prime number?
True
Let d = -244153 + 346914. Is d composite?
False
Suppose -5*o = x + 1491, 10*x - 5*o = 5*x - 7605. Let l = x - -3113. Is l a composite number?
False
Let r be 9 - -1 - (14/(-7) + -1). Suppose -r*n + 15064 = -5*n. Is n composite?
True
Suppose 0 = -s - 3*g - 3, -5*s - 17*g + 15 = -12*g. Suppose 5*c + 943 = s*c. Is c a composite number?
True
Suppose p - 3*r = 320914, -252*r = -250*r + 10. Is p composite?
False
Suppose 0 = -7*f + 133 + 4277. Let u = f + 67. Is u a composite number?
True
Let z(u) = -3*u - 29. Let k be z(-10). Is (22 + k)/(3/291) prime?
False
Let c(f) = -141*f**2 - 24*f - 7. Let b be c(-8). Let s = 14970 + b. Is s a composite number?
False
Suppose 4*d = -2*d + 144. Suppose 3*t + d = -3*g + 7*g, g + 4*t = -13. Suppose -u = -g*k + 1564, -1558 = -3*k - 7*u + 2*u. Is k a prime number?
True
Let b(y) = -547*y**3 - 5*y**2 - 4*y + 1. Let w = -58 - -57. Is b(w) a composite number?
False
Let i = -15275 + 31492. Is i a composite number?
False
Let i = -91969 - -481884. Is i a composite number?
True
Suppose -12*s = -7*s - 25. Suppose 0*p = -s*p - 4*x + 545, -x = 4*p - 447. Is p prime?
True
Suppose -3*s + 3*g = -297276, -9*s + 198219 = -7*s + 5*g. Is s a prime number?
False
Let r(k) be the first derivative of 603*k**3/2 - 41*k**2/2 + 9*k - 36. Let o(m) be the first derivative of r(m). Is o(4) a composite number?
True
Suppose 4*c + 210 = 2*x, 2*c = 2*x - 203 - 1. Suppose -104*d = -x*d - 2265. Is d a prime number?
False
Suppose 3*k + q = 2014, -32*k - 4*q - 1366 = -34*k. Let z = -427 - -613. Let n = k - z. Is n composite?
False
Let g(h) be the first derivative of 196*h**3/3 - 8*h**2 - 53*h - 38. Is g(10) composite?
False
Suppose 0 = -263*z + 204*z + 2460713. Is z prime?
False
Let o be (6 - 5)/(3/15). Suppose -o*q + 10 + 5 = 0. Suppose -4*n + q*n + 1823 = 0. Is n a prime number?
True
Let h(g) = 49*g**2 + 26*g - 133. Let j(w) = -25*w**2 - 14*w + 67. Let x(q) = -2*h(q) - 5*j(q). Is x(6) a prime number?
False
Is (1 - 2)*(-54702 + -7) a composite number?
False
Let m(b) = -712*b + 2. Let q be m(-7). Suppose -q - 681 = -3*h. Is h a prime number?
True
Let y be (0 - -3331) + 2 + -1. Suppose -p = -4*g + 9438, 4*g + 3*p = y + 6098. Is g a prime number?
False
Suppose -w = w - 58. Suppose -15237 = -38*x + w*x. Is x composite?
False
Suppose 5*m = -44*h + 39*h + 690750, 4*m - 5*h = 552663. Is m composite?
False
Suppose 4*u + 23752 = -a, a + 6811 = -5*u - 22880. Let t = -4198 - u. Suppose -4*k = -t + 425. Is k a prime number?
False
Let z(h) = 20*h**2 + 56*h - 89. Let y = -513 + 548. Is z(y) composite?
False
Suppose 0 = -22*s + 13*s + 198. Let o be (-22)/s*0/(-1 + -1). Suppose q - 6660 = -4*q + 5*h, -q - h + 1342 = o. Is q a composite number?
True
Suppose 0 = -3*n + 2*g + 60626, -n + 5*g = 4*n - 101035. Suppose -l - q = -6738, -q + n = 3*l - 0*q. Is l a composite number?
False
Let p(g) = 6949*g**2 + 3*g - 143. Is p(-7) prime?
True
Let i(d) = 4*d**3 + 25*d**2 - 42*d + 115. Let w(v) = -3*v**3 - 25*v**2 + 37*v - 116. Let f(b) = 2*i(b) + 3*w(b). Is f(-27) prime?
False
Is 333557 + 0/9 - -6 a composite number?
False
Suppose -5*t + 82*t = -56*t + 27463835. Is t a prime number?
False
Let p(t) = 177164*t - 2657. Is p(5) a composite number?
False
Let v(x) = 12*x**2 - 4. Let o be v(-2). Let a = o - 40. Suppose 3*y - 2*f - 3061 = -2*y, 3*f - 2458 = -a*y. Is y a prime number?
True
Suppose 5*m = 3*r - 19201 - 5639, -2*m + 8291 = r. Is r composite?
True
Let n(i) be the second derivative of 10*i**3 + 133*i**2/2 - 91*i. Is n(38) prime?
False
Suppose 16 = -2*v + 72. Suppo