+ 7*j - v*j = -175, -3*j - 179 = -l. Is l a composite number?
False
Let k = 16 + -15. Let l be (k + 1)/(9/(-9)). Is 552/(-20)*5/l a prime number?
False
Suppose 5*p - 121299 = -4*z - 20298, 5*z = p - 20206. Is p prime?
True
Is 38*5*33/30 composite?
True
Suppose -5*k = -5*f - 9858 - 57172, k + 4*f - 13431 = 0. Is k prime?
True
Let s(g) be the first derivative of 5*g**3/3 + 3*g**2/2 + 3*g - 4. Let h be s(-3). Let b = h - 4. Is b composite?
True
Let h be (-7)/(-28) + (3695/4 - -1). Let b = -516 + h. Is b a prime number?
True
Suppose -18*r + 15*r - 147 = 0. Let g = 1499 - 939. Let q = r + g. Is q composite?
True
Suppose 4*p = 1966 + 838. Is p a prime number?
True
Let g = 123 + -178. Is (-2622)/(-22) - (-10)/g composite?
True
Is 327492/84 + 2/7 a composite number?
True
Let d(z) = 5488*z**2 - 5*z + 6. Is d(1) prime?
False
Suppose -z + 9393 = -4*x, 78*z - 77*z - x = 9408. Is z a prime number?
True
Suppose -i = 4*s - 32, -5*s + 2*i + 8 = -19. Suppose -s*v = -9*v + 410. Is v a composite number?
True
Let h(u) = -14*u**3 + 4*u**2 + 1. Let j be (-1)/(0 + 3 + (-8)/3). Is h(j) prime?
False
Suppose -2*c = -12*y + 17*y - 547, 3*y - 3 = 0. Is c composite?
False
Suppose 0 = -10*u + 12*u - 18. Suppose 2*g + g = u. Is ((-6132)/6)/(-5 + g) composite?
True
Suppose 34015 = -20*n + 25*n. Is n a composite number?
False
Suppose -2*r - 2*r + 8457 = 3*k, 5638 = 2*k + r. Is k a composite number?
False
Suppose -2*a + w + 1 + 9 = 0, -a + 11 = w. Let o = 13 + a. Let u = o - -59. Is u composite?
False
Let n = 2757 - 1190. Is n a composite number?
False
Suppose 43292 - 9321 = 7*f. Is f a prime number?
False
Suppose 2*l = 2*i + 2*i - 2, 3*i - 5*l = -9. Suppose -h - 3*x + 254 = 0, -6*h = -h - i*x - 1287. Is h composite?
False
Suppose j - 36 = -5*q, 4*q + 5*j = 3*q - 12. Let h be 3366/(-2) - (-2 - -1). Is 12/16 - h/q a composite number?
False
Let f(r) = r**3 - 2*r**2. Let g(u) = -3*u**3 + 3*u**2 - u + 1. Let h(n) = 5*f(n) + 2*g(n). Let d be h(-3). Is 1 - 1 - 58/d a prime number?
False
Suppose 0 = -t + 5*o + 1787, 0 = -2*o - 0 - 4. Is t prime?
True
Let w = -2967 + -7. Let k = w - -4187. Is k a composite number?
False
Let w(n) = n - 5. Let t be w(7). Let u be (-11)/(-1)*2/t. Let p(m) = 44*m + 1. Is p(u) a composite number?
True
Suppose -t - 4 + 2 = 0. Let u(j) = j**3 + 2*j**2 + 2*j + 3. Let p be u(t). Is (p - -127) + -3 + 4 a prime number?
True
Suppose -i - 3150 = -5*z, 3*z + 10*i - 6*i - 1913 = 0. Is z a composite number?
False
Suppose 5*p + 907 = 2*i, -3*i + 2*p + 863 + 503 = 0. Suppose 109 = -m + i. Is m a composite number?
False
Let i(w) = 11*w**2 + 11*w + 4. Let f be 15/(-2)*4/6. Let z(r) = 6*r**2 + 5*r + 2. Let n(d) = f*z(d) + 3*i(d). Is n(-6) a composite number?
True
Let n(c) = 24*c**3 - 4*c**2 + 4*c - 1. Is n(3) a composite number?
True
Suppose 0 = 65*m - 36*m - 611233. Is m a composite number?
True
Suppose -4*r = w - 132185, r = -0*r - 2*w + 33041. Is r prime?
False
Suppose 4*k + 78 = 470. Suppose 0 = 6*t - 4*t - k. Is (t - (-4 - -7))/2 a composite number?
False
Suppose -14 + 10 = 2*g, -4307 = -3*u - 5*g. Is u a prime number?
True
Suppose 0 = -15*x + 12*x + 30939. Is x a composite number?
False
Is (13094/(-4))/(9/(-72)*4) a prime number?
True
Let l(o) be the second derivative of 223*o**4/12 - o**3/2 - 3*o**2/2 + 7*o. Is l(-1) a composite number?
False
Let q be (3 + -1)*(-459)/(-9). Let w = q + 1137. Suppose -1271 = -5*k - 4*t, -7*k + 2*k = -4*t - w. Is k a composite number?
False
Let g = 7503 + 430. Is g composite?
False
Let w(m) = -m**3 + 7*m**2 - 5*m. Let o(r) = -r**2 - 2*r - 4. Let c be o(-3). Is w(c) a composite number?
True
Let r = 481 + 488. Suppose 0 = 5*q - 5*i - 4485, -5*i = 2*q - r - 797. Is q composite?
True
Let u(d) = 4*d**3 - 22*d**2 + 29*d - 42. Is u(11) a composite number?
False
Let r = -12 - -13. Is 374 + (2 + 1)/r + 2 composite?
False
Suppose -2907 = -5*t + 2*t. Suppose -2*b - t = -5*b. Suppose 5*k = -0*k + 4*c + b, -4*k - 4*c + 280 = 0. Is k a composite number?
False
Suppose -5*s + 210 = -15*s. Is s/(-35) - (-2)/5*5641 a prime number?
False
Suppose 4*m - 3*s + 11 = 0, 0 = -s + 2 + 3. Let r(i) = -226*i + 1. Let o be r(m). Let n = o + 348. Is n a composite number?
True
Let n(u) = -148*u + 13. Let r be n(15). Let t = 3480 + r. Is t prime?
False
Let c(z) = -z**3 + 4*z + 0*z**3 - 17*z**2 - 22 + 41*z**2. Is c(10) prime?
False
Suppose 0 = -14*t + 18*t. Let i(w) = -w**2 + 2*w + 123. Is i(t) a prime number?
False
Let p(c) = c**2 - 4*c - 3. Let x be p(5). Suppose -g + 4*r = 4, 4 = -g + x*r - 10. Let d = 73 + g. Is d a composite number?
True
Suppose -d = 4*w - 116487, -26*w + 30*w - 4*d - 116512 = 0. Is w prime?
True
Let q = 473 - -1682. Is q prime?
False
Let s = 4 - 2. Suppose 157 = 4*c + o - 138, -235 = -3*c + s*o. Let t = c + -36. Is t a composite number?
True
Suppose 0 = 17*n - 72*n + 114015. Is n composite?
True
Let p(z) = -z**3 + 6*z**2 + 14*z - 29. Let u be p(7). Let r(c) = 263*c + 39. Is r(u) a composite number?
True
Let a = 48 - -1066. Is a composite?
True
Suppose -2*a + 25 = -5*r, -3*a - 4*r + 5 = 2. Suppose 0*i - a*i + 60 = 0. Let x(j) = 55*j + 9. Is x(i) a composite number?
True
Let i(w) = 4*w**2. Let z be i(-1). Suppose 6*p = z*p - 1150. Let h = -328 - p. Is h a prime number?
False
Let j = 38375 - 22560. Is j prime?
False
Suppose 2*d = -3*f - 38 - 9, -3*d - f = 53. Let v = d - -20. Suppose -v*c + c = -1227. Is c prime?
True
Let i(w) = 12293*w - 29. Let f be i(-7). Is (-1)/3 - f/48 a composite number?
True
Suppose -3*k - 3 = -5*m, -m - 5*k - 5 = -5*m. Suppose m*v = -4*v + 28. Is v a prime number?
True
Let n(t) = t + 3 + 0*t + 34*t**2 + 0. Let s be n(-4). Suppose -3*v - 4*p + s = 34, 3*p = -4*v + 667. Is v prime?
True
Suppose 3*p = -5*f - 2*p + 170275, -f = -p - 34059. Is f a composite number?
False
Suppose -12*y = -9*y + 48. Is 2*2348/y*-2 prime?
True
Suppose -4*o = y - o - 4398, 5*y = -2*o + 21990. Suppose -2*u = -2*w - 2*w - y, -3*u + 2*w + 6617 = 0. Is u a prime number?
False
Is -7 + 4 + -1 - (-2613)/1 prime?
True
Let a = -3645 + 8152. Is a prime?
True
Let z = 203 - 314. Let y = -383 - z. Let c = 783 - y. Is c a prime number?
False
Let b(j) = 17356*j + 61. Is b(1) a composite number?
False
Suppose 880 - 13483 = -3*a. Is a a prime number?
True
Suppose 0 = o + 3*r + r - 2, -8 = -2*r. Is (-4)/o - 593*215/(-35) a composite number?
False
Suppose 0 = -f + 3*r + 7661, 8*f = 11*f + 3*r - 22959. Is f a prime number?
False
Let z(r) = 8*r**3 - 10*r**2 - 17*r - 13. Is z(6) a prime number?
False
Let r(f) be the third derivative of f**5/60 + 13*f**4/24 - f**3/2 + 7*f**2. Is r(-14) a composite number?
False
Is (-4 - -2 - -7) + 19 + 6535 composite?
True
Let u(l) = 169*l**2 - l - 2. Suppose 3*g - 8 = 7*g. Let s be u(g). Let q = s - 155. Is q prime?
True
Let t(h) = 6*h**2 + 84*h + 59. Is t(-33) a prime number?
True
Let u = -63 - -9. Let d be u/30 - 4/(-5). Is (-1 + d)*641/(-2) a composite number?
False
Let t = -471 - -802. Is t composite?
False
Suppose 0 = -6*o + 114719 + 571519. Is o prime?
False
Suppose -98 = 7*f - 35. Let j(x) = 6*x**2 - 4*x - 13. Is j(f) composite?
False
Let k be 7/(-14) + (-14)/(-4). Suppose i = 3*i - 3*r - 1106, 0 = k*r. Is i a composite number?
True
Let h(f) = -f**3 - 13*f**2 - 16*f + 11. Let d be 3/(-6) + (-153)/(-6). Suppose -5*t - 37 - d = 4*o, -3*t = 3*o + 36. Is h(t) composite?
False
Let h be (38/2*-1)/1. Let z be (0 - (-2)/4)*(-1151 + -1). Let v = h - z. Is v prime?
True
Let o(l) = -7*l**3 + 5*l**2 - 35*l + 10. Let j(t) = 11*t**3 - 8*t**2 + 53*t - 15. Let p(y) = -5*j(y) - 8*o(y). Is p(7) composite?
False
Suppose 5*k - 10865 - 10425 = 0. Is k prime?
False
Let u = -61 + -13. Let c = -39 - u. Is c prime?
False
Suppose 0 = -2*b + 9 + 5. Suppose -b + 27 = 4*i - 4*t, 3*t + 5 = i. Is 26/65 - (-1703)/i composite?
True
Is -5 + (12454 + 0)*1 composite?
True
Let p(t) = -t**2 - 3*t + 7. Let m be p(0). Suppose -m*q + 2661 = -4*q. Is q composite?
False
Let w = 47 - -32. Suppose -2*m + w = -573. Let k = m - -13. Is k prime?
False
Let s(m) = 175*m**2 + 8*m + 15. Is s(-2) a prime number?
False
Suppose 3367 + 593 = 10*l. Suppose 7*t - l - 451 = 0. Is t a composite number?
True
Let z(s) = -12*s**3 + 1. Let i be z(-1). Let u(m) = -m + 15. Let a be u(i). Let c = a - -21. Is c composite?
False
Suppose 5*w + 45 = 2*r, -2*r + 3*w + 25 = 2*w. Let s be (10 - r)