ite?
True
Let m be (3/(-6))/(2/68). Let n = m + 25. Suppose n*a - 3*a = 345. Is a a composite number?
True
Let l be (-2)/12 + (-53)/6. Let q = l - -9. Suppose 2*c = -q*c + 286. Is c composite?
True
Let b = 2175 - 1195. Suppose -4*k + 1003 = -3*d, -3*d + 294 = 5*k - b. Is k prime?
False
Suppose -f = -0*f - 5*u - 7476, -4*u = -2*f + 14982. Is f a composite number?
True
Let a be 6*2/(-2) + 2. Let m = 7 + a. Is m/6*(172 - 2) composite?
True
Let t = 2850 - 165. Suppose 5*x + 0*x = t. Is x a prime number?
False
Is 809/1 - 0/3 a prime number?
True
Let z = 52 - 87. Is ((-798)/z)/((-2)/(-5)) composite?
True
Let j(n) = 196*n + 1. Is j(4) composite?
True
Let m = 517 - 340. Is m prime?
False
Let y = -1470 + 2177. Is y a prime number?
False
Let v(l) = l**3 - 4*l**2 - 34*l - 3. Is v(14) prime?
True
Let u(r) = -1 - 2 + 46*r + 0 + 9*r. Is u(4) prime?
False
Suppose 0 = 5*w + 4*g - 45, 0 = -4*w - 2*g - 2*g + 40. Suppose 0 = -w*s + 92 + 3. Is s composite?
False
Let h be 1/3 + (-29)/(-3). Is h + (1 - 0 - 1) prime?
False
Let d be (2/2)/((-1)/(-3)). Suppose o = d*o - 154. Is o a composite number?
True
Let f = 12 - 6. Let j(t) = 2*t**2 + 9*t - 7. Is j(f) composite?
True
Suppose 5*d - 4066 = 1209. Is d prime?
False
Let n = 1277 + -608. Is n a prime number?
False
Let d(c) = -2*c**2 - 3*c - 1. Let a be d(-2). Let x = -5 - a. Is 0/x - (1 + -22) a composite number?
True
Suppose 193 = 4*j - 5*v, v - 67 = -j - 4*v. Suppose 2*y = -6*k + k + j, 0 = 3*y - 3. Is 552/k - (-2)/(-10) prime?
False
Suppose -z = 3*z + 32. Let f = z + 10. Is f composite?
False
Let y = 729 - 338. Is y a composite number?
True
Let y = 983 + -312. Suppose 236 = -5*f + y. Is f a composite number?
True
Suppose -2*d = 2*k + d - 4148, -5*d + 10375 = 5*k. Is k a composite number?
True
Let g = -4 + -2. Let r(y) = -35*y + 7. Is r(g) prime?
False
Is 788 + (-12)/18 + (-1)/3 a composite number?
False
Is -381*((-4)/(-6) - 1) prime?
True
Let u = 66 + -133. Let p = 22 + u. Let h = 178 + p. Is h composite?
True
Suppose -2 - 2 = -r. Suppose r*b = 8 + 4. Suppose -5*o + 171 = -0*o - b*d, 3*o - 107 = 4*d. Is o a composite number?
True
Suppose 5*r - 124 = r. Let v = r + -21. Suppose -w + 33 = v. Is w a composite number?
False
Suppose -2*x + 2 = -38. Let i = 31 + x. Is i a composite number?
True
Suppose -3*z + 7*z = 20. Let h be 1/(-2 + 1)*0. Suppose -w + h = 4, 155 = z*m + 5*w. Is m a prime number?
False
Suppose -z = 4*z - 5. Suppose -4*u - z + 9 = 0. Is 4*u/(8/10) a composite number?
True
Let a(h) = 253*h. Is a(1) a composite number?
True
Let u = -6 - -7. Is 46/u*2/4 a prime number?
True
Let x = -74 - -105. Is x a composite number?
False
Let o(f) = 8*f**2 - 5*f + 2. Suppose 3*v = r + 7, -8*v = -3*v - 5*r - 5. Is o(v) prime?
True
Suppose q - 3*a = -6*a + 12, 2*a = -2*q + 12. Suppose -3*k = -5*t - 145, -q*k = t - 4*t - 153. Is k composite?
True
Let i = -157 + 157. Let g(h) = h - 1. Let n be g(3). Suppose i = n*s - 13 - 39. Is s composite?
True
Is 92*2/(-16)*-22 a composite number?
True
Let i be 2/((-2)/(-97)) - -1. Suppose -i = -5*g - 3*c, -4*c + 23 = -4*g + 5*g. Is g a prime number?
True
Let j(l) = l**3 + 2*l**2 - 3*l + 3. Let k be j(-3). Suppose 0 = -k*f - 4*q + 489, -4*q = 4*f - 145 - 507. Is f a prime number?
True
Suppose o - 3*z - 527 = 0, 3*o = 4*z + 941 + 640. Is o prime?
False
Let w = 168 + -71. Is w a prime number?
True
Let j be 8/3 - 1/(-3). Suppose -28 = -k - j*k. Is k composite?
False
Let p(l) = 25*l**2 - 8*l + 10. Is p(6) prime?
False
Suppose -3*p = 2*p - 10. Suppose p = -u + 4. Suppose 0 = 5*j - 2*t - 159, -u*j - 4*t + 16 = -62. Is j a prime number?
False
Let u(l) be the first derivative of -l**2 + 2*l + 1. Let j be u(2). Is (-4 + 6)/(j/(-67)) a composite number?
False
Suppose 4*w = -2*q + 7334, -3163 = -2*w - 5*q + 492. Is w a composite number?
True
Let y(t) = 2*t**2 + 4*t + 7. Let j(n) = -n**2 + n. Let q be j(-2). Is y(q) prime?
False
Suppose -12*y + 28095 = 10107. Is y composite?
False
Let q(b) = 8*b**2 + 31*b**2 + 0*b - b. Let v be q(1). Suppose t + t - v = 0. Is t composite?
False
Let p(x) = 2*x + 12. Let b(w) = w + 4. Let m(s) = -11*b(s) + 4*p(s). Suppose 0 = g + 5*n + 5, 0 = g + g + 3*n + 10. Is m(g) composite?
False
Let l(d) = -20*d**3 - d**2 + d + 1. Let b(h) be the second derivative of -h**3/6 - 3*h**2 + 2*h. Let k be b(-5). Is l(k) composite?
False
Let p be 14/(-2) + 4 + -1. Let k = p + 8. Suppose b + k*b = 185. Is b composite?
False
Let n(o) = -125*o + 2. Is n(-1) prime?
True
Let j be ((-1)/2)/(3/6). Is (8 - 13)/(j/3) a composite number?
True
Suppose -a = -3*a - 26. Is -12 - -10 - (a + 1) a prime number?
False
Let u(v) = v**2. Let f(i) = -5*i**2 - 2*i - 3. Let t(g) = -f(g) - 3*u(g). Let a(p) = -p**2 - 11*p - 13. Let r be a(-10). Is t(r) prime?
False
Suppose -h = -3*h. Suppose -4*x - 2*n + 72 = 16, h = -3*x - 3*n + 45. Is x a composite number?
False
Suppose 2*t = -s + 69, 2*t = -s + 5*t + 64. Is s a composite number?
False
Let r = -45 - -19. Let z = r - -57. Is z composite?
False
Let r(p) = -p**3 + 8*p**2 - 7*p + 1. Let y be r(7). Is (74/6)/(y/3) a prime number?
True
Let v = 143 - 79. Suppose -2*u + 16 + 16 = -4*g, 4*u = 2*g + v. Let s = u - -3. Is s a prime number?
True
Suppose 2*s = -5*d + 366 + 89, -2*d = 2*s - 188. Suppose d = n - 57. Is n composite?
True
Suppose 0 = -3*q - 262 + 1465. Is q a composite number?
False
Let f(t) = t + 8. Let w be f(-8). Let q(i) = -i**2 - i + 149. Is q(w) prime?
True
Let x(j) = 6*j + 2*j**3 + 3*j - 4*j + 3 - 4*j**2 - 5*j**2. Is x(6) a composite number?
True
Suppose 2 = 2*a + 4*t, -5*t + 5 = 6*a - a. Suppose a + 3 = -4*b. Is (-255)/(-6)*-2*b a composite number?
True
Let v = 4 - 8. Let w(o) = -o - 2. Let j be w(v). Suppose -5*r = -3*b - 256, 5*r + j*b - 4*b - 259 = 0. Is r composite?
False
Let s = -5 + -3. Let f = -6 - s. Suppose -125 = f*v - 7*v. Is v a composite number?
True
Let m = 820 + 189. Is m a prime number?
True
Let t be (-2)/(-3) + (-14)/(-6). Suppose b - 91 = -3*w - 23, -t*w = -3*b + 192. Is b a composite number?
True
Suppose 0 = 2*r - 3*r - 55. Let l = -2 - r. Is l prime?
True
Suppose 2*j + 0*j + 5*d = 198, -j - 4*d + 105 = 0. Is j composite?
False
Let q = 25 - 21. Let r be (-37 + -1)*10/(-4). Suppose -q*n = n - r. Is n a composite number?
False
Suppose 3*s - 3*z + 6 = 0, -2*s - 10 - 4 = -4*z. Let w = 42 - 21. Suppose -4*m + 39 = 5*a, s*m + 2*m - w = 3*a. Is m composite?
True
Suppose -5*r - 3*b = -6, 3 = 7*r - 3*r + 3*b. Let w be 406/r - 6/(-9). Suppose f - w = -3*f. Is f a prime number?
False
Suppose -3*x + 2*b - 4*b + 14 = 0, -2*x - 3*b = -11. Suppose -x*i + 462 = -1006. Is i a composite number?
False
Suppose 0 = -3*t - 85 + 292. Let n(i) = -i**3 + 8*i**2 - 6*i - 5. Let s be n(7). Suppose -s*b + 104 = -k, -3*b - t + 218 = 2*k. Is b a composite number?
True
Let v be 3 + (-5)/(15/(-6)). Let k(a) = 7*a**2 - 6*a. Is k(v) prime?
False
Let h be 88/(-6)*(-15)/10. Suppose 3*b - 4*b = -h. Is b prime?
False
Suppose 0*k - 322 = -2*k. Is k a prime number?
False
Suppose l - 660 = -3*l. Let k = -83 + l. Is k a prime number?
False
Let p be (-6)/(0 + -1 + 2). Let q be (-20)/5 - (-3 + 27). Is (q/p)/((-4)/(-102)) prime?
False
Let j(g) = -g - 10. Let n be j(-8). Suppose 0 = -d + 6*d + 10. Is d/(n/1)*3 composite?
False
Suppose -7738 - 1818 = -4*i. Is i a composite number?
False
Is (-31944)/(-72) - (-2)/(-3) a composite number?
False
Suppose 5*n = -0*n + 2575. Is n a prime number?
False
Suppose 0 = 3*z + 12, -1903 = -3*v - 5*z + 1566. Is v composite?
False
Let m(t) = 515*t - 3. Is m(2) prime?
False
Suppose 3*w + 10 = -0*w + 5*n, -2*w + n + 5 = 0. Suppose -w*c + 56 = -c. Is c composite?
True
Suppose -3*v + 3 = -3. Is 127 - 0/(-1 + v) composite?
False
Let s(g) = 2*g**2 - g - 2. Let v be s(-2). Let d = v - 16. Let z = d - -22. Is z a composite number?
True
Let n(j) = -j + 6. Let x be n(0). Let f(q) be the third derivative of -q**6/120 + 7*q**5/60 - 5*q**4/24 + 4*q**3/3 - q**2. Is f(x) composite?
True
Is 0/(-7) - (1 + -1658) a composite number?
False
Suppose 0 = -0*n + 2*n + 10, -4*r - n - 5 = 0. Suppose c + 3*c - 12 = 0. Suppose 0 = 4*k + 2*f - 158, -c*k + f - 3*f + 119 = r. Is k prime?
False
Let u = -4835 - -863. Is (4/12)/((-4)/u) a prime number?
True
Let j(w) = w**3 + 3*w**2 - w - 2. Let t be j(-3). Let u = t + 1. Suppose u*h + 40 = 5*m + 226, -4*m + 150 = 2*h. Is h pr