= -r. Is c composite?
False
Let t(u) = -1980*u**3 - 2*u**2 - 45*u - 199. Is t(-4) a composite number?
True
Let o = -69053 - -190192. Is o a composite number?
False
Let w = -4052 - -4050. Let u(j) be the first derivative of -84*j**2 + 5*j + 1. Is u(w) a prime number?
False
Let m = -87 + -73. Let a = 284 - m. Is -1 + a + (-6 - -2) a prime number?
True
Suppose 0 = 4*a - d - 4 - 7, 0 = -3*a + 3*d - 3. Suppose 0 = -5*w + 4*l - 8*l - 65, -a*w - 21 = -3*l. Is (-118)/(-4)*(w - -19) a composite number?
True
Let w(f) = -6*f**2 + 4*f + 7. Let b be w(-3). Let s = 62 + b. Suppose 2*n + 0*n - y - 3129 = 0, s*y = 2*n - 3127. Is n a composite number?
True
Let i = 6928 - -132619. Is i a prime number?
True
Suppose 39*o + 0*o = 1131. Suppose -o*h = -2*h - 297729. Is h a composite number?
False
Let k(p) = -8*p**2 + p**3 + p - 141 + 0*p + 130. Let n be k(8). Let u = n + 68. Is u a prime number?
False
Suppose 1102 = -d - 250. Let a = 2947 + -904. Let q = d + a. Is q composite?
False
Let k(l) = -278*l - 291. Suppose 39 = -3*b + 2*a, -5*b + 3*b - 4*a = 10. Is k(b) composite?
False
Let h = -47 + 52. Let k(y) = -y + 54. Let l be k(-25). Suppose l = h*o - 766. Is o a composite number?
True
Let m(u) = 61*u**3 - 10*u**2 - 4*u - 2. Let w(t) = -30*t**3 + 5*t**2 + 2*t + 1. Let o(a) = -3*m(a) - 7*w(a). Is o(3) composite?
False
Suppose -y + 3 = o - 4, 2*o + y = 11. Is (1 + (-4)/6)/(o/31188) prime?
False
Suppose -3*n + 198 + 360 = 0. Suppose 15128 = -178*g + n*g. Is g prime?
False
Let c(o) = -o**3 - 12*o**2 - 22*o - 12. Let q be c(-10). Suppose -q*z + 25 - 9 = 0. Suppose z*w = 3*y + 574, -273 = -w - y + 6*y. Is w composite?
False
Let z(g) = 131*g**3 - 12*g**2 + 279*g + 35. Is z(12) a prime number?
True
Suppose 0 = 127*p - 115*p - 132324. Is p a composite number?
False
Suppose 2*f - 5*z = -z + 1427254, 3*f + 2*z - 2140897 = 0. Is f a prime number?
False
Let q(r) = -2*r**3 - 5*r**2 - r - 10. Let v be q(-3). Suppose a - 2352 = -v*u, 0 = 5*u - 5*a - 908 - 4987. Is u a composite number?
True
Let z = -21 - -18. Let o be z - -1 - (-374 - (3 - 7)). Let u = 69 + o. Is u a composite number?
True
Suppose -7*j - 8*j + 681776 = j. Is j composite?
False
Let y(t) = -6*t + 80. Let j be y(8). Suppose -12*r = j*r - 312004. Is r prime?
False
Let c(r) = 381*r + 932. Is c(51) a composite number?
True
Let z be 3/(-12) - ((-51)/12 + 0). Suppose u - 5 = -z*x + 3, 2*u + 3*x - 11 = 0. Suppose 4 = -u*a + 1168. Is a prime?
False
Let f(v) = 1646*v + 59. Let x be f(14). Is 4/16 + x/4 + -3 prime?
False
Let y(i) be the first derivative of 85*i**2/2 - 23*i - 85. Is y(13) composite?
True
Suppose 3*x - 81 - 17 = 5*d, -151 = -5*x - 4*d. Let a = 35 - x. Suppose -4663 = -3*g + q, 5*g - 6822 - 961 = -a*q. Is g a composite number?
True
Let c(n) = 22*n**2 + 5*n + 40. Let f be c(18). Suppose f = 3*x - v + 742, 0 = 3*x - 4*v - 6507. Is x composite?
True
Suppose l - 5*c = 1158, -5*l + 4864 = -4*c - 1052. Suppose -7*x = -3*x. Suppose 3*s + l = 3*k - x*s, s - 406 = -k. Is k a composite number?
False
Suppose 28*l - 12219286 - 611801 - 1166197 = 0. Is l composite?
False
Suppose -3*b = -20*b + 408. Suppose 0 = -b*s + 4269 + 75. Is s a composite number?
False
Is (-306214*7/56)/(-6*(-1)/(-24)) a composite number?
False
Suppose -3*s + 6*b = 4*b - 15, 3*b = 2*s - 15. Suppose -s*x = -2*c + 3351, 4*c + 870 = -5*x - 4715. Let a = -702 - x. Is a composite?
True
Suppose -152*c = -28829696 - 30716456. Is c a composite number?
False
Suppose 8*r - r - 66487 = -4*h, -20 = -4*r. Is h a prime number?
False
Let d(i) = -110*i + 10. Let b(g) = 10*g - 1. Let o(m) = -45*b(m) - 4*d(m). Suppose f = -5*r - 25, 5*f = -5*r - 1 - 4. Is o(r) prime?
False
Let h(i) = 24*i + 43. Suppose -2*f = u + 269, 2*f + 272 = 2*u - 4*u. Let y be (f/7)/(2*2/(-4)). Is h(y) a prime number?
True
Let a = 921 - 401. Let v = a - 227. Is v prime?
True
Let l(n) = 19*n - 11. Let z(b) = 1. Let i(h) = l(h) + 5*z(h). Suppose 6 = 4*w - 22. Is i(w) a prime number?
True
Suppose 24773127 = 296*d + 1534099 - 8388868. Is d a composite number?
True
Let d(q) = q**3 + 10*q**2 + 3*q - 22. Let t be d(-9). Let b = t + -29. Is (-38 - (-9)/b)*-1 a composite number?
True
Let b be 3 + -1 + (36 - -23267). Suppose 0 = -9*v + 4*v + b. Is v a prime number?
False
Suppose q = -2*v - 55, -3*v - 153 = 2*q - 42. Let t = q - -51. Is (3 + 12/t)/(1/877) composite?
False
Is 2/(-6) - (-58 - -51 - (-6279123)/(-9)) composite?
False
Let w(d) = 642*d + 147. Let b be w(25). Let x = -8302 + b. Is x a prime number?
False
Suppose 3*s = -40*a + 35*a + 204908, 0 = -s - a + 68306. Is s prime?
True
Suppose -66*s + 14337653 = -26*s + 81*s. Is s a composite number?
False
Let t(y) = 117*y**2 - 8*y + 38. Let b(s) = -118*s**2 + 7*s - 39. Let f(g) = -3*b(g) - 2*t(g). Is f(-6) prime?
True
Let n(w) = -w**3 + 34*w**2 - 17*w - 23. Let y be 146/8 + (-37)/148. Is n(y) composite?
True
Suppose -k - y + 4 = 2*k, -3*k = -y - 14. Suppose -2*c = -k*d + 1472, 4*d - 1964 = 3*c + c. Suppose 4*j - 1342 = 3*h - 357, 4*h + d = 2*j. Is j composite?
True
Let r = -10403 - -7373. Let t be r/25*(-40)/12. Suppose -t + 1555 = v. Is v composite?
False
Suppose 9*t + 20 = 19*t. Suppose 5*r = x - 19223, -t*r + 96196 = 3*x + 2*x. Is x prime?
False
Is 4/2 + (-2 - 0) + (-114657302)/(-502) a composite number?
True
Let d(j) = -50*j**3 + 5*j**2 + 10*j - 2. Let s(u) = 51*u**3 - 4*u**2 - 10*u + 1. Let z(b) = -2*d(b) - 3*s(b). Let g be z(-7). Let v = g - 12063. Is v composite?
True
Let u = -462 + 166. Let r = u - -9709. Is r a prime number?
True
Let i be 18/16 - (-6)/(-48) - 14. Is (-12 - i)*(1 + -1 + 23599) a prime number?
True
Suppose 2*u = -u + 12. Let v = 6627 + -6624. Suppose -2*b = 4*t - 2092, v*t = u*t + 2*b - 523. Is t a prime number?
True
Suppose 23*t + 15*t - 13500078 = -4489252. Is t prime?
False
Suppose 14*t - 3*t - 132 = 0. Is (-8)/32 - (-65511)/t a prime number?
False
Let n(q) = q**3 + 25*q**2 + 90*q + 3. Let z be n(-20). Suppose 4304 - z = 3*v. Is v composite?
False
Let r = 22142 + -13552. Suppose -7*s + r = -25668. Is s prime?
False
Let x be -308585*(-8)/40*6. Suppose -31*v + x = 28465. Is v composite?
False
Let s = -107659 - -216728. Is s a composite number?
True
Let z(l) = 2*l**3 - 34*l**2 - 6*l + 36. Let x be z(17). Is (-2 + 68415/(-6))/(x/44) a composite number?
False
Let h(t) = 2901*t + 67. Let a(y) = 1450*y + 35. Let x(c) = -11*a(c) + 6*h(c). Is x(3) composite?
True
Suppose -h = 15*h - 11424. Let q = -229 + h. Is q a composite number?
True
Let x be 2/(-7) - 183/21. Let j be 2 + 6/x*-597. Is (-12)/6 + (j - 3) composite?
True
Let a(b) = -7130*b**3 + 10*b**2 + 25*b + 17. Is a(-2) a prime number?
True
Let d be -8*(5/8 - 1) - 0. Suppose 0 = -3*k - u - d*u + 3361, k - 1135 = -5*u. Is k prime?
False
Let y(i) = i + 2. Let q be y(1). Suppose -8*r = 5*f - 4*r + 88, -3*f - q*r = 51. Is ((-699)/(-5) + -1)/((-8)/f) a composite number?
False
Suppose 471*w + 528211 - 115832 = 482*w. Is w a composite number?
False
Let q be 20 + 3*5/(-3). Is (-46660)/q*(-18)/12 a composite number?
True
Suppose -5*i = -2*u + 463559, -u = -213*i + 208*i - 231762. Is u composite?
True
Let f(j) = 286*j**2. Let x be f(1). Suppose -3*s + x = -2*o - 4*s, -721 = 5*o + 4*s. Let p = 262 + o. Is p prime?
False
Suppose 28*z - 2257181 = -8*z - 528569. Is z a composite number?
False
Let v be -2 + 15/(-5) + 23. Let w = 87 - v. Suppose -w*a = -74*a + 2685. Is a a prime number?
False
Let s(n) = 72*n**2 + 84*n - 217. Is s(51) composite?
False
Let q(h) = 280*h - 7. Let f be (-9)/(-6)*-2 - -5. Is q(f) a composite number?
True
Let c be 0/(1/(4/16)). Suppose 0 = 3*m - 4*t + 2*t - 4953, 5*m + 4*t - 8255 = c. Is m composite?
True
Let y(x) = 186*x**2 - 10*x - 6. Let n be y(8). Suppose l = -2*t + 2*l + n, 0 = -3*t - 3*l + 17718. Suppose 2*h + t = 6*h. Is h a composite number?
True
Suppose 1567689 = -4*q - 5*g + 4243024, -3*q + 5*g + 2006580 = 0. Is q composite?
True
Let k(b) = 482*b**3 + b**2 + 129*b - 433. Is k(3) a composite number?
True
Let y(o) = 5*o**2 + 17*o - 17. Let i be y(-14). Suppose z + 1071 + i = 0. Is (-10)/(3 + z/596) composite?
True
Let p(f) = -f**3 - 25*f**2 - 23*f + 27. Let c be p(-24). Let r(s) = -s**3 + 3*s**2 + 2*s + 2. Let w be r(3). Is (-84)/w*(-1 + (-223)/c) composite?
True
Suppose -j - j = 3*w - 14, -5*w + 26 = 4*j. Is ((-1)/w)/(5/(-25790)) composite?
False
Let i(n) = n**