. Is u/(-6) + 5/(-30) a composite number?
True
Let x be 1/(-2) + (-99)/(-22). Is 3/(-24)*-254*x a composite number?
False
Suppose 5 - 20 = -5*a. Suppose a*p = -p + 460. Is p a prime number?
False
Suppose -3*o - 9 = 0, 411 + 395 = h - 3*o. Is h composite?
False
Is 1 - (-7 - -4) - -181 a composite number?
True
Let r(h) = 201*h**3 - 2*h**2 + 4*h - 1. Is r(1) a prime number?
False
Let s(n) = 6*n**2 - 10*n - 13. Is s(9) prime?
True
Let k(h) = -h - 6. Let f be k(-11). Suppose f*p + 5 = 20. Suppose -p*g + 119 - 357 = -5*b, 2*b + 2*g = 92. Is b composite?
False
Let w(l) = -l + 5. Let f(q) = q**3 + 8*q**2 - 7*q + 12. Let j be f(-9). Is w(j) composite?
False
Suppose -4*d + 2*b + 9332 = 0, 2*b = -4*d - 2*b + 9332. Is d a composite number?
False
Suppose 2*o - 7*o = -20. Suppose 3*p - 60 = -t, o*p + 0*t + 4*t = 80. Let g = 33 - p. Is g composite?
False
Suppose -2*b = q - 7, q - 4 = 3*b + 18. Let y = q + 10. Is y/2 - 9/6 a composite number?
True
Let r = -122 + 463. Is r composite?
True
Let t(z) = 14*z**2 - z + 1. Let l be -2 - -3 - 2/(-2). Suppose -l*j + 6 = -5*j. Is t(j) a composite number?
False
Suppose 0 = y - 254 - 77. Is y prime?
True
Let i(m) = m - 5. Let l be (45/(-10))/(3/(-4)). Let p be i(l). Is (p - (-27 + 1)) + -1 composite?
True
Suppose 0 = 4*r - 3*u + 89, -4*u + 46 = -2*r - 6. Let n be r*(1305/(-12))/5. Suppose n = 5*z - 3*c, 0 = -4*z + c + 369 - 21. Is z prime?
False
Suppose -4*r - 2 = -3*r. Let z = r + 2. Suppose z = j - 5*j - 3*m + 832, 5*j - 1059 = m. Is j a prime number?
True
Suppose 3*o + 2021 = 4*r, -2*r - 2*o + 108 + 892 = 0. Is r a composite number?
False
Suppose 0*k = -5*k + 10. Let m(a) = 12*a**3 - 4*a + 3. Is m(k) a prime number?
False
Suppose 4*m - 3*t + 2 - 6 = 0, t - 4 = 0. Suppose -m*a + 3*l + 27 = 6, -5*l = 5*a. Is 47*(a/(-1) - -4) composite?
False
Suppose 0*p = -5*p + 15. Suppose p*l + l = 0. Suppose -2*j - j = -5*f + 78, 4*f - 2*j - 62 = l. Is f prime?
False
Suppose -5*n - 16 = -6. Let a(l) = -120*l - 3. Is a(n) a composite number?
True
Suppose 23*a = 24*a + 8. Let k(x) be the second derivative of x**4/12 + 2*x**3/3 + 3*x**2/2 - x. Is k(a) composite?
True
Let v(q) = q**3 + 8*q**2 + 6*q - 3. Let i be v(-7). Suppose 372 = i*j - 4*a + 7*a, 3*a = j - 108. Let b = j - 41. Is b prime?
False
Let o = 1252 - 539. Is o a composite number?
True
Is 2 + 1 - 1 - -1541 composite?
False
Let p be (-6)/36 + (-449)/6. Let s = 2 - p. Is s prime?
False
Suppose 4*r + 1311 = -489. Is ((-2)/(-6))/((-6)/r) prime?
False
Let v(d) = 3*d**2 + 10*d - 16. Is v(7) composite?
True
Let d be (-6)/27 - 428/18. Let l be 2/(-5) + d/(-10). Is l/(-3) - 298/(-6) prime?
False
Suppose 3*n - 5*i - 470 - 1626 = 0, 2*n - 1399 = 3*i. Is n composite?
True
Let o(t) = t**2 + t. Let q(b) = -7*b**2 - 12*b + 4. Let m(f) = -6*o(f) - q(f). Let g be m(-5). Let s = 64 + g. Is s composite?
True
Let i = 290 + -163. Is i prime?
True
Suppose 2 + 13 = -3*r. Let h = 8 + r. Is h composite?
False
Let u = 100 - 21. Is u prime?
True
Let f(q) = -q**3 + q**2 - q. Let n(a) = -5*a**3 + 12*a**2 - 2*a + 7. Let r(b) = -6*f(b) + n(b). Let t be r(-5). Is 8/t*(-75)/(-2) a prime number?
False
Suppose 2*c = -i + 441, -2*c = -0*i - 3*i - 445. Suppose 15 + 201 = 3*x. Suppose x = -p + c. Is p a composite number?
False
Suppose 2*j = -5*f + 573, 133 = -2*f + 3*f + 5*j. Is f prime?
True
Suppose 2*l = 3*h - 166, 5*h = 5*l + 2*h + 415. Suppose -544 = 3*x + x. Let q = l - x. Is q composite?
False
Let y(z) be the first derivative of z**3/3 + z**2/2 - z - 2. Let n be y(-7). Let f = 94 - n. Is f prime?
True
Let c = 6 - 3. Suppose 4*k - 4*u = 250 - 62, 63 = k + c*u. Is k prime?
False
Let z be (-5 - -4) + -3 + 4. Suppose 2*b + 2*m - 1394 = z, 5*b - 5*m - 2049 = 1476. Is b a prime number?
True
Suppose 14*o - 9*o - 4325 = 0. Is o composite?
True
Suppose 5*x - 2420 - 5145 = 0. Is x a composite number?
True
Let p be (43 - 0)/1 + 3. Let o = 21 + p. Is o prime?
True
Suppose -8 = -4*f, 5*h = -0*f + 4*f + 1427. Is h prime?
False
Suppose 2*g - 4 = 2*p - p, -10 = -2*p - 2*g. Suppose 3*l + 1005 = -p*l. Let o = -62 - l. Is o prime?
True
Let n(h) = 2*h**2 + 3*h + 7. Let b = 17 - 11. Is n(b) a prime number?
True
Let d be (24/20)/(6/(-160)). Let v = d + 243. Is v prime?
True
Let g be 12/(-18) - (-1640)/3. Let r = g - 376. Suppose 0 = -5*d - 25, -d = 5*k - 2*d - r. Is k a prime number?
False
Is (500 + -1*(-4)/2)*1 a prime number?
False
Let h(n) = -5 - 5*n + n**2 + 5. Let f be h(5). Is 0 + (20 - -1) + f a composite number?
True
Let j(r) = 25*r**2 + 4*r + 11. Is j(-6) a composite number?
False
Let d = 102 - -9. Is d prime?
False
Let b(a) = -82*a**3 + a**2 - a - 1. Let d be b(2). Let s = d + 393. Let g = -165 - s. Is g a composite number?
False
Let o = -490 + 695. Is o prime?
False
Suppose -13 = -3*p - 2*t, -4*t = 5*p - 4 - 19. Is p composite?
False
Let p = -3947 - -2215. Let r be p/(-14) + 2/7. Suppose 0 = 4*x - r + 36. Is x a composite number?
True
Let t(d) = -d**2 + d + 10. Let j be t(7). Let u = j + 68. Suppose 2*f + u = 4*l, 0 = -2*l - 4*f + 31 + 7. Is l composite?
False
Let n(s) = 3*s**2 + 2*s - 1. Let w be n(-2). Suppose h - 4*h + 5*v = -w, 0 = 4*v + 20. Let j(k) = -k**3 - 5*k**2 + 5*k + 4. Is j(h) composite?
True
Let j(h) be the third derivative of h**4/24 - h**3 + 2*h**2. Let s be j(10). Is 57/s - (-2)/(-8) a composite number?
True
Let p(t) = 15*t + 6. Let f be p(5). Is f + 1 + -4 + 1 composite?
False
Suppose 4*p = -0 + 8. Suppose p*h - 3*h = -163. Is h a composite number?
False
Let a(p) = -148*p + 1. Let f be a(-5). Suppose f + 1159 = 4*v. Suppose -4*h + v = h. Is h a composite number?
True
Suppose 144 = 4*d - 40. Is d composite?
True
Let y = -5 + 3. Let h(x) be the third derivative of -17*x**4/24 - x**3/2 + 3*x**2. Is h(y) composite?
False
Let q = 15 - 34. Let x be q*(-4 - -2) + 2. Suppose -11 = -c - 2*g, c - g - x + 14 = 0. Is c composite?
True
Let b = 107 - 4. Let y(l) = -l**2 + 12*l + 15. Let i be y(13). Suppose 25 = -i*g + b. Is g a prime number?
False
Let w = 44 + 141. Is w a composite number?
True
Let a(o) = -o + 3. Let x be a(2). Suppose -2*h + 3*y = -551, 0 = -y - 4 - x. Suppose 0*n - h = -4*n. Is n prime?
True
Let n(s) = 71*s**3 - s**2 + 3*s + 2. Let k be n(-2). Is k/(-10) - (-4)/10 composite?
True
Let v(t) = -6*t - 10. Let u(i) = i + 1. Let z(f) = 3*u(f) + v(f). Let j(n) = n. Let r(h) = -4*j(h) - z(h). Is r(0) a prime number?
True
Let b be ((-12)/18)/(4/18). Is (-1 - -5) + b - -336 prime?
True
Suppose 3*g - 190 = -2*g. Is g a composite number?
True
Let x(k) = 2*k**2 - 5*k - 7. Let c be (-2)/(((-16)/6)/4). Let z be 0 - (-2*c - 0). Is x(z) a composite number?
True
Suppose -v + 0*v + 131 = 0. Is v prime?
True
Suppose 5*y - 4*o - 1117 = 0, -452 - 429 = -4*y - o. Is y composite?
True
Suppose -4*o - 18 = -7*o. Is ((-188)/o)/((-18)/135) a composite number?
True
Suppose 0 = 4*z - 2*s - 2276, 4*s + 250 = 2*z - 876. Is z prime?
True
Let t(x) = -4*x**3 - x**2 - 2*x + 3. Is t(-4) composite?
False
Let c be (1 - 85) + (2 - 0). Let i = c + 211. Is i a composite number?
True
Suppose 50 = -2*g + 180. Is g - (-1 - (-2 - -3)) composite?
False
Suppose -4*j - 12 = 0, -2*i = i + 2*j - 192. Let s = 119 - i. Is s prime?
True
Suppose 0 = -t - 2, 4*t + 8 = 2*y + 2. Let o be y*(-102)/4*10. Suppose 3*d + u - 6*u - o = 0, 0 = 4*u. Is d a composite number?
True
Let a be 2/(-5) + (-154)/(-35). Suppose -a*r = -4*o + 1028, -5*o + 3*r + 1285 = 2*r. Is o a prime number?
True
Let p(s) = -s**3 - 4*s**2 + 17*s + 5. Is p(-12) prime?
True
Let r(z) = 34*z**2 + 2*z + 1. Suppose -5*x + 16 = -x. Suppose 3*w - 1 = -x. Is r(w) a prime number?
False
Let y be ((-3)/(-5))/(4/(-20)). Let d be -8 + (-1 - y) - 1. Let v = 10 + d. Is v prime?
True
Let d(u) = -8*u**3 - 3*u**2 - u + 5. Is d(-4) composite?
True
Is 1 + 4 + -4 - -2458 a prime number?
True
Let q(r) = 31*r + 18. Let x(v) = -63*v - 37. Let h(y) = 7*q(y) + 3*x(y). Is h(7) prime?
True
Suppose 5*c + 644 = -4*g, 4 = g - 0*g. Let b = 248 + c. Suppose -4*z + b = -248. Is z a prime number?
False
Let t = 36 + -33. Let j(z) = 4*z - 6. Let m be j(6). Is m - (5 + -5 + t) a composite number?
True
Let m be (-1)/((-4)/3 + 1). Let i be (-3)/(-1) + (m - 1). Is ((-5)/(-3))/(i/165) prime?
False
Let d(y) = 46*y**3 + y**2 + y. Let p be d(-1). Let w = -32 + 7. Let t = w - p. Is t prime?
False
Suppose -3*y - 50 = -5*y. Suppos