 Suppose k*r - 655 = 4*r. Is r composite?
False
Is (184 - (-12)/4)/1 composite?
True
Let x = 6 + -1. Suppose o + x = 20. Suppose -g = -2*g + o. Is g a composite number?
True
Let k be 152/7 + 8/28. Let y be 4/(-14) - 172/(-14). Let l = k - y. Is l composite?
True
Let b(v) = 7*v**2 - v**3 - 4*v**2 + 5 + 2*v**2. Is b(4) a composite number?
True
Let a be 0 - 6/15*5. Is 1/(a + (-156)/(-76)) prime?
True
Is (-4)/6 + (-6710)/(-30) a composite number?
False
Let p be (-2)/(-5) + (-846)/(-10). Let j be 1/(-4) - p/(-4). Let h = j + 12. Is h prime?
False
Let i = 6 - 9. Is (67 - 9/i) + -3 a composite number?
False
Let b(m) = m**2 + 10*m - 2. Is b(-11) a prime number?
False
Let z = -15 - -11. Let n(b) = 40 + 6*b - 4*b**3 - 35 + 2*b**2 - 2*b + 3*b**3. Is n(z) composite?
True
Suppose -6*o + 2*o = -3476. Let g = o + -382. Is g a composite number?
False
Let r(q) = -7*q + q**2 + 0*q + 3*q. Let i be r(4). Suppose i*k = 5*k - 70. Is k prime?
False
Is (-28)/6*165/(-10) a composite number?
True
Suppose -19 = -2*h + 3*h. Let b = 51 + h. Let c = b - 13. Is c prime?
True
Suppose -13 - 23 = -3*l. Suppose -h + l = 3*h. Suppose -h*q - 15 = 0, -m - 5*q + 4*q + 1 = 0. Is m a composite number?
True
Let i(s) be the first derivative of -17*s**2/2 + 2*s + 3. Is i(-3) a composite number?
False
Suppose 2*x = -2*t + 240, 3*x - 3*t + 0*t = 372. Suppose 2*h + x - 584 = 5*m, 2*h - 4*m = 458. Is h a prime number?
False
Let u(h) = h**2 - h + 1. Let j = -2 - -4. Let y be u(j). Is 40/y + (-8)/(-12) a composite number?
True
Suppose 5*t - 40 = -2*n, 2*n = 6*n + 20. Let q = t - 7. Suppose 2*j - 324 = -4*x, 0*j + q*j - 407 = -5*x. Is x composite?
False
Let n = 15 + -11. Suppose -b - n*y = y - 35, -184 = -4*b + 2*y. Let v = b - 8. Is v a composite number?
False
Suppose 5*t + 0*w + 2*w - 5 = 0, -2*t = -3*w + 17. Let d be t/3 - 26/(-6). Is ((-6)/d)/((-2)/4) composite?
False
Let d(h) = -h**2 + h. Let k be (-14)/63 - 2/(-9). Let s be d(k). Suppose s = 4*t - 350 - 38. Is t composite?
False
Is (-6)/8 + (-185)/60*-681 a prime number?
True
Let t(r) = r**3 + 10*r**2 + 6*r - 3. Is t(-8) prime?
False
Suppose 5*f - 606 = 3*f. Is f a prime number?
False
Let n(x) = -13*x - 1. Is n(-2) composite?
True
Let k(g) = 31*g**3 + 4*g**2 + 2*g - 5. Is k(4) prime?
False
Let j = -80 - -133. Is j a prime number?
True
Let l = 109 + -52. Is l composite?
True
Suppose 0*x - 2*x = -12. Let i(g) = -20*g + 14. Let n(l) = 10*l - 7. Let z(j) = x*i(j) + 13*n(j). Is z(6) a prime number?
True
Let p(s) = 2*s**2 + 3*s**2 - s**2 - s**2 + 4. Is p(-3) prime?
True
Let t = -5 - -9. Let g = 221 - 340. Is (g/2)/((-2)/t) prime?
False
Let d be 13/39 + (-29)/(-3). Let t(f) = 4 + 5*f**2 - 8*f - f**3 + 9 + 6*f**2. Is t(d) a prime number?
False
Let w = -773 + 1346. Is w a prime number?
False
Suppose 5*w + 1919 = -3*r + r, 0 = w + 3. Is 1/(-3) - r/12 a composite number?
False
Suppose 0 = 4*q - 1798 - 334. Is q composite?
True
Let a(h) = -23*h**3 + 3*h + 1. Let i be a(-4). Suppose r = -2*r + i. Is r a composite number?
False
Is (2/(-1 - 5))/((-4)/26052) prime?
False
Suppose -169 = -x + 130. Suppose -79 = 4*j - x. Is j prime?
False
Let x(a) = 2*a**2 + a. Let g be x(-2). Is (-2)/g + (-58)/(-3) a prime number?
True
Let c(i) be the first derivative of 14*i**3/3 - i - 5. Let y(d) = d**2 + 9*d + 10. Let r be y(-7). Is c(r) a composite number?
False
Let v(x) = -x**3 + 8*x**2 - x + 11. Let b be v(8). Suppose 2*z - 35 = 5*u, b*z - 25 = 2*u + 22. Is z prime?
False
Let s = -1 - -2. Is 1/s + 3 + 49 composite?
False
Suppose -3*f + 0*z + z + 11 = 0, 0 = 4*f + z - 17. Is (154/4)/7*f a prime number?
False
Let c be 3237/(-15) + 3/(-15). Let h = -145 - c. Is h composite?
False
Let a(k) = 0 - 3*k - k**2 + 4 + 0*k + 4*k - k**3. Let q be (-2)/1 - (-1 - -2). Is a(q) a prime number?
True
Let u = -3424 - -6357. Is u composite?
True
Let o(l) = -17*l + 13. Is o(-8) prime?
True
Suppose -q + 5*c = 53 - 323, 1 = -c. Is q a composite number?
True
Suppose -5*d + 0*d = 0. Suppose 0 = b - d*b. Suppose b = -5*l - 2*j + 75, -6*l + l + 75 = 4*j. Is l prime?
False
Let w(n) = -4*n**2 - 7*n**3 + 0*n**3 + 7*n - 5 + 6*n**3 + 0*n**3. Let c be -6 + (0 + 0)/(-2). Is w(c) prime?
False
Is -6 + (-2 - -5) - -188 composite?
True
Suppose -6334 - 14511 = -11*w. Is w a prime number?
False
Let w(l) = -9*l - 2. Let q be w(-1). Suppose -1 = -4*a + q, 3*t = -5*a + 487. Is t a prime number?
False
Is (-6)/9*(-291)/2 composite?
False
Suppose 2*b = 4 + 2. Suppose 3*r - 162 - 12 = x, b*r - 2*x - 174 = 0. Suppose -8 - 1 = 3*z, r = 5*y - z. Is y a composite number?
False
Let l = -22 + 528. Is ((-14)/(-4))/(11/l) composite?
True
Let y(a) = -a + 34. Suppose 0 = -4*u + 3*u. Let p be y(u). Let r = p - 1. Is r composite?
True
Let y(h) = 4*h + 5. Is y(12) prime?
True
Is (-21612)/(-30) + (-6)/(-10) composite?
True
Let q(a) = -49*a**3 + 0*a**2 + a**2 - 3*a**3 - 138*a**3. Is q(-1) composite?
False
Let m be 4/1*(-18)/(-4). Suppose m = -3*x + 2*r, 2*r - 19 = x - 3*r. Is ((-12)/(-9))/(x/(-66)) a composite number?
True
Let r = -20 + 11. Let u = r - -34. Is u a composite number?
True
Let o(i) = -8*i**2 - 3*i - 4. Let b be o(-5). Let z = -130 - b. Is z a composite number?
False
Suppose -4*p + 5*v + 904 = 0, 3*p - 333 = 5*v + 345. Is p a prime number?
False
Let i be (0 + (-3)/(-6))*8. Suppose -2*d + i*g - 16 = 0, -8 = 2*g - 0. Let j = 7 - d. Is j composite?
False
Let u(o) = -2*o**3 + 7*o**2 + o - 1. Let t(h) = h**3 - h**2. Let q(z) = 6*t(z) + u(z). Suppose -3*b + 8*b - 10 = 0. Is q(b) a prime number?
True
Suppose -b - 2*c = -247, 32 = -4*b - 4*c + 1024. Is b composite?
True
Let b = -6 - -12. Let p be (-28)/(-16) + (-2)/(-8). Suppose -p*f = -b*f + 524. Is f a prime number?
True
Let z be ((-2)/(-2))/((-3)/234). Let t = -19 - z. Is t composite?
False
Let b be (-5 + 4)/(2/(-4)). Let l(q) = -q**2 - q - 1 + 3 + 2*q**b. Is l(-4) a composite number?
True
Let q(b) = -b + 4. Let o be q(-3). Suppose 0 = -3*y - 2*w + 43, -4*w - o = -3*y + 24. Suppose y = 2*d - 17. Is d prime?
False
Let y(z) = -z**2 + 6*z - 3. Let k be y(6). Let b(u) = -u**3 - 2*u**2 - 2*u. Is b(k) a prime number?
False
Suppose 2*j = 6*j + 184. Suppose -111 = 3*l - 3*a, 3*l + a + 87 = -2*a. Let x = l - j. Is x composite?
False
Let f be (2 + 0 + -7)*1. Let a = -5 - f. Suppose -5*v + 4*j - 12 + 165 = a, -j = 2*v - 69. Is v prime?
False
Let f = -17 - 1. Let c = f + 37. Is c prime?
True
Suppose 0 - 48 = -6*h. Suppose h*k - 286 = 6*k. Is k composite?
True
Suppose 4*f - 7656 = 1780. Is f prime?
False
Suppose -1 = -4*m - 4*j + 3, j + 11 = 3*m. Suppose -3 = m*x - 12. Is 1152/15 - x/(-15) prime?
False
Let k(c) = -c**2 + 4*c. Let t be k(4). Is 1*(t/1 - -233) a composite number?
False
Suppose 4*p - 3*p = 0. Suppose -75 = -z + 358. Suppose -3*m = 5*r - 287, 3*m + 2*m - 3*r - z = p. Is m a composite number?
False
Suppose 0 = 2*s + 8, 2*c - 5*s = -c + 17. Let d(a) = -54*a**2 - 2*a - 1. Let n be d(c). Is 1/(-4)*n*4 a composite number?
False
Let a be 82/7 - 6/(-21). Let x = a - -41. Is x prime?
True
Suppose l - 4*m + 18 = 4, -2*l = -m. Suppose l*d + 4 = -2*d. Is 2 - (2 + (d - 18)) a prime number?
True
Let s(n) = -7*n - 1. Let p be s(-1). Suppose -7*d = -2*d - 365. Let y = p + d. Is y a composite number?
False
Suppose 0 = -2*o + 1 + 5. Suppose -5*i = -o*s - 818, 0 = -5*i - 3*s + 129 + 683. Is i composite?
False
Is 4/(1 + 1) + 4287/1 composite?
False
Suppose 0 = -5*j - 5*r - 290, -2*j = -2*r + 161 - 41. Let t = j + 152. Is t prime?
False
Suppose f - 3 = 4. Suppose f + 1 = -2*g. Is (-1029)/g + 1/(-4) composite?
False
Let a(c) = 38*c**3 - 1. Let w be a(1). Let f(n) = -2*n - 3. Let m be f(-3). Suppose -2*k + m*k - w = 0. Is k a composite number?
False
Let c(d) = -d + 8. Let a be c(6). Let v(n) = -64*n**2 - 6*n + 3. Let h(s) = s**2 + s. Let j(u) = -2*h(u) - v(u). Is j(a) composite?
True
Let n(g) = 2*g**2 - 9. Is n(-10) composite?
False
Let h(g) = 63*g**2 - g + 12. Let q be h(5). Suppose 25*b = 27*b - q. Is b a composite number?
True
Let u(b) = -b**2 + 2*b - b**2 - b**3 - b**2 + 2*b**3 + 3. Let c be u(3). Let i = 24 - c. Is i a prime number?
False
Let l(u) = -u**3 - 3*u**2 + u + 13. Let m be l(-9). Is -3*(-4 - m/6) a composite number?
False
Let u be -1 + (1 - -1*15). Suppose -2*y = w - 10, 3*y + 3*w - u = -w. Suppose -87 = -y*d + 4*f, 0*d = -4*d - 2*f + 54. Is d prime?
False
Let j(p) be th