l = 3*l, -7*l - 901743 = -3*n - 10*l. Is n prime?
True
Let c be 5 + ((-4)/5)/((-4)/(-10)). Suppose -c*l = -4*u - 11, 2*u = -2*l + 7 + 5. Suppose -i = -b + 465, l*b - 2*i + 637 = 2974. Is b composite?
True
Suppose -x + 12*t - 8*t + 8 = 0, 0 = 4*x + 2*t - 14. Is ((-8)/10)/((-1)/110*x) composite?
True
Let i be (-2)/(-11) + 4280/55. Let n = i - -99. Suppose -2*g - g = -n. Is g composite?
False
Suppose -2*s = 4*z - s + 33978, 2*s = 4. Let n = z - -14418. Is n composite?
False
Is (5 + -9342)/(75/(-2775)) prime?
False
Suppose 97*p + 36378 = 99*p - k, -3*p = -3*k - 54573. Is p prime?
False
Let g = 149 - 122. Suppose 18*y + 4365 = g*y. Is y prime?
False
Let w(f) = -f**3 - f**2 - f + 4828. Let k be w(0). Let t = k + -2569. Suppose -4*c = 4*h - 2304, 0*h = -4*h + 5*c + t. Is h prime?
True
Let a(w) = -1404*w + 6343. Is a(-30) a prime number?
True
Let g be 1548/(-43)*(-1)/(2 + 2). Suppose -g*u + 6913 = -11456. Is u composite?
True
Is (-2313315)/180*(-20)/5 prime?
True
Suppose -7*n - 7741 = 6308. Let d = 4026 + n. Is d a composite number?
True
Let l(i) be the second derivative of -i**5/20 - i**4/4 + i**3/6 - i**2 + 6*i. Let q be l(0). Is ((-53)/q)/((-1038)/348 - -3) composite?
True
Suppose 0 = 2*l + 3*b - 21, 3*l - 10 = -3*b + 23. Let g(f) = 7*f**2 - 17*f + 8. Let r be g(l). Let k = r + -55. Is k prime?
True
Let c(g) = -2*g. Let i(z) = -z**3 - 21*z**2 + 17*z + 25. Let m(t) = c(t) - i(t). Is m(-16) a composite number?
False
Let i be (-137798)/6 + -4 + (-8)/12. Let h = 59630 + i. Is h a composite number?
True
Let u(s) = 147*s**2 + 16*s + 11. Suppose 20*k - 66 = 31*k. Is u(k) a composite number?
True
Suppose 359*x = 170*x + 27484947. Is x composite?
False
Suppose 4*w + 102 = 2*y, 3*w - 3*y + 69 + 12 = 0. Let k(u) = -5*u**3 + 3*u**2 + 28*u + 49. Let z be k(w). Is (2/9 + z/90)*2 a composite number?
True
Suppose -906246 + 499298 - 648952 = -20*k. Is k prime?
False
Let m be 34*(-1253)/(5 - 12). Suppose 3*q - m = -z - 4*z, 5*q + 15 = 0. Is z prime?
False
Suppose 3*v - 2*h = 122, -h + 0*h = 3*v - 137. Suppose -43*s - 1147 = -v*s. Is s a prime number?
False
Let k = -826 - -36317. Is k composite?
False
Suppose 5*l - 134 = -24. Let m(d) = 82*d + 19. Is m(l) composite?
False
Suppose 4*p + 2*y - 19440 = 0, 4*p - 19957 = 4*y - 529. Is p composite?
True
Let o(j) = 2*j**2 - 8. Let b be o(2). Is (5/(5 - b))/(-1) - -6866 composite?
True
Suppose 2*g - 5*o - 21933 = 0, 4*o - o = g - 10966. Suppose -2141 = 4*c - g. Is c a composite number?
False
Let f(b) = 28347*b - 1201. Is f(4) prime?
False
Suppose 19*l - 160 = 11*l. Suppose 21*x = l*x + 1171. Is x prime?
True
Let p(x) = -45*x**2 + 12*x + 19. Let j(i) = i + 1. Let g(l) = 2*j(l) - p(l). Let t(z) = 62*z + 740. Let o be t(-12). Is g(o) a prime number?
True
Let v = 28 + -23. Suppose -z + 4*z = -g + 5, 0 = -g + z + v. Suppose 10*w = g*w + 8365. Is w prime?
False
Let c = -193 + 34062. Is c composite?
True
Let f(w) = -48*w - 239. Let y be (375/(-15))/((-1)/(-2)). Is f(y) composite?
False
Suppose 123*m - 124*m - 3*b = 11, -3*m - 2*b = -2. Suppose 2*a + 5*g - 3286 = 0, 0*g - 4*g = 8. Suppose 0 = j - 2*j - 4*w + 397, a = 4*j - m*w. Is j prime?
True
Let i(n) = 149*n**3 + 4*n**2 + 10*n - 61. Let q(p) = -30*p**3 - p**2 - 2*p + 12. Let d(r) = -2*i(r) - 11*q(r). Is d(3) prime?
True
Let x = 91572 - 24865. Is x composite?
True
Let y be (1 + 45/(-10) + 4)*-26. Is 4/2*(129155/(-10))/y a prime number?
True
Suppose 164*t = 4374691 - 2869577 + 4521066. Is t a prime number?
False
Suppose -2*o + 62 = -4*m + 10, 5*o - 85 = m. Is ((-88)/o)/((-2)/1084*1) a composite number?
True
Suppose -19*m = 916429 - 3054632. Is m a prime number?
False
Let j(u) = 23477*u - 46. Is j(1) prime?
True
Let j(p) = -p**2 + 15*p + 70739. Is j(0) a composite number?
True
Let r(y) = 88*y - 49. Let z be r(11). Suppose 0 = -w - 3*w - 1080. Let n = w + z. Is n a prime number?
False
Let v be -5 - (-5 + -230 + -3). Suppose 0 = 7*g - v - 390. Is g a prime number?
True
Suppose -19*j - 62032 = -23*j - 4*g, -5*j = g - 77528. Suppose -3*x + j = 2*k, -2*x - 2*k + 14039 = 3705. Is x a prime number?
True
Let l be (-44)/11 - (-1 + 2 + -9189). Suppose -6*j + 9314 = -l. Is j a prime number?
True
Suppose 8*n - 3*n = -185. Let r = -33 - n. Suppose -97 + 1421 = r*i. Is i a composite number?
False
Let p be 104/(-40) + (-3)/(-5). Is (-1214)/(-6)*(p + 23) prime?
False
Suppose r = -4*w + 23565, 5*r - w - 117777 = 3*w. Is r prime?
True
Is 97401 - -1 - ((-322)/(-112) - (-2)/16) a prime number?
False
Suppose 3*a - 351 = -6*a. Suppose -210 = 3*v - a. Is (v/9 - 4)*(-4 + 1) a composite number?
False
Suppose 21*x - 222829 - 44270 = 0. Suppose -2*c + 3*t = -5074, 0*c + 5*c - x = -t. Is c composite?
False
Suppose 0 = -496*a + 501*a + 25, -4*f + 2678912 = 4*a. Is f composite?
False
Suppose -37*c + 63738 + 300527 = 0. Suppose 15256 = 9*j - c. Is j prime?
True
Is (-7)/(-14)*(1369609 + -47) a prime number?
False
Suppose -a = 2*j - 38 - 6, -5*j = a - 44. Let o = 48 - a. Suppose -o*c - c + 3155 = 0. Is c a composite number?
False
Let a be 0 + 1 - (0 - 3). Let b = -882 - -884. Suppose 4*q - b = -6, -a*p + 4*q + 1488 = 0. Is p prime?
False
Let z(x) = -x - 5. Let m be z(-15). Suppose 0 = -q - q + 5*b + m, 0 = -2*b. Suppose 2622 - 7387 = -q*u. Is u a composite number?
False
Let o = -34 - -25. Let n be -4*2/(-12) - 4440/o. Let u = n + 179. Is u a composite number?
False
Let q = -850 + 567. Let o be (-2)/((-2)/q)*-1. Suppose 0 = s - o - 160. Is s a prime number?
True
Let r be (3/((-30)/(-4)))/(2/50). Let d be (24/r)/((-12)/(-4240)). Let f = d + -409. Is f a composite number?
False
Suppose 84*c - 135*c = -406113. Is c a prime number?
True
Is (176/(-16))/22*-510014 a composite number?
False
Let s(m) = m**2 + 8*m + 6. Let r be s(-6). Let v be (4/12)/((-2)/r). Is 3/(v + -4)*-553 a prime number?
False
Suppose -5*y - z + 136923 = 0, -y + 5*z + 362 = -26981. Is y prime?
False
Suppose -2377189 = -68*x + 30*x - 360567. Is x prime?
True
Let s(c) be the second derivative of 73*c**4/3 + 2*c**3/3 + 5*c**2/2 + 15*c. Let m be s(-3). Let p = m - 1480. Is p a prime number?
False
Let m = -4668 + 9946. Suppose 4*k - m = 2638. Is k composite?
False
Suppose 2970*p + 130091 = 2983*p. Is p a composite number?
False
Let h(j) = 62*j + 35*j - 19 + 4. Let b be h(8). Suppose b = -4*i + 5*i. Is i a prime number?
True
Let w be (51/12)/((-1)/(-4)). Suppose -14*h = -w*h + 9. Suppose h*i = 410 + 1627. Is i prime?
False
Let u = -881 - -880. Is 1 + (u - -13897) + 4 prime?
True
Let y(c) = -716*c**2 - 41*c + 164. Let m(g) = -239*g**2 - 14*g + 55. Let q(z) = 11*m(z) - 4*y(z). Is q(4) a prime number?
False
Let h(j) = -5*j + 18. Let f be h(4). Let y be (51/(-12)*-174)/(f/(-4)). Is (-10)/5*y/(-6) prime?
False
Let z = 579 - 91. Suppose 2*i = 2*p - 388 + 378, 4*p - 32 = -2*i. Suppose 5*j - 407 = -2*s + 853, 0 = -i*j - 4*s + z. Is j prime?
False
Is (19 - -1042)*2148/12 a prime number?
False
Let o(z) = z**3 + 2*z**2 + 641. Suppose -138 = -4*k + 2*r, 5*r - 95 - 40 = -5*k. Let m = -32 + k. Is o(m) composite?
False
Let x(p) = -14*p - 3 + 5*p - 166*p. Is x(-2) a composite number?
False
Let m(o) = -7*o**3 - 3*o**2 - o + 2. Let y be m(-1). Suppose 2*u - 1573 = -a + y*u, -5*a + u + 7769 = 0. Is a a prime number?
True
Suppose -1 = -k + 1. Let l(v) = 5 - 59*v**k + 10*v + 58*v**2 - v**3 - 24*v. Is l(-6) prime?
True
Let o be (6/(-4))/((-18)/48). Suppose 0 = -o*n - 0*n. Suppose -f - 3*f + 644 = n. Is f prime?
False
Let b = 192 - 195. Is ((-18598)/(-3))/(b + (-55)/(-15)) a composite number?
True
Is (-2631)/(-12)*1*92 a prime number?
False
Let w(q) = -40*q**2 + 8*q + 25. Let y(p) = 41*p**2 - 9*p - 27. Let d(b) = -7*w(b) - 6*y(b). Is d(8) a composite number?
True
Is (-215574998)/(-736) - 9/(-48) a prime number?
False
Let p = -38 - -52. Let b be 120166/p - (-12)/(-42). Suppose -5*m + 8*m - b = 0. Is m prime?
True
Let h be (-141618)/54*36/(-8)*2. Let j = 33750 - h. Is j a prime number?
False
Let v(n) = -n**3 - 3*n**2 - 2*n - 3. Let o be v(-3). Suppose o*p - 1435 = -5*j, 2*p - 959 = 4*j - 5*j. Suppose -p = -10*f + 4030. Is f a prime number?
False
Let w(f) = -f**3 - 23*f**2 - 5*f + 38. Let o be w(-23). Is 51818/18 + 34/o a composite number?
False
Let w = -43 + 41. Let g be (5/w)/(1/(-2) - 0). Suppose g*m + 431 = 2856. Is m composite?
True
Is (-53253970)/(-620) + 9/(-2) prime?
Tr