 -33353 = -5*l + 4*z, 2*l + 3*z = l + 6682. Is l composite?
False
Let g = 6 + -2. Suppose -g*x = 2*z - 22, x + 3*x = 5*z + 15. Suppose -4*w = -x*p - 114, -w + 8*p - 3*p + 21 = 0. Is w a prime number?
True
Let r be 38/6 + (-2)/(-3). Let h(s) be the first derivative of 6*s**2 - 10*s + 11. Is h(r) a prime number?
False
Suppose -k + 424 = k. Let z be (-12 - -11)*4*-2. Suppose 4*m = z*m - k. Is m composite?
False
Is 84/126*48738/4 prime?
True
Let f(m) = 4*m**2 + 9*m + 16. Is f(-11) composite?
False
Let h(i) = -566*i + 55. Let c be h(-11). Suppose -o - 18483 = -2*m, -5*m + 52466 = 2*o + c. Is m a prime number?
True
Let r(q) = -11*q + 2. Let v(n) = -n - 1. Suppose -4*u - i = 26, 3*u + 2*u = 4*i - 22. Let w(k) = u*v(k) - r(k). Is w(3) a prime number?
False
Suppose -o = 3*m - 3450, 10*m + 4*o - 4592 = 6*m. Is m a prime number?
True
Let b(p) = 26*p**2 - 11*p - 23. Is b(-14) composite?
False
Suppose 0 = -4*l + 3*l + 1. Let s(a) be the second derivative of 3*a**5/5 - a**4/6 + a**3/3 - a**2/2 - 18*a. Is s(l) composite?
False
Suppose 0 = j - 2*j - 69. Suppose 0*u + 498 = 3*u. Let t = u + j. Is t prime?
True
Let u be 6 - (1 + 1) - 0. Suppose x - 4*x = -2*p - u, 5*x = -2*p + 28. Suppose -x*z = -z - 57. Is z a composite number?
False
Let y(o) = -o**3 - 36*o**2 + 35*o + 77. Is y(-40) a prime number?
True
Let f(j) = 889*j**3 - 4*j**2 + 7*j - 7. Is f(2) a prime number?
True
Let a be ((-5510)/15)/(2/(-3)). Suppose 0 = -2*d + a + 1031. Is d a composite number?
True
Let z(p) = -33*p**2 + 6*p + 25. Let n be z(-6). Let v = -586 - n. Is v composite?
False
Let u be 8 + -154 - (-6)/2. Let s = u - -202. Is s prime?
True
Let z be (0 - (-1203)/(-9))*-3. Suppose r = 2*r - z. Is r composite?
False
Let s be (48/(-5))/((-6)/(-20)). Let o be (-31)/(-7) + s/(-56). Suppose 9 - 299 = -o*m. Is m a composite number?
True
Let m = -1944 - -11611. Is m a composite number?
True
Let a(g) = -86*g - 287. Is a(-18) prime?
False
Let w(l) = -11*l**2 - 17*l + 14. Let o(r) = 5*r**2 + 8*r - 7. Let q(y) = -13*o(y) - 6*w(y). Let m be 2/(-2) + 2 + 5. Is q(m) a composite number?
False
Suppose 5 = 4*n + 3*p, p = -3*p - 4. Is (2 + -3)*1 - -127*n prime?
False
Let m(s) = 4*s + 111. Let o be -2 - 1 - (-1 + 0)*3. Is m(o) prime?
False
Suppose 275656 = 18*l + 84028. Is l prime?
False
Suppose 2*d = -4*t + 7924, 1499 + 500 = t + 5*d. Is t a composite number?
False
Is 2459/((2/9)/(24/36)) composite?
True
Let d(k) = 9*k**2 + 51*k + 29. Is d(-24) prime?
True
Suppose 0 = d - 4*y - 132, y = -2*d + 4*y + 289. Let i = 231 - d. Is i composite?
False
Let g(o) = o**2 - o - 3. Let m be g(4). Let q(s) = -5 + 89*s + 12 - 7*s. Is q(m) composite?
True
Suppose 30 = 5*b - 5. Suppose -q + 0 = -b. Let s(c) = 14*c - 4. Is s(q) prime?
False
Suppose -2*h - 519 + 5307 = -3*c, 2*h + 3*c = 4776. Is h a prime number?
False
Let y(x) = 6*x + 1811. Is y(0) prime?
True
Suppose 4*c = 6*c - 6. Let s = 847 + -458. Suppose -4*t + 5*t - 2*q = s, -3*t + c*q = -1170. Is t a composite number?
True
Let x be (-5 + 3)*-141 - 4. Is (-1)/((-558)/x - -2) a prime number?
True
Let t(s) = 102*s**3 + 2*s**2 + 2*s - 11. Is t(3) a composite number?
False
Suppose 797 = 12*y - 1423. Let d = 364 - y. Is d prime?
True
Let k(u) be the second derivative of -95*u**3/6 - 5*u**2/2 - 10*u. Is k(-12) a prime number?
False
Is 716*((-1935)/20)/(-9) prime?
False
Let a(x) = -x**3 + 5*x**2 + 6*x - 11. Let d be a(6). Is 3621/d*-1 + 2/(-11) composite?
True
Suppose -2*i + 4*f + 2682 = 2*f, -4*i + 2*f = -5368. Is i composite?
True
Suppose -2*v + 4*k - 1066 = 0, -2*v - 2651 = 3*v - 3*k. Let z = v + 1392. Is z prime?
True
Is 2/(-7) - (-48609)/77 composite?
False
Let u(p) = 3*p + 17. Suppose 0 = 2*s + 3*z - 0*z + 6, 4*z + 10 = -3*s. Let c be u(s). Let b = 27 + c. Is b prime?
False
Suppose 4*j = -j + 25, 4*r - 4*j - 3528 = 0. Suppose 0 = -12*u + 7*u. Is (0 + u)/4 + r composite?
False
Suppose -3*n + r + 0*r = -80, -108 = -4*n + r. Let h be 14/6*(8 + n). Suppose -z + h = d + d, z + d = 85. Is z a prime number?
False
Suppose -4*o + 25 + 55 = 0. Let d = -13 + o. Suppose d*x - 138 = 5*x. Is x composite?
True
Suppose v = 2*h - 16424, 20*v - 41069 = -5*h + 18*v. Is h a composite number?
True
Let u(r) = r**2 - 9*r + 10. Let k be u(8). Suppose 11 = k*p - 923. Is p prime?
True
Let t(r) = r**3 + 3*r**2 - r + 15. Let k be t(9). Suppose k = 4*i - 74. Is i a prime number?
True
Let m = 3758 - 2372. Let q be 12/30 + m/10. Suppose -10*b + q = -9*b. Is b composite?
False
Let b(o) = 6*o + 27. Let g be b(-5). Suppose 4*t = 8*t + 12. Is 0 - (-13 + g - t) a prime number?
True
Is -8 + 172/(-387) + (-78043)/(-9) a composite number?
False
Let t(l) = -35*l + 12. Let g(u) = -u. Let o be g(0). Suppose 0 = -o*d - 3*d - 15. Is t(d) a composite number?
True
Let k = 48434 + -32235. Is k a composite number?
True
Let v = 3041 + -1782. Is v a composite number?
False
Let w(x) = 26*x + 1. Let i(u) = u + 3. Let j be i(0). Suppose -5*y - 35 = -5*z, -4*z - j*y = 12 - 5. Is w(z) a prime number?
True
Let v be (0*4/(-12))/(4/(-2)). Suppose -543 = -d + h, v = -d + 2*h + 348 + 197. Is d composite?
False
Let s = 5820 - 3241. Is s composite?
False
Suppose -3*g = -4*g + 4*c + 22, -4*g - 4*c - 12 = 0. Suppose 4*k = -3*y + 14, -k - 3*y - g*y = 5. Let n(m) = 2*m**3 - 7*m**2 - m - 5. Is n(k) a prime number?
False
Suppose 23*i = 5063 + 1998. Is i a prime number?
True
Suppose 0 = -3*m - m + 12. Suppose m*v - 4 + 1 = 0. Is v/((8/2)/572) prime?
False
Let g(f) = f**2 + f + 1. Let s be g(-1). Is 3*(s/3 - 1) + 1545 composite?
False
Suppose -7*k + 1092 - 91 = 0. Is k a composite number?
True
Let t = 20 - 17. Suppose -t*j + 292 = -j. Is j a composite number?
True
Let v(a) = 2455*a**2 + 19*a + 69. Is v(-3) prime?
False
Let b(q) = 521*q**2 - 5*q - 41. Is b(-4) a composite number?
True
Is -13 - (-9274179)/24 - (-2)/(-16) prime?
True
Suppose 2*w - 6*w = 5*x + 10703, -w - x = 2677. Let y = -1405 - w. Is y a composite number?
False
Suppose -14*o + 13*o + 4*x + 61503 = 0, -5*o = 2*x - 307405. Is o composite?
False
Suppose 10 = -2*y, -2*y + 240 - 38 = -4*x. Suppose -2*z + 432 = -0*z. Let u = x + z. Is u prime?
True
Let h = -102 - -31. Let c = h + 124. Is c a composite number?
False
Let d(c) = -76*c + 12. Let u(p) = 227*p - 36. Let s(t) = -17*d(t) - 6*u(t). Let h be s(-6). Suppose h + 196 = 4*r. Is r composite?
False
Is (29430/(-4) - (-1 - 2))*-2 a prime number?
False
Let d = 124 + -85. Let a = 80 + d. Is a composite?
True
Suppose -4*h + 3*y = -113356, 9*h - 5*y = -3*h + 340068. Is h a prime number?
False
Let h(n) = 3*n**3 + 11*n**2 + 9*n - 21. Is h(20) composite?
False
Let g be 3*-6*1/(-2). Let a(t) = t**3 - 8*t**2 - 4*t - 4. Let m be a(g). Suppose m = y - 56. Is y a composite number?
False
Let w be 10/(-4)*(-16)/(-20). Is (-3 - -1) + w - -218 a prime number?
False
Let b(n) = -6*n**3 - 9*n**2 + 7*n + 21. Is b(-7) prime?
False
Is (1/4 + 0)*4*5543 a prime number?
False
Suppose -h + 4 = 6. Let o be (h - 2)/(-2*1). Suppose o*s - 216 - 42 = 0. Is s a prime number?
False
Let z(k) = -k - 2. Let q be z(-2). Suppose q = 9*m - 14*m + 3985. Is m a prime number?
True
Suppose -2*d - 3*x = -2*x + 9, x = -5*d - 21. Let l(y) = y**3 - 3*y**2 - 3*y + 5. Let u be l(d). Let m = u - -154. Is m prime?
True
Let i = -190 + 349. Is i a prime number?
False
Let l = -1299 + 1972. Is l a prime number?
True
Is (-81469)/(-10) + -5*3/(-150) composite?
False
Suppose -10*m = -2*m - 3560. Suppose 0*d - 2*d + 101 = x, -5*x + 5*d + m = 0. Is x a composite number?
True
Let f(r) = 42*r**2 - 5*r + 4. Let m be f(2). Let q(i) = 17*i**3 - i**2 + i. Let u be q(1). Suppose g = u + m. Is g a prime number?
True
Let v be 2/10 - 28/(-10). Suppose -v*d + 477 = -5*n, 4*d - 5*n = -n + 636. Is d a prime number?
False
Suppose -2*t + 5*d = -16632, 8316 = t - 2*d - d. Suppose -4*s = 2*z - 7388, 4*s - 2*z - t = -928. Is s composite?
False
Suppose -2*l - 12 = -8*l. Let w be -1 - (156 - 4/(-2)). Is l - (w + -3 + 1) a composite number?
False
Let p = 130 + -128. Suppose -s + p = 0, 6*z + 5*s - 4326 = 2*z. Is z a prime number?
False
Suppose 0 = 4*r - 20 - 4. Suppose 2*n + 4*a - 832 = -2*n, 5*n - 1031 = 4*a. Is n/r*(-30)/(-9) a composite number?
True
Let r be -2 + (-2 - (3 - 210)). Let h be 5/((-70)/(-12))*r. Suppose 3*j - h = 2*n, -5*j + 6*n + 290 = n. Is j composite?
True
Let x(y) = y**2 + 2*y + 1. Let q 