v + 1494 = p, 4*v - 5908 = -4*p + 3*v. Is p prime?
False
Let c be 78/5 - 10/(-25). Suppose 124 + c = 4*z. Suppose -y + z = t, -3*t + 4*t + 76 = 2*y. Is y a prime number?
True
Let u be ((-9)/6)/(-3)*(-404)/(-1). Let c = u - 75. Is c a prime number?
True
Is (452 - -2)/(1/(-3)*-3) a prime number?
False
Suppose 5*p - 7*a + 550 = -2*a, 0 = -2*p - 4*a - 214. Let q = p - -156. Is q a composite number?
False
Let q(n) be the first derivative of 5*n**4/2 + 7*n**3/3 - 5*n**2/2 + 7*n - 42. Is q(6) a prime number?
True
Suppose 0 = 4*w - 7181 - 9923. Suppose 0 = 13*f - 17*f + w. Is f prime?
True
Suppose 7*t = -4 + 18. Let m be 11/t - (-2)/(-4). Suppose 0 = m*p - 1347 + 92. Is p a composite number?
False
Suppose -4*x - 4*o + 996 = 0, 595 = 2*x - 2*o + 89. Suppose -15*v + x = -6604. Is v a composite number?
False
Let z = -17 - -22. Let k be (-2 + 7)*8/z. Suppose -7*x + k*x = 82. Is x a prime number?
False
Suppose -v + 1229 = -4*t - 2910, 4*v + 3*t - 16613 = 0. Suppose 5*f + 1381 = w + 4*f, -3*w + f = -v. Is w prime?
False
Suppose -4*x + 25 = -x - 5*t, 0 = -2*x + 3*t + 15. Is x/7 - 7*-5 prime?
False
Let c be 2/(-4) - (-3170)/(-20). Let q = c - -638. Is q prime?
True
Suppose -5*l = -7*l + 10. Suppose -b + 2*p + 7 = 0, 3*b - p = -b + 42. Suppose b = l*w - 4. Is w prime?
True
Suppose -4*m + p = -6, 0*p = 3*m - 2*p - 2. Is ((-478)/(-3 + m))/2 prime?
True
Let y be (75/2)/((-1)/18). Let u = -264 - y. Is u a prime number?
False
Let p = 0 - -4. Let k be (438/9)/(p/6). Let v = 112 + k. Is v composite?
True
Let f(i) = 13*i**2 + i + 1. Let w be f(2). Let r be (8/(-10))/((-11)/w). Suppose 2*p + p = 4*y + 61, y + 77 = r*p. Is p prime?
True
Let o = 8 - 4. Suppose k = a + 2, a + 8 = 4*k - o*a. Suppose 0 = -k*l + 110. Is l a composite number?
True
Suppose -5*h + 3*t + 0*t = -618, 3*t = 4*h - 495. Suppose -629 = -2*j + h. Suppose -j = -4*c + 76. Is c a composite number?
False
Is (0 - 16930/(-15))/(4/6) composite?
False
Let y(i) = i**2 + 43*i - 175. Is y(-53) a composite number?
True
Let m(t) = -t**2 + 12*t - 9. Let h be m(11). Suppose -h*s + 0*s = -44. Suppose -i + s = -36. Is i a composite number?
True
Let y = -861 + 5062. Is y a prime number?
True
Let m(b) = -906*b**3 + 2*b**2 + b. Let q(t) = t**3 - 5*t**2 + 3*t + 3. Let i be q(4). Is m(i) a composite number?
False
Suppose -3*n - 579 = 1326. Let x = 84 - n. Is x prime?
True
Suppose 33*m - 46*m = -50219. Is m a composite number?
False
Suppose 7*n + 2276 = 2*n + y, -20 = 5*y. Let k = -49 - n. Is k composite?
True
Let w = -77 - -76. Is 1/((-1 - -1 - w)/331) a prime number?
True
Is ((-6)/(-9))/((-40)/(-116940)) composite?
False
Let u = -2162 + 5383. Is u composite?
False
Let w(z) = 26*z**2 - 24*z + 59. Is w(26) a composite number?
False
Suppose -2*n - 45 = 3*n. Is 4659*3/n*-1 composite?
False
Suppose -3*n = 2*l + 48, 4*n + 0*l + 3*l = -65. Let c = n + 22. Is 1515/6 + (-12)/c a prime number?
True
Suppose -s + 9 = b, 1 = 2*b - 5. Suppose 1371 = 5*g + 286. Suppose -5*u - g = -s*u. Is u a prime number?
False
Suppose 5*s - 23 - 117 = 0. Let j = 44 - s. Is (1 + -77)*(-20)/j a prime number?
False
Is (-47252)/(-32) + (-27)/(-72) composite?
True
Is 2/9 - ((-8604250)/45)/2 prime?
True
Suppose 76*g + 141407 = 83*g. Is g composite?
False
Let u = -43 - -88. Let d be 8/36 + 125/u. Suppose 2*m = d*h - 1277, 5*m - 2*m + 1275 = 3*h. Is h composite?
True
Suppose -3*v - 154 = 2*f, -4*v + 5*f - 118 = 49. Let p be (-6)/(-9) + v/(-9). Let u(j) = -j**3 + 6*j**2 + 5*j + 4. Is u(p) a prime number?
False
Let m(t) = t + 1. Let j(z) = 119*z + 25. Let o(g) = j(g) - 6*m(g). Is o(6) composite?
True
Let s be (-3)/(0 - 6/10). Let c = 8 + -8. Suppose 0 = -s*l - c*l + 115. Is l a prime number?
True
Let s(i) = 54*i + 4. Let p be -7 - 4/((-4)/4). Let r(n) = -108*n - 7. Let y(t) = p*r(t) - 5*s(t). Is y(3) a composite number?
False
Let s(q) = -q**3 + q**2 + q + 1. Let x(v) = 3*v**3 - 5*v**2 - 2*v + 627. Let g(a) = 4*s(a) + x(a). Is g(0) a composite number?
False
Suppose 5*k = 3 - 28. Let t be 36/10*k/(-2). Let y(f) = 121*f + 10. Is y(t) a prime number?
False
Let q = -14 - -18. Suppose 2*z = 4*b + 252, -b = -q*z - 0*b + 532. Is z a prime number?
False
Let w = 120 + 92. Let m = w - 123. Is m a prime number?
True
Let h = -66 - -65. Let a(w) be the second derivative of -41*w**5/10 + w**4/12 + w**3/6 + w**2/2 + w. Is a(h) composite?
False
Suppose -11*f = 29*f - 201560. Is f composite?
False
Is (-3)/((-420)/(-174104)*(-2)/10) composite?
True
Is (6/18)/((-2)/(-32478)) a composite number?
False
Suppose -g + 3*u + 10279 = 0, -2*g + 13184 = 5*u - 7330. Is g prime?
True
Let a(v) = v**3 + 2*v**2 + 7*v + 1. Let u be a(8). Let g = u + -116. Is g a prime number?
False
Suppose 6*w + 5*f - 105 = w, -4*w + 99 = -f. Let l = -242 + 175. Let g = w - l. Is g prime?
False
Let k(l) = 917*l**2 + 2*l + 16. Is k(-3) a prime number?
True
Let m = 66 + 23747. Is m a composite number?
False
Suppose 9 - 5 = 2*i. Suppose -i*k + 382 = -0*k. Is k composite?
False
Let r be (5 - 4) + (0 - 1). Suppose r*p - 2*p + 754 = 0. Is p prime?
False
Let c(n) = -152*n - 7. Let m(s) = s**3 + 8*s**2 + 2*s + 13. Let d be m(-8). Is c(d) composite?
False
Let y(n) = 1553*n**2 - 3*n + 2. Let l be y(1). Suppose 0 = -5*d + o + l + 2391, 0 = -3*o + 6. Is d a composite number?
True
Suppose -5*k + 30 = -5*v, -v + 6*v = -5. Suppose -k*w - 4*s - 32 = 0, 10*w + 35 = 5*w - 5*s. Is (-246)/5*10/w prime?
False
Suppose 0 = 2*k - 7*k + o + 24, -24 = -k + 5*o. Suppose -h - 4*u + 72 = 0, 0*u - 312 = -k*h - 4*u. Is ((-34)/8)/((-4)/h) prime?
False
Let p be (-170)/4 + 3/6. Let y = -11 - p. Is y a prime number?
True
Let c = -27 + 31. Suppose 128 - 636 = -c*q. Is q a composite number?
False
Let d be (-7000)/(-24)*2*(-18)/(-7). Suppose 3*a = d - 387. Is a composite?
True
Let v(t) = -5*t - 8. Suppose -1 - 2 = s. Is v(s) a prime number?
True
Let f(i) = -i**3 - 10*i**2 - 8*i + 11. Let t be f(-9). Suppose -t*z = -3*z. Suppose -h = -2*h + c + 28, z = -2*c + 6. Is h prime?
True
Is 23664 - 58 - (4 + -1) a composite number?
False
Let q = 33 - 13. Suppose 7*l = 3*l + q. Suppose -2*h + 4*c + 51 = 3*c, h + l*c + 2 = 0. Is h a prime number?
True
Let v(m) = -m**2 + 17*m - 1. Let h be v(17). Is 257/(4/2 + h) a composite number?
False
Let i = 35 - 28. Suppose -2*y + i*b - 5*b + 1740 = 0, -4315 = -5*y - 2*b. Is y a composite number?
True
Suppose 2*a + 5306 = 4*m, -4*m + 696 = 4*a - 4592. Suppose -2*z - 2116 = -2*i, -3*i + 2*z - m = -4496. Is i composite?
True
Is 6608/26 - (-34)/(-221) a composite number?
True
Is (-16 - -14)*(-3 + (-7877)/2) composite?
False
Let l = -144 - -856. Suppose -o + l = -459. Is o composite?
False
Suppose -3*f = -3*b - 3753, 3*b + 3*f + 6247 = -2*b. Let y(o) = -3*o + 4. Let r be y(6). Is b/r - (-32)/(-112) composite?
False
Let p = 120 - -58. Is p a composite number?
True
Let b(d) = d**3 + d**2 + 2*d + 3. Let r be b(-2). Let y = r + 0. Is 254/(1 + -4 - y) a composite number?
False
Let h = -1061 + 3164. Suppose 2*r + 2796 = 4*m, 6*r - 3*r + h = 3*m. Is m a prime number?
False
Is (8968 - -18)*((-3)/(-2))/3 a prime number?
True
Is (-4 + 5807 + 1)/4 prime?
True
Suppose 4*a - r - 3104 = 2564, 5*r = -20. Is (a/32)/(6/40) prime?
False
Suppose a = 6*a - 700. Let k be (12/(-10))/((-21)/a). Let n(c) = c**3 + c**2 - 8*c + 5. Is n(k) a composite number?
True
Let z(i) = -52*i - 19. Is z(-8) a prime number?
True
Let b = 116 - 108. Suppose 3*l = 4*p - 227, -4*p + 3*l + 187 = b*l. Is p prime?
True
Let v(t) = t**3 + 8*t**2 - 6*t + 6. Suppose -5*n + 43 = -0*q - 2*q, n = 2*q + 23. Let f be v(q). Is (-6441)/f + 4/14 prime?
True
Let z = 27 - 19. Let c = z + -3. Suppose -2*n = -2*a + 320, 3*a = c*n + 297 + 193. Is a a prime number?
False
Suppose 5*p - 2*l - 8096 = -4*l, 4*p - l - 6469 = 0. Let r = p + -719. Is r a composite number?
True
Let u(c) = 62*c**2 + 12*c - 7. Suppose -4*r - 33 = -9. Is u(r) prime?
True
Let g(h) = 2*h**3 - 25*h**2 - 31*h - 70. Is g(19) a composite number?
True
Suppose 5*d - 2*u = 2*u + 28, 20 = 4*d - 2*u. Suppose -d*r + 5*s - 4*s + 13 = 0, r + 4*s = -18. Suppose 2095 = 3*h + r*h. Is h a prime number?
True
Suppose 5*u + 168 = -72. Let r be 410/3*u/(-40). Let v = r - 1. Is v a prime number?
True
Let c(b) = b + 6. Let n be c(-3). Let v(z) = 554*z**2 + 1. Is v(n) a prime number?
True
Suppose -4*k + i = 1 - 0, -2*k + 2*i + 4 = 0. Is 