69 = 5*s + 68, k = j + 5*s. Suppose j - 56 = 2*u. Is u composite?
True
Let l be 6/(-9) - (-2)/(-6). Is 75 + 2 + (-2)/l prime?
True
Let d(x) = 2*x**2 + 4*x + 7. Let n be d(-5). Let s = n + -19. Is (-6)/27 - (-130)/s prime?
True
Let n(h) = -h - 5. Let j be n(7). Let o = 113 - j. Suppose -3*t - 20 = -o. Is t a composite number?
True
Let u(k) = k**3 - k**2 - 5*k + 7. Is u(3) prime?
False
Let w be ((-79)/3)/(4/(-60)). Let t = w - 137. Is (6/(-9))/((-4)/t) prime?
True
Suppose -4*r - g = -29, 0 = -3*r - 0*g - g + 21. Let k(t) = 3*t**2 + 3*t + 5. Is k(r) prime?
False
Suppose -3900 = -3*v + 4*b + 2723, -8848 = -4*v + b. Is v composite?
False
Suppose 0 = 5*d - 7*d + 2054. Let k = d + -462. Is k prime?
False
Suppose 0 = 3*q - 570 - 189. Is q composite?
True
Is (1/(-2 - -3) - -2) + 154 a prime number?
True
Suppose 30 = 5*h - 4*m, 0 = h - 0*m + 5*m + 23. Is (-1665)/(-18)*h*1 composite?
True
Let v = -36 + 61. Is v prime?
False
Let p(f) = -2221*f. Is p(-1) a prime number?
True
Let z(c) = c**2 + 13*c + 12. Let u be z(-12). Suppose u = -2*s + 5*q + 150, -3*q + q + 8 = 0. Is s a prime number?
False
Let i be ((-267)/(-6))/(1/2). Suppose 4*j - i = 171. Is j a prime number?
False
Let i(w) = -3*w**2 - 5*w - 1. Let q(x) = 2*x**2 + 4*x. Let r(j) = -3*i(j) - 4*q(j). Is r(6) a composite number?
True
Let q(g) = -141*g**2 - g. Let i be q(1). Let y = -463 - i. Let p = -86 - y. Is p composite?
True
Let w(t) = -t**3 + 2*t**2 - 4*t - 4. Let b be w(-4). Suppose -f = 5*o - b, -6*f + 2*f = 4*o - 352. Is f a prime number?
True
Suppose -1191 = -5*l + 4*y, -2*y + 4*y + 478 = 2*l. Is l a composite number?
True
Suppose 0*f = f + 7. Let l(a) = a**2 + 5*a - 8. Let c be l(f). Let u(m) = 2*m + 2. Is u(c) a composite number?
True
Let h be 2/(-4)*(-4 + 4). Let f be h + 2 + (-42)/7. Is (1 - -1) + (-1044)/f a composite number?
False
Let f(r) be the third derivative of 29*r**8/10080 + r**6/720 + r**5/60 + 3*r**2. Let i(a) be the third derivative of f(a). Is i(-1) a composite number?
False
Let a = -33 + 49. Let b be (12/a)/((-2)/(-488)). Suppose 4*o = -5*s + b, 2*o - 2*s - 143 = -o. Is o prime?
True
Let i = 383 + 917. Suppose 376 = 4*q - i. Is q a prime number?
True
Let t = 3 - -1. Suppose 0 = -t*i - 3*r + 13, -i + 2 = -2*r - 4. Suppose -136 = -i*y - 4*b, 0*y - 114 = -3*y + b. Is y composite?
False
Let x(o) = 29*o**2 + 4*o - 2. Is x(3) composite?
False
Suppose -2*x - 7*q + 950 = -3*q, -2*x - 3*q = -952. Is x composite?
False
Let g(f) = f**3 - 3 - 1 + 7*f - 6*f**2 - f**2. Let j be g(6). Suppose j*w - 6*w + 50 = -2*l, 0 = -4*w + 4*l + 60. Is w a prime number?
False
Let v(x) = x**2 + 8*x + 13. Let s(b) = -5*b**2 - 32*b - 53. Let k(a) = -2*s(a) - 9*v(a). Is k(11) composite?
True
Is (0 - -3) + 0/1 a prime number?
True
Let x be -1*2/4*-362. Suppose 0 = -3*d - 2*d + l + 603, -d = 3*l - 111. Let h = d + x. Is h composite?
True
Suppose -59 = -2*x + 33. Let j be 1 + -2 + 4*x. Let i = j - 104. Is i prime?
True
Suppose -3*q + 4*q - 3 = 0. Suppose -u - i - q = -22, -u + 15 = 3*i. Is (u/6 - 0)*4 composite?
True
Is (-5 - -2)/((-21)/49) a prime number?
True
Let i(t) = 300*t - 1. Let q be i(1). Suppose -q = -3*r - 5*j - 25, -5*r + 2*j = -405. Is r a composite number?
False
Let y = -24 - -179. Is y prime?
False
Let k be (-60)/8*4/(-6). Suppose -3*m + 184 = k*u, 0 = u - 2*u + 2. Is m composite?
True
Let x(k) = -4*k + 9. Let o be x(-8). Suppose 3*a + 3 = c + 2, -5*c = 3*a - o. Is c prime?
True
Let j(d) = -2*d**2 - d - 1. Let y be j(-1). Let n be ((-1)/y + -2)*14. Let p = n - -40. Is p a prime number?
True
Let p be 2/(2 + 1 + -2). Is p/(-4)*46*-1 composite?
False
Is (-13547)/(-8) + (-12)/32 prime?
True
Let o be (-1547)/28 + 1/4. Let f = 138 + o. Is f a composite number?
False
Suppose -2*r = -7*r + 635. Is r a prime number?
True
Let i(w) = -32*w**2 - 3*w + 3. Let g be i(4). Is (0 + g)*(3 + -4) a prime number?
True
Let o = -2 + 12. Let g be o/15 + (-8)/(-6). Suppose 1 = i - 3, g*z + i - 314 = 0. Is z a prime number?
False
Let d be 54/(-8) - 1/4. Let z(w) = -2*w**3 - 8*w**2 + 9*w + 4. Is z(d) prime?
False
Suppose 2*h - 62 = -m, 2*h - 4*h - 4*m = -74. Suppose h - 99 = -2*g. Is g a prime number?
False
Let z(l) = l**3 + 22*l**2 - 8*l - 52. Is z(-21) a composite number?
False
Suppose 9*k = 10*k - 382. Is (-2 - -1)/((-2)/k) a prime number?
True
Let d = -5 + 8. Suppose -3 = -p - 1. Suppose p = -d*t + 14. Is t composite?
True
Let c be (-6)/(5 + -3) - -3. Let w = c + 5. Suppose 5*u = -w*r + 735, 3*r = -4*u + 464 + 122. Is u a composite number?
True
Suppose 111 + 176 = 5*v + 4*z, 0 = -3*z + 9. Is v a composite number?
True
Suppose -2*d - 2 + 4 = 0. Is 40 + -2 - 3/d prime?
False
Suppose 0 = -l - 3*z + 18, -4*z = -l + 3*l - 32. Suppose -5*u = -u - l. Suppose 4*j - 5*f + 8 = 141, -2*j + u*f = -65. Is j a composite number?
False
Suppose 0*j + 2*j = 420. Suppose -c = c - j. Suppose 4*p - c = p. Is p prime?
False
Let c = -7 - -9. Suppose 2*x - 10 = -c. Suppose -k + x*k = 21. Is k composite?
False
Suppose 3*s + 3*s = 1614. Is s prime?
True
Let o(s) = s + 10. Let l be o(-13). Is (l/(-5))/(10/2650) a composite number?
True
Let k(w) = w**2 - 3*w - 6. Let z be k(5). Suppose z*i + 123 = j, j + 3*j - i - 507 = 0. Suppose j + 34 = h. Is h a composite number?
True
Let z(s) = -s**2 + 7*s - 2. Let n be z(4). Suppose -2*l - 2*w - 2*w + 322 = 0, -l = -3*w - 171. Suppose -5*u - n = -l. Is u a composite number?
False
Suppose 4*t - 3*u = 1237, -5*u = 5*t - 1118 - 402. Is t prime?
True
Let l = -30 - -45. Suppose -2*o + 12 = 2*h, -2*o - h + l = 5. Suppose o*s = 25 + 11. Is s prime?
False
Let f(t) = -4*t + 3. Let b = 12 - 18. Let z(p) = p**3 + 6*p**2 + p + 3. Let m be z(b). Is f(m) a prime number?
False
Suppose 106 + 156 = 2*n. Is n a prime number?
True
Suppose -3*d + 146 = 47. Is d a prime number?
False
Let b be (-2)/((-3)/(9/2)). Suppose -234 = -b*s + 99. Is s composite?
True
Suppose 0 = 4*k + 4*k - 2512. Is k composite?
True
Suppose 2*d = -2*n + d - 3695, -5*n = d + 9239. Is (-2)/(-10) - n/10 a prime number?
False
Suppose -2 + 9 = o. Let r = o - 2. Suppose -283 = -r*u + 102. Is u composite?
True
Suppose 3*t = 101 + 334. Is t a prime number?
False
Suppose -3*g = -j, g - 4 = 4*j - 37. Let r = -42 + j. Is r/2*20/(-15) a composite number?
True
Suppose r - 3*d + 15 = -r, 0 = 4*r + 4*d - 20. Suppose r = 3*a - 6*a - 12, z - 109 = 5*a. Is z prime?
True
Let i(f) = -f**3 + 2*f**2 - 3*f - 2. Let y be i(3). Let a be ((-34)/(-5))/((-3)/(-15)). Let p = a + y. Is p prime?
False
Let o(l) be the third derivative of l**5/30 - 7*l**4/24 - l**3 + 2*l**2. Is o(-5) composite?
False
Suppose -5*g + 30 = 3*x, x = 3*g - g - 1. Suppose -x*f = -8*f - 261. Let r = 236 + f. Is r a prime number?
True
Let v(t) = -3*t**3 - 7*t**2 + t + 6. Is v(-5) composite?
True
Suppose -3*o = -9 - 6. Suppose -o*b = 25, 4*c + 3*b = 5 + 4. Is c prime?
False
Let i(w) = w**2 - 6*w + 11. Is i(-14) a prime number?
False
Suppose 0 = 2*g - 119 - 179. Is g a prime number?
True
Suppose g = 2*w + 9 - 1, 2*w + 12 = 2*g. Is ((-31)/w)/(4/8) composite?
False
Let w(r) = -r**3 + 16*r**2 - 14*r + 22. Suppose -5*g = -d + 24 + 11, -g = 4. Is w(d) a prime number?
True
Let v(j) = -j**3 - 2*j**2 + 6*j + 2. Suppose -z - 58 = -5*w + w, 3*w - 4*z - 37 = 0. Suppose -2*h - 10 = -4*s, -w = 3*h - s - 0. Is v(h) a composite number?
False
Suppose 4*t = 5*t - 76. Is t/10 - (-9)/(-15) composite?
False
Suppose 3*h = -17 + 251. Suppose -5*a + h + 32 = 0. Is a prime?
False
Let w be 171/6 - (-1)/2. Suppose -153 = -4*a - w. Suppose -3*u + u + 72 = -i, 2*i - a = -u. Is u composite?
True
Let t be -7 - (-2 + 1)*1. Let r(b) = b**2 + 6*b + 4. Let z be r(t). Is 279/6*z/6 composite?
False
Let h be ((-1)/(-3))/(1/63). Suppose 0 = 4*q - 4*m - 6 + 22, -8 = -5*q - 2*m. Suppose -o = -q*o - h. Is o a prime number?
False
Let v(t) = -3*t + 6. Let h be v(4). Let s(f) = -19*f - 1. Is s(h) a composite number?
False
Let v = -5 + 0. Let x = -5 - v. Suppose x = 5*i - 0*i - 1025. Is i composite?
True
Let h(w) = w**2 - 3*w. Suppose 0 = -l + 4*l - 12. Let s be h(l). Suppose -3*t + 102 = s*g - 245, g - 88 = -t. Is g a prime number?
True
Let r(f) = f. Let a(d) = d**2 + 11*d + 4. Let j(t) = -a(t) + 4*r(t). Let i be j(-7). Let s(q) = -q**2 - 8*q + 5. Is s(i) a prime number?
False
Let u(t) = 5*t**2 - 3*t - 1. Let z = -8 + 8. Suppose 0*p - 3*p + 4*b + 28 =