ose 0 = -l*f + 5*f - 730. Is f composite?
True
Let a(q) = q**3 + 9*q**2 - 2*q - 5. Let h = 0 - 5. Let r be a(h). Let u = r - -86. Is u a composite number?
False
Suppose -30*p = -20*p - 249370. Is p a prime number?
False
Is 175239/14 - ((-10)/(-140) - 0) a prime number?
True
Suppose -2*l + 6*x - x + 17477 = 0, 5*l + 5*x - 43780 = 0. Is l a composite number?
True
Suppose 5*v = -g + 7867 + 24379, 4*g + 32241 = 5*v. Is v prime?
True
Let s(f) = 9*f**3 + 4*f**2 - 6*f - 2. Let o be (-21)/2 + 3/(-6). Let r = o + 14. Is s(r) prime?
False
Let n = 2 - -2. Suppose -12 = n*q, 3*m + q + 8 = 260. Is m a prime number?
False
Let j(y) = 2052*y - 221. Is j(6) composite?
True
Let h(m) = 150*m**2 - 5*m + 11. Is h(6) a composite number?
False
Let r(j) = 2*j + 17. Let s be r(-8). Is ((-2)/s)/(64/(-82528)) a prime number?
True
Let l(f) = 722*f**2 - 21*f - 102. Is l(-5) a composite number?
True
Let o be (0/4)/(-1 + -2). Let m(t) = -2*t + 18 + 14 + 11. Is m(o) a prime number?
True
Let m = 34 - 40. Let u = m - -16. Suppose 0 = 2*h + 5*q - 2024, 5*q - u = -0*q. Is h a prime number?
False
Is (-2)/(-7) + (338616/(-28))/(-2) a prime number?
True
Let c = 6595 + 14748. Is c composite?
True
Let j(k) = -17*k**3 - 9*k**2 + 5*k**3 - 6 + 20*k - 4*k**2 + 10*k**3. Is j(-13) a composite number?
False
Let g(o) = -o**3 - 5*o**2 - 5*o - 1. Let w be 3 - (-3 - -1)*1. Let i(z) = -z + 1. Let u be i(w). Is g(u) a prime number?
True
Let t be 2 + -2 + 2/1. Suppose t*p = 8*p - 534. Is p composite?
False
Suppose -3*i - 5*x + x = 450, 2*x + 610 = -4*i. Let s = i + 365. Is s a prime number?
True
Let v(k) = -4*k**3 - 2*k + 1. Let d be v(1). Let r be (d/(-10))/(1/166). Suppose 0*j = -j + r. Is j a composite number?
False
Let f(k) = 163*k. Suppose u + 5 = -4*u. Let i = 2 + u. Is f(i) composite?
False
Suppose 20 = 4*w, 23*i - w - 14871 = 19*i. Is i composite?
False
Suppose 1 = -x - 3*a, -4*x - 5*a + 12 = -a. Suppose -38 = -x*h - 13. Is ((-1082)/(-8))/(h/20) a prime number?
True
Suppose 2*i - 1764 - 31583 = -3*o, -o = 3*i - 11125. Is o prime?
True
Let b = 8 + -11. Let f(w) = -180*w + 3. Let j be f(b). Suppose -j = 4*r - 7*r. Is r a prime number?
True
Suppose 2*w = -3*p + 826, 4*p + 0*p = -2*w + 826. Suppose 4*h - w = -3*h. Is h composite?
False
Let w(s) = 24*s**3 - 17*s**2 + 91*s + 17. Is w(7) prime?
True
Suppose t - 3014 = -4*a + 3*t, 4*t - 3761 = -5*a. Suppose 0 = -3*z + 42 + a. Is z a prime number?
False
Suppose -13*s + 54010 + 274279 = 0. Is s a prime number?
True
Let l = -33 - -31. Let b(j) = 22*j**2 - 2*j - 3. Is b(l) a prime number?
True
Let b = 41 - 32. Suppose -b*h + 7*h = -2290. Is h a prime number?
False
Suppose y - 2*z + 2 = 0, -y + 3*z - 3 = y. Suppose -a = -183 - y. Is a prime?
False
Let z(o) = o**3 + 4*o**2 - 6 - 7*o + 3*o - 3*o. Let b be z(-5). Suppose 0 = -b*n + 181 + 207. Is n composite?
False
Let v(p) be the first derivative of p**2/2 + 5*p + 2. Let h be v(-6). Let l(t) = 96*t**2 + t. Is l(h) a composite number?
True
Suppose h - 26 - 53 = -4*w, -4*w - 2*h + 78 = 0. Suppose 5*y - w = y. Suppose -y*x + 15 = -15. Is x a prime number?
False
Let b(g) = -9*g**3 - 3*g + 1. Let a(z) = z**2 - 4. Let v be a(0). Is b(v) a prime number?
False
Suppose 936 = 3*a + a. Suppose 1616 - a = 2*y. Is y prime?
True
Let j(o) = o**3 - 13*o**2 + 11*o + 15. Let p be j(12). Suppose -2 = p*q - 8. Suppose -t = 5*d - 178, -2*d - q*t - 169 = -7*d. Is d a composite number?
True
Suppose 3705 + 9085 = 5*v. Is v prime?
False
Let m = 95 - 93. Is 136110/100 - m/20 a prime number?
True
Suppose 18 = 5*k - 4*t + 2*t, 0 = k - 2*t - 10. Let q be -21*9*(1 - k). Suppose 0 = -5*g - 2*d + q, -27 = -g + 2*d + 3*d. Is g a prime number?
True
Suppose -2*c - 5 = -3*c. Suppose -3*i + 4*b = b - 42, 4*i - c*b = 60. Is i a prime number?
False
Let o be 3/(-2*9/(-12)). Let z = o + 0. Is (-12)/(-2)*(3 - z) a prime number?
False
Let i(b) = -b**2 + b + 476. Let k be i(0). Suppose 0 = 5*c + 29*c. Suppose -2*q + 4*s + 1286 = c, -q - 4*s + 179 + k = 0. Is q prime?
True
Let c(o) = 32*o + 2. Let z(x) = -97*x - 7. Let i(v) = -17*c(v) - 6*z(v). Let g be i(-6). Let p = 471 - g. Is p prime?
True
Let t(x) = -x**3 + 42*x**2 - 35*x - 125. Is t(29) composite?
True
Suppose -13464 = -5*f + 3*x, 5*f + 0*x - 13476 = -3*x. Suppose 0 = 5*h + 4*j - f, 0 = -h + 3*h + 3*j - 1079. Is h a composite number?
True
Let l be 6/(-14) - 2*(-34)/28. Suppose 0 = l*h - 10, -5*a + 2*h = -0*h - 2575. Is a a prime number?
False
Let s(r) = 18*r. Let g be s(3). Suppose g + 125 = v. Is v prime?
True
Suppose -24*u + 16299 = -21*u. Is u a prime number?
False
Let o(s) = 754*s + 515. Is o(6) a prime number?
True
Let p(s) = -s**3 - 12*s**2 + 15*s + 27. Let u be p(-13). Is (1/(-1) - u)/(14/(-13027)) a composite number?
False
Suppose 22*o - 15*o - 2765 = 0. Is o a composite number?
True
Suppose 18 = 37*k - 39*k. Is (62/(-6))/(3/k) prime?
True
Suppose -3574 - 4342 = -3*n - 5*z, 3*z = -4*n + 10573. Is n a prime number?
True
Suppose -17*f = -14*f - 12. Let g(z) = -54*z**3 - 2*z + z**2 + 1 + z**2 + f*z. Is g(-2) a composite number?
True
Let t = 101920 + -32043. Is t composite?
False
Let s(q) = -q**2 - q + 3. Let w be s(-2). Is 550*1 - w*(-4 - -3) a composite number?
True
Suppose 0*n = -2*n + 1066. Is n a composite number?
True
Is (21514/8)/(142/568) composite?
True
Suppose d - 2 = -2*m, -4*d - 8 - 5 = m. Let v = 4363 + -8101. Is 2/m*v/(-28) prime?
True
Let a(r) = 85*r**2 + 2*r - 16. Let z be a(-4). Let d = 3657 - z. Is d composite?
True
Suppose -9*k - 41 = -221. Suppose -5*t = -k, b - 3*t - 2621 = -0*t. Is b composite?
False
Suppose -3 = -3*y, -3*u + 0*u + 3*y + 2670 = 0. Suppose -2*d + u = b, -547 = -3*d + 2*b + 800. Is d a prime number?
False
Suppose -3839 = -16*o + 817. Is o composite?
True
Suppose 0 = -4*k + 2*y + 7526 - 930, 3*y = k - 1649. Is k composite?
True
Let b(s) = -8*s**2 + 0*s + 0*s + 3*s**3 - 2*s**3 + 13 - 3*s. Is b(9) composite?
False
Let h = -5 - 9. Let z(m) = 4*m**2 + 4*m - 19. Is z(h) prime?
True
Let i be (3 - 2)/(4/36). Suppose i*v - 6878 - 799 = 0. Is v composite?
False
Let c(l) = 5*l + 1. Let q be c(-1). Is (-440)/q - (-2 - -1) a composite number?
True
Let a(d) = 6*d**2 - 9*d - 7. Let i(f) = -6*f**2 + 10*f + 7. Let t(u) = 6*a(u) + 5*i(u). Let x(v) = 8*v**2 + v. Let k be x(-1). Is t(k) composite?
True
Is 122218*12/96 + (-1)/4 a prime number?
True
Let i(o) = 13*o + 1. Let u be i(-1). Let s = 17 + u. Suppose -98 = -s*v + 227. Is v composite?
True
Let k(q) = q**3 - 4*q**2 - 4*q - 2. Suppose -3*x + 15 = -3. Let l(n) = -n**3 + 8*n**2 - 9*n - 13. Let m be l(x). Is k(m) a prime number?
True
Let t be ((-4)/5*31)/((-2)/(-10)). Let b = t - -650. Is b a prime number?
False
Let o be (-4)/5 - (-37224)/(-20). Let q = o + 3259. Is q a prime number?
False
Suppose m = 3*k + 5, -m = -4*m + 4*k + 10. Is -33 - -239 - 8/m a prime number?
False
Let u(j) = 2*j + 5. Let g be u(-2). Let x be 12/32*8*g. Suppose -5*n = -3*i - 542, 2*i - 108 = -n + x*i. Is n prime?
True
Is ((-15188)/10)/(6/(-15)) a composite number?
False
Suppose 57*z - 28 = 61*z. Suppose -3*j - 9 = 0, b + 2697 - 88 = -5*j. Is (-6)/(-14) + b/z composite?
True
Let a(d) = 4*d**2 - 3*d + 1. Let z be a(-3). Suppose -z*h = -42*h - 3284. Is h a composite number?
False
Is 9 + (-66)/8 + 110163/12 composite?
False
Let p(u) be the third derivative of u**4/12 - 2*u**3/3 + 8*u**2. Let n be p(5). Suppose 2*j + 60 = n*j. Is j a composite number?
True
Suppose 2142 = -5*b + 7*b. Let q = b + -4. Is q a prime number?
False
Let d be (-28)/(-126) - 2/9. Let u(q) = -55*q - 1. Let g be u(-1). Suppose 3*y + 3*c - g = d, 5*y - 4*c - 45 = -0*c. Is y prime?
True
Let i = 9701 + -6098. Is i prime?
False
Let v(z) = -z**3 + 5*z**2 - 5*z + 4. Let s be v(4). Is 23*(-1 + s)*-3 a prime number?
False
Let w(c) be the third derivative of -c**6/120 - 3*c**5/20 + 7*c**4/12 + 23*c**3/6 + 6*c**2. Is w(-15) prime?
True
Let c(l) = 2*l**2 + 8*l + 1. Let r(i) = -2*i**2 - 8*i. Let x(t) = -5*c(t) - 6*r(t). Is x(5) a composite number?
True
Is (-9 + 10)/(3/5349) a composite number?
False
Let q be 1*-2 + (-4 - 1). Let x = -2 - q. Suppose p - x*a - 105 = -27, 4*a + 73 = p. Is p prime?
True
Suppose -10 = -2*s - 2*s + 2*f, 3*s + 5*f = -12. Let w(m) = 6*m**2 - m. Let p be w(s). Suppose 4*u = p*x + 603, -792 + 17 = -5*u + 2*x. Is u composite?
False
Suppose 0 = -3*b - o + 2031, -3*b