posite number?
True
Let v = 140979 - -33620. Is v a prime number?
True
Suppose 30*v - 31*v + 3 = 0. Suppose 6 = 2*b, 0 = -v*u + 5*b - 3*b + 2499. Is u a prime number?
False
Let u(m) = -9*m - 41. Let v be u(-6). Let s(f) = -3*f + 71 + 0*f - v + 28. Is s(20) a prime number?
False
Let c = -107 - -141. Let l be 6/(-51) + 12822/c. Suppose 4*f - y - 1613 = -6*y, -4*y - l = -f. Is f a composite number?
False
Suppose 0 = -5*g + 1116 + 374. Let j = -2 - -2. Is g - (1 + j - 3 - 1) a composite number?
True
Suppose 34072 = 9*h - 11216. Suppose -2*c - 674 = -h. Is c composite?
False
Suppose 34 = 12*a + 370. Let i = a + 30. Suppose -b - 2*b - 6 = 0, 3*b - 1712 = -i*r. Is r prime?
True
Let k(h) be the first derivative of 1301*h**2 - 74*h + 106. Is k(4) composite?
True
Let y(s) = 30*s**3 + 38*s**2 + 9*s - 253. Let p(b) = 14*b**3 + 20*b**2 + 4*b - 126. Let t(d) = -7*p(d) + 3*y(d). Is t(-14) composite?
False
Let n(z) = -1741*z + 1594. Is n(-31) a composite number?
True
Suppose 12*g - 43 - 17 = 0. Suppose -d - 4*s + 6778 = -5*s, g*d = 4*s + 33891. Is d prime?
True
Let i = 271373 + -117224. Is i a prime number?
False
Let k be (-8)/(-36) + (-2)/9. Let j = -403 + 475. Suppose k = 4*v - 5*y - j, -3 - 44 = -3*v + 2*y. Is v composite?
False
Let u = -3263 - -4425. Let c = 70 - 45. Let g = u - c. Is g composite?
True
Let t(s) = 17*s + 5. Let l(r) = r**3 - 7*r**2 - 5*r - 6. Suppose c - 33 = 5*a, 2*a = 5*c - a - 55. Let m be l(c). Is t(m) prime?
True
Suppose -3*m = -5*u + 49, -u = -2*u - 4*m - 4. Suppose -u*c + 70 = -18. Suppose -c*f - 6756 = -17*f. Is f a composite number?
True
Suppose 0 = 3*k - k - 10. Let i be 4/13*((-3549)/26)/(-21). Suppose 0 = j - k*j - i*y + 7006, -5*j + 3*y + 8752 = 0. Is j composite?
True
Suppose 0 = l + 5*u + 7, 5*u + 0*u = 2*l - 16. Suppose -s + 2*x = -16541, -l*x = 2*s - 3268 - 29793. Is s a prime number?
False
Let w(c) = -c**3 - 7*c**2 + 7*c + 4. Let y be w(-8). Suppose -5*d = 4*b + 15405, 3 = -3*d - y. Is -2 + b/(-7) - 4/14 composite?
False
Suppose 9 = -6*j - 9. Let l be 0/(0 + (j - -2)). Suppose l = 31*o - 26*o - 5275. Is o a prime number?
False
Let l = 26665 - 15226. Suppose -3*g + 4*t + 6889 = 0, -6*g - 4*t + l = -g. Is g a prime number?
False
Let j(l) = -3126*l + 35. Let r be j(24). Let k be r/(-7) + 12/42. Suppose k = 9*g - 6*g. Is g a prime number?
True
Let n(d) = 74*d**2 - 2*d + 1. Suppose 15 = -5*g + 4*k, -2*g - 3*g + 2*k - 15 = 0. Is n(g) prime?
True
Let w = 34467 - 14404. Is w prime?
True
Suppose 8*u - 2*b = 11*u - 644967, -b - 859945 = -4*u. Is u a prime number?
True
Let y(j) = 2962*j + 3471. Is y(38) prime?
True
Suppose -48*y + 187387 = -45*y - 2*g, g + 62463 = y. Is y prime?
False
Let c(u) = 805*u**2 + 26*u - 3. Let p be c(4). Suppose 0 = 79*o - 76*o - p. Is o a prime number?
True
Suppose 8*y = 2*y. Suppose y = -6*n + 5*n - 265. Let x = 178 - n. Is x prime?
True
Let y(z) = 19*z - 103. Let t be y(5). Let d(f) be the second derivative of -9*f**3/2 + 3*f**2/2 - 2*f. Is d(t) composite?
True
Let p(u) = u**2 + 12*u - 20. Let t be p(-14). Suppose -t*b = 19178 + 3638. Let m = -1765 - b. Is m a composite number?
False
Let n(t) = 2*t**2 + 16*t + 35. Let z(s) = s**2 + 1. Let d(b) = -n(b) + 3*z(b). Let j be d(-11). Suppose 5*k - 5*p - j = 0, -2*k = -p - 68 - 38. Is k composite?
False
Let u = -30 + 33. Suppose -u*k - 2*b = -1891, k + 4*k - 3160 = -5*b. Suppose 9*i - 6*i = k. Is i a composite number?
True
Let g(v) = -3387*v**2 - 3*v - 4. Let l be g(-5). Let s be l/(-34) + (-4)/34. Suppose 0*d - 2*d + 2*c = -s, 3*c - 1229 = -d. Is d a composite number?
True
Suppose -3*j - 14 + 26 = 0. Suppose -5*k + 7175 = -2*i, -k - 265 = -j*i - 1682. Is k prime?
False
Let f(j) = 363*j**2 - 6*j + 8. Let z be f(4). Suppose -4*r - 3*k + z = 553, 6550 = 5*r + 5*k. Let w = 2502 - r. Is w composite?
False
Suppose 42*b - 50*b = -228072. Suppose -29*z - b = -128066. Is z a composite number?
False
Suppose 168*i - 134*i = 4976308. Is i prime?
False
Let c = -1957 + -11752. Let t = -5242 - c. Is t a composite number?
False
Let s(b) be the second derivative of b**4/6 - b**3/3 - b**2 - 13*b. Let m be s(-2). Let r(n) = 10*n + 23. Is r(m) a prime number?
False
Is -1233678*4/(-96)*4 prime?
False
Let t = 45 + -43. Suppose u = 2*f + 24, 5*u + t*f = -0*f + 168. Is u/6 + -5 + 316/6 composite?
False
Suppose 8 = 4*d, -3*m + 1126 = -d - 0*d. Let c = 1603 + m. Is c composite?
False
Suppose -96*h + 645167 = -93*h + 2*t, -2*h + 430067 = -5*t. Is h a prime number?
True
Let w(y) = 1403*y**2 - 39*y - 69. Is w(-5) composite?
False
Suppose -29*g + 258211 = 49730. Is 1*-76*g/(-364) a prime number?
False
Suppose -1394 = -7*b + 419. Suppose 3*x - b = 4*h + 880, 3*h + 15 = 0. Let u = x + -120. Is u a prime number?
False
Suppose -5*v = -2*l - 92300 - 48132, 4*v - 4*l = 112336. Suppose 8*a + 0*a = v. Is a prime?
True
Let r be (-66048)/(-40) - (-3)/(-15). Is (1 + r/(-2))/((-8)/16) prime?
False
Let h = 109 + -106. Suppose -3555 = 15*t - 18*t - h*k, -t + 1189 = -k. Is t a prime number?
True
Let x = -63 + 64. Is (4 - x) + (-5836)/(-2) prime?
False
Is (27/24 - 1)*2411893 + 21/56 a prime number?
True
Let t(l) = l**3 + 6*l**2 - 2*l - 10. Let o be t(-6). Suppose o*d + 3*d + 115 = 0. Is (-339 - d)*(-2)/8 a composite number?
False
Is 1*1932935*(4 + (-209)/55) a prime number?
True
Let q(x) = -2*x + 6. Let p be q(4). Let v be 5*((-18812)/10)/p. Suppose -c + v - 1530 = 0. Is c composite?
True
Suppose 13*r = 330492 + 289907. Is r a prime number?
False
Let g = 911 + -361. Suppose -2*c = g - 1932. Is c a prime number?
True
Suppose 4*z - 2*m - 2*m - 36 = 0, -m = -2*z + 15. Suppose 0 = -2*b + 3*l + 25, z*b + 4*l = 4*b + 4. Suppose b*q + 2986 = 8882. Is q a composite number?
True
Suppose 2*b - j = 38, 0 = -j + 4*j + 12. Is (-26853)/(-3)*(18 - b) a prime number?
True
Let l be -3*(-20)/15 - 29615. Is l/(-4) - (-1)/(8/2) prime?
False
Suppose 13*h + 98 = -h. Let b(g) = g + 11. Let n be b(h). Suppose -5*d = -n*x + 3083, 7*d - 776 = -x + 10*d. Is x a composite number?
True
Let d(h) = 2 - 2 - 3*h - 6 + h**2. Let w = -14 + -2. Is d(w) composite?
True
Let r(g) = -g**3 + 2*g**2 + 4*g - 12453. Let v be r(0). Is (-4)/6 - v/9 a composite number?
True
Let i be (-8)/2*(1 - 0). Let a(h) be the third derivative of -13*h**6/40 - h**5/20 + 5*h**4/24 + h**3/6 + 91*h**2 - 5*h. Is a(i) composite?
True
Let n(w) = 2*w**3 + 9*w**2 + 19*w - 11. Let d be n(10). Let f = 5178 - d. Is f a composite number?
False
Let f(x) = 9*x**2 - 232*x - 162. Is f(29) a prime number?
False
Suppose -23*s + 20*s + 4*j = -246162, 5*s = -j + 410270. Is (s/(-8))/((-8)/32) prime?
False
Let h be (-6)/10*11/((-77)/70). Suppose -h*s = -3*l - 8*s + 17719, -2*l + 4*s = -11786. Is l composite?
False
Let n = 4650 - -785. Is n a composite number?
True
Suppose -14*n + 105583 = 5*n. Is n prime?
True
Suppose -5*d + 3*d + 6 = 0. Let r be (d/(9/11670))/1. Suppose 0*m + r = 10*m. Is m composite?
False
Suppose 0 = 28*r - 31*r + 15. Let s be (r + 28/(-8))/((-6)/(-8)). Suppose 5*p + 25 = 0, 0*p + 1901 = s*u + p. Is u a prime number?
True
Suppose 5*k + 5 = 0, -4*z + 0*k = 2*k - 94. Suppose -z*c + 25*c = 4. Suppose 6691 - 2207 = c*i. Is i a prime number?
False
Let z = 11 + -9. Let b(o) = -4 - z*o**2 - 5*o**3 + 14*o - 5*o - 3*o + 4*o**2. Is b(-3) a prime number?
True
Let n = -753 - -756. Suppose -n*x + 43007 = -39826. Is x composite?
False
Let m(a) = 5*a**3 + 3*a**2 + 2*a + 21. Suppose r - 10 = -6. Is m(r) a composite number?
False
Suppose 0 = 2*h - 16*h + 392. Suppose 41*c = h*c + 4121. Is c prime?
True
Let f = -5618 + -4022. Let g = 19407 + f. Is g a composite number?
False
Let m be (-6 + (-6)/(-2))*10364/(-6). Let a = -2082 + m. Suppose q - a = 687. Is q prime?
False
Let g be 0*(-1)/2 - (0 - 5). Suppose -2580 = g*i + 3860. Is -1 + (0 - -4) - i prime?
True
Suppose -5*q = -10, 2*x = -4*q + 18 - 6. Suppose -5*l + 9517 = m - 0*m, -19058 = -x*m + 2*l. Is m composite?
True
Suppose 0 = -6*g + 27*g. Suppose -5285 = -d + 4*u, -4*u = -5*d - g*u + 26505. Is d composite?
True
Is ((-1024)/(-112) + -9)/((-3)/(-7433223)) a composite number?
False
Suppose 168 = 4*c - 8*c. Let y = c - -38. Is y/(-2)*1972/8 a prime number?
False
Let x(v) = -745*v - 19. Let h(z) = 2*z - 8. Suppose 4*a - 5*a + 3 = 0. Let c be h(a). Is x(c) composite?
False
Suppose n + 0*j = -3*j + 24, j - 3 = 0. Let y be ((-8)/2