-7. Suppose -p = -h*p + 12. Is ((-70)/(-8) - 1)*p a prime number?
True
Let n be 0*(-2 + 6/2). Suppose n*a + a = 39. Is a composite?
True
Let q be (3846/(-2))/(-1 + 0). Suppose q = 7*i - 4*i. Is i prime?
True
Suppose 2*v = 5*l, l = 4*v - 4*l. Suppose -2*h + 74 = -v*h. Is h a prime number?
True
Let i(b) = b**3 - 5*b**2 - 13*b + 10. Suppose -24 = -3*k - 0*k. Let a be i(k). Suppose 3*l - 431 = -a. Is l a composite number?
True
Let z be 50/(1 - -1) - 2. Suppose 4*u - z = 557. Is u prime?
False
Suppose 5*y = 1614 + 1751. Is y composite?
False
Suppose 710 - 54 = 4*j. Suppose j = 5*q - 111. Is q composite?
True
Let v(w) = 2*w**2 - 2*w - 2. Let q be v(2). Suppose -s + 3*k = -k - 113, q*k = 3*s - 359. Is s a prime number?
False
Is 250 + 1/((-1)/(-3)) composite?
True
Is (-39538)/(-34) + (2/(-17))/(-1) prime?
True
Suppose 360 = 5*j - 0*j. Let o be 368/3 + 2/6. Let m = o - j. Is m a composite number?
True
Let u = 329 - 172. Is u a composite number?
False
Let f(j) = 20*j - 1. Suppose 5*p - 10 = -0*p. Let h be f(p). Suppose h = l - 40. Is l a prime number?
True
Let m(y) = 4*y - 9. Let u(l) = l**3 - 4*l**2 + 2*l. Let n be u(4). Is m(n) a composite number?
False
Let v(u) be the second derivative of -8*u**3/3 - u**2/2 - 2*u. Is v(-9) prime?
False
Let h = 1400 + -807. Suppose -2*o + h = 99. Suppose 4*n - o = -5*m - 82, 0 = n - 4*m - 15. Is n prime?
False
Suppose -4*f = -6*l + 3*l - 4, 5 = 5*f + 5*l. Let y(c) = -c**3 - 2*c + 1. Let n be y(-3). Suppose -r = -f - n. Is r prime?
False
Let z(s) = s**3 - s**2 + 5*s + 8. Is z(9) a composite number?
False
Let u = -366 + 1033. Is u a composite number?
True
Let c(w) = 52*w - 4. Let t(o) = -51*o + 4. Let h(j) = 6*c(j) + 7*t(j). Is h(-3) prime?
True
Let p(r) = -68*r + 11. Is p(-6) a composite number?
False
Suppose 0 = -5*j + 3*a + 9, 0*j + 5*j = -a - 3. Let u be 33/6 - (-2)/(-4). Suppose 0 = -j*s + u*s - 335. Is s prime?
True
Let v be 0*3*2/18. Suppose -l - 5*o = -50, -5*o + v*o = 3*l - 160. Is l composite?
True
Suppose -a - 2010 = -4*a. Let n be (-3 - -3)*(0 - 1). Suppose n = -l + 3*l - a. Is l composite?
True
Suppose -2628 = -7*t - 5*t. Is t a prime number?
False
Let j = 12 + -8. Suppose 3*h - 59 = -2*a - 0*a, -4*a + 84 = 4*h. Suppose 39 = j*p - h. Is p prime?
False
Let z(t) = t**3 - 10*t**2 + 3*t - 5. Let u(p) = -p**2 - 6*p + 6. Let j be u(-5). Is z(j) composite?
False
Suppose 0 = -3*r + 9, t + 825 = 4*t - 5*r. Let c = 173 - t. Let o = 210 + c. Is o composite?
False
Let v(d) = -d + 1. Let q be v(-5). Let a be 1/(-4) - 2/(-8). Suppose a = r - 3*r + q. Is r composite?
False
Suppose -2*w = 3*y - 1797 - 914, w = 5*y - 4540. Is y prime?
True
Suppose 3*r = 9, s + 0*r + 3*r = 19. Suppose -5*z = -20 - s. Suppose 0 = 2*d - z, 0 = -0*v - 3*v + 2*d + 15. Is v a prime number?
True
Let r = -6 + 6. Suppose r*t + 12 = 4*t. Is t a prime number?
True
Let n = 15 - 17. Is n/4 - 318/(-4) prime?
True
Let t(i) = -i + 1. Let n be t(5). Let h = n + 8. Suppose 2*z - 7*g + 2*g = 38, z + h*g - 6 = 0. Is z composite?
True
Let k = 954 + -600. Suppose -k = 3*u - 6*u. Is u a prime number?
False
Is (212/(-12))/((-6)/18) prime?
True
Suppose -47 = -6*r + 85. Is r prime?
False
Is 2*(-4)/(-16)*370 a prime number?
False
Let c = -828 + 416. Let m = 747 + c. Suppose -m = 4*t - 9*t. Is t a prime number?
True
Suppose -825 = -5*p + 5*w, -7*p + 644 = -3*p + 4*w. Is p prime?
True
Let q = -745 - -408. Let s = q + 486. Is s a prime number?
True
Suppose 281 = 2*m - 233. Is m a composite number?
False
Let m(i) = i**3 + 6*i**2 + 5*i - 2. Let j be m(-4). Suppose 3*g - j = 20. Is g prime?
False
Let k = 741 - 362. Is k a composite number?
False
Is 518*(-3)/24*-4 composite?
True
Let w = -3 - -9. Suppose -w - 16 = -2*r. Is r a prime number?
True
Let a = -4 + 10. Suppose 0 = 5*u + g - 13, 3 = 3*u + g - a. Suppose 5*s + 3*n = 347, -5 = -u*n + 3. Is s prime?
True
Suppose -11 = -5*h - 1, 5*h = -2*o - 486. Let s = -161 - o. Is s composite?
True
Let h = 2014 + -635. Is h a prime number?
False
Is (17/(-2))/((-13)/130) a prime number?
False
Is 40 - -10 - -3*1 prime?
True
Suppose m - 2*m + 55 = 0. Is m prime?
False
Is 38 - 1*(4 - 3) composite?
False
Suppose 4*c + 143 - 719 = -l, 3*l = 12. Is c composite?
True
Is 3 + 288 + (10 - 12) composite?
True
Let n = 76 - 22. Suppose l = -2*k + n, 3*k + l - 70 = 12. Suppose u + k = 5*u. Is u a composite number?
False
Suppose -4 = -5*u + 6. Suppose 0*q = -2*q - u*r - 594, -15 = -5*r. Is (-6)/(-4)*q/(-18) a prime number?
False
Let d(r) = -r**2 - 4*r + 4 - 3*r + 3*r. Let z be d(-4). Suppose -2*c - 5*m = z - 45, -m + 94 = 3*c. Is c prime?
False
Let i be (46/3)/(6/18). Is (4 + 1)*i/5 prime?
False
Suppose 19 = -5*t - 0*t - 3*i, 2*i + 8 = -t. Let n be (-2)/(-6)*3 + t. Is 26/(-4)*2*n a composite number?
False
Is 1/(5/10) + 2389 a prime number?
False
Let j(i) = -10 + 5 + 4*i - i**3 + 0 + 0*i**3. Is j(-6) a prime number?
False
Let o = 12 + -7. Suppose -14 = -4*p + 2*l, 2*p = p - o*l + 31. Is p a composite number?
True
Let b(u) = 1 - 8*u + 4*u - 6*u. Let f be b(-1). Is (f/(-2))/((-1)/2) composite?
False
Let i = 13047 - 3478. Is i a composite number?
True
Suppose 3*c - 29 = -11. Suppose 0 = x - 3*x + c. Suppose -x*l + 81 = -78. Is l a prime number?
True
Suppose 0 = -3*c + 7*c - 444. Is (-1)/(-9)*3*c composite?
False
Suppose 3*n = 4*l - 193, -3*l = l + 5*n - 169. Is l prime?
False
Let o(i) = -6*i**3 - 3*i**2 + i - 4. Let p be o(-3). Suppose -5*d + 939 = 3*q - p, -4*q = 2*d - 424. Is d a prime number?
False
Let u(t) = -5*t - 1. Let h be u(-1). Suppose 2*i - h*i + 2*n + 190 = 0, 178 = 2*i + n. Is i a composite number?
True
Suppose -42 = -4*i + 122. Suppose 2*f = -4*r + i + 113, -78 = -f - r. Is f composite?
False
Let k be (-160)/6*(-15)/4. Is -3 + 2 + k/5 prime?
True
Suppose -4*o = 2*f - o - 12, 0 = f - 5*o + 7. Let k(g) = 20*g**2 + 10*g**2 - 6*g**2 - 2*g**2 - 1 - 2*g. Is k(f) a composite number?
False
Suppose o = 187 - 60. Let w = 211 - 121. Let r = o - w. Is r prime?
True
Suppose -2*n - 10 = -4*n. Suppose -3*p = 2*v + 3*v - 6, 0 = n*p + 15. Suppose l + 190 = 3*l - v*f, 5*f = 0. Is l composite?
True
Let z be (-2)/(-8) - (-22390)/40. Suppose 2*d = z + 4. Suppose 4*x - d = x. Is x a composite number?
True
Suppose 3*u = t + 70, 3*t = -3*u + t + 76. Is (78/u)/(2/8) prime?
True
Is ((-4)/(-6))/((-4)/(-714)) prime?
False
Let b = -239 + 450. Is b composite?
False
Let a = -11 + 15. Suppose -a*k + 28 = 3*r, 4*k = -1 + 17. Suppose r*f - 4*m - 22 = 46, 0 = f + 2*m - 8. Is f a composite number?
True
Let o(t) = 178*t**2 + 6*t - 3. Is o(-5) a prime number?
False
Let j(x) be the first derivative of 4*x**3/3 + x**2 + 3*x - 2. Let u be j(-3). Suppose -4*a = -a - u. Is a prime?
True
Let j(d) = -d**2 - 1. Let r be j(0). Let c be 1300/(-16) - r/4. Let q = c + 130. Is q prime?
False
Let c(s) = s**2 + 8*s + 4. Let t be c(-8). Suppose -20 = 4*r - 6*u + 2*u, -u = t*r + 5. Is r - 34*(-9)/6 a prime number?
False
Let q be (48/(-10))/((-9)/60). Suppose -2*c + 25 = 4*w - 7*c, 2*w + 4*c - q = 0. Is w composite?
True
Let c(p) = -p**2 - p + 1. Let i be c(3). Let r = i - -32. Is r a prime number?
False
Let w be (-40)/(-260) - 37/(-13). Suppose 3*k - 25 = -2*k. Suppose -4*b - k*y = -352, -5*b - w*y = -214 - 213. Is b a composite number?
False
Is 185/2*(-18)/(-15) prime?
False
Let s(k) = -21*k**3 - 2*k**2 + k + 1. Let v be s(-2). Let j = v + -100. Is j prime?
True
Let t(x) = x**3 - 5*x**2 + 5*x - 3. Suppose 2*a = -a + 12. Let w be t(a). Let o(l) = 12*l**3 - l**2 + l - 1. Is o(w) a composite number?
False
Suppose -i = 2 - 23. Suppose -9 = -5*v + i. Suppose -95 = q - v*q. Is q prime?
True
Suppose c + 316 = 2*y - 3*y, 0 = 4*c - 5*y + 1273. Let p = c - -802. Is p a composite number?
True
Suppose -5*l = -0*l - 20. Suppose 0*z = -4*t - 4*z, -2*t - z = -l. Suppose -63 = a - t*a. Is a composite?
True
Suppose 5*q - 22 = 18. Let k = q + 4. Suppose -n = -3*n + k. Is n a prime number?
False
Suppose 4*l + 224 = -4*o, -2*o + l - 286 = 3*o. Is 2/(((-12)/o)/4) prime?
False
Let a = 102 + -71. Is a a composite number?
False
Suppose -820 = -5*x + x. Is x a composite number?
True
Suppose 687 = 3*v - 552. Is v prime?
False
Let l(w) = -w**3 - 1. Let r(g) = 2*g**3 + 2*g**2 - 7*g + 2. Let x(p) = -3*l(p) - r(p). Is x(6) a composite number?
True
Suppose -3*g = -0*g, 5*g + 2 = h. Suppose -h*a + a + 119 = 0. Is a co