3*x - 9. Let y(w) = 47*w**2 + 6*w - 4. Let s(a) = -3*c(a) + 7*y(a). Is s(3) prime?
True
Suppose -5*r = -4*r + i + 3, -3*i = -3*r - 3. Let n be (-1 + -14)*r/6. Suppose -345 = -n*f + 250. Is f a composite number?
True
Let g be 8/((-3)/(3/1)). Let f = g - -6. Is f - -4 - -11 - -1 prime?
False
Suppose -19 - 7 = -2*u. Let x = -7 + u. Is x a composite number?
True
Suppose p - 603 = -226. Is p a prime number?
False
Let z(p) = p**2 - p + 3. Let w be z(0). Suppose -2*r - w*h + 7*h = -262, 512 = 4*r - 2*h. Is r a prime number?
True
Let z(k) be the third derivative of -221*k**4/24 + k**3/6 - 3*k**2. Is z(-2) a composite number?
False
Is 1 - -203 - (-1 - 1)/(-2) prime?
False
Suppose 0*h + 5*h = -20. Let a be ((-14)/h)/((-4)/(-8)). Suppose 2*s = 297 - a. Is s a prime number?
False
Let a(t) be the third derivative of -t**5/60 + 5*t**4/24 - t**3/6 + t**2. Let j be a(4). Suppose 2*d - 172 = -3*b, j*b = 2*b + 2. Is d a composite number?
False
Suppose -4*s + 0*s - 18 = -2*j, 24 = -2*s + 4*j. Let c be 4 - (-2 + 4 + s). Suppose -5*n = -q - 165, -3*n = -c*q - 28 - 71. Is n a composite number?
True
Suppose -2*x + 1495 = -195. Let s = x + -1234. Let g = -226 - s. Is g composite?
False
Is 1/(-6) - 40116/(-72) composite?
False
Suppose -u + 24 = -4*u. Let o be 4*5*66/u. Let g = -86 - o. Is g composite?
False
Suppose -5*s = s - 9354. Is s a prime number?
True
Let o be 9 - (-1 - (-1 + 1)). Let p(a) = 3*a**2 + o - 2*a**2 - 2*a**2. Is p(0) a prime number?
False
Let b(o) = -o**2 + 3*o**2 - 23*o**3 + o - o**2 - 266*o**3. Let h be b(-1). Suppose 0 = 5*g - 1224 + h. Is g a prime number?
False
Suppose -l - 2*l + 36 = 0. Let u(w) = -w**3 + 12*w**2 + 3*w - 1. Is u(l) a composite number?
True
Suppose -9*a = -4*a. Suppose a*x - 2338 = -2*x. Is x prime?
False
Suppose 70939 = 11*j - 0*j. Is j prime?
True
Suppose 9 + 3 = -2*t. Let a = 15 + t. Is a a prime number?
False
Let j = -2056 - -3171. Is j prime?
False
Let l = -6 + 8. Suppose -4*y + 581 = 3*d, 0*y - l*d = -2*y + 280. Is y a prime number?
False
Let i(s) = -s**3 + 0*s**2 - 5*s + 2*s + 5 - 5*s**2. Let f be i(-4). Let v = 14 - f. Is v a composite number?
False
Let o(n) = n - 24. Let c(w) = 1. Let x(t) = 6*c(t) - o(t). Let k be x(0). Suppose 0 = -2*d - 4*h + 82, 0 = 3*d - h - k - 72. Is d a composite number?
True
Is 18/135 - 1963/(-15) prime?
True
Suppose 4*c = 291 + 713. Is c prime?
True
Suppose -54 - 2303 = -3*q + 4*i, -i - 2369 = -3*q. Is q a composite number?
True
Let v be 1*2/(-1) - -8. Let n be (v/(-9))/((-4)/42). Suppose n*l = 4*l + 105. Is l a composite number?
True
Is (3 - -3745)*35/28 prime?
False
Let l(z) be the first derivative of -57*z**2/2 + 10*z - 2. Is l(-7) a prime number?
True
Suppose 189*h + 9164 = 193*h. Is h prime?
False
Let l be 0/6 - 24/(-2). Is (l - 53)/(1/(-7)) a composite number?
True
Suppose 3*f - 104 = -a + 5*a, -5*a = 2*f - 54. Let c = 66 - f. Is c a composite number?
True
Let a(t) = -44*t + 1. Let w be a(-2). Let p = 102 + w. Is p composite?
False
Suppose -5*c + 1489 = -4*r, -2*r + 4 = -4. Is c composite?
True
Suppose 10*d - 4 = 9*d. Suppose 0*w = 5*w. Suppose d*j - j - 105 = w. Is j prime?
False
Let z(b) = 2*b**2 - 4*b + 1. Is z(-3) composite?
False
Let a = 13 + -8. Let t(f) = -6 + f**3 - a*f**2 + 0 + 0*f**2 + 5*f. Is t(5) prime?
True
Let k(s) = -5*s**3 - 7*s**2 - 8*s + 1. Let a(m) = -9*m**3 - 14*m**2 - 15*m + 1. Let w(i) = -6*a(i) + 11*k(i). Is w(7) a prime number?
True
Let r(s) = s - 2. Let h be r(8). Let p be (1 + -2)*(-46 + 2). Is (h/(-8))/((-1)/p) composite?
True
Is 2/4*7/((-28)/(-1192)) prime?
True
Suppose w - 215 = -d, -w - 4 = -2*w. Is d prime?
True
Suppose -5*l - 4 = 3*a, -3*l = 5*a + 2*l + 10. Let s(v) = v - 7. Let m be s(5). Is -2*(49/m - a) prime?
True
Let o be 1 + 1 - (-1 - 5). Let i(b) = b**3 - 5*b**2 - 5*b + 9. Is i(o) prime?
False
Let w be -16 - (2 - (4 + -2)). Let p = 19 - w. Suppose 0 = -2*d - 5*g + 48 + p, 0 = d + 5*g - 49. Is d a composite number?
True
Let v(f) = -2*f - 2 + 0*f**3 + 0*f**2 - 2*f**3 + 0*f**2 + f**2. Is v(-2) composite?
True
Let n be ((-3)/(3*-1))/1. Is 35*1*n/1 composite?
True
Is ((-2)/(-3))/(2/447) a composite number?
False
Let t(u) = 2*u**2. Let x be t(-1). Let p be x - (0 - -1) - 2. Let y(c) = -75*c**3 - 2*c**2 - c. Is y(p) prime?
False
Let o = -1 + 5. Let p be -33 - (o - (-1 - -3)). Let i = -2 - p. Is i prime?
False
Let k(u) = -28*u**3 + u**2 + u + 1. Let r be k(-1). Suppose 118 + r = 3*a. Is a composite?
True
Let w(h) = h. Let o be (-5)/(-2) + (-2)/4. Let g be w(o). Suppose 3*c - 110 = -g*c. Is c prime?
False
Suppose 26 = 2*g + 4. Suppose -2*d - 4*v + 12 = v, 5*v - g = -d. Is 4*((-70)/(-8))/d prime?
False
Let n = 6 - 1. Suppose n*u - 617 - 438 = 0. Is u a composite number?
False
Suppose 3*h = 674 - 203. Is h a prime number?
True
Let z = -3 + 6. Suppose -4*t = -a + 7, 3*t - 5*t - 31 = -z*a. Is a composite?
False
Let c = 410 + -219. Is c a composite number?
False
Let m(x) = x**3 - 5*x**2 - 5*x - 7. Is m(8) prime?
False
Let n(c) = -c - 11. Let p be n(-12). Let j(w) be the second derivative of w**5/5 - w**4/12 + w. Is j(p) composite?
False
Let b be 32/(-18) - (-6)/(-27). Let f = b + -6. Is f/(-36) - (-50)/18 a composite number?
False
Suppose 0 = 5*x - 2 - 13. Suppose -2*d + 2031 = -0*f + 3*f, 2*f + x*d - 1349 = 0. Is f a prime number?
False
Let w = 808 + -556. Suppose 0 = s + s - 8. Suppose -s*u + w = -4*h, 4*u - 95 - 189 = -4*h. Is u composite?
False
Let u(f) = f**3 - 4*f**2 - 5*f + 2. Let o be u(5). Suppose -102 = -3*x + o*r - 32, -3*x - 2*r = -86. Suppose 0 = 4*m - 34 - x. Is m a prime number?
False
Suppose -92 = 2*l + 60. Let c = -45 - l. Is c composite?
False
Suppose 0 = 5*d - 6*d - 3. Is 9/((-9)/d) - -32 composite?
True
Let f be (-4)/18 + 353/9. Suppose f - 162 = -r. Is r a prime number?
False
Is ((-1474)/8)/(-5 + (-133)/(-28)) prime?
False
Let w(o) = 2*o**2 - 7*o + 2. Is w(-7) prime?
True
Let x(o) be the third derivative of -o**4/12 - o**3/3 + o**2. Let j be ((-16)/6)/(2/6). Is x(j) a prime number?
False
Suppose 22 - 10 = 3*t. Let f(c) = -t + 4 - 1 + 11*c + 15*c. Is f(1) a prime number?
False
Suppose 810 = 4*m - 354. Is m prime?
False
Let m(n) = -14*n + 23. Is m(-12) a prime number?
True
Suppose -433 - 752 = -5*b. Is b a composite number?
True
Let n = 18 - 8. Let m = n - 6. Suppose 0 = m*p - 212 - 0. Is p prime?
True
Suppose 2*o = 6*o + 4. Is o + 4 - -6*8 a prime number?
False
Let r = 1733 + 318. Is r prime?
False
Let r = -64 - -117. Is r a composite number?
False
Suppose -8*w = -4*w - 12. Suppose k = w*k - 122. Suppose 0*o - o = 4*a - k, 29 = a + 3*o. Is a a prime number?
False
Let n(b) = 3*b**2 - 8*b - 16. Is n(11) a prime number?
False
Suppose -4*b + 18 = -b + x, -2*b - 2*x + 16 = 0. Suppose b*z + z = 354. Is z prime?
True
Suppose -5*o - 4 = -29. Suppose -3*r + 2232 = -5*x, o*x + 2*r + 1031 = -1181. Is (-1)/2 - x/8 composite?
True
Let v(x) = x**3 - 5*x**2 - 5*x - 8. Let a be v(6). Is 2*(11 + (a - -2)) a prime number?
False
Let v = -3 + 6. Let k(n) = 15*n**v + n**2 + 15*n**3 + n + 1 - 2*n. Is k(1) prime?
True
Let r = 3 - 6. Let l = 5 + r. Is l/(-3)*-3 - -31 composite?
True
Suppose 0 = 5*l - 1192 + 17. Is l prime?
False
Suppose -3*h + 196 = -179. Is (-2 - h)/1*-1 a prime number?
True
Let c(x) = -95*x + 7. Let v be c(-5). Suppose -v = -4*q - 94. Is q prime?
True
Let y(b) = -b**3 - 4*b**2 + 4*b + 2. Is y(-5) composite?
False
Let o be ((-4)/4)/(2/(-12)). Is (67/(-1))/(5 - o) prime?
True
Let u(l) = l**2 - l + 19. Let z(o) = -o**3 + 4*o**2 + 2*o - 6. Let n be z(4). Let r be 0/(n - -1 - 2). Is u(r) a prime number?
True
Suppose 0 = 4*w - 29 + 413. Suppose -3*y = -0*i + 2*i + 313, -4*i = -y + 591. Let k = w - i. Is k prime?
True
Let d be (11/(-22))/((-2)/20). Suppose -2*s + 4*s = -5*b + 550, -1329 = -d*s - b. Is s a composite number?
True
Suppose -3034 = -4*n + v - 4*v, n - 755 = v. Is n a prime number?
True
Let d(b) be the first derivative of -b**4/4 + 3*b**3 - b**2 - 5*b - 3. Let q be d(6). Suppose -q = -2*a + 7. Is a prime?
False
Suppose q = -q. Suppose 3*d - 576 - 186 = q. Let b = -123 + d. Is b a composite number?
False
Suppose 4*a = -0*a - 8. Is 163*(-1)/a*2 composite?
False
Suppose -2*g = -5*g. Suppose 2*l - 222 = -g*l. Is l composite?
True
Is (-2309)/(-3)*(8 + -5) a prime number?
True
Suppose 10 = 2*o + 2*y, -3*y = -2*o + y - 14. Suppose -3*i - 2*i = -v