. Is t(s) composite?
True
Let m be 5/30 - 118/(-12). Suppose o + 3*d = 3*o - m, -3*o + 12 = -3*d. Suppose -u + 3*w = -38, u + 2*w = -o*w + 73. Is u a prime number?
True
Is (-5527016)/(-792) - (-8)/18 a composite number?
True
Let m(l) = 30*l**2 - 1. Let z be m(3). Suppose 2*k = 5*f + 3, 8 = -3*k + 6*k - 4*f. Suppose -1739 - z = -k*n. Is n prime?
False
Let g(s) = s**2 + s - 7. Let x = 7 + 0. Let j = x - 2. Is g(j) a prime number?
True
Let d(f) = -f**2 - 11*f - 21. Let z be d(-8). Is (638/z)/(2/18*6) a composite number?
True
Let f(x) = -3254*x**3 - 6*x**2 - x + 2. Is f(-1) a prime number?
True
Let s(n) = 28*n**2 - 8*n + 37. Is s(14) a composite number?
False
Let a = -629 - -892. Is a prime?
True
Let n = 283 + -153. Suppose -8*i = -7*i - n. Suppose 0*j + i = 2*j. Is j a prime number?
False
Suppose -2*u + 5 + 7 = 0. Let p be 2/u + 248/12. Is (-11 + p)/(4/134) composite?
True
Let h(u) = -19*u - 1. Let b be h(3). Let k be 2/1*(50 - 4). Let q = k + b. Is q a composite number?
True
Let c be 32/(-14) + 2/7. Let y be 16/56 - 27/21. Is 712 + 1*(y + c) a prime number?
True
Suppose -5*d + 2*z = -103497, -4*d - 3*z + 7*z + 82800 = 0. Is d prime?
False
Let t(a) be the third derivative of 13*a**4/6 + 13*a**3/6 + a**2. Is t(7) composite?
True
Suppose 5*q - 4220 = 5*b, -8*q + 4*q - b = -3371. Is q a composite number?
True
Let l = 36520 + -15527. Is l a prime number?
False
Let y(u) = -175*u - 11. Let w be y(-3). Let t = 68 + w. Suppose 6*j = 3*j + t. Is j prime?
False
Let l be 3/5 - (-12)/(-20). Let s(n) = -n**2 + 3*n + 7. Is s(l) prime?
True
Let o be 4/18 + (-75)/(-27). Suppose 21 = -o*r - 6. Is ((-3)/r)/(8/37416) composite?
False
Let p = -12394 + 40241. Is p a composite number?
False
Suppose -2*z + 4981 = -5*y, -4*z - y = -3*y - 10002. Is z a composite number?
False
Is 12/9*9/3 - -21973 prime?
True
Suppose 0 = -g + 3 - 1. Suppose 25 = -g*i + 533. Is i composite?
True
Suppose -2*a - 9 = -z, -2*z = -7*z + 4*a + 27. Suppose -5*m - z*j = -0*m - 719, 2*j = -4. Suppose -m = -5*o - 5*y, 2*o - 3*y - 15 = 53. Is o prime?
True
Let l(o) = 2*o + 4. Let n be 14/(-10) + 14/35. Let i be l(n). Suppose u - 39 = -i*u. Is u composite?
False
Suppose -5*l = -3*s + 95, -s = l + 2*s + 37. Let q = l + 57. Is q composite?
True
Let y = 5106 - 2773. Is y a prime number?
True
Let w(f) = -f - 4. Let h(d) = -5*d - 19. Let p(j) = 2*h(j) - 11*w(j). Let b be p(-6). Is 30 - (-5 + b + 4) prime?
True
Let q = 318 + -183. Suppose -3675 - q = -6*u. Is u composite?
True
Let s(c) = 2*c**3 - 21*c**2 + 35*c + 1. Is s(16) prime?
False
Let v(c) = -190 + 195 - 3*c + 5*c. Let y(k) = -3*k - 5. Let p be y(-4). Is v(p) a prime number?
True
Suppose 0 = -0*l + 4*l - 3*k - 114821, -28689 = -l + 4*k. Suppose 27*v - 8*v - l = 0. Is v composite?
False
Suppose -1 = -w - 10. Let f = w - -9. Suppose 4*b + 0*b - 388 = f. Is b composite?
False
Suppose h = -3*l + 322, -5*h - 10*l + 1560 = -5*l. Is h a composite number?
False
Let c = -107 + 109. Is (1945/(-3))/(c/(-6)) a composite number?
True
Suppose 4*n = -h + 15473, 4*h - 5*n - 58074 - 3923 = 0. Is h composite?
False
Let w(y) be the first derivative of 7*y**6/180 - y**5/20 + 11*y**4/24 + 3*y**3 - 11. Let a(j) be the third derivative of w(j). Is a(-10) a composite number?
False
Let o = -4 - -7. Suppose o*k = -k + 1316. Is k a composite number?
True
Let k be 30/(-6)*6/(-10). Suppose 5*f = 3*g + 12, 0 = -3*f + k*g - g + 8. Suppose 4*w + 5*j - 711 = f, 5*w + 0*j - 891 = -4*j. Is w composite?
False
Suppose 5*k = -y + 3871 - 1277, -3*y + 3*k + 7710 = 0. Is (-3 - y/4)*-2 a composite number?
True
Suppose 3*d + 0*d = 0. Suppose d*o + 1024 = -2*o. Let p = -286 - o. Is p a composite number?
True
Let x(y) = 223*y**2 - 2 + 4*y - 2*y - 75*y**2 + y. Is x(1) a composite number?
False
Suppose 4*m = -21*m + 13075. Is m a composite number?
False
Let f(m) = 3*m + 2503. Is f(0) a composite number?
False
Let a(q) = q**3 + 12*q**2 + 9*q + 20. Let r be a(-9). Suppose r = 2*s - 240. Is s prime?
True
Is ((-9)/6)/((-2)/1684) + -2 composite?
True
Let h(k) = -k**3 - 6*k**2 + 16*k + 1. Let c be h(-8). Let i be (-2)/2 + (c - -149). Suppose 6*n = 7*n - i. Is n a composite number?
False
Let o(x) = -1988*x + 307. Is o(-9) composite?
False
Let m be (-7)/(-3) - 2/6. Let x = m - 4. Is (182/(-2) - x)*-5 composite?
True
Let r(t) = -1254*t - 49. Is r(-8) composite?
True
Let b = 13 - 9. Suppose -g + b*g - 171 = 0. Suppose -158 = -t + g. Is t a composite number?
True
Let s = -31692 - -54095. Is s a prime number?
False
Suppose 580 = 3*o - 722. Let n = 1341 - o. Is n a composite number?
False
Let f = 83 - 0. Suppose 0 = -4*t - z + 77, -4*t - 3*z + 4*z = -f. Is (37/4)/(1/t) a prime number?
False
Let s(v) = v**3 - 19*v**2 - v + 64. Let h be s(19). Suppose h + 823 = 4*k. Is k prime?
False
Let o(t) = 54*t**2 - 83*t - 53. Is o(22) a composite number?
True
Suppose w + 2*w + 3*b + 10815 = 0, -5*w + 2*b = 18032. Let o = w - -5312. Is o prime?
False
Let v be -1 + (27/3)/3. Suppose 0 = -4*f - 0*l + 3*l + 155, v*f - 4*l - 80 = 0. Is (6/4)/(1/f) a prime number?
False
Suppose -5*h = 3*p - 0*h - 20, 0 = -p + 3*h + 2. Suppose 4*y + i - 2182 = 3*i, p*y - 5*i = 2720. Is y prime?
True
Let o(d) = -24*d - 63. Let j be o(-28). Let p = j + 270. Is p a prime number?
False
Suppose -4*i = -12*i + 8. Let x(g) = 4*g**3 - 2*g**2 + 1. Is x(i) a prime number?
True
Let a(z) = 5*z**3 + 15*z**2 + z - 41. Is a(10) a composite number?
False
Let t be ((-36)/8 - -4)*-2586. Suppose -t = -5*r - 178. Is r a composite number?
False
Suppose -6*j = -0*j - 1668. Suppose -5*i + j = -t - 301, -2*t - 353 = -3*i. Is i a prime number?
False
Let i = 1 - -23. Is (-4)/24 - (-844)/i composite?
True
Let x = -59411 - -91032. Is x composite?
True
Suppose 7*k = 14*k - 134071. Is k prime?
False
Let n(r) be the third derivative of r**8/20160 - r**7/1260 - r**6/144 + r**5/60 - 5*r**2. Let v(h) be the third derivative of n(h). Is v(-8) a composite number?
True
Let w be (-16)/4 + 3 + 3. Let m be (-39)/(-9) - (-1)/(-3). Suppose m*q - 44 = w*q. Is q composite?
True
Let n(f) = 5 + 27*f**2 - 10*f - 7 + 0. Is n(3) composite?
False
Let q(f) be the second derivative of -f**5/20 - 3*f**4/4 + f**3/3 - 3*f**2/2 - 2*f. Let m = -42 + 32. Is q(m) a prime number?
False
Suppose -4*x = -151 + 271. Let w = x + 65. Is w composite?
True
Let j(t) = t**3 + 12*t**2 - 15*t - 23. Let a be j(-13). Suppose 0 = a*u - 2*y - 189, -2*u + 3*y + 79 + 42 = 0. Is u prime?
False
Suppose -33*r + 27*r + 2442 = 0. Is r prime?
False
Suppose -24547 = -5*g - 0*b - 2*b, 0 = 5*g - 5*b - 24540. Is g a prime number?
True
Suppose -2*y - 8000 = -4*i, -5*y + 1975 = i - 25. Let l = i + 1581. Is l composite?
False
Suppose 2*d - v = 31, v - 8 = 3*d - 4*d. Is 1*3 + 8918/d a prime number?
False
Suppose 10*j + 3*y - 2554 = 9*j, -2555 = -j - 2*y. Is j composite?
False
Let k = -17 - -20. Suppose -k*z = -7*z + 76. Is z prime?
True
Let a = 2 - 0. Suppose -a*n + 1958 = 2*j, -2*j - 3*n + 4903 = 3*j. Is j prime?
True
Is ((-4)/6)/(12 + (-1111150)/92595) a prime number?
True
Let o be (-15)/(0 - -3)*(-16)/10. Let s(x) = x**3 - 2*x**2 + 4*x + 6. Is s(o) a composite number?
True
Let d(s) = s**2 - 2*s - 3. Let b be d(-4). Let h = b + -11. Is (31/2)/(5/h) a composite number?
False
Let n be 512/52 + -6 + 2/13. Let a(v) = 13*v + 1. Is a(n) a prime number?
True
Suppose -36*m + 326188 = -18944. Is m a prime number?
True
Is 233 + 4/(-2) + 6 prime?
False
Let q(u) be the first derivative of -u**3/3 - 10*u**2 - 25*u + 24. Is q(-12) prime?
True
Let b be (-5)/15 + (-4)/(-3). Let j be (0 - b)*(-7 + 9). Is (-4)/8 + (-1671)/j a composite number?
True
Suppose 3*o = -h - 9533, 3*h - 2*h + o = -9529. Is (6 - (-3)/(-3))*h/(-5) a prime number?
False
Let f = -753 + 3674. Is f composite?
True
Let d(u) = 10 - 24 - u - 36*u. Let c be d(-6). Is c - (1 - 4) - 0 a prime number?
True
Let w be (-828)/(-7) + (-2)/7. Suppose -238 = 2*r - 4*r. Suppose w = u - r. Is u prime?
False
Suppose 0 = i + i - 290. Let n = i + -30. Is n composite?
True
Suppose 13*a - 19*a = -31362. Is a prime?
True
Let q(j) = -22*j**3 + 8*j**2 + 74*j - 3. Is q(-8) a prime number?
False
Is ((-13)/(-52))/(2/824) prime?
True
Suppose -2*o + 800 = 3*o + 2*f, -4*o + 637 = f. Let r = o - 93. Let s = r - -24. Is s composite?
False
Let s(v) = 158*v - 23. Let f be 118/10 - (-4)/20 - 3. Is s(f) a prime 