. Is s composite?
False
Let o = 16 + -18. Let f = o - -5. Suppose -2*j = 2*s - 1368, 0 = -3*j + f*s + 1662 + 420. Is j prime?
False
Suppose -3*a + 4600 = 2*a. Let u be (11*(6 + -3))/(1/19). Let x = a - u. Is x a composite number?
False
Let z = 41 - 27. Let p(v) = -2*v**2 - 3*v + 3. Let q be p(0). Suppose -z = -q*c + 619. Is c prime?
True
Let j(y) = 186*y - 1. Let d be j(2). Let b = d + 350. Suppose -3*p - b = -2*v, 3*v + 0*v = 2*p + 1089. Is v composite?
True
Let t = -159 + 316. Let k = -90 + t. Is k a composite number?
False
Suppose -6*q - c = -7*q + 8563, -4*q + 3*c = -34255. Is q a composite number?
True
Let n(a) be the first derivative of -33*a**4/4 + a**3/3 + a**2/2 + 4*a + 7. Let d be n(-3). Suppose 126 - d = -5*g. Is g prime?
False
Suppose 0 = -24*j - j + 443225. Is j a composite number?
False
Suppose 5*z + 2*c + c - 2829 = 0, -9 = -3*c. Suppose -4*l + 0*i + i = 1321, 2*i - 10 = 0. Let v = l + z. Is v a composite number?
True
Let i = 24216 + -10417. Is i a composite number?
False
Let g = -36 + 44. Is 334 + ((-30)/(-40))/((-2)/g) composite?
False
Let s(h) = 19*h**2 + 2*h + 1. Is s(10) prime?
False
Let u be 6 - 5/(7 + -2). Suppose -u*i - 599 = -3*k, -k - 3*k - 4*i + 820 = 0. Is k a composite number?
True
Suppose -3*v + o + 5 = 12, -2*o = v. Let c be 3 + v + 1 + 1. Suppose c*a - 2*q - 1611 = 2*q, a = -2*q + 537. Is a prime?
False
Let c = -4780 - -8487. Is c a composite number?
True
Let u = 1043 - 653. Suppose 0 = -5*g + 5*i + 485 + u, 2 = i. Is g a composite number?
True
Suppose 8*g = 4*a + 7*g - 149762, 2*g = -3*a + 112327. Is a prime?
True
Let i(f) = 8068*f**2 - 33*f + 100. Is i(3) a prime number?
True
Let l(t) be the second derivative of -t**4/4 + 3*t**3 + t**2 + 2*t. Let z be l(6). Is z/(-4 + 413/103) prime?
False
Let o = -9528 + 18125. Is o a prime number?
True
Let y = -10 + 12. Suppose y + 1 = -3*k. Is (-2 - 3/k)*53 a prime number?
True
Suppose 6*b + 54 - 18 = 0. Is (1308/(-8))/(b/8) a composite number?
True
Suppose -j = -4*d + 8*d - 2977, d = -3*j + 736. Is d prime?
False
Suppose 0*d - 4*d = -328. Suppose 2*g - d = -4. Let h = -2 + g. Is h a composite number?
False
Suppose o - 4*y = 30429, 3*y - 155774 = -5*o - 3537. Is o a prime number?
False
Suppose -2*m = -f, 0*f + 3*f + 9 = 3*m. Let y(g) = 4*g - 3*g**2 - 7 - 2*g + 2 - g**3. Is y(f) prime?
False
Let l = -35 - -149. Let i = l - -1. Is i a composite number?
True
Let c = 24 - 12. Let k = 14 - c. Let u(v) = 55*v**3 + 2*v**2 + 3*v - 3. Is u(k) composite?
True
Suppose -b - 10 = -3*b + 5*d, -3*b = -d - 15. Suppose 5*s - s = -2*v, -b*v + s = -22. Suppose -c - 322 = -w, v*w - 3*c - 1320 = -37. Is w composite?
False
Let t be (12/2)/(8/4). Suppose -t*s - 2*l + 458 + 284 = 0, -l + 494 = 2*s. Suppose 76 = 2*o - s. Is o a composite number?
True
Let h be -3*2/(-15) - 38/(-5). Let m(z) = 6*z**2 - 7*z - 9. Is m(h) composite?
True
Let l(k) = 13*k + 8. Let n be l(11). Suppose -5*w = -n - 669. Suppose -4*d = 24 - w. Is d composite?
True
Let m = 18 - 16. Suppose -4*q = -m*q - 370. Is q prime?
False
Suppose 4*y - 5*o + o - 20 = 0, 4*y + 3*o + 1 = 0. Suppose y*c - 3*d - 3892 = 0, -c - 814 = 5*d - 2773. Is c composite?
False
Let k be 106/8 - (-6)/8. Is 2 + k/(-8) - 21301/(-28) a composite number?
False
Let d be ((-3)/(-2))/(24/80). Suppose -973 = -2*u - d*u. Is u a composite number?
False
Let n(u) = -332*u - 22. Let x be n(-20). Suppose -4*v + 2*r + x = 0, -5*r - 6608 = -4*v - r. Is v a composite number?
False
Let f = -46 - -50. Let u = -5 + 8. Suppose -p = -3, -f*p = u*y + y - 2048. Is y a composite number?
False
Suppose -5*o + 5*g = 7*g - 11599, 4642 = 2*o + 2*g. Is o composite?
True
Let g(c) = 254*c - 133. Is g(6) a prime number?
False
Let q(z) = -2*z**3 - z**2 - z + 29. Let o be q(0). Let d = -35 - -54. Let w = o - d. Is w a composite number?
True
Suppose 5*r = -r. Let m(s) = s**3 + s**2 - 2*s + 35. Is m(r) a composite number?
True
Suppose -28548 = -4*h + 2*x + 8120, -4*h = 3*x - 36688. Is h prime?
False
Suppose 108 = 2*t + 4*u, 6*u = 3*u - 9. Suppose -2*v - t = -4*v. Is 4/(-2) + 6*v a composite number?
True
Let k = 1477 - -1930. Is k a prime number?
True
Suppose -8*n + 18*n = 1630. Is n composite?
False
Suppose 17*u + 4493 = 18*u. Is u prime?
True
Suppose -2*k - 4*t = 4 - 2, -5*k + 2*t - 17 = 0. Is (2/k)/((-30)/5895) prime?
True
Let x = 1323 + 9068. Is x a composite number?
False
Let d(k) be the first derivative of 206*k**3/3 - 3*k**2 + 5*k + 13. Suppose -5 = 5*g - 4*p, -2*g + 0*p - 2*p = -16. Is d(g) a composite number?
True
Let u = -19 + 23. Suppose -u*h + 3*d + 257 = 0, 4*h + 29 = 2*d + 287. Is h composite?
True
Let b be (-6)/(-24) + 44/16. Suppose 0 = -q + 5*q - b*h - 1067, 2*h + 1062 = 4*q. Is q prime?
True
Is (2417/(-4))/(9/(-252)*7) a prime number?
True
Let n(f) = 11*f**2 + 2*f + 11. Let c be ((-8)/(-2))/(-4) - 3. Is n(c) a prime number?
True
Let o(m) = 72569*m + 44. Is o(1) prime?
True
Let x(a) = -671*a + 104. Is x(-15) composite?
False
Suppose 2*d - 3*i - 11405 = 0, 5*d - 3*i = 8256 + 20252. Is d a prime number?
True
Let w be (0 - 4)*(-7)/7. Let t(i) = -i**3 + 5*i**2 + 2*i - 5. Is t(w) a prime number?
True
Let u(y) = 3*y**3 + 4*y**2 - 7*y - 9. Let f be u(6). Suppose 4*j - 419 = -3*r, j + f = 5*r - 3*j. Is r prime?
False
Is (-4*7/42)/((-4)/43242) a composite number?
False
Let j = -17 + 19. Suppose 0 = q - 2*p - 14, q = 4*q + j*p - 10. Let m = 28 - q. Is m composite?
True
Is 1/(-8) + 207716/32 a prime number?
True
Let x(y) = y**2 + y - 19. Let o be x(-6). Suppose o*b = 1890 + 563. Is b composite?
False
Let h be 2/(6/9) + 125. Let m(q) = -q + 13. Let n be m(10). Suppose -h = -n*a + 49. Is a prime?
True
Let r(c) = -c**2 + 4*c + 9. Let o be r(7). Is 8394/o*1*-10 a prime number?
False
Suppose -6*l = -3*l. Suppose l*x + 4*x = 876. Suppose 723 + x = 6*w. Is w a composite number?
False
Let w = 2064 - 1385. Is w a composite number?
True
Let v(y) = -183*y - 22. Suppose 6*t + 14 = 4*t. Is v(t) composite?
False
Let k be (-1 - -1)/(-15 + 17). Suppose -547 = -p + 3*i, k*i + i = -2. Is p a prime number?
True
Suppose -2*t + 5 = 3. Is ((-4358)/t)/((-3)/3 - 1) composite?
False
Suppose -6704 = 182*z - 190*z. Is z a prime number?
False
Suppose 7*p - 2564 = 3*p. Is p a prime number?
True
Let k = -10 + 12. Suppose -2*h = 4*t - 690, -k*t - 1097 = -4*h + 293. Let b = h + -236. Is b composite?
True
Is 86552/13 + (-2)/(-13) composite?
True
Is (-3 + (-22)/(-6))*69507/6 composite?
False
Let k = -629 + 2272. Is k a composite number?
True
Suppose -5*i + 1848 = -i. Suppose 2437 = 5*z + i. Is z a prime number?
False
Suppose 6*l + 11 = -1. Let c(p) = -305*p**3 + p**2 + 5*p + 3. Is c(l) composite?
False
Let l(o) = o**3 - 7*o**2 + 5*o - 1. Let g be l(6). Let b(x) = 2*x**2 - x + 10. Is b(g) composite?
True
Let q(l) = l**3 + 6*l**2 + 4*l - 5. Let s be q(-4). Let a(y) = -y**2 + 11*y + 5. Let n(h) = -h + 1. Let d(j) = a(j) - 3*n(j). Is d(s) a composite number?
True
Let k be 6*21/(-6) - 0. Let l = 40 + k. Is l prime?
True
Let c be (-10)/4*(5 + -7). Suppose -2*o + o = -c. Suppose 5*a + 15 = 0, 0 = 5*b - 0*b + o*a - 1040. Is b prime?
True
Suppose 2*t - 4 = 0, -4*l + 0*l + t + 42 = 0. Let x be l/2 + 13/(-26). Suppose -x*m - 32 = -127. Is m a composite number?
False
Suppose 6*l + 1313154 = 24*l. Is l a composite number?
False
Let a(j) = 3*j**3 + 5*j**2 + 3*j - 3. Let g be a(-6). Let k = -920 - g. Let l = k + 636. Is l composite?
True
Let m be (-2)/4 + (-5)/(-10). Suppose 4*r = -m*r - 416. Let c = -49 - r. Is c a composite number?
True
Let x(o) = o**2 - 6*o + 9. Let y be x(5). Suppose -y*l = -2*z + 518, 2*l + 761 = -z + 4*z. Is z a prime number?
True
Let b(f) = -f - 4. Let y be b(-8). Suppose -t = y*c + 4*t - 2996, -t - 2972 = -4*c. Suppose 4*p = 20 + c. Is p a prime number?
True
Let b(z) = 53*z**2 + 29*z + 49. Is b(-39) a prime number?
True
Is 130574/10 + (-140)/350 composite?
True
Suppose 0*a + 6*a - 12 = 0. Is ((-2767)/a)/(6/(-12)) a composite number?
False
Suppose 8*l - 4*l - 131088 = 4*s, -l + 4*s + 32769 = 0. Is l a composite number?
True
Let d(v) = 2*v - 30. Let b be d(5). Suppose 3*t = -1934 - 451. Is (t/b)/(3/8) composite?
True
Suppose -m = -2*u + 264 + 480, 3*u + 4*m - 1094 = 0. Suppose 0 = -5*y + 3*d + 612, -u = -3*y + 2*d - 3. Is y prime?
False
Let u(k) = 26*k**3 - 2*k**2 + 2*k - 11. Let c be u(3). Let z = 667 + c. Is