b*v + 2510 - 306 = 0. Is v a composite number?
True
Suppose 5*l = -3*x + 16501, -3*l - 4*x + 6442 = -3463. Is l a prime number?
True
Let f(l) = -32*l**3 - 11*l**2 - 5*l + 8. Let s(q) = -64*q**3 - 22*q**2 - 9*q + 15. Let n(c) = 11*f(c) - 6*s(c). Is n(3) a composite number?
True
Let n(v) be the third derivative of 0*v + 187/24*v**4 + 0 - 15*v**2 + 8/3*v**3. Is n(5) a prime number?
False
Let p be (50 - 2992)*11/(-2). Suppose p = 7*l + 4*l. Is l prime?
True
Let z(l) = -3*l + 68. Let t be z(12). Suppose t*b - 37*b + 13145 = 0. Is b prime?
False
Let v = -512 - -3171. Let r = v - 140. Is r composite?
True
Let s(a) = -a**3 + 25*a + 4075 + 28*a + 2446 - 50*a - 2*a**2. Is s(0) prime?
True
Suppose -4*x = 5*l - 3978, -4*l = -2*l - 4*x - 1608. Let i be (l - 16/4) + -2. Suppose 5*r - o - 469 - i = 0, 5*o = 20. Is r a prime number?
False
Let v(j) = 13241*j**3 + 7*j**2 - 5*j - 2. Suppose -96*u + 95*u = -1. Is v(u) a prime number?
True
Let m = -137469 + 197302. Is m a prime number?
True
Let q(t) = -5087*t - 37. Let l(v) = 66129*v + 480. Let g(u) = -2*l(u) - 27*q(u). Is g(2) composite?
True
Let b(y) = y**3 - 10*y**2 + 8*y + 7. Let w be b(9). Let q(a) = a**3 + 4*a**2 + 1. Let j be q(w). Is j + -8 + (1 - -785) a composite number?
False
Let o = -182 + 386. Let d be (o/(-10))/(15/(-400)). Suppose -x + 2348 = 4*n, -d = -3*n - x + 1217. Is n a composite number?
False
Let j = -15 + 123. Suppose 0 = -4*n + i + j, 0*i = -3*n - i + 74. Is n a composite number?
True
Suppose 2*a = 2*o - 3268, 3*o + a - 1623 - 3259 = 0. Suppose 4*g + 625 = o. Is g composite?
False
Let l = 1238664 - 550445. Is l a prime number?
False
Suppose 0 = 3*s - j - 1336015, -24*j - 1781368 = -4*s - 19*j. Is s composite?
True
Suppose 4*p = -k + 3*k + 104, -2*k + 21 = p. Suppose p*a + 14 = 27*a. Let m(s) = 3*s**3 - s**2 + 17. Is m(a) prime?
True
Suppose -252*v + 8762 = t - 249*v, -4*t + 35118 = -2*v. Is t prime?
False
Let h(p) = 5*p**3 - p**2 - 2*p + 2. Let j be h(1). Let f(b) = b**2 - 5*b + 12. Let o be f(j). Suppose 1385 = o*w - 2623. Is w prime?
False
Let d(k) = -4*k**2 - 4*k + 10. Let j be d(-3). Is ((-14)/(-5))/(j/(-66535)) prime?
False
Let z be ((-12)/8*-2316)/(4 - 2). Suppose -2*y + 1573 = -z. Is y composite?
True
Let i be ((-17)/34)/((-1)/(-5294)). Is (i*3/15)/((-4)/20) prime?
True
Let j(k) = k**3 - 6*k**2 + 255*k + 35. Is j(68) a composite number?
False
Let y(f) = 5*f**2 - 15*f - 56. Let d be y(-24). Let j = d + 2797. Is j a composite number?
False
Suppose 0 = 9*c - 14*c + 4*v + 160489, -4*c + 3*v + 128392 = 0. Is c prime?
False
Suppose 2*n = d - 0*n - 15, 3*d - 49 = 4*n. Let i(l) be the third derivative of l**5/30 - 2*l**4/3 + 3*l**3/2 - 435*l**2. Is i(d) a prime number?
False
Let v = 6412 - 4245. Is v prime?
False
Let j = 5365761 + -3350218. Is j prime?
True
Let f(y) = 5*y**2 - 7*y + 1539. Let w(q) = 6*q**2 - 8*q + 1538. Let l(j) = -5*f(j) + 4*w(j). Let x be l(0). Is (x/2)/(1/(-2)) composite?
False
Is -3 + (-168)/(-20) + -5 + 4354749/15 composite?
False
Let t(q) = 39*q - 133. Let i be t(4). Suppose -17*a - i = -278. Is a composite?
True
Let s(l) = 4 - 8*l**2 - 4*l + 6*l**2 + l**3 - l**2. Let g be s(4). Suppose 3*o + 335 = g*n, 3 - 4 = o. Is n a prime number?
True
Let q(a) = 3*a**2 + 4*a - 4. Let k be q(3). Suppose 5*s = -5*z - 20, 0 = -3*s - 0*z + 4*z - 12. Let v = k + s. Is v composite?
False
Suppose 0*h + h - 2*o + 2 = 0, 0 = 4*h + 2*o + 48. Is (-19662)/h + (-44)/(-55) a prime number?
False
Let u = 264 + -345. Let h = u - -280. Is h composite?
False
Suppose 0 = 5*u + 2 - 7. Let g(s) = 477*s**2 + s - 1. Let d be g(u). Suppose 5*w + 1904 = 4*z, 2*z - 2*w - d = 473. Is z a composite number?
True
Let v = -1691 - -2944. Suppose 0 = -2*i - 2*o + 4*o + 498, 0 = -5*i + o + v. Is i a composite number?
False
Is 7/(28/184356) - (-6 + 17) a prime number?
False
Suppose -128 = 28*x - 36*x. Is -301*x/(-2) + 11 + -8 a composite number?
False
Is 151839 - 4*(-16)/32 prime?
True
Let c(k) = -52062*k**3 - 1 + 22346*k**3 - k**2 - k**2 - 4*k. Is c(-1) composite?
False
Let g = -57 - -112. Let d = g - 52. Suppose d*w - 2*w = 3*z + 384, -4*z + 1520 = 4*w. Is w a prime number?
False
Suppose 5*l = -10, 5*f - 5*l + 6*l = 38. Suppose -2*m = f*m - 82510. Is m composite?
True
Let s(m) = 5686*m + 1335. Is s(22) composite?
True
Let x = 14234 - 2512. Is x prime?
False
Let s(c) = 210*c**2 - 12 + 3*c - 176*c**2 - 6*c + 306*c**2. Is s(-3) a prime number?
False
Let m be 48/(-18)*9/(-6). Suppose 0 = 5*v + o - 42330, 157 = 3*v + m*o - 25258. Is v prime?
False
Let b(j) = 57*j + 104. Let d be b(-22). Let v = 7 - d. Is v prime?
False
Suppose -4*l + 14243 = -3*i, 5*i + 5 = -0. Let h = -1722 + l. Is h prime?
False
Let g(z) = -z**3 - 31*z**2 + 11*z + 136. Let r be g(-31). Let j be 17/((-2)/(-67 - 1)). Let v = r + j. Is v composite?
False
Let d(s) = -s**3 + 21*s**2 + 5*s + 24. Let p = -137 - -139. Let k be 2/(-12) + 79*p/12. Is d(k) a prime number?
False
Let u = 390860 + -274453. Is u prime?
False
Is (-93448950)/(-732) - (3/(-9))/(2/3) a composite number?
False
Suppose -4*s - 5*u = 4222 - 42221, 4*s - 3*u - 37943 = 0. Is s a composite number?
False
Let j = -45 - -41. Let u(d) = -d**3 - d**2 + 8*d - 3. Let x be u(j). Suppose 17*q = x*q + 2204. Is q a prime number?
False
Let w = -10 + 7. Let s be 2786 + (w - -4) + 2. Let u = 4074 - s. Is u a composite number?
True
Suppose 4*v + 1009 = 3*v. Is (-6)/(-30) - v/5 a composite number?
True
Let y(q) = -q + 5. Let h = -30 + 33. Let b be y(h). Suppose 112 = i + 5*x, -7*x + b*x = -15. Is i composite?
False
Suppose -4*m + 849 = -3*s, -5*m - 635 = -8*m + 4*s. Suppose m*b - 7631 = 200*b. Is b a prime number?
True
Is 0 - (-10)/(-2) - (-19817 - 1) a composite number?
False
Suppose 18*z = 16*z - 85634. Let c = z - -60284. Is c composite?
False
Suppose -2*v + 648284 = 3*g, 4*g = 4*v + 49417 - 1346045. Is v a prime number?
True
Let o be 3 - 3/(-9)*3. Suppose o*k - 3*k = -12. Is ((-30)/(-9))/(k/(-1206)) composite?
True
Suppose -5*q + 46*i - 51*i = -1228065, -1228097 = -5*q - 21*i. Is q prime?
False
Let d = 90 + -77. Let n(b) = 28*b**2 - 48*b + 1. Is n(d) prime?
False
Let b(y) = -226*y + 44. Let f be b(-13). Suppose n - i + 998 = 0, 3*i = -3*n - 0*i - f. Let t = n - -1835. Is t composite?
False
Suppose 4*o + 48 = 16*o. Suppose f - o*f = -27. Let a(y) = y**3 - 5*y**2 - 2*y + 13. Is a(f) prime?
False
Suppose -2*v = -4*w + 562, -2*w + v = 4*v - 301. Let k = w - -1806. Is k a prime number?
True
Suppose -4*u + 0*d + 32 = -4*d, 4*u = -3*d + 11. Suppose -5*z + 3321 - 576 = u*v, 4*z = -20. Is v a composite number?
True
Let c(s) = 51*s**2 + 3*s - 6. Let t be c(5). Let a = t - 797. Is a prime?
True
Is 10/45 + ((-99642400)/(-45))/11 a prime number?
False
Let s(y) = y**3 + 12*y**2 + 6*y - 45. Let x be s(-11). Suppose -6*v + v + x = 0, -4*k - 3*v + 3962 = 0. Is k a composite number?
True
Suppose 2*c + 2 - 14 = -4*j, 2*j - 4*c = 26. Suppose -5*x + 25 = -5*s, -x - 2*s + 12 = -j. Suppose x*w - 7*w - 718 = 3*q, 3*w - 1087 = 2*q. Is w a prime number?
False
Let n = 80967 - 45634. Is n composite?
True
Suppose 9 = -12*z + 57. Is z*3/(-66) + 1275918/154 a prime number?
False
Let n = 1169 - -7259. Let d = 2815 + n. Is d a composite number?
False
Let y(i) be the third derivative of 23*i**4/24 - 49*i**3/3 + 13*i**2 - 2*i. Is y(37) a prime number?
False
Let h = 7048 - 3990. Suppose z - 441 - h = 0. Is z a composite number?
False
Suppose 35 = -5*v - a, 4*a - 7 = 4*v - 3. Is 846/27 - -6 - (-2)/v prime?
True
Let d be ((-66)/12)/((-2)/12) + 2. Is 11625/d + (-2)/14 + -1 a composite number?
False
Let m(v) = -12*v - 35. Let h be m(-5). Suppose 4*k + k = h. Suppose -j + 6*j + 2707 = 4*b, -2*b + 1331 = k*j. Is b a prime number?
True
Suppose 6*n - 33836 = 469186. Is n prime?
False
Suppose 0 = -20*h + 51 + 9. Is (-17 - -16)/(h/(-11409)) a prime number?
True
Let v = 42915 + 51286. Is v a composite number?
False
Let g(j) = -20*j - 29 - 20*j - 42 - 31*j + 44*j. Is g(-12) prime?
False
Let q(b) = 51*b**3 - 2*b**2 - 6*b + 9. Let t be 256/96*(-3)/(-4). Is q(t) a prime number?
True
Suppose 107 = -11*j + 184. Suppose -11*o + 29826 = j*o. Is o prime?
True
Suppose 0 = 4*q + 5*x - 23, 2*q + 4*x = x + 13. Suppose 2*i - 1256 = 2*o, -2*i + 8*o = q*o - 1244. Is i prime?
True
Let b(q) = 2347*q**3 - q**2 - 37*q + 194. Is b(5) prime?
False
Suppose -v = -4*y +