7 + 543. Let j = -217 + 370. Let m = j - r. Is m prime?
False
Suppose -6*i + 30 = -0*i. Is 4902/8 + i/20 composite?
False
Suppose 0 = -2*g + 8. Suppose -3518 = -g*r - 0*r + 5*c, 5*r + 2*c = 4381. Is r a prime number?
True
Let r(t) = 3251*t - 345. Is r(4) a composite number?
False
Let y(b) = -22*b - 42. Let v be (-7)/((-7)/(-10)) - 0. Is y(v) prime?
False
Is (-1569084)/(-8)*(-4)/(-6) prime?
False
Let q(h) = -h**3 + h**2 - h + 266. Let a be q(0). Suppose -c + 2*c = a. Is c/8 - (-7)/(-28) composite?
True
Let d be 162/10 + (-1)/5. Let p(c) = c. Let a be p(d). Let q(h) = 5*h - 6. Is q(a) a prime number?
False
Let f = 2032 - -583. Is f a composite number?
True
Let o = 671 - 64. Suppose -2947 = -q - 4*q + 2*y, -q = 4*y - o. Is q composite?
True
Let y = 70379 + -39012. Is y prime?
False
Suppose 5838 = 12*z - 10*z - 2*k, 0 = 5*z + 3*k - 14627. Is z a composite number?
True
Let p be 6 + (-3 - -1)*1. Suppose -3123 = -p*w + 3521. Is w prime?
False
Suppose -2*h = 10691 - 28893. Is h composite?
True
Let b(n) = -2*n + 21. Is b(-8) a prime number?
True
Let q be 4 - 4/((-6)/(-3)). Suppose q*f + 4*v + 7 = -f, -5*f = -2*v + 3. Is -1 + 2 + 19 - f composite?
True
Suppose 4*f - 6368 = 5*z, 3*z - 1605 = -f + z. Is f prime?
True
Let b = 5 - 3. Is 269/((b/30)/((-7)/(-21))) prime?
False
Suppose -4*u + 3*m = -14578, m + 14574 = -0*u + 4*u. Suppose 15491 = 8*n + u. Is n composite?
False
Suppose -5*j - 7292 = -58947. Is j a prime number?
True
Is ((-50)/(-30) - 2)*-56895 composite?
True
Suppose -i = -i - 2*i. Suppose -3*j + 207 + 582 = i. Is j a prime number?
True
Let t(i) = -3*i**2 + 6*i + 25391. Is t(0) a composite number?
False
Is (66598/4 + 40/(-80))*1 a composite number?
False
Let v(m) = 9*m - 20. Let p be v(-8). Let f = p + 129. Is f prime?
True
Let b(q) = q**3 + 18*q**2 - 18*q + 23. Let x be b(-19). Suppose -2*j + 7*j - 5360 = 5*i, -5369 = -5*j - x*i. Is j prime?
False
Suppose 0 = -3*p + 39 - 3. Suppose -5 = -u + y, 5*u - 4*y + p = 33. Is (-8)/(-2)*32 - u composite?
False
Suppose -1398*b + 4569 = -1397*b. Is b prime?
False
Suppose 0*k + 5*k = 15. Suppose 0 = -q - k*f + 21, q - 2*q + 39 = -3*f. Is (105/q)/((-1)/(-326)) a composite number?
True
Suppose 136185 = 5*s + 5*w, -136205 = -5*s + 2*w + 3*w. Is s a prime number?
True
Let c be 1*0/(-5) + 2. Suppose c*d = -2*d + 4*s + 1248, 5*s + 609 = 2*d. Is d a composite number?
False
Let v(x) = 60*x**2 + 4*x + 1. Suppose 3 = -2*b + o + 4, -4*b = 4*o - 32. Is v(b) a prime number?
False
Suppose -5*f + 2*f = -24. Let i(j) = 5*j - 1. Is i(f) composite?
True
Suppose 0*y - f - 19 = y, -2*y - f - 40 = 0. Let o(t) = -t**3 - 14*t**2 - 47*t - 25. Is o(y) a prime number?
True
Suppose -2*k - 25 = 3*k. Let a(b) = -b**3 - 4*b**2 + 5*b + 3. Let t be a(k). Suppose -t*l + 222 = -39. Is l prime?
False
Suppose 0 = 6*i - 8*i. Let g = -34 + 37. Suppose -g*v + 5*v = 5*p + 246, i = 5*p + 20. Is v a composite number?
False
Let n(s) be the first derivative of -s**3/3 + 7*s**2 - 15*s - 3. Let a be n(11). Is 4010/a - (-8)/36 a composite number?
False
Is -443*(-5 - (-1 + (3 - 2))) prime?
False
Suppose 4*z + 3*m - 5058 - 762 = 0, -2*m = 3*z - 4364. Let t = z + 1757. Is t composite?
False
Suppose -3*f + 13762 = 2*c, 106*c = 110*c - 5*f - 27568. Is c composite?
True
Suppose -12*t - 4*f = -16*t + 39916, 9963 = t - 5*f. Is t a composite number?
True
Let m = -3 - -3. Suppose 2*a + 0*a - 16 = 3*k, m = -3*a + 5*k + 25. Suppose 80 = -a*i + 655. Is i a prime number?
False
Let b(y) = -20*y**3 - 3*y**2 + y - 15. Is b(-4) a composite number?
False
Is -4*(-2)/(-32) + 8189/4 a composite number?
True
Let a be (414/8)/(3/8). Suppose -a = -2*z - z. Is z composite?
True
Let y = 19811 - 13080. Is y a composite number?
True
Suppose -10 + 35 = 5*p. Suppose -5*h = 3*t - 396 - 1020, 3*t - p*h - 1386 = 0. Let c = t - 202. Is c composite?
True
Let g = 72801 + 2350. Is g a composite number?
True
Suppose -3*n = t - 1157, -2*n + 3*t + 0*t + 764 = 0. Suppose -m - 4*m = -n. Is m a prime number?
False
Let h = 103 + -98. Suppose -h*g + 704 = -471. Is g a composite number?
True
Suppose 3*m - 4*m + 4 = 0. Suppose 0 = m*t - 118 + 2. Suppose t = 2*c - 3*p, c = 5*c + 4*p - 48. Is c composite?
False
Let k(u) be the first derivative of u**3 - 5*u - 1. Is k(-7) prime?
False
Suppose 5*o + 5*i = -65, 28*o + 2*i = 33*o + 44. Let w(l) be the third derivative of -l**6/120 - l**5/30 - l**4/4 + 5*l**3/6 - 2*l**2. Is w(o) a prime number?
False
Let k be (3/(-4))/((-7)/28). Suppose -k*w + w + 30 = 0. Is w a composite number?
True
Suppose 13*i - 78*i = -544505. Is i a prime number?
True
Suppose -4*a + 7 = -5*s, -a - 2*s = -6*a + 13. Let j be (-2 - 0) + a - 2. Is (-1)/(j/3) + 234 a composite number?
True
Let m be (3 - 1) + -9 + -59. Let d = 569 + m. Is d prime?
True
Suppose 0 = 4*r - 3*d - 6, -r + d + 6 = -2*d. Suppose r = 3*f - 5*t - 2029, 2*f + f - 2017 = -t. Is f composite?
False
Suppose 11*y - 108388 = 15901. Is y a composite number?
False
Suppose -h - 10*s = -9*s - 7299, -5*h + 2*s + 36467 = 0. Is h a prime number?
False
Let h(p) = 48*p**2 + 187*p + 2. Is h(11) prime?
True
Let r = -3 + 5. Let i(s) = 34*s - 1. Is i(r) a composite number?
False
Let u = -12 - -14. Suppose 0 = 3*m + 4*k - 2*k - 1156, 5*k = -u*m + 789. Let w = m - 219. Is w a composite number?
False
Suppose -19*h = -17*h - 102. Is h a composite number?
True
Suppose 2*m = -l - 0*l + 5273, -5*l = 5. Is (104/24)/(3 + (-7908)/m) composite?
True
Let j(r) be the first derivative of 64*r**3/3 - r**2 + 2*r - 3. Let v be j(2). Let q = -35 + v. Is q a composite number?
True
Suppose -58 = 3*s + 3*j - 2*j, -3*s = -5*j + 88. Let p = 18 + -20. Let z = p - s. Is z a prime number?
True
Suppose -199*c + 201*c + 7505 = v, -v - c + 7496 = 0. Is v prime?
True
Suppose 0 = 3*c + 3*c + 24. Is 2/c + (2555/14 - 5) a composite number?
True
Let j(x) = -x**2 - 5*x. Let f be j(-4). Suppose -8 = -6*l + f. Suppose l*v - 230 = -0*v. Is v prime?
False
Let f(c) = c**3 - 5*c**2 - 5*c - 4. Let d be f(6). Let i(h) = 0*h**2 + 0*h**2 - 6 + d*h**2 - 9*h. Is i(-13) prime?
True
Let q = -9 + 42. Let w = -91 + 213. Let o = w - q. Is o a composite number?
False
Let m = 41474 - 22515. Is m composite?
False
Let m be (-17)/(-2) + (-5)/10. Suppose -2*p + 0*p + m = 0. Suppose 2*k - 513 = -c, -p*k + 810 = -3*c - 241. Is k prime?
False
Let o(m) = -m**2 - 5. Let i be o(4). Let p = 19 + i. Is (p - -1)*(-35)/1 prime?
False
Let t = -151 + 278. Is t composite?
False
Suppose 10*b - 1279 - 1541 = 0. Suppose b = 8*k - 6974. Is k a composite number?
False
Suppose m = -u + 13083, 4*u - m + 3*m = 52324. Suppose 9*g - u = 4462. Is g composite?
False
Let y(b) = b**2 + 5*b - 5. Let g be y(-7). Let d be (-2118)/(-12) + g/6. Suppose -p + d = p. Is p a prime number?
True
Let a = 539 + 1542. Is a composite?
False
Let a = 5868 - 2508. Let u = -2363 + a. Is u prime?
True
Suppose f - 142 = 140. Let v = f + 99. Let r = 559 - v. Is r a prime number?
False
Suppose -3*k + 1772 = -1867. Is k composite?
False
Suppose -2*i = -0*i - 4. Suppose -94*h - 8 = -96*h. Suppose 3*k = 3*l + 1323, -1392 = -h*k + i*l + 364. Is k composite?
True
Let n(j) = 3*j**2 - 12*j - 41. Is n(-10) a prime number?
True
Let l = 21 - 17. Suppose -3*n = l*g - 12, 0*n + 15 = 5*g + 3*n. Is g/(2988/993 - 3) composite?
False
Suppose -5*g + 221065 + 486160 = 0. Is g a prime number?
False
Let i = 27 + -24. Suppose -3 = i*k + 6. Is 4 - -81 - (k + 3) a prime number?
False
Suppose -4*x + 79 = 55. Is (x/12)/(4/35144) a composite number?
True
Is -1*(-2317)/(-21)*-3 prime?
True
Let p be 18/(-207) - (-288)/138. Suppose 0 = -2*j + 215 + 283. Suppose 82 + j = 3*w + 4*h, -p*w = 5*h - 216. Is w composite?
False
Let k = 6210 + 39607. Is k a prime number?
True
Let p(l) = -21 + 35 - 220*l - 23*l. Is p(-5) prime?
True
Let u(l) be the first derivative of -l**4/4 + l**3 + 2*l**2 + 3*l - 10. Let a be u(4). Is a - 1 - (-525 - 2) a composite number?
True
Suppose -2*z - 333 - 471 = 0. Is z/5*5/(-2) composite?
True
Suppose 79*a - 53418 = 73*a. Is a composite?
True
Let j be (636/8)/((-2)/(-24)). Suppose 0 = -5*t + j + 536. Is t prime?
False
Let w(q) = -3*q - 12. Let v be w(-6). Is (2/(2 - 3))/(v/(-3165)) a composite number?
True
Suppose 3*g - 21 = 4*x, g = -g + x + 9. Suppose n - 6 = -g*b, b + b - 4*n - 4 = 0. Suppose -b*y + 777 = -5. Is y composite?
True
Suppose p + 