s m(x) a composite number?
True
Suppose d + 5*j - 381 = 0, 3*j + 413 = -0*d + d. Is d composite?
False
Let c = 76 - 70. Is (((-14)/c)/(-7))/(1/2733) a prime number?
True
Suppose -g + 2*w = 6*w + 665, 5*g - 2*w + 3281 = 0. Let o = 1030 + g. Is o a prime number?
True
Is 1/(-2) + 1070541/102 composite?
True
Let q(o) = -1368*o - 26. Let b(t) = 684*t + 13. Let f(d) = 5*b(d) + 2*q(d). Is f(5) a composite number?
False
Suppose -2*q + 0*q + 1474 = 0. Suppose -f = -q + 68. Is f a composite number?
True
Let a be 3 + 6/3 + -2. Let h(v) = 9*v**3 + 0*v**a + 17*v**2 + 7 - 20*v**2. Is h(3) composite?
False
Let v(b) = -b**2 - b - 11. Let o be v(0). Let p(y) be the third derivative of -7*y**4/8 + 13*y**3/3 - 20*y**2. Is p(o) composite?
False
Suppose -19*p - 5832 = -22*p. Let h = p - 953. Is h prime?
True
Suppose -2*v + 1608 + 1750 = 0. Suppose -2*c = -v - 5431. Suppose -5*a + 1300 = -c. Is a a prime number?
True
Let v = 8 - 4. Let w(c) = 106*c + 8. Let g be w(v). Let p = 377 + g. Is p a prime number?
True
Let g = -31 + 51. Suppose -8*b = -4*b - g. Suppose b = -d, d = -0*v + 3*v - 440. Is v a composite number?
True
Suppose -q - 4*w + 12335 = -0*q, 2*q - 4*w = 24622. Is q a composite number?
True
Suppose 0 = -4*w + 42 - 6. Let x = -8 + w. Is 462/x - -2 - -3 composite?
False
Let l(o) = o**3 - 7*o**2 - o + 10. Let f be l(7). Suppose -2*v - 216 = -m + f*v, -2*v - 661 = -3*m. Is m prime?
False
Let u = -6 - -3. Let v be 1/u + 28348/57. Suppose 0 = 10*o - 3*o - v. Is o composite?
False
Suppose -3*f = -1 - 2. Is f*-3*2/(6/(-1191)) prime?
False
Let n be 2 + -2*(-4)/(-8). Suppose -n = -i + 3. Suppose -505 = -i*j + s + 328, -4*j = s - 839. Is j composite?
True
Let t be (-4)/14 + 23/7. Suppose -17 = -t*c + 49. Is c prime?
False
Let b = -675 + 1021. Is b composite?
True
Let p be (-30)/135 + 4/18. Let a = 3 - p. Suppose -3*r - 93 = -a*u, r - 93 = -3*u + 3*r. Is u a composite number?
False
Let l be 8/(2 - -2) - -2. Let g = l - 1. Suppose -260 = -2*v - 2*q + q, 2*q = g*v - 397. Is v prime?
True
Suppose -3*g + 19 = 10. Suppose 3*u = -2*u - 2*f - g, -5*f = 5*u. Is (-2661)/(-3) - 0/u a composite number?
False
Let k = -47 - -57. Suppose -6244 = -k*s + 14746. Is s a prime number?
True
Suppose 6995 = 2*b - 28343. Is b a prime number?
True
Let x = 20928 + 14615. Is x a prime number?
True
Suppose -3*f + 3*m - 2*m + 91078 = 0, -5*m = 5*f - 151790. Is f a composite number?
True
Is ((-24185)/15 - -5)*12/(-8) a composite number?
False
Let z = 554 - 28. Let u = z - 233. Is u prime?
True
Suppose -40*o + 35*o - 4*a = -57957, -5*o - 5*a + 57955 = 0. Is o a prime number?
True
Suppose 3*j - 4*j + 4472 = x, 2*x - 3*j = 8939. Is x composite?
True
Let p(c) = -2*c**2 + 7*c - 5. Let x be p(4). Is (-1451)/x + 2/(-9) a prime number?
False
Let l(v) = -13*v - 25. Let n(a) = -13*a - 26. Let p(o) = 6*l(o) - 5*n(o). Is p(-7) prime?
True
Suppose -7*f = -6*f + 5. Let u(c) = c**3 + 6*c**2 + 6*c - 1. Let z be u(f). Is (226/z)/(7/(-21)) a prime number?
True
Let c = -1446 - -2989. Is c prime?
True
Is -10 - (1442650/(-10))/11 a prime number?
False
Let c(g) = -g**2 - g + 3. Let d = 1 - 4. Let w be c(d). Is (18 - 0)*(-1)/w composite?
True
Suppose 0 = 5*k - 3*g - 8, -3*k + 4*g = -0 + 4. Is 1/(-2) - ((-943)/2 + k) a prime number?
True
Suppose -10*m + 7*m = -14730. Is (m/15)/(8/12) a prime number?
True
Suppose 16*f = 12*f + 3356. Is f prime?
True
Suppose -8*m = -4*m. Suppose m = 2*c - 462 - 302. Is c a composite number?
True
Let d(y) = 7271*y - 56. Is d(5) composite?
False
Suppose 3*a - 6470 = 5*o, -a - 3*a = 4*o + 5144. Let t = -818 - o. Is t prime?
False
Let s = 6144 + -2017. Is s prime?
True
Let d(l) be the third derivative of -2089*l**4/24 + 16*l**3/3 + 26*l**2. Is d(-3) a prime number?
True
Suppose -4*c = -5*z - 39, 9 = -c + 5*c + 5*z. Suppose -29 = -j - 2*y, 9 = 3*y - c. Is j a composite number?
False
Suppose 5*m - 5*a = 13430, -3*a + 1406 = m - 1260. Suppose 0 = 6*u + m - 7151. Is u composite?
True
Let c(m) = m**2 - 10. Let a be c(4). Is ((-3466)/(-3))/(a/9) a prime number?
True
Suppose 0 = 3*j - 4*v - 17959, 16 = -8*v + 4*v. Is j a composite number?
False
Let z(x) = -4*x - 27. Is z(-10) a prime number?
True
Let m be 2/(3 + 7/(-3)). Suppose -5*g - 5*a + 382 = -3*g, m*a = 0. Is g composite?
False
Suppose -4*q - 14*q + 579222 = 0. Is q prime?
False
Let s(j) = -3*j**3 + 38*j**2 - 34*j**2 + 3*j + 4*j**3 + 1. Let t be s(-2). Suppose -5*x = 2*o - 753, t*o = 4*o + 2*x - 377. Is o prime?
True
Is 43 + -38 + (0 - -6391 - 1) a composite number?
True
Let v = -825 + 1203. Let k = v + 31. Is k composite?
False
Suppose -27*n - 3*u - 844888 = -32*n, -5*n = 3*u - 844882. Is n a prime number?
True
Suppose 7*n = 4*n + 4*x + 17, 0 = 5*n - 2*x - 19. Suppose n*g - 3*w = 3723, -3*g - 2*g + 4*w + 6202 = 0. Is g composite?
True
Let j = 2070 - -1181. Is j a composite number?
False
Let i = 4 - 10. Let m be 8/(-48) + (-31)/i. Suppose -172 = -m*n + 3*n. Is n a prime number?
False
Let m(f) = -f**3 + 8*f**2 - 1. Let q be m(8). Is q/(-4 - (-156)/40) composite?
True
Suppose 15 = -b - 4*b. Let y be 100 + b - 12/(-3). Is y - 2*(2 + 0) composite?
False
Suppose 3*d + t - 47 = 0, -2*d + 6*d - 64 = -2*t. Suppose -d*z + 17*z = 10. Suppose 5*o = z*a + 1085, 4*a - 311 = -3*o + 312. Is o a composite number?
True
Suppose -h - 3 = 0, 2*l + 95 - 1682 = -h. Suppose 0*q + l = 5*q. Is q a composite number?
True
Let t(c) = -21*c + 6. Let f be t(-7). Let j = f - 102. Is j a prime number?
False
Let c = 64 + -64. Suppose 2051 = f - 4*l - 1464, f - l - 3512 = c. Is f prime?
True
Let y(t) = t**2 - t - 5. Let j be y(-5). Let f be 10/4*20/j. Suppose -170 = -2*x + p - 0*p, -f*p = x - 95. Is x a prime number?
False
Suppose -b = -70080 + 26357. Is b a composite number?
True
Suppose -11043 = -3*l + 4*c + 12836, 0 = 3*l + 3*c - 23886. Is l a composite number?
True
Suppose 67*r + 21455 = 72*r. Is r a composite number?
True
Is 10542/7 + ((-2)/(-2) - 0) a prime number?
False
Let i = -11398 + 20441. Is i a prime number?
True
Let f(m) = 38*m**3 + 5*m**2 - 2*m + 27. Is f(4) composite?
False
Suppose -7*g + 10237 = q - 4*g, -4*q = -g - 40974. Is q a prime number?
True
Let w(n) = n**2 + 8*n + 4. Let f be w(-8). Suppose -4*q + 4*y - 76 = 0, q + 16 + 23 = -f*y. Let p = q - -54. Is p a composite number?
False
Let r(k) be the third derivative of k**5/12 - k**4/3 - 5*k**3/6 - 4*k**2. Is r(6) a composite number?
False
Suppose 0*b + 148 = b. Let h = -1155 + b. Let r = h + 1972. Is r composite?
True
Let m = 8 - 5. Suppose 3*o + 4*c - 23 = -0*o, -5 = -m*o + 5*c. Suppose -4*k - 3*z = -637, 2*k - o*k = -4*z - 509. Is k composite?
False
Let a(w) be the second derivative of w**3/6 + 11*w**2 + w. Is a(-7) composite?
True
Suppose 264 = 3*l - 417. Let z = 399 - l. Suppose -7*j = -3*j - z. Is j a prime number?
True
Let x(t) = -t**3 + 5*t**2 + 4*t - 4. Let z be x(3). Is z/(-117) - 605/(-9) prime?
True
Suppose 0 = -5*t + 2*c + 4366, 5*c + 2373 = 2*t + 635. Suppose 4*y - t = 454. Suppose -i + y = 3*i. Is i a prime number?
True
Let p be 1*(-4)/(-2)*2. Let l be (2/4)/(p/24). Suppose 3*d + 938 = 4*s, -4*s + 0*s = l*d - 926. Is s a composite number?
False
Let m be -1 + (-5)/5*-176. Let b = m - 96. Is b composite?
False
Let d(y) = 31*y - 10*y + 29 - y + 25*y. Is d(18) a composite number?
False
Let u(x) = -x + 4. Let f be u(8). Is ((-5574)/(-9))/(f/(-6)) prime?
True
Suppose -11992 = -4*k - 2*o, 5*k - 10895 = 5*o + 4110. Is k a composite number?
False
Let z be (-7)/4 - 25/100. Is (-2 + 1)/((-4203)/(-2103) + z) a composite number?
False
Let w = 37181 + -14718. Is w a prime number?
False
Let t be (-20)/30*(-5271)/2. Suppose -6*k - t = -13*k. Is k a composite number?
False
Let d(t) = -369*t - 81. Let u(c) = -23*c - 5. Let l(j) = -2*d(j) + 33*u(j). Let p be l(-5). Suppose -3*n + p = -99. Is n prime?
True
Is (-1416308)/(-44) + 84/462 prime?
True
Suppose 3*f + h - 27054 = -2*f, -4*f - h = -21643. Is f composite?
True
Let k(f) = 442*f - 7. Is k(2) a prime number?
True
Let s = 12724 - -15739. Is s a composite number?
False
Suppose -q = -3*p + 11, -5*p + 7 = q - 14. Let k be 15 + -8 + (q - 4). Suppose 4*a = -2*l + 150, -5*l - k*a + 450 = -9*a. Is l prime?
False
Let d = 139 + -76. Let z = d - -44. Is z + (-6 - -1 - -1) prime?
True
Let g be 34/4 + 1/(-2). Let p(k) = g - 1 + 3*k**2 - 3*k + k**2 + 4. Is p(10) compo