 = 0. Is -2 - (b + -2 - 78) a composite number?
True
Let c = -45 + 47. Suppose 2*i + j - 341 = -c*j, 0 = 5*i - 5*j - 790. Is i composite?
False
Suppose -2*p - 2*i = -10, 3*i = 4*p - 18 + 5. Suppose o - 224 = -3*s, -p*s + 647 = -o + 4*o. Is o - -3 - (-1)/(-1) a prime number?
True
Suppose 0 = -5*k + 9*k - 348. Let n = -61 + k. Let v = n - -59. Is v a composite number?
True
Suppose 0*l + 2*l = 0. Suppose -5*y + 851 + 1139 = l. Suppose 70 = -3*w - 5*d + 292, 0 = 5*w - d - y. Is w a composite number?
False
Suppose 2*a + 9352 = -0*s + 2*s, 2*s - 9357 = -3*a. Is s prime?
False
Let d(w) = 15*w**3 + 3*w + 4. Let r(v) = -16*v**3 + v**2 - 2*v - 5. Let n(z) = 2*d(z) + 3*r(z). Is n(-6) a prime number?
True
Let s(l) = 15*l**2 - 9*l + 1. Let o(c) = 3*c**2 + c - 4. Let p be o(-2). Is s(p) a composite number?
False
Let v = -52 - -27. Let s be v/(-9) + (-26)/(-117). Suppose a + 170 = 5*l + 6*a, 0 = -s*l - 5*a + 108. Is l a composite number?
False
Suppose 0 = 10*f - 10559 - 831. Is f composite?
True
Suppose 2*r + 0*r = 8. Suppose -r*g + 3*g = -5*o + 3109, -2*o = -2*g - 1242. Is o composite?
True
Let i = 9 - 5. Suppose 0 = -0*o - i*o + 1688. Let g = -295 + o. Is g a prime number?
True
Let c(r) = -r**3 + 8*r**2 + 9*r + 9. Let b be c(9). Let y be (-8)/(-12)*b/(-6). Is y + -1 - 289/(-1) prime?
False
Let m = -28084 + 80711. Is m a composite number?
False
Suppose -4*z = -5*x + 5, 3*x - 5 + 2 = -2*z. Suppose g - 764 = -3*g + p, -3*g + p + 573 = z. Is g composite?
False
Let q(l) = 4*l + 18. Let b be q(-13). Let a(u) = u + 2. Let r be a(-7). Is 15/3*b/r prime?
False
Is (-2706)/(-1) + (-3)/(24/(-8)) composite?
False
Let x be -1*((-1 - -1140) + 2). Let z = -384 - x. Is z composite?
False
Let i be (-561)/(1/(-2 + 0)). Let p = -421 + i. Is p composite?
False
Let o = -19 + 43. Suppose 3*k - o = -k. Suppose k*p - 4*p = 894. Is p prime?
False
Let v = 17 + -16. Let u be v/(-3) - 39/(-9). Suppose 0 = -u*s + 293 + 119. Is s a composite number?
False
Let t be (0 - 0)/(-6 + 4). Suppose t*d + 7*d - 6223 = 0. Is d prime?
False
Let r(w) = -237*w**3 - 4*w**2 - 2*w - 16. Is r(-3) composite?
False
Let w = -98 - -95. Let u(a) = a**2 + 5*a + 7. Let y be u(-5). Let s = y - w. Is s a composite number?
True
Let k = 1155 + 2894. Is k a prime number?
True
Let j = 6128 + 16959. Is j prime?
True
Let k be 5*(-3 - -2) + 868. Suppose 0 = o + 2, -5*z + k = -5*o - 1912. Is z a prime number?
False
Let v(s) = 19*s**3 + 9*s**2 - 6*s + 7. Let h(m) = -57*m**3 - 26*m**2 + 17*m - 20. Let w(b) = -6*h(b) - 17*v(b). Is w(3) a prime number?
True
Let a(i) = -3*i + 24. Let b be a(7). Is 377 + (0 - b) + -1 a prime number?
True
Suppose 5*s + 1 = 11. Suppose 0 = -0*l - s*l + 14. Suppose -l = 7*h - 8*h. Is h a composite number?
False
Let l = 1247 - 686. Suppose -4*p - 5*n = -l, -2*p + 4*n = 2*p - 552. Is p prime?
True
Let l be (-37*2)/((-5)/5). Is (6 - 8)*l/(-4) a prime number?
True
Suppose -5*m = -5*a - 65, 3*m - 3*a - 55 = -2*m. Is (1 - 3) + 6392/m a prime number?
True
Let f = 32723 + -11746. Is f a prime number?
False
Let k be ((-94)/(-3))/((-1)/3). Let m = k - -156. Is m a composite number?
True
Suppose y = 4*y - t + 98, -2*y - 76 = 2*t. Is ((-1)/2)/(-1)*(y + 4460) prime?
True
Suppose -3*m - 4 = 2*x, 4*x + 10 = 3*m - x. Suppose -5*b - 4*a + 2030 = m, -6*b + b - 5*a = -2025. Suppose b = 5*y - 495. Is y a composite number?
False
Suppose 3*v = 5*d + 69802, -2*v + 4*d + 34061 = -12473. Is v a composite number?
False
Suppose 11 = 2*y + 3. Suppose -y*v + 5*v = 503. Is v composite?
False
Let f = 433 - 302. Is f prime?
True
Let v = 8 + -5. Suppose -3*b - 5*p - v = -0*b, -5 = -5*b - 5*p. Suppose 261 = b*q - 367. Is q a composite number?
False
Let w = -74 + 74. Suppose w*k - 6*k + 318 = 0. Is k prime?
True
Let c(r) = -12*r + 1. Let n(b) = -12*b + 1. Let q(a) = -6*c(a) + 5*n(a). Let k(d) = 2*d**2 + 1. Let y be k(-1). Is q(y) composite?
True
Suppose -2*b + 4 - 12 = 0. Is 2*(b + (-495)/(-2)) a composite number?
False
Suppose -3*i = -7 - 2. Suppose z + 2*z = i*c - 20409, 13606 = 2*c - 3*z. Is c composite?
False
Let g(k) = -k**3 - 9*k**2 - 14*k + 5. Let m be g(-7). Suppose -m*r + 2770 = -3*i, -4*r - 2*i + 4*i + 2214 = 0. Is r prime?
False
Let v(c) = -3*c**3 + 5*c**2 + 2*c - 23. Is v(-8) a composite number?
True
Let u = 4570 - -4197. Is u a prime number?
False
Let h be (-6)/(-21) - 66/(-14). Let a(v) = v + 51. Let l be a(-11). Suppose -2*m + 0*m + l = y, -h*m - y = -103. Is m a composite number?
True
Suppose 6*y - y - 43 = -3*d, -2*d + 2 = 0. Let u = 13 - y. Suppose g + 0*w = 2*w + 34, -10 = -u*w. Is g a prime number?
False
Let l = 307 - 126. Let h be l/3 - 36/27. Suppose 4*j - h = 153. Is j prime?
True
Suppose -41*q + 20*q = -654423. Is q a composite number?
True
Let v = -208 - -1162. Suppose -1784 = -3*y - g - 348, -2*y + v = 4*g. Is y prime?
True
Let u(p) = 1 - 4*p - 7 + p**2 + 3. Let v be u(5). Suppose -z + 3*z - 499 = -h, -992 = -2*h + v*z. Is h a prime number?
False
Suppose 6*c + 1480 = 2*c + 2*r, -3*r + 1107 = -3*c. Let x(t) = -2*t**3 + 6*t**2 + 6*t + 3. Let q be x(6). Let n = q - c. Is n composite?
True
Suppose 0 + 11 = 4*z - g, -2*g + 30 = 5*z. Suppose z*p = -3*h + 527, h - 2*p - 328 = -h. Is h prime?
False
Let l = -22339 - -56370. Is l composite?
False
Suppose -5*h - 17 = -5*p - 3*h, -4*p + 8 = 4*h. Suppose -x = 2*s - 224, 2*x - p = 1. Is s a prime number?
False
Suppose 8689 = 15*o - 13976. Is o a prime number?
True
Let x(d) = d - 10. Let o = 24 + -12. Let i be x(o). Suppose -4*a = -i*w + 250, -2*a = 5*w + a - 638. Is w prime?
True
Let z(n) = -n**3 - 5*n**2 - 6*n - 5. Let d be z(-4). Suppose 2*l - j = 4908, 4*l = d*j + 7360 + 2456. Is ((-6)/(-9))/(4/l) composite?
False
Let s be 31/(-11) + 4 + 46/(-11). Let k(v) = -597*v + 8. Is k(s) a prime number?
False
Suppose b = -3*b + 2*f + 18156, 3*f = 12. Let w = b - 3042. Is w a composite number?
False
Suppose -328811 - 861517 = -24*a. Is a prime?
True
Suppose 0 = -11*w + 2077386 - 512955. Is w prime?
False
Suppose 4*d = -807 - 10081. Is d/(-3 - -5 - 4) prime?
True
Let y = -21 + 29. Suppose -y = -3*a - a, 5*a = -5*n + 180. Let w = n + 48. Is w a composite number?
True
Let w(v) = -2*v**3 - 15*v**2 + 33*v - 23. Let j(t) = -t**3 - 8*t**2 + 16*t - 12. Let u(i) = -5*j(i) + 2*w(i). Suppose -8*m = -9*m - 11. Is u(m) a prime number?
True
Let a(w) = 472*w**2 + 13*w + 92. Is a(-7) prime?
False
Suppose 49195 = 6*u + 8569. Let f = u + -17117. Is f/(-21) - (-3)/9 a prime number?
False
Let r(q) = q**3 - 5*q**2 + 2*q + 3. Let c be r(8). Let k = 468 - c. Is k composite?
False
Let m(d) = -d**2 - 8*d - 3. Let x be m(-7). Suppose 6*q = x*q + 20. Suppose q = -2*s + 38. Is s composite?
True
Let f(k) = 60*k + 1. Let r be f(-5). Let m = r - -538. Let q = m - 90. Is q a prime number?
True
Let f(l) = l**2 + 3*l + 2. Let j be f(0). Suppose -4*h = j*h - 3174. Is h a prime number?
False
Suppose 4 = j, 4*i = 2*j + 2 + 2. Suppose 2*f + r = 30089, r = -0*f + i*f - 45136. Is f/105 + 2/(-7) prime?
False
Let b be (-3)/(0 + -1)*1. Suppose -b*n - 4*w = 410, 135 = 2*n - 3*n - w. Let p = n - -189. Is p a composite number?
False
Let a(t) = 2*t - 16. Let h be a(9). Let n be -3 - ((-9 - h) + 3). Suppose -52 = -n*z - 3*l + 26, -l = 4*z - 61. Is z prime?
False
Suppose -4*l + 2*d + 8199 + 11887 = 0, 4*l = -4*d + 20080. Is l a prime number?
True
Let p(q) be the first derivative of 109*q**2/2 + 3*q - 16. Suppose -8*l + 3*l - x + 14 = 0, 4*x = -4*l + 24. Is p(l) composite?
True
Let o = 6 - 12. Is (-3)/(-2)*(-6620)/o a prime number?
False
Is (-150)/(-15) - 1407*-13 prime?
True
Let c(m) = -4*m - 7. Let t be c(-3). Suppose -5*u + 50 = -3*h, 0*u - 2*h = t*u - 25. Suppose 0 = -3*v - u*x + 4*x + 60, -5*x = -4*v + 89. Is v composite?
True
Let c = 12 + -14. Is 463 + (c - -5) + 1 a composite number?
False
Let f(u) = -u**2 + 5*u + 4733. Is f(0) composite?
False
Suppose -4 = -11*a + 62. Suppose 2500 + 158 = a*o. Is o a prime number?
True
Let v(b) = 51*b**2 - 11*b + 1. Is v(3) a composite number?
True
Let s = 3694 + 1687. Is s a prime number?
True
Suppose -6*d + 3365 = -3991. Is d prime?
False
Suppose 0 = 4*t - 3*p - 4726, 0 = -3*t - 9*p + 5*p + 3557. Let w = t + -506. Is w composite?
False
Suppose -2*b - 4*r + 33594 = 0, -2*r + 33570 = 2*b - 4*r. Is b a prime number?
False
Suppose 0 = 2*c + 5*r - 0*r - 931, 3*c + r = 1429. Is c a p