 15. Let l be r(13). Suppose -l*x + 68*x = 0. Suppose x = 8*p - 11*p + 2823. Is p prime?
True
Suppose -2*l - f - 12 + 41 = 0, f - 1 = 0. Suppose 0 = l*i + 3123 - 13525. Is i prime?
True
Suppose 2*z = -6*z + 24728. Let o = z + -1184. Is o composite?
False
Let d(n) = 207*n**2 + 62*n - 1385. Is d(-42) composite?
False
Suppose -2*p = -r + 2089225, -243*r + 245*r = 2*p + 4178432. Is r a prime number?
False
Let j = 18134 - -695. Is j a prime number?
False
Let f be (5/15)/((-2)/(-18)). Let a be (f + -1)*-1 + 1916. Let m = a - -479. Is m a prime number?
True
Let p = 42914 - -156191. Is p prime?
False
Let h(j) be the first derivative of 1000*j**3 + j**2/2 + 23. Is h(-1) a prime number?
True
Let b be -17 - (-5)/((-10)/(-6)). Let w be (-1)/(((-4)/18)/(b/21)). Is 295/15 - 2*w/(-9) prime?
True
Suppose 34*c + 4592 = 55*c - 17437. Is c a prime number?
True
Let n = -3 + 1. Let q be (0 - (-8)/(-10))/((-10)/(-25)). Is -498*(n - 3/q) a prime number?
False
Suppose -16*c + 7907134 = 2826510. Is c a prime number?
True
Suppose -182 = 13*b - 247. Is -1*(b - 3156)*1 a prime number?
False
Suppose -17*l + 16*l + f + 242715 = 0, 0 = 2*f + 4. Is l composite?
False
Is (26/(-117) - 168313/(-18))*2 a prime number?
True
Suppose 14*a - 1 = 41. Suppose 641 = 3*i - 4*c - 0*c, -a*c + 416 = 2*i. Is i a composite number?
False
Let q(i) = -i**3 - 4*i**2 + 5*i. Let y be q(-5). Let p be ((-46)/3)/(2/(-33)) - y. Is (p - 2) + 6 + -7 - 3 a composite number?
True
Let r(c) = -117110*c - 6987. Is r(-10) prime?
False
Let q = -31392 - -62215. Is q a composite number?
True
Let q(t) = -20*t + 34*t + 100*t**2 - 16*t - 40. Let r be q(-6). Suppose -2*c + 4465 = 5*h, 0*c - r = -4*h - 3*c. Is h composite?
True
Suppose 3 = -2*w - 5, 5*w = -4*l + 5176. Suppose -l = -3*y + q + 205, -y + 494 = -4*q. Suppose 2*u = 4*u - y. Is u a composite number?
False
Suppose -4 = 8*n - 20. Suppose -n*t = -x + 2588, 2*t + 10391 = 4*x + 7*t. Is x prime?
False
Let w be 3/(-2) + (3 - 14/4). Let p be 1161 + w + -4 + 1. Suppose p + 2115 = a. Is a prime?
True
Let n(z) = 2753*z - 34. Let g be n(8). Suppose 2*x + 8*x = g. Is x a composite number?
True
Let a(j) = 607*j + 3. Let u be a(10). Is 5 + (-25)/5 + u a prime number?
True
Is (-816)/(-1632)*(0 - -889478) a prime number?
True
Let c(r) = -4*r. Let y be c(0). Let z be (y - -3)*148*(-2)/(-3). Suppose -9*n = -5*n - z. Is n a prime number?
False
Let o be -1*(43 + -43)*(-1)/3. Suppose o = -75*x + 141405 - 57855. Is x a composite number?
True
Suppose -3*b + 16*c - 14*c + 40661 = 0, -4*b = -c - 54213. Is b a composite number?
False
Let f = 8515 + 24964. Is f a composite number?
False
Suppose -3*r - 4*p + 16 = r, p = 5*r - 14. Suppose 20*w - 2 - 38 = 0. Suppose -2*b = r*g - g - 3960, b = -w*g + 1979. Is b a prime number?
False
Let n(l) = 3*l**3 - 21*l**2 + 40*l - 103. Is n(57) composite?
True
Let j(q) = -12 - 3*q + q**2 - 43 - 151. Let b be j(0). Is (-16)/(-24) - b/6 prime?
False
Suppose -8*m - 2 = 310. Let z = -44 - m. Let i(v) = 18*v**2 + 2*v + 11. Is i(z) a composite number?
True
Suppose -4*u = u + 6*u. Suppose 6*o - 7184 - 23638 = u. Is o composite?
True
Let w(u) = 51*u - 80. Let z be w(17). Let c = z - -495. Is c composite?
True
Let l = 47567 - -115712. Is l composite?
True
Let v(s) = -85*s - 156. Let c(u) = -35*u**3 - u**2 + 1. Let m be c(1). Is v(m) a composite number?
False
Suppose -3*y + j + 121401 = -376265, 0 = -y - j + 165890. Is y a composite number?
True
Suppose d - 418 = -4*y, -3*y + 529 = 2*y - 2*d. Suppose h + y = -110. Let j = 236 - h. Is j prime?
False
Let q = -27 - -22. Let y be 6/q*(-5)/2. Suppose m - y*m = 2*h - 168, -m = 4*h - 69. Is m composite?
False
Is (-45)/(-21) + -3 + 135490*(-11)/(-154) prime?
True
Let y = -1 + 0. Let w(a) be the second derivative of -419*a**3/2 + 5*a**2/2 + 3*a - 590. Is w(y) a composite number?
True
Is (112/(-280))/(2/(-499910)) prime?
False
Let k = -49 - -59. Suppose 4 = -7*s - k. Is -11 - -10 - (-1280 - s) prime?
True
Let x = -116759 + 165196. Is x a composite number?
False
Suppose 2*n + 2*o = 78, 0*n + 5*o = -4*n + 161. Suppose 39*q + 4*a = n*q + 48681, 19462 = 2*q - a. Is q a prime number?
True
Let o(m) = -31*m - 5. Let q be o(3). Let c = 102 + q. Suppose 0 = -c*k - 5*v + 1663, -2130 = -3*k - 2*k + 4*v. Is k prime?
False
Let b = -8365 + 8368. Let s = 862 - 473. Suppose 3*q - 92 = b*j - s, 483 = 5*j + q. Is j a prime number?
True
Let b(m) = -m**2 - 5*m + 2. Let p be b(-5). Suppose 3*d - p*i - 10967 = 0, 5*d - 5*i - 18275 = -i. Is d a prime number?
True
Suppose -2*m - 14810 = -4*f, 2*m + 3707 = 3*f - 2*f. Let b = f - -9528. Is b composite?
False
Let p = -27618 + 55385. Is p a prime number?
True
Suppose 0*z + 5*d = 4*z - 39, -2*z - 3 = 5*d. Is 6 + (-54)/z + 9964 prime?
False
Suppose 28 = -0*h + 7*h. Suppose h*u = 20, -4 = 2*s - 3*u + u. Suppose 4*c - 5763 = s*x - 1227, 0 = 5*c + 4*x - 5701. Is c a composite number?
True
Let v = -309 + 315. Let b(i) = 17*i + 215. Is b(v) a prime number?
True
Let k(g) = -15*g**3 - 19*g**2 - 266*g + 85. Is k(-32) prime?
True
Let t(q) = 27477*q - 217. Is t(2) prime?
False
Suppose -30 = -8*f - 2*f. Suppose 7 = 5*t - f*q + 2*q, t + 2*q = 8. Suppose t*v = 589 + 39. Is v composite?
True
Is ((-58)/9)/((-246)/1004049) a prime number?
False
Let n(s) = 2228*s + 561. Is n(1) prime?
True
Suppose -40*z = -50*z + 15350. Is z prime?
False
Let q(k) = -46579*k - 2324. Is q(-25) a prime number?
False
Let f(m) = 17*m**3 - 2*m**2 - 3*m + 5. Suppose -u + 2*u + 4 = 0. Let r be (-5 - (-6 - -2))*u. Is f(r) a prime number?
True
Let x(n) = 4236*n**2 - 28*n - 305. Is x(-7) composite?
True
Let z(k) = k - 2. Let y(r) = 10*r + 21. Let n(c) = y(c) + 6*z(c). Let p be n(-1). Is 2/7 + ((-2420)/p - -1) composite?
False
Is (-9)/9*-1201*(6 - -551) composite?
True
Let h(t) = 16*t - 13. Let d be h(6). Let m = 590 + d. Is m composite?
False
Suppose -45 = 315*v - 312*v. Let g(x) = 71*x**2 + 25*x + 181. Is g(v) a composite number?
True
Suppose 0 = 4*p + 11*p + 555. Let z be 3830 + p - 2/2. Suppose -4*o + 5935 = 4*h + 899, -3*h + z = -2*o. Is h composite?
True
Suppose -4*v - 36*v + 5129922 = 2*v. Is v composite?
True
Let g be (-4 - 0/1) + (-72)/(-6). Is (g/12)/(1/((-7377)/(-2))) composite?
False
Let a = 154 + -124. Is (-4629*2/a)/((-1)/5) composite?
False
Suppose 71*g = -6*g + 9823891. Is g composite?
False
Suppose 0 = 13*y - 158193 - 116614. Is y a prime number?
True
Suppose -45 = -6*h + 3*h. Let s(i) = 10 + 12*i - 16*i + 4*i**2 - 47. Is s(h) prime?
False
Let k = 1414 + -4024. Let l = k - -3659. Is l prime?
True
Let r(x) = -2*x - 36. Let y be r(-15). Let h be (-2)/y*-3 + 76. Let s = 202 - h. Is s a prime number?
True
Suppose j = 5*b - 5, -5*b + 0*b = 5*j - 35. Suppose 973 = j*s - 1602. Is s composite?
True
Let l = 32501 + 103956. Is l prime?
False
Let f(c) = 4074*c - 11373*c - 3640*c + 40. Is f(-1) composite?
False
Is (-225831)/(-2)*15/(675/(-10))*-39 composite?
True
Suppose -4*j + 7*y = 5*y - 22, j - 8 = y. Suppose 0*r - q = j*r - 31269, -5*q + 31269 = 3*r. Is r composite?
True
Let q(d) = -d**3 - 5*d**2 - d - 2. Let v(c) = -2*c + 35. Let y be v(20). Let b be q(y). Is b/(-6)*(6*-3299)/3 composite?
False
Suppose -21*c = -3*g - 22*c + 1013167, -2*g + 675426 = -4*c. Is g composite?
False
Suppose 3*f - 64 = 3*j - 184, f = -j + 50. Let d = -43 + j. Is d*(-2)/16 + 14559/12 a composite number?
False
Suppose -5*t - 4*p = -24, 5*t - 12 - 24 = -p. Suppose d = 6 - t. Is -3 + 447/(-6)*d prime?
False
Let r = -51504 - -131261. Is r a prime number?
True
Let a = -1381 + 70688. Is a prime?
False
Let a(k) = 1044*k - 2723. Is a(53) a prime number?
True
Let i = 940 + -548. Suppose -i = f + 384. Let v = -75 - f. Is v prime?
True
Let u = -1842 - -570. Let z = u + 3089. Is z a prime number?
False
Let h(l) = 39*l**2 - 5*l + 127. Is h(10) composite?
True
Let l(w) = 3*w**3 + 53*w**2 - 42*w + 14. Let q(x) = x**3 + 18*x**2 - 14*x + 5. Let m(u) = -6*l(u) + 17*q(u). Let t be m(-13). Is (-7 - t) + 59 + 1 prime?
False
Let k(f) = 26*f**3 - f**2 + f - 7. Let z be k(-5). Let g = 5597 + z. Let q = 3961 - g. Is q prime?
False
Let y be (-19)/(-5) - (19/5 - 3). Suppose -3*f = -y*o + 6129, 0*o - 8152 = -4*o - f. Is o a composite number?
False
Suppose -11*s = 18 - 73. Suppose -4*f = 3*g - 53, -g + 0*f = -5*f - s. Is (-5)/(g/(-9)) + 1438 a composite number?
True
Let u = 70812 - 