87 = -4*m - 1627. Is l a prime number?
True
Suppose -5*p + 25 = -0, -5*p = -5*f - 10. Let q = f + 3. Suppose 657 + 4785 = q*w. Is w a prime number?
True
Let v = 1 - 14. Let z(h) = -113*h + 58. Is z(v) a composite number?
True
Let f = 79 - 77. Suppose 692 = 2*w + 2*x, 5*w - f*x = -0*x + 1702. Suppose -10*s = -4*s - w. Is s composite?
True
Suppose 4*s + 21808038 = -4*s + 50*s. Is s a composite number?
True
Is 10215590/175*65/26 composite?
True
Let o be (3/(-4))/(2/8). Let d(a) = 4*a + 2. Let l(n) = 1. Let m(h) = -3*d(h) - 7*l(h). Is m(o) a composite number?
False
Let i(y) = 5*y - 33. Let d be i(7). Suppose 3*v - 5 = 2*v - 2*a, -5*a + 35 = -d*v. Is (0 - 2)*-95 + v composite?
True
Suppose -11*g + 4705 = -21541. Let h = g + -729. Is h a prime number?
True
Let t(f) = 35*f + 8. Let p(v) = 36*v + 7. Let z(r) = 7*p(r) - 6*t(r). Suppose 3*d = d + 4*x + 10, 2*x + 9 = 5*d. Is z(d) prime?
True
Let a(u) = u**3 + 2*u**2 - 4*u - 4. Let g be a(2). Suppose -4*z + 4683 + 56555 = -5*s, 0 = 3*z - g*s - 45929. Is z prime?
True
Suppose -b + 416910 = 5*s, -202072 = -3*s - 3*b + 48062. Is s a composite number?
False
Let x be -11 + 2029 + -3 + 2. Suppose 19308 = 5*q - 3*a, -a - 15452 = -q - 3*q. Let m = q - x. Is m composite?
False
Suppose 5*b + 2*r - 61 = 0, -5*b + 2*r + 58 = 3*r. Suppose -17*g = -6*g + b. Is -212*((g/4 - 4) + 4) prime?
True
Let g = 365 - 133. Let d = g + 334. Suppose 8*s - d - 130 = 0. Is s prime?
False
Let c = 109 - 109. Suppose -3*w + 11*o + 23909 = 6*o, c = 3*w + 5*o - 23869. Is w a composite number?
False
Suppose 31 = -7*u + 38. Is (-554*29*(-2)/4)/u prime?
False
Suppose -4*o - 2*h + 59 = -13, -2*h - 68 = -3*o. Suppose -o*i - 1092 = -23*i. Suppose -3*f = l - f - i, 4*l = -4*f + 1444. Is l a prime number?
False
Let p(s) = -52*s**3 - s**2 + 2*s + 1. Let m be p(-4). Let n be 9276/14 + (-120)/(-280). Suppose -o - i + n = i, -5*i + m = 5*o. Is o a composite number?
False
Suppose -38*h + 37*h + 339 = -2*j, 4*h + 4*j - 1296 = 0. Is h composite?
True
Let w(l) = l**2 - 12*l + 41. Let s be w(7). Suppose -s*u = -3*u + 15. Is (u - (4 - 10))/(2/2354) composite?
True
Let d(z) = 528*z**3 + 19*z**2 - 124*z + 21. Is d(10) a prime number?
False
Suppose -5*x - 89 = -4*t, t + 0*x + x - 11 = 0. Is (1084*t - -2) + 14 + -19 a composite number?
False
Suppose 7*s = 12*s - 5, -4*s = -5*f + 61. Let t = f + 924. Is t a composite number?
False
Suppose 0 = 14*c - 1725814 - 114864. Is c composite?
False
Suppose 132*m - 59*m = 60*m + 16601. Is m composite?
False
Let p(i) = -5 - 5 + 5 + 2 + 56*i. Let u be p(4). Suppose -2*s = -3*s + u. Is s a composite number?
True
Suppose 0 = -4*k + 5*q - 357 + 97, 0 = -5*k + 2*q - 342. Let r = k - -78. Suppose 0 = -r*j + 7*j + 2053. Is j a composite number?
False
Suppose -24805*h = -24803*h - 12326. Is h a prime number?
True
Let l be (-12)/(-8)*-13*(-18)/27. Suppose -l*c + 23051 = -6*c. Is c a composite number?
True
Suppose -63*n - 42 = -66*n. Let p(o) be the first derivative of o**4/4 - 2*o**3/3 - 29*o**2/2 - 15*o + 2. Is p(n) composite?
False
Suppose 7 = k + 4. Suppose -5*u = k*u - 1392. Suppose -3*s + 6*s - u = 0. Is s a composite number?
True
Suppose -11693 = -3*g - 4*z, 0*g - 2*g + 7799 = -z. Let b = -2642 + g. Suppose -a + 4*a = b. Is a a composite number?
False
Let q = 924460 + 643455. Is q composite?
True
Suppose -67 + 25 = q. Let s = 385 - q. Suppose -n - 5*r - 46 + s = 0, 2*r + 1546 = 4*n. Is n composite?
True
Let m = -221125 + 326444. Is m composite?
False
Suppose g = 3*k - 392700, -130*g - 261805 = -2*k - 131*g. Is k prime?
False
Let m = -137 - -143. Is (12/(-9))/(m/(-1467)) composite?
True
Let i be -6483 - 1/(5/(-5)). Let j = -3483 - i. Is j composite?
False
Let a(f) = -1542*f**2 + 7*f - 38. Let m(d) = -771*d**2 + 4*d - 19. Let z(t) = -3*a(t) + 5*m(t). Is z(6) prime?
False
Let v = -2208 - 429. Let g = -1785 - v. Let p = g - 161. Is p a prime number?
True
Let o(g) = -7557*g + 9. Let a be o(-6). Suppose 138*z - 135*z = a. Is z prime?
False
Let w be -2*1/(-9) + 96/54. Suppose 0 = -2*v - w*o + 12480, 2*v - 12474 = -2*o + 6*o. Is v composite?
True
Let v(j) = -4*j**3 - 12*j**2 - 3*j + 57. Let b be 3*(-4)/(-3)*-2. Is v(b) a prime number?
True
Let c = 11412 + -5854. Suppose 0 = -7*j + c + 5579. Is j a composite number?
True
Let l(c) = 7*c**2 - 16*c - 17. Let h(x) = -x**2 + 11*x + 13. Let k be h(0). Is l(k) a prime number?
False
Let h(w) = -77*w**3 - 17*w**2 - 14*w + 239. Is h(-11) a prime number?
True
Is (-844688)/(-5) - ((-336)/(-35) + -3*3) a composite number?
False
Suppose 4*d - 2*u - 2*u = 16, 0 = -5*d - 4*u + 20. Is ((-4)/12)/(d/(-67476)) a composite number?
False
Suppose -59*x = -55*x - 2432. Suppose 0 = 2*r - 2*z + x, 2*r - z = 4*r + 620. Let d = r - -4689. Is d a composite number?
True
Let p(o) = -o**3 - 5*o**2 - o + 1. Let h be p(-5). Is 8/h*6297/4 a prime number?
True
Let k(h) be the first derivative of 128*h**3/3 - 5*h**2 - 11*h + 60. Is k(-4) a composite number?
True
Let x(o) = 3531*o**2 + 46*o + 437. Is x(-12) composite?
False
Let j(x) = 12 + 4*x - 8 - 7 + 2*x**2. Let b be j(-4). Suppose b*u = 17*u - 1516. Is u prime?
True
Let w = 566157 - 287720. Is w a composite number?
False
Let d = 31461 + -3118. Is d a composite number?
True
Suppose -20*l + 28*l - 136 = 0. Suppose l*a - 252704 = -15*a. Is a a prime number?
False
Suppose -8*o + 885571 + 638964 = -2302433. Is o a composite number?
True
Let z be (-1)/(-4) - ((-39)/4 - -4). Suppose 5 + 1 = z*u. Is -1049*u*-2*4/8 a composite number?
False
Suppose -45*n + 0*n + 526510 = -13701455. Is n composite?
False
Suppose 4*s + q - 69 = 0, 8*s = 11*s - q - 57. Suppose 5*r + 4849 = s*r. Is r a prime number?
True
Suppose 5*s + 3*w + 6 + 0 = 0, -2*s - 4*w = 8. Let n(d) = 8*d**3 + s + 15*d**3 - 2*d**3 - 8*d - 3*d**2 + 5. Is n(6) a prime number?
False
Suppose -2*l + 4*l + 104 = 0. Let f be (-11755)/(-65) - (1 + 60/l). Suppose 1255 = 186*y - f*y. Is y composite?
False
Let c be (-200)/250 - ((-234)/(-10))/(-3). Suppose 5*j + 23825 = 5*a, -2*j + c*j - 9530 = -2*a. Is a prime?
False
Suppose 2*x - 9 = -u + x, 5*u = -2*x + 30. Suppose 54*w + u = 53*w. Is (3 - 5 - (w + 3)) + 134 a prime number?
False
Suppose 3*y - 4*m - 33076 - 8571 = 0, -3*y + 2*m = -41651. Is ((-6)/9*3 - -2) + y prime?
False
Let h(n) = -n**3 + n**2 + 16. Let d be h(0). Let y = 20 - d. Is ((-36)/54)/(y/(-282)) prime?
True
Suppose -s = 3*i - 30814 - 25775, 75452 = 4*i - s. Is i composite?
True
Suppose -7*c - 14 = -3*q - 6*c, -5*q + 10 = 5*c. Suppose -28089 + 2254 = -5*l + 5*x, -3*x = -q*l + 20668. Is l composite?
False
Let k(r) = -r**3 - 7*r**2 + 19*r + 13. Let w be k(-9). Let d = w - 1. Suppose 0 = -4*i + 4*t + 1932, -4*i - d*t = -1343 - 603. Is i a composite number?
True
Let u = 63 + -46. Suppose -u*r - 13560 = -22*r. Let d = r - 1925. Is d prime?
True
Suppose -9*h = -18819 - 5742. Is h a prime number?
True
Let t(g) = -215 + 1562*g - 353*g + 228 + 5411*g. Is t(2) a prime number?
False
Let r be (-379818)/(-66) + (-2)/(-11). Let c = -23 + 27. Suppose -h + 2*h - c*i - 1429 = 0, -r = -4*h + 3*i. Is h a prime number?
False
Let x = -57074 - -124033. Is x a prime number?
True
Let m(d) be the third derivative of d**6/120 + 13*d**5/30 - 17*d**4/8 + 23*d**3/6 + 3*d**2 + 3*d. Is m(-25) a composite number?
True
Let p = 3287 - 1850. Suppose -5*g + 16798 = -p. Is g a prime number?
False
Let m = 104 + -98. Is (-3)/m*1502*-7 a composite number?
True
Suppose -4*i = 7*c - 145827, -4*i - 104169 = -5*c - 0*i. Is c prime?
False
Is ((-6)/(-4))/((-102690)/(-8556) + -12) prime?
False
Let v(n) = -10*n**3 + 46*n**2 - 3*n + 14. Is v(-21) a prime number?
False
Let j(k) = -3*k**2 - 7*k - 12. Let u be j(-5). Let y = u - -46. Is (7/2 + -3)*y + 502 composite?
False
Suppose 14*l - 174931 = 172003. Is l a composite number?
False
Suppose -q + 10 = -3*a, 0*a - 2*a - q = 0. Is (-797)/a*3/((-12)/(-8)) a composite number?
False
Is ((-100)/6 + 17)/(2/379074) a prime number?
True
Suppose -7*c + 490516 = 145157. Suppose c = 16*t + 9113. Suppose -2*s + 5*s - t = 0. Is s composite?
True
Suppose -2*x - 2*x + 20 = 4*c, -5*c = x - 13. Suppose c*n + 2703 = 2*d - 11429, -d + 5*n = -7054. Is d prime?
True
Let l(q) = 2*q**3 - 2*q + 15. Let s be l(0). Let x(t) = 3*t**3 - 22*t**2 + 31*t + 29. Is x(s) a prime number?
True
Suppose -8*y + 24150 = 87806. Let x = 3906 - y. Is x a pri