2664 = 0, 2*m = z - 7553. Is z a composite number?
True
Let a = -4527 - -17456. Is a a composite number?
True
Let f(h) = 17*h**2 + 21*h - 3. Is f(35) a prime number?
True
Let n(y) = y**3 - 7*y**2 + 6*y + 4. Let r(u) = u**2 + 11*u + 6. Let q be r(-11). Let j be n(q). Is j/(-22) + 3621/11 a prime number?
False
Suppose 350 = 4*c + 2*p, 3*p - 98 = -3*c + 169. Is c prime?
False
Suppose 0*g = -10*g + 3470. Is g composite?
False
Is (-325350)/(-21) - (-6 - -2)/28 a composite number?
False
Suppose 62 - 26 = 4*v. Suppose v + 423 = -4*o. Let d = o - -182. Is d prime?
False
Let t be 8 + (2 - 2)/2. Suppose 0 = -11*r + t*r - 405. Is (-9)/(r/(-474))*-5 prime?
False
Let b = -8 + 13. Suppose -b*y - 7 = -52. Suppose -27 + y = -2*g. Is g a prime number?
False
Let w be 1/(-6) - 13/(-6). Is ((w - -50) + 1)*(-87)/(-3) a composite number?
True
Suppose 15*z - 992 = 238. Suppose -f = -269 + z. Is f composite?
True
Let i(l) = -239*l**3 + 2*l**2 - 5*l. Let y(x) = 120*x**3 - x**2 + 2*x. Let j(c) = 2*i(c) + 5*y(c). Is j(1) a prime number?
False
Let j(s) = 3*s + 11. Let p be j(-5). Is (p - 141)/(0 - 1) a composite number?
True
Suppose -5*g + 37 + 2 = 2*r, -g = -3. Is 90 + 1/(3/r) a composite number?
True
Let t(s) = 713*s**2 - 4*s + 40. Is t(3) prime?
False
Let t = -7665 - -11244. Is t composite?
True
Suppose 0 = -3*w - 4*i - 7 + 20, 18 = 5*w + 3*i. Suppose 2*t + w*x = 236, 4*t - 2*x - 166 = 306. Is t + 2 + (-1 - -2) a prime number?
False
Let m(j) = -j + 1. Let t be m(0). Suppose -z + 18 = 5*f, 5*z - 11 = -5*f - t. Is 163 - -1*4/z prime?
False
Let b(v) = -v**2 - 5*v + 2. Let o be b(-5). Suppose 0 = -5*l + 10, 0 = -4*q - l + o*l + 12138. Is q a prime number?
False
Suppose 2680 = 4*k + 4*q, -4*k - 11*q + 2698 = -13*q. Is k a prime number?
True
Let g be 75/85 + 2/17 + 2. Let r(o) = 45*o**3 + 6*o**2 + o + 5. Is r(g) a prime number?
True
Let s be 3/((-117)/130461) - 2/(-13). Is (-26)/3*s/10 a composite number?
True
Suppose 0 = -5*m - 5*k + 3*k + 42901, -17156 = -2*m - 3*k. Is m a prime number?
True
Suppose 3*w = 13 - 4. Suppose w*v - 76 = 137. Is v composite?
False
Let d = 11 + -9. Suppose -2*z - d*n - 17 = 3*n, 5*z + 3*n + 33 = 0. Let w = z - -61. Is w a prime number?
False
Suppose 2*r - 205 = -3*r. Let i = 510 - 530. Let b = i + r. Is b a prime number?
False
Let v = 1703 + 8394. Is v a prime number?
False
Suppose 5*r - 2 = 6*r, 5*i = -r - 12. Let m be -421 - (-1 + i + 4). Is (-10 - -8)/(4/m) composite?
False
Suppose o = 4*p + 5, -5 = 4*p - 2*o + 5. Is 291 + 1*(2 - p) prime?
True
Let o(p) = -p**2 + p. Let g be o(0). Let u = 9 + g. Let w(i) = -i**3 + 10*i**2 - 3*i + 5. Is w(u) a prime number?
True
Let m(y) = -32*y + 16*y - 67*y - 4 + 0. Let l be m(-3). Suppose 3*v - l = -2*v. Is v a prime number?
False
Let t(j) = 3*j**2 + 2*j. Let d be t(1). Is (d - -2)*(-1644)/(-42) a composite number?
True
Suppose 3*u - 482 + 131 = 0. Is 2/13 - (-26073)/u a composite number?
False
Let t be -1 + 1 - 15/(-5). Suppose 5*j + 0*v = v + 698, 0 = -4*j + t*v + 565. Is j composite?
False
Suppose -r - 3*m = -2*m - 4, 3*m + 18 = 3*r. Suppose r*j + 14 = 89. Is (-60)/j*(-178)/8 a composite number?
False
Let n(g) = -g**3 + 13*g**2 - 11*g - 5. Suppose 3*a - a + 3*x = 31, 5*a - 2*x = 106. Suppose -4*s + 35 + a = -3*v, -2*s - 2*v = -10. Is n(s) a composite number?
True
Suppose 5*o = 1 - 11. Let v be (-2)/o*-1*-2065. Suppose -3*l - 2*l = -v. Is l prime?
False
Suppose 2*n - 623 = -1781. Let k = 830 + n. Is k prime?
True
Suppose -9*w + 23105 = -4*w. Is w composite?
False
Let f be -1 + ((-20)/(-2) - 4). Suppose -f*s + 157 = -4*s. Is s a composite number?
False
Suppose 8631 = 31*z - 10930. Is z a composite number?
False
Is (-2)/(-20) - 1347345/(-50) a composite number?
False
Suppose 5*z - 319 = 3*j, 5*z - 4*z = -5*j - 513. Let w be 0 + -4 + (0 - j). Suppose 4*q - w = 97. Is q composite?
True
Is (28/98)/((-12)/(-21))*7382 a composite number?
False
Suppose -4*k = 2*f + 134, f = -2*k - f - 72. Let m = 34 + k. Suppose -3*q + 184 = 3*x - 2*x, 0 = -q - m*x + 56. Is q a prime number?
False
Suppose -14734 + 45783 = 3*r + p, 51749 = 5*r + 2*p. Is r a composite number?
True
Let a = -165 + 54. Let k = a - -326. Is k a composite number?
True
Is (-147 - -146)*(1 - 2)*11177 a composite number?
False
Let d(f) = -2331*f + 7. Is d(-14) composite?
True
Suppose 5*z - 28*z = 138. Let c be ((-492)/(-9))/(1/(-3)). Let b = z - c. Is b a prime number?
False
Let f be (-8)/(-4) - 2 - 1. Is ((-2)/4)/(f/2174) a prime number?
True
Suppose -2*z - 557 = -c, 834 = 2*c + z - 295. Is c a prime number?
True
Let i(b) = -b**2 - 14*b + 57. Let r be i(-18). Is -3*(-1)/(r/(-13645)) a composite number?
False
Suppose 5*f - t - 39693 = 0, -120*t = -119*t - 2. Is f a prime number?
False
Let c be ((-2)/(-6))/(13/624). Is ((-2)/(-3))/(c/15144) a composite number?
False
Suppose 0 = -3*n + 8*n + 270. Is (-1)/(-6)*2 + (-482796)/n composite?
False
Let g(y) = y**2 - 28*y - 71. Is g(-17) a composite number?
True
Let f(a) = -13*a + 4. Let b = -5 + -3. Let p be b/40 - 29/5. Is f(p) composite?
True
Suppose 2*s - k - 5008 = 0, 0 = -2*k - 8. Let w = s + 2335. Is w composite?
True
Suppose 53*t - 54*t = -3. Suppose -d + t = 7, 3*d = 2*b - 2402. Is b composite?
True
Suppose 0*t + 4*t - 16 = 0. Suppose t*x = -12, -3*z + 3*x + 354 = -0*x. Let r = 202 + z. Is r prime?
True
Suppose 3*f = -z + 14599, -f + 50626 = 3*z + 6829. Is z a prime number?
False
Suppose 3*a - 71069 = -2*n, 2*a - 3*a - 2*n = -23695. Is a a prime number?
True
Let p = 2250 + 359. Is p a prime number?
True
Suppose -61 = z + 498. Let m be 2/3 - z/3. Suppose 3 = 5*g + 13, 5*c - g - m = 0. Is c prime?
True
Is 6/12*(4 - 6*-1123) composite?
False
Let t(j) = j**3 - 9*j**2 + 14*j - 2. Let v be t(7). Let k be (-4)/12*(-4 + v). Is (-2 - k) + (-18)/(-1) prime?
False
Suppose 2*v + 4*m = 115382, 5*v - 183056 = -5*m + 105424. Is v a prime number?
False
Let y be (-10 - -2) + (-2 - -4). Let v be (-6)/4 - (-39)/y. Is -4 + (-4)/v*1374 composite?
False
Let a = 9194 - 4581. Is a a prime number?
False
Suppose 7*i = 47 - 19. Suppose -i*h - 4067 = -11*h. Is h a prime number?
False
Suppose 0 = 5*i - 5775 - 45. Suppose 5*g - i = -4*q, 2*g - 582 = 5*q - 7*q. Is q prime?
False
Let m(d) = d**2 + d - 1. Let r(b) = -100*b**2 + 3. Let n(u) = 2*m(u) - r(u). Is n(-3) a composite number?
False
Let f(p) = p**3 + p**2 - p + 6. Let q be f(-7). Let o be ((-18)/(-5))/((-18)/45). Is q/o - (-14)/(-63) composite?
False
Let s = 7 - 41. Let w = s - -40. Suppose 0 = 3*v - 5*b - 1117, 746 = w*v - 4*v - 3*b. Is v prime?
True
Is (-132)/330 + 21007*1/5 a composite number?
False
Let h(b) = -117*b - 31. Let i(t) = -t**3 + 3*t**2 + t - 7. Let q be i(3). Is h(q) a prime number?
False
Let d(j) = 82*j + 397. Is d(6) a prime number?
False
Let l(u) = -u + 7. Let n be l(8). Let h be ((-7)/(-2))/(n/(-2)). Is 2/h - 4641/(-49) prime?
False
Is (14/(-56))/((-1)/62116) a prime number?
False
Let w = 3609 + 23126. Is w composite?
True
Let q(y) = -6 + 3*y**2 - 15 + 2 + 2 + 9*y. Is q(18) composite?
False
Let x(g) = -8*g**2 - 15*g - 10. Let o be x(-10). Let m = o + 224. Let k = -275 - m. Is k a prime number?
False
Let k = 1 - -10. Let t(p) be the second derivative of p**4/12 - 5*p**3/3 - 9*p**2/2 + 7*p. Is t(k) a prime number?
True
Let u = 83 + 42. Let f = 282 - u. Is f composite?
False
Let x be 1103/3 - (-2)/(-3). Let p = x + 874. Let g = p + -882. Is g a prime number?
True
Is 4 - 9 - 3134*-12 a composite number?
True
Let w(s) = 159*s**2 + 1. Let a be w(-2). Let r = a - -150. Is r a prime number?
True
Let h be ((-6132)/20 + 2)*-5. Suppose -524 + h = 5*o - 3*l, 593 = 3*o - 5*l. Is o a composite number?
True
Let x = 755 - 276. Is x composite?
False
Let d = 12158 + -2347. Is d prime?
True
Let i(p) = p + 12. Let y be i(-7). Suppose 5*v - 3*r = 32, 6*v - 40 = v - y*r. Suppose 4*c + v = 163. Is c prime?
False
Is 13*1/(-2)*-314 prime?
False
Suppose -1 = -i - 6, 3*t - 2*i - 16 = 0. Suppose -k - u + 131 = -0*k, 641 = 5*k - t*u. Is k a composite number?
True
Suppose -4*m = 2*c - 88706, -5*c - 4*m = -2*c - 133057. Is c composite?
False
Suppose -6*g + 5*g + 3 = 0. Is (g - (-28532)/21) + (-2)/3 prime?
True
Suppose 3*d + 132 = 7443. Is d a composite number?
False
Let i(p) = 261*p**2 + 12*p - 3. Let h be i(2). Suppose 3*o - 4806 = h. Is o a composite number?
True
Let s = 26 + 34. Suppo