s ((-1)/(-2))/(5/20) - p a composite number?
True
Let z(a) be the first derivative of -3*a**2/2 + 51*a + 4. Let f be z(21). Is (32/f)/4 + (-4065)/(-9) a prime number?
False
Let u = 192390 + -75772. Is u a prime number?
False
Suppose -18*j + 3 = -21*j, -13839 = -c + 5*j. Is c prime?
False
Let x(u) = -1 + 34*u**2 + 4 - u**3 - 37*u + 22*u + 5. Is x(30) a prime number?
False
Let r be (4/7)/((-16)/(-56)). Let n(q) = -123*q**2 - 3*q + 5. Let p be n(r). Is (p - -16)*(-2)/6 a prime number?
False
Let w(v) = 9*v + 5. Suppose 16 = f + 8. Suppose -6*p - f = -44. Is w(p) composite?
False
Suppose 5*k = -2*p + 29, -25 + 5 = -4*k. Is -4 - 11174/(-4) - p/4 a composite number?
False
Let y = -43673 + 121750. Is y composite?
True
Let v(h) = -487*h + 86. Let t be v(-7). Suppose 12*z - 14*z = -o + t, -3*o + 10517 = 2*z. Is o a composite number?
True
Let h = 2174 + 7961. Suppose 0 = -16*v + 15*v + h. Is v a prime number?
False
Let o be ((-2)/(2 - -6))/(12/(-22224)). Suppose -5*z = r - 199, -5*z + o = 5*r - 572. Is r a composite number?
True
Suppose 5*t - 177645 = 135770. Is t a composite number?
False
Let x be -3 - 8/(8 + -7). Suppose 4*z + 34 + 7 = -3*b, 0 = -5*b + z - 30. Is (-1025)/x - b*4/(-154) prime?
False
Suppose 2*g + 4*y - 70378 = 0, 4*g - 5*y - 99220 = 41549. Suppose g = 19*f - 6*f. Is f a composite number?
False
Is (-598029)/(-7) - 927/(-2163)*(-4)/(-6) composite?
True
Suppose 9 = 3*h - 4*d - 11, h + d = -5. Suppose 0 = m - 2*m + 2095. Suppose 5*b - m = -5*i, -b - 4*i = -h*i - 419. Is b prime?
True
Suppose -12*x - 25 = -17*x. Is 3141 - ((-3 - 4) + x) a composite number?
True
Suppose -4*f + 17 = 5. Suppose -8 - 4 = f*q. Is (-4)/6 + (q - (-21055)/15) prime?
True
Suppose 0 = 5*s - 4*g - 5, -g + 6*g - 40 = -3*s. Suppose -3*o - 5*f + 27 = 0, s*f = -0*o + 2*o + 7. Suppose 0 = -18*w + o*w + 26726. Is w composite?
True
Let g(r) = 8*r**2 + 4*r - 14. Let v be g(2). Suppose -v*x + 1847 = -25*x. Is x composite?
False
Let x(z) = -6*z + 38. Let t be x(10). Let b(u) = -149*u + 93. Is b(t) a prime number?
True
Suppose 28804836 = 78*l - 40262058. Is l composite?
False
Let p = 64 + -49. Let c = -19 + p. Is (5919/6)/((-2)/c) a prime number?
True
Let h(k) = k**3 + 4*k**2 - 9*k - 7. Let w be h(-5). Suppose -3*u + w*u = 68230. Suppose 3*s = -4*f - u + 17788, 2*f = 5*s - 18301. Is s a composite number?
False
Let d(v) be the first derivative of 73*v**4/4 - 4*v**2 - 7*v + 33. Let l be d(5). Suppose n = -4*b + 8185, 1157 = 5*b + 2*n - l. Is b a composite number?
True
Let r = 277887 - -18004. Is r a composite number?
True
Suppose 917822 = 26*z - 309820. Is z composite?
True
Let c(z) = 102*z**3 + 2*z**2 - 3*z + 3. Let b = -71 - -75. Suppose 4*q = q + 3*f + 6, 2*q + f = b. Is c(q) prime?
True
Suppose 0 = 2*z - n - 780, -n + 780 = 2*z - 4*n. Suppose -398*k + 42584 = -z*k. Is k composite?
False
Let j be 2 + 16/(6 + -2). Suppose j*f - 690 + 0 = 0. Let z = f + 103. Is z a prime number?
False
Let g(x) = -x**2 + 7*x - 7. Let u be g(3). Suppose -297 = 2*q - u*n + 9, -4*q - 624 = -4*n. Let t = 273 + q. Is t a prime number?
False
Suppose 88 = 11*n, -y - 11*n + 13*n = -92715. Is y composite?
True
Let a = -15832 + 284133. Is a a prime number?
False
Suppose 0 = -7*z + 6 + 57. Suppose -z*a = 335 - 857. Is a prime?
False
Let x = -21 + -3. Let g = 26 + x. Suppose -3*c + 1685 = -0*p + 4*p, 850 = g*p + 4*c. Is p composite?
False
Let s be 5/(15/2) + (-13494)/(-9). Suppose -3*y - 4*b + 2905 = 0, -4*b + s + 3339 = 5*y. Is y composite?
False
Let q(t) = 10*t - 30. Let g be q(4). Is 2*(-6 - (-2035)/g) composite?
True
Let l(q) = -872*q - 17. Suppose -5*b - 478 = 2*z, 3*b - 4*z + 222 + 44 = 0. Let o = b - -92. Is l(o) a prime number?
False
Let f(i) = 11 + 2 + 9*i + 9*i**3 - i. Let c be (-5 + 27 + 2)*(-2)/(-6). Is f(c) a composite number?
True
Is 2/(-3) - 14/((-462)/1444201) composite?
True
Let z(t) be the first derivative of 5*t**3/3 - 27*t**2 + 77*t - 123. Is z(-26) a composite number?
False
Let p = 12244 - 26651. Let h = p + 25798. Is h composite?
True
Suppose -25*j + 27*j + q = 820764, -q = 3*j - 1231147. Is j composite?
False
Suppose 0 = -2*c - 2, -7*q - 4*c = -548412 - 819349. Is q a prime number?
False
Let d = -709773 + 1218692. Is d a composite number?
False
Let p = 1395 - 566. Is p a prime number?
True
Suppose 3*d + 2*w - 224815 = 0, -5*w = -305*d + 307*d - 149862. Is d a composite number?
False
Let p(t) = 30*t - 39. Let n(l) = 2*l + 3. Let s be n(-4). Let b(i) = 2*i**2 + 10*i + 8. Let y be b(s). Is p(y) prime?
False
Let j be (28/(-10))/(2/(-5)) - 1. Is j - 0 - (-33190)/2 composite?
True
Suppose 15 = 4*t - 2*t + 5*w, 0 = 3*t - 2*w - 13. Suppose -5*f - k = -0*k - 5493, -5497 = -t*f + k. Is f composite?
True
Let j = -21048 - -156749. Is j prime?
True
Let u be ((-19)/38)/(2*(-1)/20). Suppose 0*t + 7 = -5*t + 3*b, 4*t + u*b = -13. Is (-1)/(1398/(-4844) - t/7) a prime number?
False
Let h = -59317 + 145478. Is h a composite number?
False
Let j be (4/8)/((-2)/36). Is (-4493)/j - (11/9 + -1) prime?
True
Let i(o) = 21*o**2 + 2*o + 8. Let q(k) = k**3 - 4*k**2 + 6. Let t = 44 + -41. Let c be q(t). Is i(c) a composite number?
False
Let o be (167951/(-1))/(23/46). Is (-5)/(-40) - (o/16 + 1) composite?
True
Let t be (-3605)/206*1/((-14)/696). Let j = 901 + -336. Let r = t - j. Is r prime?
False
Suppose -4*z - 8 = 0, -3*z - 11 = -p - 0*z. Suppose 3*g = -5*m - 7534, -p*g = -m - 3*m + 12495. Is 1 - 1 - (g + 0) prime?
True
Let f(d) = -11*d - 28. Let i be f(-3). Suppose -7*w + 12*w - 16368 = a, 5*w - i*a = 16360. Is w prime?
False
Let f = -59460 - -94453. Is f prime?
False
Suppose -692*u - 22074715 = -757*u. Is u composite?
True
Let n = -2042 + 6038. Let m = n - 2341. Is m prime?
False
Suppose 0 = -4*u - 108 - 124. Let j = -68 + u. Let c = -41 - j. Is c a prime number?
False
Suppose 0 = 2*m - 867*k + 868*k - 347192, 0 = -2*m + 4*k + 347222. Is m a prime number?
True
Suppose -4*k + y + 126416 = 0, 5*y + 31615 = k + 2*y. Let r = k - 18080. Is r prime?
True
Let f be (-9)/(-4) + (2 - (-9)/(-4)). Suppose -1095 = -a - f*t, 3*a + 5*t + 1109 = 4*a. Is a a composite number?
True
Let m = 166 + -484. Let t = -107 - m. Is t a composite number?
False
Suppose 2*h - 1016 - 306 = 0. Suppose 2*z + 2*u = -2*u + 1286, z = 4*u + h. Suppose z + 352 = 13*x. Is x composite?
True
Let k(q) = -q + 25. Let d be k(21). Suppose -1201 = -i - y + 609, d*i - 7236 = -3*y. Suppose 4*a = i + 62. Is a prime?
True
Let k(c) = -c - 2. Let t(j) = -3206*j - 6. Let n(d) = 3*k(d) - t(d). Is n(1) prime?
True
Suppose -4*h + 17 = m, -2*h + 2 + 2 = -4*m. Suppose 7*x = h + 24. Suppose x*y = 2*y + 44. Is y a composite number?
True
Suppose -5*l + 54 = -3*r, -3*l + 30 = 2*r - 3*r. Suppose l*b - 3154 = 779. Is b composite?
True
Let p = 37 + 27. Suppose p*k - 70*k = -13542. Is k a composite number?
True
Let a be (-330)/20*(-22)/3. Let n = a - 76. Is (-5)/n*-3 - 39124/(-6) a composite number?
False
Let v(d) be the second derivative of 29*d**4/12 - 4*d**3/3 + 8*d**2 + d. Suppose m - 199*s + 5 = -204*s, 2*s = -4*m + 16. Is v(m) a composite number?
False
Suppose -578*p = -14292906 - 3373664. Is p a prime number?
False
Let k(b) = b**3 - 6*b**2 - 2*b + 17. Suppose -5 + 17 = 2*o. Let d be k(o). Is (2 + 25/d)*59 a composite number?
True
Let u = 852 - 777. Is ((-5)/(u/(-417)))/((-3)/(-45)) a prime number?
False
Let j = -1646 + 3040. Let p = j + -3862. Let f = 731 - p. Is f composite?
True
Suppose 431052 = 33*r - 722307 + 287538. Is r prime?
True
Is 6 - (64134480/(-330) - (-2)/(-22)) a prime number?
True
Is 2/((-18)/(-2421)*-1)*-431 composite?
True
Let u = 3718 + 5376. Is u composite?
True
Let j = -302 + 311. Suppose -j*m + 145095 = 6*m. Is m prime?
False
Suppose h = -3*j - 2 + 19, 5*h = 4*j - 10. Suppose -5*o + 9*o = h*g + 4992, 0 = 5*o - 5*g - 6235. Is o a prime number?
True
Let a = 8559 + -4997. Let f = -7893 - -5472. Let u = f + a. Is u prime?
False
Let f = 795656 + -360063. Is f a prime number?
True
Suppose 463681 + 179698 = 10*k + 24729. Is k a composite number?
True
Let z = -68 + 25. Let t = -38 - z. Suppose -t*y + 1240 = -595. Is y prime?
True
Suppose 4*u - 414052 = -3*l + 590305, -4*l + 3*u + 1339201 = 0. Is l a composite number?
True
Suppose -3*y = -4*a - 7*y + 87304, -12*a = y - 261945. Is a a composite number?
True
Suppose 0 = 21*j - 258834 - 229773. Is j a compos