+ 4*l. Is a a composite number?
False
Let b(a) = 8*a**3 - 5. Is b(3) prime?
True
Let p = -7 - -6. Let f be p - 5/((-15)/9). Suppose 5*x + 0*x + 222 = 4*o, f*o - 3*x = 110. Is o a composite number?
True
Let t be (-1)/1 + 18 + -15. Suppose -5*n + 329 = t*b, 4*n = 5*b - 947 + 174. Is b composite?
False
Let k(a) = -2*a**3 - 2*a**2 - 4*a + 2. Let u be k(3). Let c = u - -128. Is c a composite number?
True
Let o(u) = 2*u**3 - u**2 - 6*u - 21. Is o(10) a composite number?
True
Is 32/(-208) - 4866/(-26) a composite number?
True
Is ((5352/(-20))/(-6))/(1/5) a composite number?
False
Let j be (1/3)/(5/45). Let y be j/(6/98)*1. Let v = y + 154. Is v composite?
True
Suppose -s + 800 = -44. Suppose -5*a + a = -s. Is a prime?
True
Let h be 21*((-2)/(-6) - 0). Let v(u) = 3*u**2 - 4*u - 8. Let g be v(h). Suppose -i - 2*i + g = 0. Is i a prime number?
True
Suppose 0 = -3*j + 3*v + 3, -5*j - 2*v - 1 = 1. Is (j - -316) + 11 + -8 a composite number?
True
Suppose 0 = -4*d - 2*b + 158, 20 = 2*d - 4*b - 34. Is d prime?
True
Let m = -1196 - -2295. Is m composite?
True
Let m(z) = 65*z**2 - 2. Is m(-7) prime?
False
Let m = 325 - 27. Let x be (-6)/(-21) + m/(-14). Let r = 170 + x. Is r a prime number?
True
Suppose -4*i + 8 = -2*p, 0 = -3*i - p + 13 - 2. Suppose -5*n + 130 = 5*f, i*n - 48 = f + 2*f. Is ((-16)/12)/((-2)/n) a composite number?
True
Let f(b) = 6*b**2 - 5. Suppose 3*g - h - 11 + 33 = 0, -g - 4*h - 16 = 0. Is f(g) a prime number?
True
Is ((-1011)/6)/((-3)/6) composite?
False
Let h be -10*(68/20 + -4). Suppose -q - 3*s = -518, -h*q + 3*s = -3*q - 1566. Is q a composite number?
False
Suppose -3*t + 22 = 4*o - 1389, 4*o - 3*t = 1405. Suppose -5*m - 2*h = -437, -h = 4*m - 0*h - o. Is m prime?
True
Suppose 4*s - 2384 = 308. Suppose s = 3*z - 116. Is z a composite number?
False
Let f = 37 + 0. Is f composite?
False
Let m(q) = q**3 - 3*q**2 - 3*q - 8. Is m(9) prime?
False
Is (-615)/(-3) + 0/2 a composite number?
True
Let a be (6/4)/(6/(-8)). Let s be ((-1)/a)/((-1)/30). Let m = 26 + s. Is m prime?
True
Let c be (2/(-3))/(4/12). Let p = c + 2. Suppose p = -5*z + 5, 3*i + 4*z = 8*i - 66. Is i prime?
False
Let p be 91 + 2/3*3. Let t = 7 - 7. Suppose p = 3*h - t*h. Is h prime?
True
Let g be 40/22 - (-14)/77. Let d be -3 + g + (-6)/3. Is -2 - (d + (-1 - 24)) a composite number?
True
Let z(r) be the second derivative of -r**7/840 + r**6/36 - r**5/24 + r**4/24 - r**3/2 + 2*r. Let a(m) be the second derivative of z(m). Is a(4) composite?
True
Suppose 4*k - 1465 = 3*p, 5*p + 718 + 11 = 2*k. Is k a composite number?
False
Let c be (0 + 3)/((-2)/(-114)). Suppose 5*p + 56 - c = 0. Is p prime?
True
Let q be ((-3)/(-12))/((-2)/(-1864)). Suppose 4*u = q + 659. Is u composite?
False
Let j = 2709 - 1744. Is j a prime number?
False
Suppose 226 - 35 = o. Is o composite?
False
Let u(g) = 14*g**2 - 9*g - 21. Let i be u(15). Suppose -4*n - 2*n + i = 0. Is n a prime number?
True
Suppose -3*j = -j - 206. Suppose 0 = -2*k + j + 3. Is k a composite number?
False
Suppose 0 = 5*m - 254 - 181. Is m prime?
False
Let g be 4 + 0 + 0/2. Suppose -3*c = -g*c + 59. Is c a composite number?
False
Let s be (1 - 32)*8/4. Let z = 134 - 41. Let p = s + z. Is p a prime number?
True
Suppose 6*z = 9*z - 1143. Is z composite?
True
Suppose -2*z + 2*a - 92 = -496, -z - 3*a = -214. Is z a prime number?
False
Suppose 7*t - 5*t = 0. Suppose -2*d - 3*i = 21, 1 = -2*d - t*d + i. Is 107 - 0 - 6/d composite?
False
Suppose -5*r - 5 = -4*r, 40 = -5*g - 5*r. Let z be ((-1)/g)/((-2)/(-12)). Suppose -z*y = -23 - 71. Is y a composite number?
False
Suppose u = 5*b - 869, 0*b + 2*u - 176 = -b. Suppose -4*l + b = -2*l. Is l prime?
False
Is 4/14 - (-5554)/14 composite?
False
Suppose -20 = 3*i - 8. Let c = i - -8. Suppose 3*m = -4*y + 48, 12 = m - c*m. Is y a composite number?
True
Let j be ((-3)/(-1))/(-3) - -8. Let s be (j + -4)*80/3. Suppose -4*n - 5*h + s = 0, -h - 3 - 53 = -4*n. Is n composite?
True
Let b = -3 - -3. Suppose b = -2*z - 0*z + 106. Is z a prime number?
True
Suppose -2*h + 5*h - b - 17 = 0, b = -2. Suppose h*u + k - 11 = 2*u, -1 = k. Is 474/u + (-4)/(-8) a composite number?
True
Let g(a) = -a - 4. Let o be g(4). Let t(x) = -7*x**2 + x - 4. Let w(f) = -3*f**2 + f - 2. Let d(r) = -4*t(r) + 9*w(r). Is d(o) a composite number?
True
Let u(i) = -1. Let y(o) = -o + 4. Let r(m) = 3*u(m) - y(m). Let p be r(10). Suppose 0 = -d + p*q + 116, -3*d + 7*d - 5*q = 471. Is d prime?
False
Suppose -41*l + 37*l + 332 = 0. Is l a composite number?
False
Let p = 487 - -28. Suppose 2*v + 93 = p. Is v a composite number?
False
Suppose z - 142 = 2*i, -4*i - 171 = -z - 37. Suppose 3*k = 3*m - z, 0 = -m - 4*k + 65. Is m prime?
True
Let n be -27*4*(-20)/(-24). Let a = n + 201. Is a a composite number?
True
Is -1*(-2 + -177) + 2 a prime number?
True
Suppose 10 = 5*y + 4*u, 2*y - 4*u + 2*u - 4 = 0. Suppose -13 = -2*t + 2*i + 9, -2*t = y*i - 6. Is t a composite number?
False
Suppose -2*t - 41 = 4*z - 15, 3*t = 2*z + 1. Let w be (t/(-4))/(2/72). Suppose 0 = 3*h - w + 6. Is h a prime number?
True
Suppose -92 = -2*y + 4. Let z = y + 45. Is z a composite number?
True
Let d be (-4)/6 + (-294)/(-9). Suppose 0 = -5*y - 5*p + 120, -3*y + d = 4*p - 9*p. Is y prime?
True
Let p = -864 - -416. Is (-2 - p)*(-4)/(-8) composite?
False
Suppose -3*u - 2*u = -2*d + 5736, 3*d - 2*u - 8593 = 0. Is d composite?
True
Let h be 4/10 + (-39)/(-15). Suppose 0 = h*b - 10 + 1. Let s = 28 - b. Is s a composite number?
True
Let v(x) = x - 1. Let j(y) = 13*y**3 + y**2 - 4*y + 4. Let a(g) = j(g) + 5*v(g). Is a(1) a composite number?
True
Suppose -x - 12 = -5*x. Let j(u) = -4 + 15*u**2 + u + x + 2*u. Is j(2) prime?
False
Let n(f) = -5 + 55*f + 5*f + 6. Is n(3) prime?
True
Suppose 0 = -4*m - 0*m + 5*b + 5088, 0 = 2*b. Is m/6*1/4 a composite number?
False
Let i = 339 + 448. Is i a prime number?
True
Suppose 3*n + 0 = 9. Suppose -2*g + 4*x + 56 = 0, -n = -3*g + 5*x + 85. Let l = g + -23. Is l composite?
False
Suppose 4*o = -g + 231, -2*g + 5*o + 241 + 247 = 0. Is g a prime number?
True
Suppose k = -0*k. Suppose k = -5*l + 4*u + 402, l - 2*u - 47 = 31. Suppose -l = -5*b + 23. Is b prime?
False
Let r(x) = 9*x**2 - 14*x + 11. Let m(n) = -5*n**2 + 7*n - 5. Let h(a) = 7*m(a) + 4*r(a). Suppose 5*f = 2 + 33. Is h(f) a prime number?
False
Suppose 0 = -4*s + 9*s - 8255. Is s prime?
False
Let j = 1 + 52. Is j prime?
True
Suppose 0*w = -5*w. Suppose w = 3*v + v. Suppose v = 5*p - 73 - 262. Is p a composite number?
False
Suppose -1403 = -4*p + 5*a, -5*a - 327 = -p + 35. Is p composite?
False
Let p be 2*(-1 + (-5)/(-2)). Let z be (-222)/48 - (-9)/(-24). Is 2 + z + p - -26 prime?
False
Let b(i) = -9*i**3 + 4*i**2 + i - 3. Suppose 3*c + 15 = -3*l, 0*l + l - 5*c = 13. Is b(l) a prime number?
True
Let h = 181 + 158. Suppose -4*s + h + 1185 = 0. Suppose -4*k + k + s = 0. Is k prime?
True
Is 2 - 0 - (-413 + -7) prime?
False
Suppose -3*p + 207 = 4*l, 0 = 4*l + p - 10 - 187. Suppose 0 = -5*q + 2*q + l. Suppose 3*x = -x + q. Is x composite?
True
Let d(w) be the third derivative of -w**5/60 + 7*w**4/8 - 7*w**3/6 - w**2. Is d(15) a composite number?
False
Is -5 + 2415 - (-4 + 1) prime?
False
Let s = -92 + 181. Is s a prime number?
True
Let m be ((-3)/(-4))/((-12)/(-32)). Suppose -5*i - m*x + 34 - 9 = 0, 0 = 4*i - 4*x - 48. Is i composite?
False
Let q = -301 + 540. Is q a prime number?
True
Let v be 5/(-3 - 32/(-10)). Suppose -d + 28 + v = 0. Is d prime?
True
Suppose 3*n = n. Let y(d) = -d. Let s(g) = 3*g + 65. Let a(v) = s(v) + 4*y(v). Is a(n) a prime number?
False
Suppose -v + 16 = 3*v. Suppose -3*a - 54 = -3*o + a, v*a + 68 = 4*o. Is o a prime number?
False
Let a(q) = q**3 - 6*q**2 + 6*q - 3. Let m be a(5). Suppose -m*t + 214 = -168. Is t a composite number?
False
Let x be (-56)/6 + 2/6. Let y = 20 + x. Suppose 66 = f - y. Is f a composite number?
True
Suppose -x + 2 + 3 = 0. Suppose 0*m - x*m = 0. Suppose m*u + 3*u - 147 = 0. Is u prime?
False
Is (1 - -3)/(-8)*-254 a composite number?
False
Let h = 2480 + 99. Is h a prime number?
True
Let c(a) = a + 11. Let h(o) = o - 1. Let l be h(-7). Let z be c(l). Suppose 0 = z*g - 10 - 83. Is g a prime number?
True
Let u(m) be the second derivative of m**3 - 2*m**2 + 3*m. Is u(13) a prime number?
False
Suppose -665 = 4*s - 9*s. Is s a composite number?
Tru