number?
False
Let l(g) = -3*g + 3*g - 2*g**3 - 4*g**2. Let q be l(3). Is (-31970)/q - 4/18 prime?
False
Suppose -q + 4930 = 4*c, 4*q - 13195 - 6609 = 5*c. Is q a prime number?
False
Let x(d) = -d**3 + d**2 + d - 1. Let z be x(1). Suppose 0*q = j + 4*q + 217, z = -5*j - q - 1009. Is ((-12)/(-18))/((-2)/j) composite?
False
Let p = -18 + 25. Let b(g) = 80*g + 14. Let x be b(p). Suppose 2*k = -5*c + x, k + 2*k - 861 = -2*c. Is k prime?
False
Suppose 3027 = t - 1610. Is t prime?
True
Suppose 13*t - 22722 = 20659. Is t a prime number?
False
Suppose -3*k + 75 = 3*t, 2*k = -t + 38 - 9. Let u = 25 - t. Suppose u*h - 109 = -3*j, -4*h + 75 = 2*j + 9. Is j composite?
False
Let u(z) be the second derivative of 3*z**5/4 + z**4/6 - 2*z**3/3 + 3*z**2/2 + 23*z. Is u(2) a composite number?
True
Suppose -5*x = -3*x - 2. Suppose -f + 4*n - 2*n = -6, -4*n - 12 = 5*f. Is x*((-1319)/(-1) + f) prime?
True
Suppose 3*y = 4*f - 1, -7*y + 2*y + 3*f + 13 = 0. Let b(h) = 160*h + 3. Is b(y) prime?
False
Suppose 0*l = 4*l - 8, 4*y + 3*l = 30. Suppose 3*j + 0*t - 658 = -5*t, 20 = 4*t. Suppose -y*z + 7*z = j. Is z prime?
True
Let q(r) be the first derivative of 4*r**3/3 + 5*r**2/2 + 2*r - 29. Let h = -1 + 6. Is q(h) prime?
True
Let r(b) = b**2 + 15*b + 16. Let a be r(-14). Suppose 0 = -x - o + 8, 5*x = 2*x - a*o + 20. Suppose -9*s + x*s + 3*k + 1462 = 0, -3*s + k + 878 = 0. Is s prime?
True
Let w = -1 + 5. Suppose 6*o - w*o - 348 = 0. Let r = o - 107. Is r a prime number?
True
Let d = -906 - -53. Let r = d - -1527. Is r prime?
False
Let x(s) be the first derivative of s**5/10 + 5*s**4/12 + 2*s**3/3 - 2. Let m(t) be the third derivative of x(t). Is m(8) composite?
True
Let d be (-2)/(4/3 + -1). Is (2*-3)/(d/1779) composite?
True
Suppose 4*d - 516 = 116. Let m = 231 + d. Is m a composite number?
False
Let r = 3386 + -1057. Is r composite?
True
Let v(s) = 15*s**2 + 7*s + 217. Is v(-32) prime?
False
Let x(d) = -d - 8. Let m be x(-12). Suppose 5*h - 215 = -m*i + 68, h + 131 = 2*i. Is i a prime number?
True
Let m(b) = b**3 + 4*b**2 - 4*b - 2. Let u be m(-5). Let f be ((1 - u) + -1)*28. Suppose 0 = 4*t + 4*d - 196, -4*t = 2*d - 0*d - f. Is t a prime number?
False
Let s(j) = -j**3 + 9*j**2 - j + 2. Let b be s(7). Let r(d) = -d**2 - 4*d + 1. Let k be r(-2). Suppose -2*g = z - 4*z + 112, 2*z - k*g = b. Is z a prime number?
False
Let d be 15/(-10) - (-111)/6. Suppose d*b - 15*b = 20. Is (-4)/b - 1007/(-5) composite?
True
Is 94289 + (12/28)/(36/168) a prime number?
True
Let r(x) = -x**2 - 1. Let c(n) = 141*n**2 - 3*n + 1. Let a(o) = -2*c(o) + 6*r(o). Let l be a(-6). Is l/(-20) + (-4)/(-10) a composite number?
False
Let m(d) be the first derivative of d**4/4 + 10*d**3/3 - 5*d**2 + 14*d - 4. Let f be m(-11). Suppose 6*l = f*l + 438. Is l prime?
False
Let b be (-2)/(-11) + (-68390)/77. Is ((b/9)/(-4))/(4/66) composite?
True
Suppose 2*y + 7 - 17 = 0. Let p(m) be the third derivative of 11*m**5/30 - m**4/2 + m**3/6 - 2*m**2. Is p(y) a prime number?
True
Let u be ((-11)/(44/(-40)))/2. Suppose 5*i + u*j = 70, 5*i + 2*j - 43 = 33. Suppose -18*v = -i*v - 188. Is v composite?
True
Suppose -q = 2*q. Suppose 2 = -q*w - 2*w. Is -118*w*3/6 composite?
False
Let c(g) = -28*g**3 + 6*g**2 - g - 4. Is c(-3) a composite number?
False
Suppose 3*h + g - 10257 = -3*g, 2*g + 17069 = 5*h. Suppose -3*s - 2*s + h = 0. Is s composite?
False
Suppose -2*r = -4*p - 26, 5*p = -6*r + 4*r - 10. Is (-8)/(144/(-9490)) - p/(-18) composite?
True
Let f(g) be the third derivative of -g**4/12 + 2*g**3/3 - 6*g**2. Let b be f(-2). Suppose -5*i - 5*s = 0, -4*s - s - b = i. Is i prime?
True
Let s be -2*(-4 + 1 + 1). Suppose -s*d = d - 475. Suppose -o + d = -2*h, -20 = 2*h + 2*h. Is o prime?
False
Let i = -28 - -10. Is 5064/15 - (i/15)/(-2) prime?
True
Is (4/(-10))/(1*(-6)/575265) a prime number?
True
Let n(b) = -980*b - 7. Let m be n(-2). Let q = m + -1090. Is q prime?
True
Let g(q) = 2*q**3 + 6*q**2 - 18*q + 12. Let b be g(9). Let l = 279 + b. Is l a prime number?
False
Suppose 0 = 41*k - 152728 - 111435. Is k composite?
True
Let m = -627 + 1493. Let b = m - -2028. Let k = -1485 + b. Is k a composite number?
False
Let a be (-9)/12 - (-38)/8. Suppose 36*x = 38*x - 494. Suppose 0*v - 3*k + x = a*v, k - 179 = -3*v. Is v composite?
True
Suppose -36*f = -40*f + 2724. Is f a composite number?
True
Suppose 5*c - 33*c = -223412. Is c prime?
False
Is (-16)/104 - 88129/(-13) prime?
True
Let w be ((-30)/(-35) - 1) + (-13947)/(-21). Suppose -10*o + 5874 = w. Is o prime?
True
Suppose -6*b + 21*b - 15 = 0. Suppose -3*x - h = 6 + 5, 3*h + 17 = -x. Is (251/x)/(b/(-2)) a prime number?
True
Let c = 61 - -116. Suppose -2*s + 3*s = c. Is s composite?
True
Let i(x) = -x - 3. Let q be i(-2). Let u = 8 - 14. Is (q - (-9)/u)*-118 composite?
True
Let y = 18 + -6. Let x be 1/(-2)*-1*0. Suppose x = 8*j - y*j + 1324. Is j composite?
False
Let s(y) = -y + 5. Let h be s(11). Let n be h/(-6) - (-22268)/2. Is n/51 + (-8)/6 a composite number?
True
Let x(p) = 3*p + 3*p + 15 - 4*p - p. Let l be x(-13). Suppose 5*t = l*t + 9. Is t a composite number?
False
Suppose 3*h + 0*t - 4*t = 0, t - 15 = -3*h. Suppose -l = -2*l + 5. Suppose 0 = -0*j + h*j + 2*z - 348, -l*j - 4*z = -429. Is j a composite number?
False
Let h = -5465 + 10302. Is h prime?
False
Let j(q) = q**3 - 5*q**2 + 6*q + 9. Suppose 5*v = -y + 16, -4*v = -3*y + 28 + 39. Let w be (-3)/(-9)*y/1. Is j(w) prime?
True
Suppose 20*f = -5*f + 674925. Is f prime?
False
Let j(p) = p**2 + 12*p + 20. Let g be j(-8). Let w(a) = -12*a - 12. Let f be w(g). Is 2/(-11) - (-4116)/f prime?
True
Suppose 7 + 3 = 5*r. Suppose f = -r*b + 3, -5*f - b = -3*f - 6. Is 18/(-12)*(-298)/f a prime number?
True
Suppose 2*l - 2*n = -2*l + 23990, 3*l + 2*n = 17996. Is l composite?
True
Let p(v) be the third derivative of 53*v**4/12 - 5*v**3/6 + 13*v**2. Is p(4) composite?
False
Is (18/(-30))/(9/(-53895)) a composite number?
False
Suppose -d + 8 = 3*d - 4*a, 4*a - 32 = -4*d. Suppose -2*t - 2*o = -1057 - 2471, 0 = d*o + 25. Is t a composite number?
True
Let c = -4092 + 6461. Is c a composite number?
True
Suppose -3*f + 3 - 21 = 0. Let i(g) = 1 - 13*g - 2 + 3*g. Is i(f) a prime number?
True
Let r(j) = 43872*j - 53. Is r(1) a prime number?
False
Let l(h) = -4*h + 0*h**2 + 6*h + 0*h**2 - h**2 + 1. Let p(r) = -2*r - 1. Let f(m) = -3*l(m) - 2*p(m). Is f(-2) prime?
False
Let i(j) = 214*j**2 - j - 148. Is i(-15) composite?
False
Suppose 92167 - 31381 = 18*a. Is a composite?
True
Suppose 0 = 6*n + 8 - 8. Suppose n = 4*i - 2*z - 640, 0 = -5*i + 2*i - z + 475. Is i composite?
True
Suppose -2*k = 2*k - 532. Let b be k - -5 - (-6)/2. Suppose -6*m = -3*m - b. Is m prime?
True
Let t = -1428 + 2554. Is t prime?
False
Let o be (-1)/((0 + 2)/(-12)). Suppose -12 = 4*q, -4*q = -0*w + 4*w + 468. Is w/(-9)*o + 3 a prime number?
True
Let y(v) = 100*v - 21. Let s = 71 - 66. Is y(s) prime?
True
Suppose -12*c - 2*c = -70826. Let v = -2102 + c. Is v a composite number?
False
Suppose -j - 4*t + 21689 = 0, -5*t - 8528 - 56624 = -3*j. Is j a composite number?
True
Suppose -2*p + 2*z = -3*z - 512, 0 = -2*p - 3*z + 496. Is p composite?
False
Let s be (9/7 - 1) + (-110)/(-154). Let v(y) be the first derivative of 34*y**3/3 + 1. Is v(s) prime?
False
Let m be (-6)/36 - 2/(-12). Suppose -w + 10 = v - 2*v, -3*w + 2*v + 26 = m. Suppose -3*g - 5*k = -w*g + 578, -4*g + 3*k = -789. Is g a prime number?
False
Suppose y - 5 = -2. Suppose -8*h + y*h + 4835 = 0. Is h composite?
False
Let r(l) = 773*l**2 - 5*l - 3. Let k be r(-3). Suppose -5*c = 2606 + k. Let d = 2700 + c. Is d composite?
True
Is (-59 - -22)*(-1*437 - 2) a composite number?
True
Suppose 1477 = y + 2*z, 4*y - 2*y - 4*z - 2954 = 0. Suppose -h + y = -t, -2*t + 7413 = 4*h + h. Is h prime?
True
Suppose 139 = -s - 3*q + 1737, s + 12*q - 1643 = 0. Let a(w) = -w. Let o be a(-2). Suppose -o*t + s = -1883. Is t composite?
False
Suppose 0 = j - 5, -2*z + 5*j - 3246 + 7855 = 0. Is z a composite number?
True
Suppose 7*t + 399 = -0*t. Let b = t - -374. Is b a composite number?
False
Suppose -1 = c + 1, c + 6 = 2*x. Suppose -4*m + 4*b = -3080, -2*m + 1533 = x*b + 3*b. Is m prime?
True
Suppose 0 = -5*x + 4196 + 1519. Suppose -8*i + 11*i = x. Is i composite?
True
Let t(k) = -k**3 + 4*k**2 - 4*k + 3. Let x be t(2). Suppose x*l + 3*d +