t o = 249 - l. Is o prime?
False
Let h = -1454 - 920. Let l = h - -3455. Is l composite?
True
Let h(g) = 2*g**2 + 16*g + 2. Let v be h(-8). Is (-7)/35 - (2356/(-5) - v) prime?
False
Let u(d) = 39*d**2 + 12*d + 2. Let b be u(-8). Suppose 0 = -4*n + b - 298. Suppose 6*q - 4*q = n. Is q prime?
True
Is (-105)/(-10)*3148/6 composite?
True
Let u = -9 - -9. Suppose -3*t - 332 - 589 = u. Let s = t + 498. Is s prime?
True
Is 4*(-21)/28 + 301 a composite number?
True
Let o = -720 - -1976. Suppose w - 5*w = -o. Is w + -7 + (3 - 1) a composite number?
True
Let q be (-2)/6 + 136/(-6). Let n = q + 25. Let l(u) = 26*u - 6. Is l(n) a prime number?
False
Let h = 24492 + -8690. Is h a prime number?
False
Let b = 34 + -42. Is ((-5)/((-10)/b) - -3) + 32 a composite number?
False
Let k(u) be the first derivative of -299*u**2 + 5*u - 13. Is k(-3) a prime number?
False
Let b(w) = 76*w + 246. Is b(20) prime?
False
Suppose 1 = -w - 4*n, 35 = 4*w + n - 6. Suppose 2*s - w = 3*k, -5*s - 5*k + 14 = -26. Is s a composite number?
False
Let r(j) = j**3 - 8*j**2 + 7*j + 2. Let k be r(7). Suppose -2*v - 2*q = -398, -7*q = -v - k*q + 199. Is v a composite number?
False
Let d(g) = 4*g - 4. Let x be d(2). Suppose -3*m = -3*j - 10764, j = x*m + m - 17960. Is m a prime number?
True
Suppose 3*d = 0, -3*g + 2*d = -3439 + 652. Is 1*g/(-2)*(0 - 2) a composite number?
False
Suppose 17*c + 31100 = 27*c. Let g = 5437 - c. Is g a composite number?
True
Let r be (-81)/(-4) + (-6)/24. Suppose 2*i - 98 = -4*q - r, 3*i = 3*q + 108. Is i a prime number?
True
Let d(a) = 29*a + 9. Let t be d(9). Suppose -2*n - 5*w - 24 + t = 0, -3*n - w = -343. Is n composite?
False
Suppose -9*l = -3*l - 29046. Suppose -7*q + 2964 = -l. Is q a prime number?
False
Suppose 4*h - 2*h + 611 = 3*f, f + 4*h - 213 = 0. Suppose u = n + f, 0 = u + u + 2*n - 402. Is u a composite number?
True
Let p(f) = -f**2 - f. Let g(l) = 7*l**2 - 9*l + 7. Let s(b) = g(b) - p(b). Is s(-8) composite?
True
Let l(s) be the first derivative of -s**4/4 - 22*s**3/3 - 11*s**2 - 17*s + 10. Let u be l(-21). Is (4/(-6))/(u/(-516)) a composite number?
True
Suppose 5*n - 8*n = -408. Let b be (1*4)/((-4)/n). Let c = b - -245. Is c a composite number?
False
Let d(t) = 58*t - 93. Is d(40) a prime number?
False
Let k = 4886 + -3221. Suppose 5*t - k = -230. Is t composite?
True
Let h(a) = 144*a**2 - 2*a + 1. Let j be (-2)/(-12) - 10/(-12). Is h(j) a composite number?
True
Let r(l) = l. Let u(m) = -128*m - 21. Let v(q) = -4*r(q) - u(q). Is v(5) prime?
True
Is (-82552)/(-152) - (-1 + (-21)/(-19)) a composite number?
True
Suppose a = -5*l - 17, 34 - 13 = -a - l. Is (0 - -791) + a/(-11) a composite number?
True
Let d(v) = -v**2 - 8*v + 3. Let z be (1 + 54/(-50))*5*10. Is d(z) composite?
False
Let n = -23 - -31. Suppose -3*m + n*m = 745. Is m a prime number?
True
Let b be 2 - 4*(-9)/6. Let l = -3 + b. Let s = l - -9. Is s composite?
True
Let r(k) = -k**3 + 3*k**2 + 3*k - 2. Let v be r(4). Is 748/2 + v + -3 + 6 composite?
True
Let w = 8879 + -6118. Is w composite?
True
Suppose -s = 1 - 6. Suppose -3*k = -2*d + d - 552, -s*k + 918 = -d. Is k composite?
True
Let g(m) = 87*m + 8. Is g(27) a composite number?
False
Suppose -2*b + 4 = 0, 8*x + 2*b = 4*x + 62408. Is x prime?
True
Let r(t) = -242*t**3 - 4*t**2 - 2*t - 5. Is r(-4) composite?
False
Let k(t) = 46*t - 1. Let j be (4 + -1)/((-3)/(-4)). Suppose -j*c = 5 - 13. Is k(c) composite?
True
Let p = 4553 - 1484. Suppose -8*w - w = -p. Is w prime?
False
Suppose 37 - 14 = -3*y - 2*c, -4*c = -y - 3. Let l be 30/(-35)*y/1. Is (-116)/l*(-18)/4 prime?
False
Let z = -6728 - -22977. Is z composite?
False
Let c(t) = 646*t - 181. Is c(15) a prime number?
False
Let m = -24954 - -11266. Is (3 + m/20)*-5 a composite number?
False
Suppose 2*h + 2*n - 16 = h, 0 = 2*h - 5*n + 4. Let c be 10*29 + -1 + 1. Is c/h - 39/(-52) a prime number?
True
Suppose 5*v - 2405 = 955. Suppose r - 2783 = -4*o, -o = 3*r + 2*r - v. Is o composite?
True
Let o(y) = 6*y**3 - 4*y**2 - 3*y + 1. Let q(p) = -p**2 - p - 1. Let s(r) = o(r) - q(r). Let i(l) = -3*l + 53. Let b be i(17). Is s(b) a prime number?
False
Let k(r) = 84*r**2 - 13*r - 12. Suppose -2*h + 4 = 14. Is k(h) a prime number?
True
Let i = 12 + -10. Let s be (-6)/(-12) - (-3)/i. Suppose -5*t - s*l = 2*l - 375, -3*t + 3*l + 252 = 0. Is t a prime number?
True
Is (56/7 - 7)*2669 a composite number?
True
Suppose 2*c + 4*l + 4 = -16, 2*c + 23 = -5*l. Let h be c/(-22) - 26240/88. Is 5/(-10) + h/(-4) a composite number?
True
Let a(c) = 424*c + 161. Is a(17) composite?
False
Suppose 2*k = -o + 11367, 8*k + 5*o = 7*k + 5688. Is k prime?
True
Let j(h) = 2651*h**3 + 5*h**2 - 13*h + 9. Is j(2) prime?
True
Suppose 2*y = 2*g - 17886, -4*g - 7*y + 3*y = -35740. Is g composite?
True
Suppose 0 = y + 3*j - 576, -3*y + 1761 = j - 3*j. Is (y - -2)/(1 + 0) prime?
True
Let w = -106 - -113. Is (9 - w)/(6/1341) a prime number?
False
Let q(r) = r**3 + 3*r**2 + r + 1. Let s be q(-2). Suppose s*p - 3*z = z + 4781, -3*z + 1585 = p. Is p a prime number?
False
Let q(z) be the second derivative of z**3/6 - z**2/2 + 2*z. Let w be q(1). Suppose -2*b + 433 = 2*k - 161, w = -2*k + 8. Is b composite?
False
Suppose 0 = 2*z + z - 214311. Is z a prime number?
True
Suppose a - 587 = 2*i + i, -3*i = -3*a + 1761. Is a a prime number?
True
Let t(b) = -25*b - 1. Let a be t(2). Let g(x) = -6*x + 34. Let p be g(-8). Let r = a + p. Is r a composite number?
False
Let c(u) be the second derivative of -2*u**2 + 4*u + 0 + 1/12*u**4 + 1/2*u**3. Is c(-6) composite?
True
Suppose 3*i = 3*f + 6, 3*f = -0 + 6. Suppose 9*s = i*s + 1070. Is (-5 - (1 + -3)) + s a prime number?
True
Suppose 2*d = 1468 + 10288. Is d a composite number?
True
Suppose 4*k - 2*k - 2863 = -o, k - 1445 = 4*o. Suppose -10*n + k = -3077. Is n a composite number?
True
Suppose -22 - 14 = -4*k. Is (-2428)/3*k/(-6) a prime number?
False
Suppose o - 3*a - 31921 = -a, 3*a = -5*o + 159644. Is o composite?
True
Let t = 445 - 57. Suppose u - t = 1831. Is u a composite number?
True
Suppose -4*a - 4*c + 1804 = 0, 4*c + 2039 = 5*a - 189. Suppose 3*o - 609 = o + r, -o = 5*r - 321. Let g = a - o. Is g composite?
True
Suppose -45*g + 40*g = 0. Suppose x - 2*h - 385 = g, 0*x - 3*x = 2*h - 1139. Is x composite?
True
Let t(j) = 0 - 5 - 3*j**2 - 19*j**3 + 20*j**3. Is t(7) prime?
True
Suppose -280 = -11*w + 105. Is 10/w - 16133/(-7) composite?
True
Let d = -5935 + 11916. Is d a composite number?
False
Let u = 6165 + 1558. Is u a composite number?
False
Suppose -10*n + 30868 = -64902. Is n a prime number?
False
Suppose -6*k + 3*k - 2*l + 52441 = 0, 2*k = 5*l + 34986. Is k composite?
False
Let o be (-46)/(-6) + (-5)/(-15). Suppose -k + 4014 = o*k. Is k a composite number?
True
Let x be (771/(4 + -1))/((-5)/20). Let s = x - -1587. Is s a composite number?
True
Let r(v) = -188*v - 2. Let w be r(-3). Let f = w + 1767. Is f composite?
True
Let c(k) = -102*k**3 - 3*k**2 - 8. Is c(-3) a prime number?
True
Let j be -7*(0/(-4) + 1). Is 4 - ((-4 - j) + -640) a prime number?
True
Let q(j) = 19*j + 389*j**3 + 20*j - 42*j + 1. Let z be q(3). Suppose 2*f = -3*f + z. Is f a prime number?
True
Is 7/((-126)/19914)*-3 prime?
True
Suppose -8596 = -4*v + 2*y, 0 = v - 3*v + 4*y + 4310. Is v composite?
True
Suppose 933 = -3*i - 3*p - p, 0 = 4*i - p + 1225. Let y = -150 - i. Let q = -18 + y. Is q prime?
True
Let a be (3/12)/(3/36). Let s = a - 13. Let f = 17 + s. Is f prime?
True
Let p be (-40)/(-2) + (18 - 18). Suppose -i + 6*i - p = 0. Is 2*8/i + 325 composite?
True
Let o = 316 + -643. Let y = o - -596. Is y a prime number?
True
Let k(r) = r**2 - r - 1. Let c(n) = -20*n**3 - 9*n**2 + 4*n + 4. Let i(f) = c(f) + 6*k(f). Is i(-3) composite?
True
Let d(u) = -u**3 - 4*u**2 - 2*u - 1. Let i be d(-3). Is -1 - -492 - (9 + (-9 - i)) a prime number?
True
Is ((-9)/(-7) - 1) + 609693/49 prime?
False
Suppose 0 = -486*l + 529*l - 2183239. Is l prime?
True
Let w = -1003 + 2420. Suppose -3029 = -3*d + 9*h - 10*h, -4*h = -3*d + 3004. Let n = w - d. Is n prime?
True
Suppose 0 = -0*f - 5*f + 2*b + 71465, 57139 = 4*f + 5*b. Is f a prime number?
False
Suppose -l = 3*i - 1062, 4*i + 0*l - 1424 = -4*l. Let z = i + -726. Let t = -210 - z. Is t prime?
True
Let p = 27 + -45. Let a = 26 + p. Is 1632/10 - a/40 a prime number?
True
Suppose -5*g