 composite number?
True
Is ((453986/8)/(-13))/((-4)/16) prime?
False
Is (-19114)/4*96/(-48) composite?
True
Let s(y) = -564*y - 143. Is s(-23) composite?
False
Suppose 4202 = 4*h - 2*h. Let y = 3320 - h. Is y prime?
False
Suppose -u + 4686 = u + 4*g, 0 = u - 5*g - 2308. Is u prime?
True
Let t(q) = -636*q**2 + q. Let d be t(2). Let j = -809 - d. Is j prime?
True
Let t(w) be the first derivative of -w**2 - 14*w - 10. Let u be t(-9). Suppose -u*v - 1021 = -4*d + v, -3*v = -3*d + 768. Is d composite?
True
Suppose 3*t = -5*l + 615, -2*t - 5*l = -3*t + 205. Suppose m = -4*m - 195. Let x = t + m. Is x a composite number?
True
Let s = 82631 - 37624. Is s a composite number?
False
Let a be (-6)/(-33) - (-1944)/(-44). Let y = 1 - a. Suppose y = 2*b - 73. Is b a composite number?
False
Let x(m) = m**2 - m - 7. Let i be x(-3). Suppose i*d = 6*d + 3. Is (-662)/d*(-15)/(-10) composite?
False
Let p = -4847 + 15520. Is p a prime number?
False
Suppose 3*j = 5*m + 9, 4*j + m - 2*m - 12 = 0. Suppose 1432 = j*o + o. Is o a composite number?
True
Suppose -2*q + q = -4. Let k be ((-46)/q)/((-10)/600). Let a = 1277 - k. Is a a prime number?
True
Let d = -116 + 56. Let z = 397 + d. Is z a composite number?
False
Let b(f) = -f**2 - 10*f + 13. Let v be b(-10). Let y = v + -9. Is 2*502/y + 2 prime?
False
Suppose -3*q = x + 4*x - 668, -883 = -4*q + x. Let p = -128 + q. Is p a composite number?
True
Let i(o) = o**3 + 44*o**2 - 13*o + 31. Is i(-24) prime?
True
Let g = 2873 - -943. Let i be ((-4)/(-2))/(-2)*4. Is i/10 + g/40 composite?
True
Let x(j) be the first derivative of -31*j**2/2 - 45*j + 18. Is x(-10) a prime number?
False
Suppose 0 = -4*b - 2*s + 13218, -4*s - 2262 = -5*b + 14280. Let h = b - 1207. Is h a prime number?
True
Suppose 3*o = 407 + 124. Is 22*(o/6)/1 a prime number?
False
Let r(f) = f**2 - 10*f + 1. Let g be r(7). Let d be (-1417)/5 + (-8)/g. Let m = d - -846. Is m composite?
False
Let v(c) = -c**3 + 7*c**2 - 7*c + 6. Let s be v(6). Let z be s + 52*6/4. Suppose 6*n = 300 - z. Is n composite?
False
Suppose 0 = 6*h - 142 + 22. Let n be -5*(12/h)/1. Is ((-2)/n)/(4/1278) prime?
False
Let i(w) = 3244*w. Let x be i(2). Suppose -4*c - 628 + x = 0. Suppose 0 = 4*b + 573 - c. Is b a prime number?
True
Suppose 0 = 7*s - 2*s + 15. Let y be (0 - 1) + 19 + s. Let i = 38 - y. Is i composite?
False
Let v(m) = -m**3 + 38*m**2 - 35*m + 67. Is v(36) composite?
False
Let t(z) = -91*z**3 + 3*z**2 + 7*z + 13. Is t(-2) prime?
True
Let b(s) = -34*s**2 + 5*s - 6. Let x be b(3). Is x/(-2) + 14/28 composite?
False
Suppose 3*a - a - 16 = 0. Let p = a - 6. Suppose p*k + r - 24 = 0, 3*k + 5*r = 8*k - 30. Is k composite?
True
Let m = -170 + 2140. Let d = 2791 - m. Is d prime?
True
Suppose -4*k = s - 26181, 5*s - 4*k - 145033 = -14176. Is s a prime number?
False
Is 19824/9 - (-3)/9 prime?
True
Let o(g) = 2720*g**2 - 9*g + 10. Is o(1) prime?
False
Let m(r) = -r**2 - 18*r - 24. Let j(s) = s - 12. Let c be j(-14). Let l = c - -15. Is m(l) a prime number?
True
Suppose 5 = -3*c + 23. Suppose -r + 10 = -c*r, 0 = -2*l - 4*r - 484. Let t = 439 + l. Is t composite?
True
Suppose 3*f + 5*t = 53663, 0 = t - 47 + 43. Is f composite?
False
Let s be (-1)/((-24)/20 + 1). Suppose 57 + 263 = s*t. Is (-1)/(t/(-62) + 1) a prime number?
True
Suppose -265 + 45 = 5*i. Let o = -82 - -149. Let p = o + i. Is p prime?
True
Let o(r) = 2*r**2 + 15*r. Suppose -n - 3 = -4*n. Let y be -3 + (0 - n - 9). Is o(y) a prime number?
False
Let g(c) = 317*c - 371. Is g(20) a prime number?
False
Suppose 30*f = 31*f + 5. Is (-20457)/f - 10/25 a prime number?
True
Let r be (6/(-4) - -3)*4. Suppose 1046 = r*o - 1888. Is o a prime number?
False
Suppose -3*p - 363 - 410 = -u, -5*u + 3775 = 3*p. Let r = u + -265. Is r composite?
True
Suppose 29*k - 83*k + 705618 = 0. Is k composite?
True
Suppose -3*i = 4*h + 292, 5*i - 2*h + 530 = -0*h. Let x = 275 - i. Is x a prime number?
True
Suppose l + 3 - 181 = 0. Suppose l*z - 182*z = -796. Is z composite?
False
Let i(f) = 7 + 3 + 8 + f - 7. Let o be i(-6). Suppose -4 = 4*v, -o*c + 0*v - 3*v + 182 = 0. Is c composite?
False
Let g(n) = 1315*n**2 - 6*n - 4. Let p be g(9). Is (-2)/3 + p/57 prime?
True
Let p(a) = a**3 + a**2 - 48. Let m be p(0). Is (-1906)/(-6) - (-32)/m composite?
False
Suppose -35*r = -38*r + 1965. Suppose -57*m + 56*m + r = 0. Is m prime?
False
Let v(l) = 12*l**3 - 6*l + 7. Is v(2) a prime number?
False
Let h = -24279 - -37570. Is h a prime number?
True
Let f be 2/(-3) + 22/6. Let i be -2*1/((-2)/f). Suppose 4*h - 92 = -i*g - g, -4 = -h. Is g a prime number?
True
Let x = 7260 - -5159. Is x a composite number?
True
Let z = -50 - -26. Let a = 35 + z. Suppose o = 45 - a. Is o a prime number?
False
Let a = 1493 + -455. Suppose -2*o = -a - 2656. Is o a prime number?
True
Let l(c) be the second derivative of 497*c**3/6 + 10*c**2 + 23*c. Is l(9) composite?
False
Let g = -8491 + 66510. Is g a prime number?
False
Suppose 3*j - 3*x = 531, -2*x - 10 = -4. Suppose -5*g + j = -3*g. Is g composite?
True
Let i = -13 - -7. Let q be (-4)/i + (-10)/(-3). Suppose -3*u - 259 = -q*u. Is u prime?
False
Let o(s) = 5602*s**2 - s. Let n be o(1). Is 4/26 - n/(-13) a prime number?
True
Is 9 - (27/(-9) - 550) a prime number?
False
Suppose 0 = 33*w - 30*w - 3423. Is w prime?
False
Let d = 26466 + -18795. Is d composite?
True
Let h = -6346 + 9779. Is h a composite number?
False
Let v(r) be the first derivative of -35*r**4/4 + r**3/6 + 3*r**2 - 6. Let j(x) be the second derivative of v(x). Is j(-1) composite?
False
Let y = 349 + -740. Let a = -180 - y. Is a a composite number?
False
Let n = -1498 + 5559. Is n prime?
False
Let r(y) be the third derivative of y**4 + y**3/6 - y**2. Let b be r(-1). Let q = -8 - b. Is q composite?
True
Let z be 1 + 7 + (-6 - -3). Suppose -3*j + z*a = -2011, 1 - 11 = 5*a. Is j a prime number?
False
Let m = 26586 + -12848. Suppose m = 4*o - d + 2411, 5*d = 25. Is o composite?
False
Suppose -5032 - 1187 = -3*d. Is d a prime number?
False
Suppose 2*j = -3*b + 76, 3*j + 5*b = 23 + 92. Let i = j + -33. Suppose i*t + 237 = 5*t. Is t a composite number?
False
Suppose 23945 - 128336 = -21*y. Is y composite?
True
Suppose -2077 = -3*u + 3230. Is u prime?
False
Let w(z) = -4*z**3 - 2*z**2 + 3*z - 20. Is w(-5) prime?
False
Let j(r) = 48*r - 7. Let v(y) = -4*y - 13. Let q be v(-5). Is j(q) composite?
True
Suppose -41*j + 35*j = -162. Is j/18*(-38)/(-3) a composite number?
False
Suppose -k - 104 = -3*c, -5 = c + 4*k - 18. Is c a prime number?
False
Let d = -80 - 2969. Let l = -1832 - d. Is l prime?
True
Suppose 2*f + 0 - 4 = 0. Suppose -1204 - 524 = -f*w. Let u = 2077 - w. Is u prime?
True
Let l = 0 - 0. Suppose 3*x - 658 - 353 = l. Is x a composite number?
False
Let d = -23 + -7. Let x be (6/15)/((-6)/d). Suppose 5*y = x*c + 1111, -2*y - 444 = -4*y + c. Is y prime?
True
Suppose 24*f = -17*f + 22058. Is f composite?
True
Let i = 19 + -31. Let a(b) = b**3 + 14*b**2 + 7*b + 7. Is a(i) a composite number?
False
Let x = 37 - 5. Suppose 4*m = 2*b - 24, -b + x = b - 2*m. Let u = b - 10. Is u a composite number?
True
Let m = -18704 + 32281. Is m prime?
True
Suppose x + 0 - 2 = 0. Suppose x*z - 7*z + 4395 = 0. Suppose -z = 7*d - 4022. Is d a prime number?
True
Suppose -11322 = -2*t + 24796. Is t composite?
False
Let m(j) = -j**2 - 1. Let f be m(4). Let b = 14 + f. Is b/((-24)/(-172))*-2 composite?
False
Let o(n) = -n**3 + 32*n**2 - 25*n + 143. Is o(28) a composite number?
False
Suppose -c = 2*b - 5*c + 2, -2*b - 5 = -5*c. Suppose -4 = -f, 4*n - f = -b*f - 1196. Let a = 596 + n. Is a composite?
False
Let j(i) be the third derivative of 2*i**7/315 + i**6/720 - i**5/4 + 6*i**2. Let d(w) be the third derivative of j(w). Is d(5) a prime number?
False
Let c = 4444 + -3083. Is c a prime number?
True
Let k = -21545 - -63274. Is k a prime number?
True
Suppose -49*j - 18899 = -50*j. Is j composite?
False
Is 4 - (-14 - (-4)/(-4))*267 a composite number?
True
Suppose 2 = 7*q + 44. Is 14/q*8/((-8)/39) a composite number?
True
Is (1*(2 + -129))/(13 - 14) composite?
False
Let j be 2/6 + 24/9. Suppose -j*t = 2*q - q - 37, 0 = 5*t - 2*q - 58. Is (-3)/(-4) + 3507/t a composite number?
False
Let b(a) = a**2 + 10*a + 3. Let d be b(-10). Suppose 4*l + v + 46730 = 0, -d*l + 4*v + 6932 - 41989 = 0. Is (-4)/(-6) + l/(