s u(-7) a prime number?
False
Let p(l) = 187*l + 14. Is p(23) a composite number?
True
Let v = 17318 + 5720. Is v a composite number?
True
Suppose -6*p = -2*p - 40. Suppose 2015 = 5*z + 340. Suppose -p = 5*q - z. Is q a prime number?
False
Let i(q) = -14*q + 1. Let m be i(-18). Suppose -m = -d - 68. Is d a prime number?
False
Suppose -4524 = 3*h - 9*h. Let m = 11 + -11. Suppose -4*j - 126 + h = m. Is j prime?
True
Let a(n) = -6726*n + 245. Is a(-14) a prime number?
False
Let w(m) = -66*m**2 - 1. Let q be 2/(15/(-6) + 3). Let h be w(q). Let c = h + 1622. Is c composite?
True
Let q(i) = 0*i**3 + 0*i + 2 - 5*i - 2*i**3 + 11*i**2 + i**3. Is q(5) composite?
False
Let z(n) = -13*n + 1. Let p be z(-4). Suppose f = p + 5. Suppose 4*g = -u + f + 101, u = -g + 162. Is u a prime number?
True
Suppose -5*j + 2*j - 12 = -2*q, -3*j = 5*q + 12. Is 11 - (-3 - (1 - q)) a composite number?
True
Let u(r) = -282*r**3 + 5*r + 5. Is u(-2) prime?
True
Let z(x) = 155*x - 458. Is z(29) prime?
False
Suppose n + l = 3*n + 7, -13 = 3*n - l. Let i(w) = w**2 - 5*w - 13. Is i(n) prime?
True
Is 2*((-52050)/(-12) - 6) prime?
True
Let y = 4423 - 2264. Is y a composite number?
True
Let v be (-7 + -7)*(0 + 0 + -1). Let w(q) = 5*q**2 - 8*q - 5. Is w(v) composite?
False
Is (-4)/(-12) + 31191/9 composite?
True
Suppose 3 = 2*g + g + n, -9 = 4*g - 3*n. Let v = -4 + g. Is v/(-6)*8937/18 prime?
True
Let p be 1 - -1332 - 12/(-4). Suppose p - 19 = 3*v. Is v prime?
True
Suppose -1922 = -3*s + s. Suppose 1935 = 4*a + 3*b, 2*a - 4*b = b + s. Suppose 2*y = a + 855. Is y a prime number?
False
Let v(x) = x**2 + 24*x + 49. Let d be v(-21). Let m(h) = 19*h**2 - 16*h + 19. Is m(d) a prime number?
True
Let d = 7474 + -4047. Is d a prime number?
False
Suppose 19*z + 93989 = 299626. Is z a composite number?
True
Is (-124)/(-28) + -5 + (-378470)/(-14) a composite number?
True
Suppose -3*l + 4*q = -3081, -3*q = 118*l - 119*l + 1022. Is l a prime number?
True
Suppose c = -u + 19, -4*c + 7*c = 2*u + 82. Suppose -c*t + 21*t + 2631 = 0. Is t a prime number?
True
Let t(l) be the second derivative of -l**5/5 + l**4/12 + l**3 + 3*l**2/2 + 2*l. Suppose 38*k - 69 + 221 = 0. Is t(k) composite?
False
Is (-3085)/30*-3*(8 + -2) prime?
False
Let y be 2/((-8)/(-19)) - 138/184. Suppose 4420 = j - 0*j - c, -y*c - 8838 = -2*j. Is j composite?
False
Suppose 6*g + 8356 = -2942. Let u = 2680 + g. Is u a prime number?
True
Let d(m) = 2275*m - 1. Let x be d(1). Is (x/15)/((-8)/(-20)) prime?
True
Suppose 30*n = 26*n + 232. Is n a prime number?
False
Let a = 12896 - 8755. Is a a composite number?
True
Suppose 0*x = -5*x + 95. Is x a composite number?
False
Suppose 143773 = 3*q + 976. Is q composite?
False
Suppose -5*o + 48977 = -6*w + 3*w, -5*w = 5*o - 48945. Is o a prime number?
False
Let v = 4 + 1. Suppose -3*n + 54 = -3*h, -n + 6*n = -4*h + 54. Suppose -n = -v*z + 1. Is z a prime number?
True
Let p(b) = 33*b**3 + 4*b**2 - 6*b - 26. Is p(7) prime?
True
Suppose 5*t - u + 10 = 0, 3*t - 4*u + 0 + 6 = 0. Let y be (-25)/(-5)*(-1 - t). Suppose 0 = -7*l + y*l + 190. Is l a prime number?
False
Suppose 4*v - 11 + 47 = 4*n, 3*v + 5*n = 13. Let f be (1 + 24/v)*-1. Suppose 7*y = -4*q + 2*y + 1177, 5*q - f*y = 1460. Is q a composite number?
False
Suppose -2*o + 6219 + 187 = 0. Is o composite?
False
Let n = 2638 - -1123. Is n a composite number?
False
Suppose 4*r + 7*r = 88231. Is r a prime number?
False
Is -3 + 0 + (39 - -1283) a composite number?
False
Suppose -d - 5*s + 14 = 0, 2*d + 3*d - 41 = 4*s. Suppose d*x = 6*x + 6861. Is x a composite number?
False
Let v(w) = 56*w + 7. Let i be v(3). Let q = i - -87. Suppose q = 3*h + 5*t, -2*t + 31 = 3*h - 216. Is h a prime number?
True
Suppose -2*o = 4*a - 9290, 14*a - 15*a - 9285 = -2*o. Is o a composite number?
False
Let i(f) = -15*f**2 - 30*f - 5. Let z(m) = -7*m**2 - 15*m - 2. Let h(k) = -6*i(k) + 13*z(k). Let t be h(-15). Is t + 3/(-3 - 0) a prime number?
True
Let f(g) = g**3 + 2*g**2 + g + 977. Is f(0) composite?
False
Let d be 175/56 - 3/48*2. Is (-1 - d) + 2 - -3835 prime?
True
Suppose 0 = 16*x - 43256 - 1752. Is x a composite number?
True
Suppose -5*x - 174431 = -574626. Is x a prime number?
True
Suppose -v - 56 = -4*v - 4*b, 3*b - 15 = 0. Suppose -r - 3*i - 8 = 0, -5*r + v = -5*i - 28. Suppose 5*x = r*x + 307. Is x a prime number?
True
Let b = 967 + -2422. Let n = -1004 - b. Is n composite?
True
Suppose 5*k = -7*k + 61764. Is k a prime number?
True
Let j(g) = -240*g - 5. Let d = 37 + -17. Let t = 16 - d. Is j(t) prime?
False
Let q = 21 + -6. Let u(p) = -7*p + q + 17*p - 10. Is u(5) a prime number?
False
Suppose 5*j = 6 + 14. Suppose -h + 25 = j*h. Suppose -4*s - 13 = -h*s. Is s a prime number?
True
Let x = -168 + 168. Let m(h) = -7*h**3 - 4*h**2 - 4*h - 4. Let o be m(-4). Suppose x = 5*q + 26 - o. Is q a composite number?
True
Let v(x) = 0*x + 19 - x + 8*x + 4*x**3 - 3*x. Is v(8) a prime number?
True
Is ((-7032)/(-20))/(2/5) a composite number?
True
Is (-495550)/(-66) + 2/3 composite?
True
Let l be 1 - -744 - (-10 - -6). Let t = -502 + l. Let y = t + -141. Is y a prime number?
False
Let p be (3 + -2)/(1/(-229)). Let q = 532 - p. Suppose -5*a - 126 = -q. Is a a composite number?
False
Suppose -2*u + 0*g - g = 0, -5*u + 18 = -2*g. Suppose 5*p - 3*m = 18, -u*m - 2*m - 4 = 0. Suppose -5*b = -p*i + 434, 76 = i + 4*b - 63. Is i composite?
True
Let d be (-4 + -5 + 1123)/(4/6). Suppose -3*l + 0*l = -d. Is l prime?
True
Let k(i) be the first derivative of 17*i**4/8 + 7*i**3/3 + 7*i**2/2 - 4. Let y(g) be the second derivative of k(g). Is y(7) a composite number?
True
Let d(u) = 2*u + 31. Let z be d(-15). Is 213 + 2 + (-6)/z a prime number?
False
Suppose -28*u + 32*u = 7796. Is u a prime number?
True
Suppose g - 3677 + 567 = 0. Suppose -2*n - g = -7*n. Suppose 3*h - 5*h = -n. Is h prime?
True
Suppose -s + 0*s = -4. Suppose -s*y = 5*j - j - 24, -2*y + 3*j - 8 = 0. Suppose y*o + z = 619, -846 - 95 = -3*o - 4*z. Is o prime?
True
Let f be ((-15)/20 + 6/8)/(-1). Suppose 0 = -c + 3, f = -3*k + 2*k + 2*c + 881. Is k a prime number?
True
Let k(d) = -d**3 + 2*d**2 + 3*d + 1. Let q be k(3). Suppose -5*j = -q - 4. Let w(n) = 52*n**2 - n + 2. Is w(j) a composite number?
False
Suppose -3645 = -r - 4*n + 14134, -2*n = 0. Is r a composite number?
True
Suppose -3*a = -f + 3, -2*f - 2*f - 4*a = 4. Suppose 2*v - 5 - 7 = f. Let j = 5 + v. Is j composite?
False
Suppose -5669 - 1007 = -4*r. Is r a composite number?
False
Suppose 0 = 3*b + 12, 0 = -d + 4*d + 2*b - 85. Suppose -s - d = -540. Suppose h + 2*v - 6*v = s, 0 = -5*h - 3*v + 2430. Is h a composite number?
True
Let z(s) be the second derivative of -s**4/6 + 5*s**3/3 - s**2 + 10*s. Let n be z(5). Is 2346/9*(-3)/n prime?
False
Let r = 127 + -27. Suppose r = -s - s. Let n = 99 - s. Is n a composite number?
False
Suppose -2*o + 2*l = -60582, 0 = 2*o - 4*o - l + 60576. Is o a composite number?
True
Suppose 161*x = 121*x + 280680. Is x composite?
True
Let m = -366 + 518. Suppose -76 = -b + 2*f, b - m = -b - f. Is (20/16 + -1)*b a prime number?
True
Suppose 21 = w - 3*v, -4*w + 6*v + 56 = v. Suppose 6769 = w*c - 2*c. Is c composite?
False
Suppose v + 3 = -1, 0 = 4*p - v - 3520. Suppose 5*u + m - 3584 - p = 0, -5*u = 4*m - 4457. Is u a prime number?
False
Let k = 547 + -324. Is k a prime number?
True
Suppose -4*k = -5*n + 21615, -n = 2*n - 5*k - 12956. Is n composite?
False
Let o(r) = r + 3. Let b be o(0). Suppose b*a - 17 = -5. Is ((-19416)/48)/((-2)/a) a composite number?
False
Suppose -377208 = -39*z + 164931. Is z a prime number?
True
Suppose k - 3*k = -4. Suppose -2*g = 4*f - 3980, 2*f + 3*g + 89 = 2087. Suppose k*o - f = -o. Is o composite?
False
Let h = -7 - -11. Let k(d) = -2 - 2 + h*d**2 + 4 - 3*d + 1. Is k(-6) prime?
True
Let w(j) = -2728*j - 167. Is w(-19) composite?
True
Let d = 951 + 106. Is d a prime number?
False
Let p = -63204 - -114461. Is p a prime number?
True
Let q = -42 + 46. Is 134/q + (2/4)/1 composite?
True
Let n = 3454 + -2373. Is n a prime number?
False
Suppose 100*t = 102*t - 22366. Is t composite?
True
Suppose -3*d + 12 = 0, 5*d + 11 = j + 35. Let x(s) = 71*s**2 + 3*s - 1. Is x(j) composite?
False
Let y(l) = 11662*l**2 + 2*l - 1. Is y(-1) prime?
False
Suppose 0 = 2*z - 8, -4*s = -89*z + 90*z - 3840. Is s a prime number?
False
Suppose