, o - 14*n = -19*n + 513. Is o a composite number?
True
Suppose -11*c = 9*c - 55700. Is c a composite number?
True
Suppose -5*d + 20 = 0, -2*t = 5*d - 0*d - 5640. Let h = 632 - t. Let k = 3437 + h. Is k prime?
True
Let i = -6 + 8. Suppose 0 = 3*d - i - 10. Suppose -s + 2*a = -45, 5*a = 4*s - 191 - d. Is s composite?
True
Let k = 24 + -24. Suppose k = t - n + 4*n, 0 = 5*n. Is 133*(t - 2/(-2)) prime?
False
Suppose -497*a = -495*a - 60292. Is a a composite number?
True
Let k(t) = 2*t - 17. Let o be k(12). Suppose -o*q + 714 = -224. Is q prime?
False
Suppose 2*u - 3*u + 3*q + 1 = 0, 4*u - 2*q = -26. Let j = u - 6. Is (-319)/(-2) - 21/j a prime number?
False
Let h = 812 - 4454. Let w = -1205 - h. Is w prime?
True
Let b(g) = -5630*g + 27. Is b(-3) a composite number?
True
Let b be (-2)/(-10) + 62/(-10). Let h be (0/(-2))/(b/2). Suppose -u + 556 = -d, -3*d - 24 + 9 = h. Is u a prime number?
False
Suppose 36*g - 12*g = 91992. Is g a prime number?
True
Suppose 0 = -g - g - 16. Suppose 0*z + 4*z - 4 = 0. Is z + -1 + (107 - g) composite?
True
Suppose 3*r - y = 8337, y + 97 = -2*r + 5655. Is r prime?
False
Let s = -4048 + 7347. Is s a composite number?
False
Let j(n) = -12*n - 21. Is j(-6) composite?
True
Suppose -5*q + 3*f + 36169 = 0, q + f - 7225 = 6*f. Is q prime?
False
Let t be 9/3 - (-3 - -6). Suppose -3*s + 9 = t, h + h - 397 = -5*s. Is h prime?
True
Let r = -2409 + 6908. Is r a prime number?
False
Let a = 3456 + -1555. Is a a composite number?
False
Suppose 3*v + 6 + 6 = 3*w, 14 = 4*w - 3*v. Suppose -3*x - 179 = -o - 22, 3*o + w*x - 471 = 0. Is o composite?
False
Suppose -3*i + 369 = g - 285, 0 = 2*g + 5*i - 1313. Is g composite?
True
Suppose 4*g + 3 = 5*g. Suppose -y + 5*y + 5*a = 365, 447 = 5*y - g*a. Let m = 181 - y. Is m composite?
True
Suppose -12*b = -405296 - 554308. Is b composite?
False
Let q(o) = o**2 - 6*o + 9. Let u be q(6). Suppose -u*z + 14*z = 0. Suppose z = -4*s + 6*s - 134. Is s a composite number?
False
Suppose 2*y = y + 1931. Is y prime?
True
Is -2*((-1921416)/(-16))/(-21) composite?
False
Let n = 9 + -5. Let j be n/16 - (-2031)/4. Is (j/8)/(2/4) a prime number?
True
Suppose 0 = 3*c - 5*t, -2*c + 3*t - 1 = -2. Suppose c*f + a - 195 = -3*a, f + 4*a - 39 = 0. Is f composite?
True
Let v(d) = -17*d**3 + d. Let m be v(-1). Let w = 14 - m. Is (9/15)/(w/(-290)) composite?
True
Let q be 19*117 - (2 - 4/(-2)). Let r = q - 316. Is r a composite number?
True
Let h(n) = 6361*n**2 - 21*n + 55. Is h(3) prime?
True
Let s be (-110)/5*(-15)/2. Let q = -3 + 9. Suppose -s = -q*k + k. Is k composite?
True
Suppose d + 17 = 4*f - 3, -5 = -f. Suppose d = 4*q - 8*q + 148. Is q a composite number?
False
Suppose 17 - 3 = 2*m. Let g be m/((-7)/4) + 7. Suppose -3*r = -g*f + 156, -4*f + 211 = -r - 0*r. Is f composite?
False
Let k be ((-4)/14)/((-3)/(-21)). Is ((-1)/k)/((-12)/(-6456)) a composite number?
False
Suppose 0 = -10*g + 6454 + 2596. Is (1 + (g - -1))*1 a prime number?
True
Is ((-330)/(-99))/((-6)/(-40563)) a prime number?
False
Let l = 13635 - 6896. Is l composite?
True
Let o(k) = -29*k**3 + 28*k**3 - 5 - 5*k - 2*k - 6*k**2. Is o(-6) a composite number?
False
Let g be 1/((4/(-420))/(-1)). Let s(p) = 9*p - 2. Let v be s(-5). Let l = v + g. Is l a composite number?
True
Let k(l) = 12*l. Let i be k(2). Let f(h) = h**2 + 3*h + 4. Let q be f(-3). Is -3 + i*q + 1 a prime number?
False
Suppose 17*j - 12*j - 2355 = 0. Let u = 779 - j. Suppose 0 = -5*l + l + u. Is l a prime number?
False
Suppose 53*i = -48*i + 3195943. Is i prime?
True
Suppose 0 = -2*b - b + 6. Let x be (b/(-6))/(1/(-1077)). Suppose 0 = -a + x + 110. Is a a composite number?
True
Suppose 3*h - 2*r - 9 = 0, 2*h + 10 = -3*r + 29. Let t = h - 5. Suppose 5*s = -5*a - t*a + 50, 2*a = -3*s + 23. Is a a composite number?
False
Let y = 24 - 17. Suppose -y*k + 6*k = -53. Is k prime?
True
Suppose -3*h + 2*h = 0. Suppose 4203 = 3*t - h*t. Suppose -w = 2*w - t. Is w a prime number?
True
Is 2/(-14) - (-206240)/140 a composite number?
True
Suppose 2160 + 2235 = 15*y. Is y a composite number?
False
Let i(b) = 223*b**2 + 60*b + 304. Is i(-5) a composite number?
True
Let d(w) = w + 19. Let z be d(-9). Let o be ((-8)/z)/((-14)/(-175)). Let p = 45 - o. Is p composite?
True
Suppose -a = -r - 122 - 125, -2*a = 5*r - 522. Suppose -11*t + 12*t = a. Is t composite?
False
Let d be 2*(39 + -4 - (-1 + 1)). Is ((-4)/12 + d/12)*118 composite?
True
Let p(o) be the first derivative of o**4/4 - 2*o**3/3 + 9*o**2 - 20*o + 34. Is p(11) a composite number?
True
Suppose -5*r - 10281 + 37147 = 2*d, -d = 3*r - 13431. Is d prime?
False
Suppose -74 = -4*n - 14. Suppose n*y - 7777 = 4*y. Is y composite?
True
Suppose 4*k - u - 13258 = 0, -k - 4*u + 3306 = -0*u. Is k a composite number?
True
Let i be 247 - (3 + (-10)/2). Suppose n + z - 88 = 0, 0*n = 3*n - 2*z - i. Is n composite?
True
Let r(g) = -57*g + 8. Suppose n - 5*i + 14 = 0, -i + 8 = 5*n - 0*i. Suppose -3*c = 2*q - 4 + 25, -c - n = 0. Is r(q) a prime number?
True
Suppose -2*p + 14399 = 1201. Is p prime?
True
Let b = 14 + -10. Suppose 0 = -4*k - 0 - b, -a + 1188 = k. Is a a composite number?
True
Let g(j) = 87*j**2 + 3*j - 1. Let d = -29 - -31. Is g(d) a composite number?
False
Suppose 6*a - 20773 + 3079 = 0. Is a composite?
True
Suppose -4*b = -4*l + 28, 0*l + 4*b = -3*l. Suppose -l*n + 1250 = -1626. Is n a composite number?
False
Suppose 12*n = 9*n + 12. Suppose 0 = -3*x + n*h - h + 1032, x = 3*h + 338. Is x a prime number?
True
Let l(i) = -2*i**2 + i + 1. Let c be l(-2). Let b = c + 6. Is -1*1*(b + -254) prime?
True
Let y = -762 - -1389. Let w = 404 + y. Is w composite?
False
Suppose -21*d = -8*d - 30017. Is d composite?
False
Suppose 0 = -3*s - 73 - 29. Is (2095/(-20))/(s/8 - -4) composite?
False
Suppose 6304 = 6*o - 7118. Is o a prime number?
True
Let l be 16752/60 + (-1)/5. Suppose 5*a - l = 206. Is a a composite number?
False
Is (-1)/18 + 8826433/126 a composite number?
False
Let h(u) = 2*u**3 - 5*u**2 - 3*u + 19. Let n(i) = -i**3 - i**2. Let o(a) = h(a) + 3*n(a). Is o(-12) a composite number?
False
Suppose -3*x - 3126 = 3*s, -4162 = x + 3*x - 2*s. Is 2/(-3) + x/(-9) a prime number?
False
Suppose -m = -2*m, 4947 = 3*i + 2*m. Is i a composite number?
True
Let g(f) be the first derivative of -6*f**2 + 5*f - 3. Is g(-12) composite?
False
Suppose 2*h - 487 = 2*x + 3*x, 4*h - 2*x - 1014 = 0. Let k = -178 + h. Suppose 4*g = -2*c + 108 + k, 4*g + 81 = c. Is c prime?
True
Let y(d) = -d**3 + 10*d**2 - 10*d + 2. Let h be y(8). Let i be h/12 + 6/(-36). Suppose 0 = i*l - 335 - 2261. Is l a composite number?
True
Let j(o) = -43*o**3 + o**2 - 40*o + 31. Is j(-8) composite?
True
Let a(p) = -8 + 11 - p + 4*p + 194*p**2 + 9*p**2. Is a(-2) a composite number?
False
Let d(r) = 7*r**3 + 19*r**2 - 4*r + 34. Let v(z) = -3*z**3 - 9*z**2 + 2*z - 17. Let t(q) = 2*d(q) + 5*v(q). Is t(-9) a prime number?
True
Let w(l) = -l**2 - l - 7. Let q be w(0). Let h(n) = -2*n**3 - 6*n**2 + 10*n - 3. Is h(q) composite?
True
Let c be (-3)/((-10)/5 + 1). Suppose 0 = g - 4*o - 2711, 5*o + 5416 = 2*g + c*o. Is g a composite number?
False
Let d(y) = 55*y**2 + 50*y + 17. Is d(-8) a composite number?
False
Let h(b) = -b**2 + 11*b - 5. Let c(d) = -d**2 + 10*d - 6. Let p(v) = -5*c(v) + 4*h(v). Let k be p(5). Suppose k*z - 291 = 2*z. Is z prime?
True
Let j(g) = 52*g**2 + 1. Let o be 8/3 - (-8)/(-12). Let y be 42/(-35) + o/10. Is j(y) prime?
True
Let s(w) = w - 7. Let y be s(9). Suppose y*d + 2*r = -203 + 499, -4*r - 568 = -4*d. Is 2/6 + d/15 prime?
False
Is (3 + -2)*(-21 + 10028) prime?
True
Let h(u) = -81*u**3 - 10*u**2 + 11*u + 7. Is h(-6) prime?
True
Let p(r) = -r**2 + 4*r + 3. Let y be p(4). Is 7834/8 - (13/4 - y) prime?
False
Suppose -21*m + 2*m = -99959. Is m composite?
False
Let i = 15542 + -10395. Is i a composite number?
False
Is 23/2*(9 + 65) composite?
True
Let q(n) = 3*n - 6. Let b be q(3). Suppose -256 = -v - b. Is v a prime number?
False
Suppose -5*r = -1 - 14. Let i be r*-2 + -3 + 4. Is (58 + 1)*(2 - i) prime?
False
Let u be (-1)/4 + (-1)/(-4). Let i be u - (-3 - (-3 - -2)). Suppose -4*z - 2 + 8 = 2*h, -i*z = 5*h - 15. Is h a composite number?
False
Let r(j) be the first derivative of j**3 + 3*j**2/2 + j + 2. Let c be (-12 - 3)/(-5) - 10. Is r(c) a prime number?
True
Suppose -659984 = -16*j + 1183