t o = 126 - h. Is o a prime number?
False
Let l(b) = -23*b - 4. Is l(-9) a composite number?
True
Suppose 0 = -2*z - z - 2*n + 3345, 0 = -2*z - 2*n + 2230. Is z a composite number?
True
Suppose -23*l + 11*l = -8388. Is l a composite number?
True
Let g be 2*5/(-4)*206. Let j = 344 + g. Is (j/12)/(1/(-4)) a prime number?
False
Let h = 747 + -452. Is h a composite number?
True
Suppose 4*a - 4 = -0*a. Is (53 - 0/1)/a prime?
True
Let r = 2 + 3. Suppose r*i - 580 = -5*d, -i - 72 - 50 = -d. Is d a composite number?
True
Let l = -32 - -17. Is (0 + 34)*l/(-10) a prime number?
False
Let r(g) = -g**3 + 5*g**2 + 3*g - 12. Let f be r(5). Suppose -k + 260 = f*k. Is k a composite number?
True
Let s = 4 - 0. Suppose 4*f = -4*h + 1044, -h - s*h + 10 = 0. Suppose 662 + f = 3*a. Is a prime?
True
Suppose -2*n - 7 = -4*n - 5*z, -2*z = -2*n. Let j(d) = 4*d**2 - d. Let g be j(n). Let v(q) = 16*q - 1. Is v(g) a prime number?
True
Is 788*(-15)/80*-4 prime?
False
Is (-16)/104 + (-1861)/(-13) composite?
True
Suppose 5*z - 455 = -5*b, 2*z + 2*z = -3*b + 277. Let h = -38 + b. Is h prime?
False
Let w(l) = l - 1. Let k be w(4). Suppose o + i = 2, k*o - i - 13 = -o. Suppose -87 = -o*p + 15. Is p prime?
False
Let t be (-3)/(0 + -1 - 0). Suppose -t*u - 969 = -6*u. Is u a composite number?
True
Let j(f) = 11*f**2 + 9*f + 1. Let t be j(-7). Let y be (-1 - 1) + 2 + 2. Is ((-6)/(-9))/(y/t) a prime number?
False
Suppose 4*x - 3*i + 7 = 0, 2*x - 4*i = -x - 14. Suppose -n = -x - 2. Is n/6 + (-345)/(-9) composite?
True
Is 2/(-4) - 46/(-4) a composite number?
False
Let w(b) = -b + 8. Is w(-11) composite?
False
Let h be (-5)/20 - (-10)/8. Let r(l) = l**2 - l. Let s(u) = -4*u**2 + 9*u + 1. Let f(x) = h*s(x) + 3*r(x). Is f(5) composite?
True
Let f(l) = 2*l**3 + 673 - l**3 - 104*l**2 + 105*l**2. Is f(0) prime?
True
Let b(i) = -30*i**3 + 3*i + 3. Let f(w) = w**2 + w - 2. Let m be f(0). Is b(m) composite?
True
Let y = -273 - 270. Let u = -386 - y. Is u composite?
False
Let o(i) be the second derivative of -i**5/20 + 11*i**4/12 + i**3/6 - 8*i**2 - 2*i. Let s be o(11). Is -1 + s/(5/(-48)) a composite number?
False
Let l = -5 + 5. Suppose 196 = -5*f - g - 0*g, -4*g + 16 = l. Is ((-112)/f)/((-4)/(-10)) prime?
True
Let y(h) = h**2 + h + 8. Let i be y(0). Is 2/i + (-1190)/(-8) prime?
True
Let z = 301 + 15. Suppose -2*q = 2*q - z. Is q prime?
True
Let d be (-4)/(-8) - (-237)/(-2). Let m = d + 281. Is m a composite number?
False
Is (-6)/(-39) + (-53166)/(-26) composite?
True
Let o be 2/(4 - 2) + -4. Let j = 13 + o. Is j prime?
False
Suppose 4*s - 5*w = 6, 3*s + 0*s - 5*w - 2 = 0. Suppose -2*u + s*u = 0. Is (u - 2) + 30 + 3 composite?
False
Let y(i) be the second derivative of -143*i**5/20 + i**4/12 + i**3/6 - i**2/2 - 2*i. Let v be y(1). Let n = -89 - v. Is n composite?
False
Is (-18)/(-225) - (-295119)/75 a prime number?
False
Suppose 7*y + 323 = h + 5*y, -4*h = -2*y - 1292. Is h a prime number?
False
Let d(k) = 37*k + 26*k + 21*k + 1 + 21*k. Let y(t) = -2*t - 2. Let b be y(-2). Is d(b) a composite number?
False
Suppose -3*o + 899 + 6574 = 0. Is o a composite number?
True
Let d = -4 + 10. Let x(h) = -19*h + 5. Let m(v) = 10*v - 3. Let l(y) = -7*m(y) - 4*x(y). Is l(d) composite?
False
Suppose -964 = -2*w - 2*f, 8 + 4 = 4*f. Is w a composite number?
False
Suppose 0*n - 8 = -2*n. Suppose -72 = n*i - 0*i. Is (20/6)/((-4)/i) a composite number?
True
Suppose 4*l + 5 = -3*x - 0, 5*x - 5*l - 50 = 0. Let i be 1*((-6)/(-2) + 7). Suppose 0 = -5*k - i, -k + 5 = 2*t - x. Is t prime?
False
Let q(s) = s**3 + 53. Suppose 4 = -2*a + t, 2*a + t = -0*a + 4. Is q(a) a composite number?
False
Suppose -3*x - 8 = -4*m, -3*m - 2 = -5*x - 4*m. Suppose s = -3*n + 576, x*n + 3*n + 5*s - 588 = 0. Is n a prime number?
True
Suppose 57 = w + 5*z, 0 = -5*w + 3*z - z + 420. Is w a prime number?
False
Let w = -3150 - -5017. Is w prime?
True
Let o(y) = 150*y**3 - 2*y**2 + 1. Is o(1) a composite number?
False
Suppose 0 = -5*i - 5*h - 142 + 702, -4*h - 551 = -5*i. Suppose i = -2*y + 5*y. Is y prime?
True
Suppose -330 = -3*i - 123. Suppose 2*x - x = i. Is x composite?
True
Let j(u) = 2*u - 5. Let p be j(4). Suppose -815 = p*y - 8*y. Is y a composite number?
False
Suppose -3*g - 2*r = 270, -245 = 4*g - 3*r + 98. Let c be (-280)/g - (-4)/(-22). Suppose -m + 5*v = -85, -3*m + c*v = -218 - 37. Is m a composite number?
True
Let i(z) = 2*z - 4. Let v be i(4). Is -251*(v + -3)*-1 composite?
False
Let z = -8 + 12. Let x(g) = 2*g**2 - 6*g + 5. Is x(z) composite?
False
Suppose 4 = 5*n - 111. Let v = n - -12. Is v a prime number?
False
Let i(r) = r**2 + 3. Let y be i(0). Suppose 5*v + j = 830, -5*v = -2*v + y*j - 486. Is v composite?
False
Let u = -5 + 16. Let v = 4 - u. Let m = v - -50. Is m a prime number?
True
Let o(l) = l**3 + 7*l**2 + l - 7. Suppose 2*p = 4*p + 12. Let g be o(p). Suppose -3*h + g + 34 = 0. Is h a composite number?
False
Suppose 928 = q + 179. Is q a composite number?
True
Let j = -9 - -29. Is ((-3)/(-3) - -1) + j composite?
True
Suppose 4 = 4*c - 2*c, -12 = -h - 3*c. Suppose -h = -2*j + 4. Suppose -4*m + 10 = m, 0 = j*s + m - 127. Is s a prime number?
False
Suppose -4*w = w - 20. Let m be w/14 - (-26)/7. Suppose m + 17 = t. Is t a composite number?
True
Let a be 0 + -1 - 55*2. Suppose 4*p - 2*f - 764 = -3*f, 0 = 3*p - f - 566. Let x = p + a. Is x composite?
False
Suppose -j - 2*j - 3*n - 36 = 0, -52 = 4*j + 5*n. Let p(s) = -s - 10. Let b be p(j). Is (b - -1)*-39 + -2 a composite number?
False
Let w(u) = u**2 + 5*u + 6. Let s be w(-4). Suppose 0 = 2*f, -3*i - i + s*f = 0. Suppose 2*l - 7*l + 55 = i. Is l a prime number?
True
Let z(x) = -x + 1. Let d be z(1). Suppose d = -5*j + y + 724, 3*j + 6*y = 5*y + 436. Is j prime?
False
Suppose -17*a = -16*a + 135. Let t = a + 320. Is t composite?
True
Let k be (-27)/5 - (-2)/5. Let o(d) = 2*d**2 - 10*d - 10. Let g be o(-6). Let a = g - k. Is a composite?
False
Let w = 813 + 646. Is w prime?
True
Let g = 4 - 3. Let l be (-1 + 2)*(g + 30). Suppose 0 = -y + 5*a - 2*a + 8, 2*y - 3*a = l. Is y composite?
False
Suppose 3*g + 574 = 1852. Is (2/6)/(2/g) prime?
True
Suppose -2*g = -7*g + 4075. Is g a prime number?
False
Suppose -l + m - 15 = -4*m, 2*m = 5*l + 6. Suppose -z - 3*b + 25 = l, 4*b - 2 - 6 = 0. Is z composite?
False
Let h(n) = -n - 3. Let q be h(-4). Is (q + -4)*-125 + 4 composite?
False
Let g(q) be the third derivative of 0 + 1/12*q**4 + q**2 - 1/3*q**3 + 0*q + 1/15*q**5 - 1/120*q**6. Is g(3) a composite number?
False
Let j = 22 - -109. Is j a prime number?
True
Let b(u) = u. Let c be b(2). Suppose -3*j - c*j = -5. Is ((-1)/3)/(j/(-21)) prime?
True
Is (-2 + 3)/(2/974) prime?
True
Suppose -7*z - 39844 = -11*z. Is z prime?
False
Suppose -3*t + 1464 = 276. Suppose 4*d - d = 3, 5*u + d - t = 0. Is u a composite number?
False
Let m = 278 - -48. Is m composite?
True
Let h = -1 + -6. Is (-1658)/h + (-1)/(-7) a composite number?
True
Suppose 2*s - 1153 = x, -2*s - 2*x + 1151 = -5*x. Is s a prime number?
True
Let p(a) = -a**3 - 3*a**2 + 1397. Is p(0) prime?
False
Let o(g) = -g + 13. Let s = -11 - -22. Let i be o(s). Suppose 600 = 4*r - x, i*r - 4*x - 359 = -45. Is r prime?
True
Suppose 2*d = 2*h - 10, 0 = 7*h - 2*h + 2*d + 3. Let x be ((-78)/9)/(h/(-3)). Suppose 0 = 3*k - 7 - x. Is k composite?
False
Let m be ((-12)/(-20))/((-2)/(-10)). Let y be 2/1 + 0 + m. Suppose -5*r - 3*j + 422 = 0, -34 = -r + y*j + 28. Is r composite?
True
Suppose -4*d - 2*q = -3*d - 1557, 0 = d - 5*q - 1564. Is d a prime number?
True
Let k(b) = -b**2 + 18*b - 7. Let a be k(13). Let w = -3 - -1. Is w + a - (-2 + 3) a prime number?
False
Let o(c) = c**3 - c - 2. Let k be o(2). Suppose k*f = 252 + 224. Is f a prime number?
False
Let l be 1/(-2)*(3 + -3). Suppose l*h - 6813 = -3*h + 4*b, -3*h - 3*b = -6792. Suppose 282 = -5*m + h. Is m a composite number?
False
Let q = -42 + -12. Let i = q - -187. Is i a composite number?
True
Let i = 710 - -203. Is i a composite number?
True
Let q = 5 + -7. Is (-3)/(q/188*2) prime?
False
Let p(c) = -158*c - 5. Is p(-2) prime?
True
Let h(l) = l**3 + 5*l**2 - l - 3. Let n be h(-5). Suppose n*q + 2*q = 20. Suppose -35 = -q*k + 3*d, d - 3*d + 6 = 4*k. Is k a prime number?
False
Let b(g) = -1. Let q(j) = -j**3 - 7*j**2 + j + 2. Let l(a) = 3*b(a) - q(a). Let z be (-6 - -2) + -1*2. Is l(z)