07, 3*v - 456 = -3*p. Is v a prime number?
True
Suppose -4*r + 3573 + 3551 = 0. Is r prime?
False
Let y = 45836 + 22235. Is y composite?
False
Suppose 3*h - 36518 - 74399 = 4*u, h - 36974 = u. Is h a composite number?
False
Is (-6)/(-24)*2*6098 prime?
True
Let n(z) = 3*z**2 + 4*z - 3. Let j be n(3). Let c = j - -1315. Suppose 5*a - 5*x - 3390 = 0, -a - 3*x = a - c. Is a a composite number?
False
Suppose 4*w - 6 = w. Let y = 5 - w. Suppose q = 3*p - 232, -y*p + 7 = q - 235. Is p prime?
True
Let f(w) = -5*w - 10. Let c be f(-3). Suppose 3*t - c*j + 96 - 2014 = 0, 3145 = 5*t + 2*j. Is t composite?
False
Suppose -16*v + 3*d + 4192 = -14*v, -5*d - 8386 = -4*v. Is v composite?
False
Suppose 3*i = 4*i - 31. Let x be i/(-2 - 18/(-10)). Let r = 8 - x. Is r a prime number?
True
Suppose -2*x = 5*l + 6, l - x - 2*x = 9. Suppose 5*i + 5*g - 2675 = l, -5*i + 1169 = -g - 1506. Is i a composite number?
True
Let i = -804 - -3985. Is i composite?
False
Let k(g) = -g**2 - 10*g - 1. Let p be k(-10). Let s be (1 - (2 + p))*1. Let y(l) = l**2 + 557. Is y(s) a composite number?
False
Is (-591039)/(-12) + -8 + (-31)/(-4) a prime number?
True
Suppose -104*q - 2*o = -101*q - 205599, 0 = 2*q + 3*o - 137071. Is q composite?
False
Let t(c) = c + 18. Let m be t(-16). Suppose m*y = 140 + 54. Is y prime?
True
Suppose 9*y - 17748 - 101583 = 0. Is y a composite number?
False
Suppose 11 = -3*b - 5*r, -3*b + 28 - 3 = -4*r. Suppose 0 = b*o - 0*o - 5385. Is o a prime number?
False
Let u = 45 + -37. Suppose -z + 996 = 2*o, -u*o + 5*z = -12*o + 1986. Is o a prime number?
True
Let a be (1430/5)/((4/10)/(-1)). Is (-1)/1*a - 24/(-6) a prime number?
True
Let w(k) = 24648*k - 37. Is w(1) composite?
False
Let x(n) = 182*n**2 + 4*n + 29. Let m be x(-4). Suppose -1610 - m = -5*g. Is g composite?
False
Let r = -898 + 1742. Let w be 29/(3/(36 - -3)). Let p = r - w. Is p composite?
False
Let u(o) = -2*o + 21. Let n be u(10). Let q be n + (-5)/((-5)/4). Is 6424/40 - (-2)/q a composite number?
True
Let k(a) = -358*a - 3. Let x be k(-2). Let i = x + -415. Suppose 2*o + 0*o - i = 0. Is o prime?
True
Let o(j) be the second derivative of -19*j**7/140 + j**6/180 + j**5/120 - j**3/3 - 3*j. Let d(w) be the second derivative of o(w). Is d(-1) composite?
True
Let k(g) = 6*g**2 - 1. Let l be k(-1). Suppose -4*z - 466 = 4*s + 2542, -4*z - 3755 = l*s. Is (s/15)/(5/(-25)) composite?
True
Let y(g) = 877*g**2 - 18*g + 37. Is y(4) a prime number?
True
Suppose 4*m + 35 = -3*y, -3*m + 20 = -6*m + 4*y. Let c = m + 10. Suppose -2*z + 4*s = -814, 2068 = 7*z - c*z + s. Is z a prime number?
False
Suppose -9*i + 5940 = -5*i. Suppose -i = -2*n + 2185. Is n composite?
True
Is 1 - (-13 - -4) - -7707 prime?
True
Is (10/(-4))/(3 - 32817/10938) prime?
False
Let l = -64 + 123. Let b = l + 272. Is b composite?
False
Let z be 0 + 0*(-4)/(-8). Let r(a) = 4*a**2 - 11*a - 4. Let p be r(10). Suppose 5*w - p - 149 = z. Is w a prime number?
False
Let o = 20930 - -4461. Is o a composite number?
False
Suppose 4*d = -4*v - 16, d + 4*v - 5*v = 0. Let q be 3 + -4 + 0 - d. Is (22/(-4))/(q/(-46)) a prime number?
False
Let t(k) = -154*k + 162*k + 3*k**3 - 4*k**3 + 4*k**2 - 7. Let y be t(5). Let d(u) = -u**3 + 9*u**2 - 7*u + 3. Is d(y) composite?
False
Is ((-175)/(-100))/(((-10)/7352)/(-5)) a prime number?
False
Let s(c) = -2*c**3 + 10*c**2 - 13*c + 7. Is s(-12) a prime number?
True
Suppose 0 - 16 = -4*k. Suppose k*x - 5*o - 10 = 0, 4*x + 4*o - 2 = 26. Suppose x*m + 263 = 838. Is m a prime number?
False
Suppose 0 = 4*b - 5*l - 30751, -3*b - 3*l = -b - 15403. Is b a composite number?
True
Let f be 12/((-4)/16*-6). Let l be 15 - f - 1*2. Suppose -l*k + 2*k = -165. Is k prime?
False
Let k = 3262 - 1668. Is k a composite number?
True
Let d = 8 - 4. Suppose 0 = d*j - 10*j. Suppose -4*i + 2059 + 657 = j. Is i a prime number?
False
Is ((-1516)/12)/((-6)/18) a prime number?
True
Let c(u) = u**3 - 4*u**2. Let o be c(4). Suppose -d + 4*d - 576 = 5*f, o = -2*f + d - 231. Let k = 226 + f. Is k a composite number?
False
Let s = 18 - 83. Let k = -57 + 231. Let p = k + s. Is p composite?
False
Let g(o) = 3299*o - 49. Let d(f) = 1650*f - 25. Let r(u) = -7*d(u) + 4*g(u). Is r(4) composite?
False
Suppose 0 = -2*p - 8 - 0. Is (p + 3)*1*-1009 prime?
True
Suppose -4 = 4*n, -k + 5*n + 714 - 227 = 0. Let p be 12*(-2 + k/8). Let h = p + -382. Is h prime?
True
Let i = -14 + 16. Suppose -75 = -i*u + u. Suppose j + 2*j - u = 0. Is j composite?
True
Is ((103692/(-16))/(-3))/((-6)/(-24)) a composite number?
False
Suppose -73049 = 16*g - 450729. Is g a composite number?
True
Let c = -771 + 1034. Is c composite?
False
Let l(v) be the third derivative of v**5/6 - 13*v**4/24 - 2*v**3/3 + 30*v**2. Is l(-5) a prime number?
True
Let s(u) = 1. Let v(a) = -2*a + 1 + 6*a**2 - 22*a**2 + 1 + 1. Let r(d) = 4*s(d) - v(d). Is r(2) composite?
True
Let m be 6/((-1)/2 + 2). Let i be 20/30*126/m. Suppose 3*x - 94 = x - 5*n, x = 4*n + i. Is x a composite number?
False
Is 207/(-6)*(-8)/12*367 prime?
False
Suppose 4*q + 5*u - 25 = 4*u, -2*u = -5*q + 28. Is q prime?
False
Suppose -11*z = -4*z - 51919. Is z composite?
False
Let u(a) be the second derivative of a**5/20 + 7*a**4/12 + a**3/6 + 5*a**2 + 4*a. Let v be u(-7). Suppose v*w = 105 + 132. Is w a prime number?
True
Let d = 486 - 131. Let v be (d/(-10))/(2/(-4)). Let u = 182 + v. Is u composite?
True
Let y = -19512 + 30875. Is y composite?
True
Suppose 3*j - 100697 = -w - 4*w, -4*w - 134316 = -4*j. Is j prime?
False
Suppose m = -7*d + 2*d + 14318, 0 = 3*m - 9. Is d prime?
False
Is ((-1228)/(-12))/(-2 + 43/21) a prime number?
False
Suppose r - 2*r = 1. Let c be (-354)/(-8)*(r - -5). Let z = c + -38. Is z a prime number?
True
Suppose 5*s = 5*w - 45, -3*w + 7 = -3*s - 4*w. Let n be (-12485)/(-20) - s/(-16). Let b = -305 + n. Is b prime?
False
Let p(f) = -276*f + 181. Is p(-3) a composite number?
False
Suppose b = -0*b. Let m = -193 - -1114. Suppose 3*a - 1116 - m = b. Is a a prime number?
False
Suppose 3*j - 375 = 3*g, -2*j = 2*g + g - 235. Suppose 5*a + 39 - 174 = 0. Let h = j - a. Is h a composite number?
True
Let i = 6 + -3. Suppose 0 = -k + i*k - 6. Suppose 409 = k*d - 2*d. Is d prime?
True
Let u(k) be the third derivative of -27*k**4/2 - k**3/2 + 7*k**2. Is u(-1) composite?
True
Let o = -26 - -28. Is 1230/40 + o/8 a prime number?
True
Let h(q) = 22*q + 54 - 26*q + 209. Is h(0) a composite number?
False
Suppose 42 + 22 = 4*w. Suppose -4*p + 32 = -w. Is 43*(p/3 + -3) composite?
False
Is 1*(2811 - 28/(-7)) composite?
True
Is 3 - (10/65 + (-306776)/13) a prime number?
False
Suppose -3*u - 3*c + 0*c + 6 = 0, -c = 3*u - 14. Suppose 6*w - 4*w - u = 0. Suppose -w*k - 3*k = -690. Is k prime?
False
Is 9083*11/(88/8) a composite number?
True
Let t be (-4)/18 + 36159/27. Suppose -5*y = t + 411. Let n = -217 - y. Is n a prime number?
False
Let f(c) = -8930*c + 179. Is f(-1) composite?
False
Suppose -38*i + 11*i + 301941 = 0. Is i prime?
False
Suppose -q + y = q - 6, -15 = -5*q - 4*y. Suppose g + q*g = 8. Suppose 0 = -g*w - 0*w + 5*c + 70, 0 = -2*w - 2*c + 70. Is w a composite number?
True
Let l = -16 - -30. Let p(f) = f**3 - 12*f**2 - 6*f + 29. Is p(l) a composite number?
False
Suppose -5*j = -437 - 73. Suppose -4*i + 3 - 15 = 0, -4*i = -5*t + j. Let z = t + -4. Is z a composite number?
True
Suppose -9 = f - k, -5*k = f + 15 + 12. Let x = f - -12. Suppose d + 3*m - 171 = x, -3*d + 473 = -5*m + 4*m. Is d a composite number?
True
Let h(u) = 24*u**3 + 4*u**2 - 29*u + 1. Is h(6) a composite number?
True
Suppose b + 4*n = -9, 2*n + 1 + 7 = -4*b. Is (196/(-56))/((-1)/(-118)*b) composite?
True
Suppose -595 - 1181 = 3*i. Let o(m) = -46*m - 11. Let f be o(8). Let z = f - i. Is z composite?
True
Let l(m) = m**3 + 17*m**2 - 23*m + 20. Let f be l(-18). Let j = 367 - f. Is j a composite number?
False
Let o(v) be the second derivative of 3/2*v**2 - 1/20*v**5 + 0*v**4 + 2/3*v**3 + 0 - 6*v. Is o(-2) a prime number?
True
Let t = 17204 + -9487. Is t a composite number?
False
Suppose g + 5*p = -1, 2*g - 13 = -2*g - 3*p. Let n(i) = 2*i**3 + 5*i**2 + 5*i - 7. Is n(g) a prime number?
False
Let c = 3568 - 1469. Is c prime?
True
Let q(z) = z**3 + 19*z**2 + 4*z + 9. Let x be q(-13). Suppose 0 = -5*j + x - 276. Let m = 372 - j. Is m composite?
False
Let r(l) = l + 8. Let 