097, j*p - 3*q = 300080. Is p a prime number?
True
Let i(d) = 51 - 90 + 2*d**2 + 39*d - 2*d + 59. Let a be i(-18). Suppose -7755 - 979 = -4*x - a*b, -1 = -b. Is x composite?
True
Suppose 0 = 30*l - 71*l - 29*l + 4634770. Is l a prime number?
False
Let t(d) = -720*d**3 - 6*d**2 + 59*d + 335. Is t(-8) composite?
True
Suppose -65864280 = -103*n + 63*n. Is n a prime number?
False
Let p be -3 - -49 - (10 - 3). Suppose 34*f + 25295 = p*f. Is f a composite number?
False
Let n(j) = 232*j**2 + 347*j - 166. Is n(45) a composite number?
True
Let c(s) = -77*s - 80. Let x(t) = -310*t - 318. Let j(o) = 9*c(o) - 2*x(o). Is j(-19) composite?
False
Let a(f) be the third derivative of 109*f**5/15 - 5*f**3/6 - 17*f**2. Let x be a(2). Suppose -t - 378 = -x. Is t a prime number?
True
Let t(p) = -5*p**2 + 3*p + 6. Let c(m) = -13*m**2 + 9*m + 19. Let u(z) = 3*c(z) - 8*t(z). Let o be 8/(-12) - 78/(-9). Is u(o) composite?
False
Suppose 3*h = -w + 4871032, 5*h - 8*h = -5*w - 4871062. Is h composite?
False
Suppose -3*u + 114091 = -2*c, 0 = -40*u + 41*u + c - 38027. Is u a prime number?
False
Let r(u) = 2*u - 8. Let z be r(7). Suppose z*i - 8 = 4*i. Let p(j) = 126*j - 17. Is p(i) composite?
False
Suppose -2*w + 50*m = 53*m - 1168612, 0 = m - 2. Is w prime?
True
Let b be 150/21 + 3/(-21). Let n be (-4)/6*-111*(b - 8). Let p = n - -255. Is p a composite number?
False
Suppose -17*z + 19*z + 24 = 0. Let n be 9/z + -2 + 74/(-8). Is (-3687)/n - ((-55)/20 + 3) prime?
True
Let m = 1573 - -8. Suppose -845 = -2*t + m. Is t a composite number?
False
Let i(k) = 65*k**2 + 15*k + 5. Let c be i(5). Suppose -c = -9*r + 554. Is r a composite number?
False
Suppose 2*v - 5 = 3*a - 2*a, v = -2*a - 10. Let u(s) = 124*s**2 - 11*s - 36. Is u(a) composite?
False
Suppose -q + 3*k = -81166, -81152 = -27*q + 26*q + 5*k. Is q a composite number?
True
Let v = 240293 - 129678. Is v composite?
True
Suppose 0 = 3*x - 8*x - 4*j + 2494283, -2*x + 997667 = -5*j. Is x prime?
False
Is (-19 - -7) + 6 + 80759 a prime number?
False
Let d = -151 + 157. Suppose -23073 = -d*l + 105. Is l composite?
False
Suppose 0 = 2*i - j + 2, -i + 3*i + 4*j - 8 = 0. Suppose 3*b - 5*f - 2416 = i, -3200 = -7*b + 3*b - 4*f. Is b prime?
False
Let m(j) = 2*j - 82. Let b be m(42). Suppose -b*k = 2*z - 20014, -k + 50035 = 5*z - 2*k. Is z prime?
True
Let i(q) = -5770*q - 6749. Is i(-24) a prime number?
True
Let q(w) = 33*w**2 + 6*w + 107. Let a be q(14). Suppose 6659 = f + 4*o - o, -f + a = -2*o. Is f a prime number?
True
Let v(m) = 237*m + 61. Let h(f) = 477*f + 123. Let q(c) = 3*h(c) - 7*v(c). Is q(-5) a composite number?
True
Let t(b) = 37443*b + 1231. Is t(22) a composite number?
False
Suppose 2*o + 5*u = 9947, 3*u - 4976 = -2*o + o. Suppose -5*c + o = 141. Let z = c + -557. Is z composite?
True
Let y(s) = 5*s + 14. Let r be y(6). Suppose w + 30 = -r. Is -188*w/10 - 3/15 a composite number?
True
Suppose -4*i + 7*p - 4*p = -107699, 0 = -4*i - 5*p + 107659. Is i a composite number?
False
Is 3072/(-3584) + (1/1 - (-1768428)/21) a composite number?
False
Let d = 110 + -106. Suppose 4*w = d*i + 23856, -2*w + 6*w + 5*i = 23865. Is w a prime number?
False
Suppose -9*z + 13*z = -3*y + 31378, 4*y - 4*z - 41828 = 0. Let q = y + -4489. Is q prime?
False
Let n(t) = -t + 20. Let z be n(16). Let a(u) = -16 + z + 9 + 2 + 52*u. Is a(8) composite?
True
Let y(z) = z + 29. Let j be y(-12). Suppose 0 = -2*l - j + 25. Suppose -l*d + 6*d - 1102 = 0. Is d prime?
False
Let u be (11 + -16)*(-514863)/15. Suppose -u = -16*g + 140875. Is g a composite number?
False
Is 104291057/(-38)*(-2)/13 a composite number?
False
Let w be 115/(-4)*172/(-1). Let j(x) = x**3 - 20*x**2 - 6*x + 39. Let u be j(26). Suppose 5*b - w = 2*f, -7*b + 3*b = -5*f - u. Is b a composite number?
False
Let o(w) = -5*w**3 + 16*w**2 + 34*w - 3. Let p(g) be the first derivative of -g**4/4 + g**3/3 + g - 22. Let n(q) = -o(q) + 4*p(q). Is n(16) prime?
True
Let l(o) = 11960*o**2 + 440*o - 1763. Is l(4) a prime number?
False
Is 2149 + (-80)/(-14 - -6) a composite number?
True
Is ((-3)/(-18))/(3*3/54)*654527 prime?
True
Is 3/9 - (-2636330)/129 composite?
True
Suppose 1682423 = 20*t - 15*t - 2*k, 5*k = 2*t - 673007. Is t prime?
False
Let j be (8/4*-96)/((-3)/2). Let u = j + -124. Suppose 16800 = 4*q + z, 0 = u*q + 5*z - 6540 - 10244. Is q prime?
True
Suppose -73*h = -z - 68*h + 69943, 0 = 5*z + 2*h - 349877. Is z a prime number?
False
Suppose -2*f = 3*f + 5*d + 5130, 1010 = -f - 5*d. Let v = -711 - f. Is v prime?
False
Let n = 663371 - 419004. Is n a composite number?
False
Let w(x) be the first derivative of -34*x**2 - 4 - 30*x**2 - 22*x**2 + 3*x. Is w(-4) prime?
True
Let n = 33 + -26. Suppose -w = p - 9, -5*w + 10 = -2*p - n. Is ((-1673)/p)/((-1)/4) a prime number?
False
Let r(z) = 115*z**2 + 12*z + 2. Suppose 0 = 2*s - 0 + 12. Let j be r(s). Suppose j = -11*d + 15873. Is d prime?
False
Suppose -2*v = -3*d + 11881, -4*d + 2426 = -2*v - 13412. Suppose -z + h + 3962 = 0, -4*h = -z - 2*h + d. Is z a prime number?
True
Suppose 9*s - 310447 = 8*s. Is s a composite number?
False
Let w(l) = l + 22. Let o be w(-7). Let j(u) = u - 11. Let y be j(o). Suppose 0*x = -3*k - 3*x + 621, -y*k + 2*x + 852 = 0. Is k a composite number?
False
Is (-74692310)/(-910) - 12/26 prime?
False
Let o be (2 - 4) + (-1 - -453). Suppose -36*a + 31*a = o. Is 3276/a*(-10)/4 prime?
False
Suppose 0 = 2*f + 4*m - 60, 0*m = -3*f - m + 105. Let j(q) = q**3 - 5*q**2 + 7*q - 8. Let o be j(5). Is (f/o)/(2/(-3)) + 189 prime?
False
Suppose 0 = -51*m + 14*m - 163254 + 1395280. Is m a prime number?
False
Let w(b) be the third derivative of 7/2*b**3 + 1/120*b**6 + 31/24*b**4 + 0 - 2*b**2 + 0*b + 13/30*b**5. Is w(-20) composite?
False
Let l be (-226)/(-74) - 250/4625. Suppose -u + 0*u = -9540. Suppose 4 = -a - l*a, -5*a = -5*k + u. Is k a composite number?
False
Suppose 5*c + 9*y - 12*y - 38205 = 0, 5*c - 38200 = 2*y. Suppose -2*n - w + 15265 = 0, -2*n - 5*w = -3*n + c. Is n a composite number?
True
Suppose 11 + 9 = 4*r - 4*i, 2*r - 3*i - 13 = 0. Suppose -7*q + 38 = -r*z - 2*q, -5*z + 4*q = 61. Is ((-2648)/(-6))/(-4)*z a composite number?
True
Suppose k - 4*h - 252 = 0, 3*h - 517 = -2*k - 57. Let p(j) = -91*j + 447. Let t be p(-10). Let f = t - k. Is f prime?
False
Let j = 703478 + -245125. Is j prime?
False
Let c = 94 - 94. Let a = 16 + c. Is (-2345)/(-4) + (-4)/a a prime number?
False
Let t(s) = 24288*s**2 + 5*s + 5. Let y be t(-1). Suppose 0 = -19*j + 13*j + y. Suppose c + 1 = 0, -3*b + 4*c = -5*b + j. Is b composite?
True
Let v(k) = 146770*k + 1275. Is v(14) composite?
True
Suppose -5 = 83*o - 171. Suppose 0*p + 2*p - 4 = 0. Is -1 + 160/(p/o) prime?
False
Let n(v) = -123 - 131 + 17*v + 274 + 8*v**2. Is n(-13) prime?
True
Let q = 77490 + 108112. Is q prime?
False
Let h(y) = -y**2 + 76*y - 863. Is h(44) prime?
False
Let z(t) = t**2 - 3*t - 23. Let h be z(7). Suppose -4*n = -p - 8945, 5 = -h*p + 20. Is n composite?
False
Let k = 111 + -109. Suppose k*y = 13*y - 34617. Is y a composite number?
True
Let h(o) = -o + 10. Let g be 59/7 + ((-12)/14)/2. Let t be h(g). Suppose 4 = -b + f + 23, 43 = t*b - 3*f. Is b prime?
False
Let b(y) be the first derivative of -163*y**4/4 + y**3/3 + 3*y**2/2 - 4*y - 23. Is b(-3) composite?
False
Suppose -k - 313 = -312, o - 1081059 = -2*k. Is o composite?
False
Suppose -12*z + 1178790 = 12*z - 9*z. Is z a prime number?
False
Suppose 11*s - 1899 + 238 = 0. Let b(c) = 6*c - 3*c**2 - 5 - s*c**3 + 3*c - 5*c + 10. Is b(-2) a composite number?
False
Suppose 15 = 3*i - 0*i, -4*i - 180 = -5*c. Let v = c + -34. Is -97*9/(3 - v) a prime number?
False
Let r be (-1062)/(12/24*(0 + -2)). Suppose 0 = 2*o - 4*o + 5*d - 15, 0 = 2*o - 4*d + 10. Suppose b = -o*b + r. Is b a composite number?
True
Let r = -13 - -268. Let x(w) = -189*w + r*w - 41 + 300*w. Is x(8) a prime number?
True
Is (110554/(-4))/((-19 + 7)/24) composite?
True
Suppose -2*f - 5*o = 3*f + 9830, 3932 = -2*f + 5*o. Let c = 4793 + f. Is c prime?
False
Let s(y) = 3101*y**2 - 2*y - 3. Let d be s(-1). Suppose -3*u - z = -d, 4*z - 1181 = -u - 155. Suppose 342 = w - 7*m + 3*m, 4*m + u = 3*w. Is w prime?
False
Suppose -6*f = o - 3*f - 42, -4*o + 3*f + 93 = 0. Suppose 3*h + w - 1 = o, -h - 2*w = -6. Suppose -4*d - j = j - 754, 2*j + h = 0. Is d a composite number?
Fals