
Let j be (-122)/(-1)*2/(-4). Let y = j + 42. Let s = -15 - y. Is s composite?
True
Suppose 2*o = -2*o + 4*k + 4, -3*o = -5*k - 1. Let d(g) = 66*g**3 - g**2 - 4*g + 5. Is d(o) prime?
True
Let p(o) = 89*o + 13. Let b(c) = 88*c + 13. Let f(a) = 6*b(a) - 5*p(a). Let y = 9 - 1. Is f(y) a composite number?
False
Let o = -2818 - -5441. Is o composite?
True
Suppose -44*s - 179371 = -537135. Is s a prime number?
False
Let p(l) be the third derivative of -l**6/120 + 7*l**5/60 - l**4/8 + 5*l**3/6 - 7*l**2. Let x be p(6). Is -2*x*(-3 - -2) prime?
False
Suppose 4*d + 3*p - 14 = 12, -3*p = -6. Suppose -1005 = 3*c - d*i - 9197, 4*i = -5*c + 13641. Is c a prime number?
True
Suppose 3*l = -y + 3410, -2*y + 3197 = -4*l - 3613. Is y a prime number?
True
Let s = 541 - -452. Is s a prime number?
False
Let o = 118 + -114. Suppose 2*l - 38526 = -o*l. Is l a composite number?
False
Suppose -3*q + 0*w + 2*w + 13 = 0, 0 = q + 5*w - 27. Let u(r) be the second derivative of -r**4/12 + 4*r**3 - 2*r. Is u(q) composite?
True
Let d(w) = -606*w - 1. Is d(-3) composite?
True
Is (-78 + 332)*((-223)/(-2) + 0) a prime number?
False
Let d be -20*4/(48/(-117)). Suppose -2*n - 814 = -3*b + d, 0 = 5*n - 4*b + 2512. Let g = 757 + n. Is g composite?
False
Let m = 10 - 82. Let d be m*(3/(-9) - -1). Let o = 5 - d. Is o composite?
False
Let k = 94448 - 64081. Is k a prime number?
True
Suppose 1758798 = 13*p + 470459. Is p composite?
False
Let h = -2255 - -2258. Let b = 0 - 0. Suppose -h*w - a = -102, -3*w + a + b*a = -102. Is w prime?
False
Suppose 2*k - r = 3*k, -2*k = r. Suppose 5*i - 5*t - 275 = k, -2*i = t - 5*t - 106. Is i composite?
True
Let z(h) = -h**3 - 12*h**2 + 14*h + 22. Let f be z(-13). Suppose 0 = 12*k - f*k - 8499. Is k a prime number?
True
Let p(c) be the first derivative of 65*c**4/4 - c**3/3 - 11*c**2/2 + 5*c + 17. Is p(4) composite?
True
Suppose 36999 = -9*g + 18*g. Is g prime?
True
Suppose 5*t = 2753 - 488. Suppose -8*s - 1261 = 883. Let p = t + s. Is p a prime number?
False
Let f(g) = -20*g + 57. Suppose -z - 2*x = 25, z - 4*x = -3*z - 88. Is f(z) a prime number?
False
Let f = 3 - 5. Is (-11794)/(-18) + f/9 a composite number?
True
Let u(i) = -33*i**2 - 2*i + 4. Let j be u(2). Let r = 215 + j. Is r prime?
True
Let l be (-357)/27 + (-2)/(-9). Let h(a) = a**2 + 12*a - 14. Let v be h(l). Is (-5)/(-5) - 88/v composite?
False
Suppose 4*d - 2*d = -64. Let v = 20 + d. Is ((-603)/v)/(-3)*-4 prime?
True
Suppose -4*z = 2*d - 2, 5*d + 0*z = 5*z + 20. Let x = 5 - d. Suppose 4*c = -3*n + 85, -3*c + n + 60 = x*n. Is c a prime number?
True
Is (-3550)/30*24/(-20) a composite number?
True
Let n be -1 + (-112)/(4/2). Let h be (-18)/63 + 992/(-7). Let j = n - h. Is j a composite number?
True
Suppose 45*l = 47*l - 1052. Is l a prime number?
False
Let b = 1394 - -3929. Is b a composite number?
False
Suppose 0 = n + 3*n + 16, -3*n - 10328 = -4*w. Is w a composite number?
False
Let p be -2 + (2 - 1*558) + -1. Let u = p + 866. Is u composite?
False
Let q(a) = -81*a + 17. Let y be q(-6). Suppose 4*n - 639 = -k, 3*n - k = 3*k + y. Let v = n + -27. Is v composite?
True
Let b(l) = 84*l - 77. Is b(9) a prime number?
False
Let b be (10/(-8))/((-4)/16). Suppose 64 = b*g - 51. Is g a prime number?
True
Suppose 5*d - 1314 = 4*h, -2*d + 3*h + 527 = -0*h. Suppose d = c - 2*l + 9, 241 = c + 2*l. Is c prime?
False
Let l = 4721 - 2472. Is l a prime number?
False
Let w(a) = 24 - 48 + 18 + 33*a. Suppose 2*l - 7 = 3. Is w(l) composite?
True
Let c be (3/(-4))/((-3)/660). Let p = c + 38. Is p a prime number?
False
Let y(a) = -41*a**2 + 3*a + 6. Let h(j) = j**2 + 1. Let u(t) = h(t) - y(t). Is u(-4) composite?
True
Let c(o) = 4*o**2 - 7*o - 6. Let h(i) = -12*i**2 + 20*i + 19. Let k(t) = -11*c(t) - 4*h(t). Is k(-9) a prime number?
False
Let n(m) = 92*m**2 + m - 5. Is n(4) composite?
False
Let s = -7346 + 16807. Is s composite?
False
Suppose 0 = -q - 3*x + 1411, -5*q + 4*q + 1395 = -x. Is q composite?
False
Is 79*(-229 - 7)/(-4) prime?
False
Let w(p) = 263*p + 1. Let r(s) = 66*s. Let a(m) = -9*r(m) + 2*w(m). Is a(-7) a composite number?
True
Suppose 2*n - 4*b + 9*b - 3179 = 0, -n + 2*b = -1576. Is 5/10 - (n/(-4) - 1) prime?
True
Suppose 0 = 5*o + 18 - 48. Let w = o - 1. Suppose -2*h + 25 = 5*i, 0 = -0*i + w*i + 3*h - 20. Is i a composite number?
False
Let b be 46/(-2 + (-324)/(-159)). Let x = -3 - -25. Is b/11 - (-4)/x a prime number?
False
Suppose -4 + 1 = o. Let b be ((-188)/(-16))/(o/(-180)). Suppose -b = g - 6*g. Is g composite?
True
Suppose -3*w + 10 = 5*f - 21, 3*f = -2*w + 19. Let u be (-4 - -3)/(w/(-52)). Is 2429/13 - (-4)/u composite?
True
Let a be ((-26844)/(-72))/(((-5)/(-6))/5). Suppose -l + 138 + 621 = 2*g, 4*g = 3*l - a. Is l a prime number?
True
Let p be -2 + 1 + (6 + -5 - -2). Suppose -627 = -p*c + 455. Is c a prime number?
True
Let q(p) = -5941*p + 151. Is q(-4) prime?
False
Let v = 8042 + -4210. Suppose 2*o = 3*s - 5, -4*s = -4*o - 6*s - 18. Is v/o*4/(-8) a prime number?
True
Suppose 4*f = 2*j + 2810, -5*j - 1337 - 2183 = -5*f. Is f prime?
True
Let h be (2/3)/(((-4)/(-102))/(-2)). Let x = h + 116. Is x prime?
False
Suppose -18*y = -14*y + 5*l - 35268, -l = 0. Is y a prime number?
False
Let y = -23 - -28. Suppose -2*o = -n + 85, 5*o + 108 = 2*n - 59. Suppose 0 = -y*d + n + 144. Is d a prime number?
True
Suppose -4*h + 0*s = -4*s + 8, h - 3*s + 2 = 0. Suppose -21*d - 3 = -20*d. Is ((-500)/h - d) + 4 a prime number?
True
Suppose -656061 = -15*h + 457404. Is h a composite number?
False
Suppose -4*f + 5*p = -1261, -f + 4*p + 632 = f. Let y(i) = 36*i + 15. Let d be y(-5). Let w = f + d. Is w composite?
False
Suppose 9759 + 1399 = 2*x. Is x a prime number?
False
Suppose -3*k + 112 + 8 = 0. Let f = k - 9. Is f prime?
True
Let y be 1086/(-12) - (-1)/(-2). Let x = 225 + y. Is x composite?
True
Suppose 409 - 1689 = 4*u - g, u + g = -325. Suppose 10*m + 2620 = 5*m + 4*t, 0 = -2*t. Let w = u - m. Is w prime?
False
Suppose -5*q = a + 1107, -a - a = -3*q + 2227. Let g = 1429 + -2092. Let d = g - a. Is d prime?
True
Let w = -2 + 57. Let c = -79 - -142. Is (c - 1)*w/22 a prime number?
False
Let k be (-189)/(-42)*4/6. Suppose 0 = 3*u - 6, k*w + 2*u - 3843 = 5*u. Is w prime?
True
Suppose x = 3*c - 51082, -29*c = -32*c + 5*x + 51086. Is c composite?
False
Is 1293*85*1/15 composite?
True
Let u = -188 - -189. Let i(k) = 110*k**3 + 1 + 0 + 34*k**3. Is i(u) a composite number?
True
Suppose -2*d + 31697 - 8964 = -g, 5*g = 25. Is d composite?
False
Let n be (-4)/(-18) - 86/(-18). Suppose 0 = -n*c + c + 4*d + 116, 16 = -4*d. Is c a composite number?
True
Let g(o) = -o**3 + 4*o**2 + 1. Let h = 1 - -3. Let m be g(h). Is m + 0 + 1 - -447 a composite number?
False
Let k = -15443 + 24990. Is k a prime number?
True
Let b(p) = 2*p**3 - p**2. Let f be b(1). Let j = f + -16. Is (10/j)/(2/(-174)) a prime number?
False
Let x(d) = d**2 + 119. Suppose 3*o = 2*m - 19, -6*o = -3*m - 3*o + 24. Suppose -y = -m*y. Is x(y) a composite number?
True
Let o(t) = -6*t**3 - 2*t**2 - 3*t + 9. Suppose 11 = -i + 7. Is o(i) a prime number?
True
Let g(f) = -f**3 - 8*f**2 + f. Let i be g(-8). Let w be (-27)/36 + (-38)/i. Suppose -w*s + 211 = -3*s. Is s a composite number?
False
Suppose -3*l - 2*l - 2*j = -7750, j - 6203 = -4*l. Suppose 10*u - l - 5178 = 0. Is u a composite number?
False
Suppose 4*j = -52*j + 345352. Is j a prime number?
False
Suppose 3*t = 4*j - 129628 - 123241, j - 63231 = -2*t. Is j a prime number?
False
Suppose l = -3*v + 2, 2*v = -4*l + 2*l. Let j(n) = -117*n**3. Let p be j(v). Let w = 490 + p. Is w a prime number?
True
Suppose -2*a - p = 3*p - 22, 3*p = 4*a. Suppose 0 = -2*t - 4*f - 0 + 2, -4 = -a*t - 5*f. Suppose 0*y + t*y = 66. Is y prime?
False
Let q be (-2 - (-174)/(-4))/((-1)/2). Suppose -q = -2*g - 15. Is g prime?
False
Suppose -21519 + 7904 = -7*z. Is z composite?
True
Let w be 8/(-2) - (-1 + -59). Suppose -3*q + 8*q + 42 = 3*u, -4*u + w = 2*q. Is u prime?
False
Let c(w) = 8*w - 11. Let q = 46 - 42. Is c(q) a prime number?
False
Let m(t) = 0*t - 4*t + t**2 + 11 - 3*t - 3*t. Is m(14) composite?
False
Suppose -2*t - 5*b = -2419, 726 = 3*t + 4*b - 2913. Is t prime?
True
Let x = 45952 + -19769. Is x a prime number?
True
Let d = -1291 - -842. Let z = d + -229. Is (-1 + 2)/((-6)/z) composite?
False
Let h be (-4)/16 - (-6)/(-