 + 1333. Is m(-77) prime?
True
Let f = -19 + 24. Suppose 0*o = o + 2*m, 2*o = -f*m - 5. Suppose -7*r + o*r = 177. Is r composite?
False
Let s = 41 - 32. Suppose -s*j + 13 = -5. Suppose j*u + 102 = 2*x - 60, -5*x + 413 = -u. Is x composite?
False
Let a(j) = 2*j**2 - j + 1. Let h(w) = 213*w**3 - 6*w**2 - 3*w - 1. Let z(r) = -3*a(r) - h(r). Is z(-3) a composite number?
True
Let c(k) be the first derivative of 155*k**3/3 - 2*k**2 - 5*k - 137. Let u(y) = -y**2 - 8*y - 8. Let n be u(-6). Is c(n) a prime number?
True
Let x = 1504 + -1503. Let v be 5/(-15) - (-19)/3. Is (x - 7/v) + 13982/12 a composite number?
True
Let b(l) = l**3 + 3*l**2 - 10*l + 2. Let h be b(-5). Let w be (h + -1)/((-1)/(-4)). Suppose 3*v = w*v - 57. Is v composite?
True
Let m = -271 - -276. Suppose -2*x - 4*c = -810, -m*c = 3*x - 1336 + 126. Is x a composite number?
True
Suppose 68 = 2*k - 2. Suppose 0 = k*j - 33*j - 2. Is (-2 - j) + 1688/4 a composite number?
False
Suppose -a + 14 = -3*a - 4*y, -4*a = -4*y + 4. Is 3453 + (3 - a) + -10 a prime number?
True
Is (2 + (-8)/3)*((-4441122)/28 - 15) a prime number?
True
Suppose 0 = -5*s - 5*g + 114475, 3*g + 22903 = -6*s + 7*s. Is s a composite number?
True
Let h(u) be the first derivative of 21*u**4/2 - u**3/3 + u**2 + 8. Let d be h(-2). Let q = -223 - d. Is q a composite number?
True
Let j(g) = -1770*g - 6. Let h be j(-4). Let a = h - 4067. Suppose -3*r - 3*b + 5825 = -a, -4*b + 14715 = 5*r. Is r composite?
False
Suppose 198890 = 2*r - m, -724*m = 3*r - 723*m - 298335. Is r a composite number?
True
Suppose 4*r + 4*q - 24 = 0, q = -5*r + 3*q + 9. Suppose r*j = 602 - 41. Let c = 590 - j. Is c a composite number?
True
Let i(p) = 398*p**2 + 407. Is i(-12) composite?
False
Suppose -18*x + 17*x = n - 98499, -4*x = 3*n - 295501. Is n composite?
True
Let k be ((-8)/(-6))/(100/375). Suppose -4*u + 8*u - k*l - 133632 = 0, 0 = -3*u + 4*l + 100225. Is u a prime number?
True
Let m(p) = -16*p + 20. Let n be m(-11). Suppose 4*v - n = 116. Suppose -v = -3*b + 240. Is b a composite number?
True
Let u be ((-4)/(-6))/(10 - (-53584)/(-5358)). Let m = u + 1780. Is m a composite number?
False
Let z be (-37768)/(-10) + 5*(-5)/(-125). Suppose -64*r + 67*r = z. Is r composite?
False
Suppose -10 = 3*n - 2*h, 4*n + 15 = -0*h + 3*h. Suppose 6*d + 2 - 26 = n. Suppose 2*v = -d, -2*v = 4*b - v - 7034. Is b a composite number?
False
Suppose -4*k + 22 = -5*g, 0 + 8 = 2*g + 4*k. Let c be g - -3 - (1310 - 2 - 3). Let x = 2287 + c. Is x composite?
False
Let o(i) = 2690*i**2 + 27*i + 611. Is o(-18) a composite number?
True
Is (-1 - -2)/((-13)/(-44001386)*22) composite?
True
Suppose -635*t + 631*t + 5*i + 1185491 = 0, 5*t - 1481854 = 3*i. Is t prime?
True
Let r(n) = 15588*n**2 - 81*n + 308. Is r(5) composite?
True
Let u(x) = 3*x**2 + 17*x - 7. Let i be u(-6). Is (1 - i)/(6/69297) a composite number?
False
Suppose k + 4*k = 5*a - 805665, -k = 5*a - 805653. Is a composite?
True
Suppose 106*i - 124*i + 918234 = 0. Is i a composite number?
True
Let v be (-5)/(-2)*((-486)/(-45) - 10). Suppose 5*t = -v*j + 2154, 2*j - 1087 = -2*t + 1079. Is j a composite number?
False
Let f = -26544 - -43906. Is f a composite number?
True
Let l(g) = -2*g**2 - 52*g - 154. Let x be l(-23). Is (-4)/x - 300909/(-92) a composite number?
False
Let v(w) = 46*w**2 + 2*w + 1. Let p be v(2). Let y be (-4)/(-10) - p/(-15). Suppose y*k = 3432 + 13. Is k a composite number?
True
Suppose -2*u = -2*b - 5*u + 4959, -4*b + 4*u + 9908 = 0. Suppose 3*h + 3 + 3 = -3*v, -4*h = 3*v + 7. Is -18 + b + (v - 0) prime?
True
Let y(u) = u**3 - 9*u**2 - 10*u + 7. Suppose -70 = -4*a - z + 2, -a = -z - 13. Is y(a) prime?
False
Suppose 0 = -3*h + 6*j - 4*j + 8, 7 = 5*h + 3*j. Suppose 0 = -2*w - 2, 4*u - 18251 = h*u - 3*w. Is u composite?
False
Let h(d) = 285*d**2 - 5*d - 38. Let c be h(-9). Suppose -4*w + 2*v = c, -4*v + 0*v + 5759 = -w. Let p = -3622 - w. Is p a composite number?
False
Suppose 51 - 39 = 2*n + 3*m, 0 = -m. Suppose -n*y = -8*y + 12058. Is y composite?
False
Is (205223 + 39)*(-6)/(-8)*44/66 a composite number?
True
Let t(m) = -939*m + 210. Let k(u) = 6*u - 1. Let c(s) = -k(s) + t(s). Is c(-14) a composite number?
False
Let j(o) = 63*o**2 - 55*o - 47. Let b be j(-18). Is 4/4*1*(b + -8) a composite number?
False
Let x = 58838 - 34105. Suppose 2*c + 3*j = -6963 + x, -4*c - 2*j = -35540. Is c a prime number?
False
Suppose h + 3*q + 5 = 29, 5*q = -4*h + 117. Is (22/h)/((-6)/(-27801)) a composite number?
False
Let y = 6098 - 3434. Suppose -y = -s - f, 2*s - 4*f + 7987 = 5*s. Is s composite?
True
Let r(q) = -11337*q - 406. Is r(-49) a composite number?
True
Let j(p) = -292*p - 1. Let d be 11 - (-4)/8*-8. Let t be (-15)/d - 4/(-28). Is j(t) a prime number?
False
Suppose 0 = -83*s + 36*s + 14273043 + 13344110. Is s a composite number?
False
Let x(d) = 2570*d + 39. Suppose 5*m + 3*f = 11, -3*m + 6 = 5*f - 7. Is x(m) a prime number?
True
Suppose -j = 2*j - 9. Suppose -7 = j*g - l + 36, -61 = 5*g + l. Let k(i) = 15*i**2 + 22*i - 3. Is k(g) a prime number?
False
Suppose 0 = -4*m - i - 18328, 0*i + 9162 = -2*m - i. Let x = 7822 + m. Is x prime?
False
Suppose -2*x = 4*m + 56, -2*x - 7 = m + 1. Let n(b) = -9*b + 119. Is n(m) composite?
False
Let u(l) = -l**3 - 6*l**2 + 15*l - 5. Let p be u(-8). Let r(c) = -6*c - p - 72*c - 10 - 26*c. Is r(-9) a prime number?
False
Suppose -x = 168 - 172. Suppose -h - 4*s + 871 = 0, 0 = -3*h + x*s + 1975 + 702. Is h a composite number?
False
Suppose -64 = s + 159. Suppose 28*y - 10 = 23*y - 2*i, 0 = 5*i - 25. Is (y + -1 + -1)*s prime?
False
Let g be 54576/(-396) - (-4)/(-22). Suppose -3*u - 590 = -5*u. Let q = g + u. Is q a composite number?
False
Suppose -4*r = -3*q - 6*r + 3337, 0 = 3*q + 5*r - 3325. Is q composite?
True
Suppose -46 + 10 = 6*x. Is (-1 - x) + 7/((-21)/(-25488)) composite?
False
Suppose -6*u - 9*u = -60. Suppose 0 = -3*c + 4*h + 2905 + 4422, u*h + 16 = 0. Is c a composite number?
False
Let a = 483 - 1353. Let f = a - -1396. Is f prime?
False
Let g = -16 + 31. Suppose -g = -0*l - 5*l. Suppose l*j = j + 286. Is j composite?
True
Let w(p) = -291*p + 42. Let b(i) = 6*i - 27. Let d be b(5). Suppose 0 = -d*n + h - 13, n + h = -0*n - 7. Is w(n) a prime number?
False
Suppose 4*c - 4*b = 31 - 11, -2*b - 10 = -4*c. Suppose n - 2*l = 10, c = -5*l + 5 - 30. Suppose 0 = -n*v - 4*v + 18140. Is v a composite number?
True
Suppose 5*m - i - 10 = 0, 12*m + 4*i = 17*m - 25. Is (m + 56/(-10))/(36/(-4140)) a prime number?
False
Suppose 0 = -9*w + 4*w + 5*y + 360, 0 = 5*y + 25. Let z = 70 - w. Suppose -z*j = r - 2*j - 628, 4*j = 2*r - 1274. Is r prime?
True
Let u(h) = 1641*h + 1556. Is u(5) composite?
True
Suppose 5*g + 4*v - 3*v - 17 = 0, -g + 7 = 2*v. Let l = 10 - 5. Suppose l*t = 0, 6*m - m - g*t = 2785. Is m prime?
True
Let b = 38489 - 73323. Let s = -22274 - b. Let v = s + -7471. Is v a prime number?
False
Let v(u) = -12*u**2 + 4. Let p be v(-2). Suppose -32 = 6*l - 2*l. Is (-8393)/p - 2/l a prime number?
True
Let l = 1603 - 812. Is l composite?
True
Suppose 0 = -16*g + g - 23*g + 678718. Is g prime?
False
Let a(s) = -s**3 + 5*s**2 - 5*s + 3. Let q be a(3). Let y(w) = 5*w**2 + q + 3 + 18*w - 28. Is y(14) a prime number?
True
Suppose -4*g + 728 = -3*g. Let p = g - -1401. Is p a prime number?
True
Let n = -52 - -58. Let v be 4 + n/(-3) + -5. Is (-1 - -2181) + (7 + v)/(-4) a composite number?
False
Let a be (-25)/(-3) - (-7)/(-63)*3. Is 1087/(a + (-21)/3) a prime number?
True
Let d = 757 - 1727. Let k = 13751 - 9962. Let g = d + k. Is g prime?
True
Let c = 184 - -244. Suppose 3580 = 5*o + g, o + 4*g = c + 269. Is o prime?
False
Let b(m) be the third derivative of 2113*m**4/24 + 15*m**3/2 + 21*m**2. Is b(2) prime?
True
Let c = 811576 - 484215. Is c a prime number?
False
Let z be (-63)/(-84)*40/6. Suppose -14842 = -22*w + 18*w - z*l, -5*w = -4*l - 18573. Is w composite?
True
Suppose -78292 - 35298 = -10*y. Is y a composite number?
True
Let c = 169617 - 101734. Is c composite?
False
Suppose a + 33 = -b + 31, 4*b + 1 = 3*a. Is ((-188)/(-12))/(b/(-57)) composite?
True
Suppose -2*q - 4*p = -1035518, q = -27*p + 24*p + 517762. Is q a prime number?
False
Let k be 15/25 - 15/25. Let x(f) = k*f**2 + 11*f**2 + 11 - 55*f + 58*f. Is x(-8) prime?
True
Let y be (0 - 3/(-6)*-6) + -24. Let h(g) = -g**3 - 25*g*