x - 3*g - t = 0. Is x a composite number?
True
Let b = 98 + -63. Let v = b + -2. Is v composite?
True
Let g be (-2)/(-5) - (-37)/(-5). Let a = 12 + g. Suppose -a*o + 73 + 37 = 0. Is o prime?
False
Suppose 0*r + 5*r + 835 = 0. Let k(v) = 14*v**3 + 4*v**2 + 5*v + 6. Let f be k(-2). Let d = f - r. Is d prime?
True
Suppose -3*c + 3*m + 9 = -18, -37 = -4*c + 3*m. Is c composite?
True
Let v(n) = -9*n + 4. Let d be v(-4). Let s = -8 + d. Suppose -i - 3*i + s = 4*p, 28 = 3*p + i. Is p a prime number?
False
Suppose 2*d - 6 = 0, -m + 240 = 5*d + 14. Is m prime?
True
Let f = -10 + 13. Is (3/(-12))/(f/(-1884)) a prime number?
True
Let w(b) = b**3 - 9*b**2 + 11. Let h = 30 - -4. Let t be (-2)/(-4) - h/(-4). Is w(t) composite?
False
Let g(i) = -3*i + 1. Let r be g(-1). Suppose -106 = 2*c - r*c. Is c a prime number?
True
Let v(b) = 59*b - 16. Is v(13) composite?
False
Let v(f) = -f**2 + 1. Let p be v(-2). Let y(o) = 9*o**2 - 2*o. Let t be y(p). Suppose 0 = -4*i + 101 + t. Is i prime?
True
Is ((-1)/3)/(11/(-30393)) a prime number?
False
Is ((-8396)/(-10))/((-2)/(-5)) composite?
False
Suppose -7*m = -2*m - 3*h - 2020, -5 = h. Let a = -46 + m. Is a a composite number?
True
Suppose 3*p - 6 = 0, 2*n - 1822 = -3*n - p. Suppose 2*h - m = 3*h - 187, 923 = 5*h + 2*m. Let k = n - h. Is k a composite number?
False
Suppose -3*o + 13 = 1. Suppose -241 = 3*b + 2*l + 879, o*l - 364 = b. Is b/(-15) - (-2)/10 prime?
False
Suppose -54 = 5*y - 2*q, -4*q + 3*q - 15 = y. Let c(z) = 4*z**2 - 13*z + 11. Is c(y) prime?
True
Suppose 1 + 3 = k. Suppose -5*s = -2*i - 48 + 13, -5*s + 5*i = -50. Suppose -5*l + 245 = -5*f - 885, -s*l + k*f = -1127. Is l a prime number?
True
Suppose -4*z + 26795 = 19*z. Is z a composite number?
True
Suppose -51 = -2*v + 13. Let h be (1 + 6/2)*v. Let y = h + -75. Is y prime?
True
Let k(j) = -j**3 + 7*j**2 - 9. Let a be k(7). Let f be (-12)/a + (-4)/(-6). Let n(i) = 12*i**2 - 1. Is n(f) prime?
True
Let w = 2 + 3. Suppose 2*q + 3*q = 0. Suppose w*b - 1052 + 307 = q. Is b composite?
False
Let d(y) = 14*y**2 - 4*y - 19. Is d(-9) a composite number?
False
Suppose -2*f + 7*f + 80 = 0. Let u = f + 47. Is u a prime number?
True
Let a be (1/2)/((-1)/8). Let b be (2/a)/(2/8). Is 696/18 - b/(-3) prime?
False
Suppose 0*q - 3*q + 21 = 0. Let l(w) = -9*w**2 - 17*w - 17. Let h(u) = -5*u**2 - 9*u - 9. Let m(j) = q*h(j) - 4*l(j). Is m(-7) a composite number?
False
Let v = 2 + 1. Suppose 2*g + v*y = 307, 0*y + 757 = 5*g + 4*y. Suppose 22 = -m + g. Is m a prime number?
True
Let w = -1 - -4. Let g = 13 - w. Is (-18)/(-30) - (-464)/g a prime number?
True
Let l = -11 - -7. Let w = 4 + l. Suppose w = 2*d - 28 - 14. Is d prime?
False
Suppose -3*p + 6*p - 18 = 0. Suppose -v + p = 3*g - 32, 2*g - 149 = -3*v. Is v prime?
True
Suppose 7*y - 12 = 2. Suppose 0 = y*c - 4*n - 178, -3*c + 0*c = -5*n - 271. Is c a prime number?
True
Let j(u) = -67*u + 12. Let n be j(-13). Suppose -2*c - x = c - n, 0 = -c - 2*x + 291. Is c a prime number?
False
Let w be (-2)/(-3) - (-82)/3. Suppose -8*r - 540 = -18*r. Let c = r - w. Is c prime?
False
Suppose 38 = -8*i + 174. Let t = -8 + 12. Let o = t + i. Is o composite?
True
Suppose -3*f - 4*c = 905 - 4756, 2*f + 5*c = 2565. Is f a prime number?
False
Suppose -229 = -5*m + 1. Is m composite?
True
Suppose t + 3*s = 5, 2*s - s = -4*t + 9. Let i(w) = 9*w**3 - w**2 - 3*w + 1. Let o be i(t). Let j = 166 - o. Is j a composite number?
False
Is (67/(-3))/((-4)/60) prime?
False
Let z = 26 + 4. Let o = -24 + 18. Is (82/(-5))/(o/z) composite?
True
Let j(n) = n**2 + 8*n + 12. Let h be j(-6). Suppose h = -a + 143 + 42. Is a a composite number?
True
Let f(a) be the second derivative of 10*a**4/3 + a**2/2 - a. Is f(2) a prime number?
False
Let o be ((-18)/8)/((-3)/60). Is ((-21)/9)/((-3)/o) a prime number?
False
Is (8352/(-4))/(-4) + -1 a composite number?
False
Suppose 0*v - 3*v = -9. Suppose 3*l + 4*r - 101 = -0*r, -v*r - 178 = -5*l. Is l a prime number?
False
Let n(c) = c**2 - 5*c + 1. Let z be n(4). Let m(x) = -4*x**3 - 4*x**2 - 3*x - 4. Is m(z) composite?
True
Let k(z) = 129*z**2 - 2*z - 2. Is k(-1) a prime number?
False
Suppose 0 = -2*x + 14*x - 9204. Is x composite?
True
Let w be 8 + (3/3 - -3). Is 669*4/w + 0 a composite number?
False
Let p(x) = 2*x**2 + 14*x + 18. Is p(-14) prime?
False
Suppose 7*n - 6209 = -0*n. Is n composite?
False
Suppose 15 + 9 = 2*v + 5*m, -5*v - m + 14 = 0. Suppose 6 = v*z - 8. Suppose -338 = -3*q + z. Is q a composite number?
True
Suppose 12 = m + 3*w - 7, 0 = -4*m + w + 37. Suppose 5*g = -m, 0 = -3*q + q + 4*g + 176. Suppose 24 - q = -4*v. Is v prime?
False
Let m = -155 + 222. Is m composite?
False
Let l = -21 + 14. Let h(t) = -3 - 2*t - 1 + 0*t. Is h(l) composite?
True
Let i(h) = 5*h**2 + 4*h - 1. Let c(t) = 5*t**2 + 4*t - 2. Let v(z) = -3*c(z) + 4*i(z). Is v(-2) composite?
True
Let n = 5 - 7. Let p(k) = -11*k**3 + k**2 - 1. Is p(n) a composite number?
True
Let c = 1227 - 658. Suppose 2*q = -4, -5*y + 0*y + 2*q = -c. Suppose 3*z + y = 4*z. Is z a prime number?
True
Let x be (-3)/12*(-3 + -1). Suppose d - 4 = -x. Is 2*(5 + 6/d) composite?
True
Let l(d) = -3*d**2 - d. Let b be l(-2). Let u = 15 + b. Suppose 11 = 2*h - g - u, 43 = 5*h - g. Is h composite?
True
Suppose 5 = 5*g, -5*u + g - 1 = -0. Suppose 0 = 4*d - 2*m - 48, -4*d - 2*m + m + 54 = u. Is d a composite number?
False
Suppose -t + 4*f + 229 = 0, 2*t + 3*t - 1220 = -5*f. Let h = t - 167. Is h composite?
True
Let s(x) = x**2 + x - 3. Let b be s(-3). Let g(d) = -3*d**2 + b*d**2 + 4 - 5*d**3 - 2*d. Is g(-3) a prime number?
False
Let l(u) = -u + 42 + 117 + 0*u + 52. Let z be 0/(-1 - (0 + -2)). Is l(z) prime?
True
Suppose 0 = -5*i + i + 60. Let n = 47 + -23. Let w = n + i. Is w composite?
True
Let j(l) = l**3 - l + 2. Let x be j(2). Let f = x - -29. Is f prime?
True
Let i(a) = a**2 + 11*a + 10. Let b be i(-9). Is 80/b*3/(-2) a prime number?
False
Let m be 0 + 649 - (3 + -1). Suppose 2*a - 3*n - 677 = 0, -2*a + m = n + 2*n. Is a prime?
True
Let d be (460/6)/(2/15). Suppose 4*b - 6*q = -3*q + d, -5*b - 3*q = -739. Suppose 5*x + b = 3*h, -5*h + 85 = x - 149. Is h composite?
False
Let u(w) = w**2 + 3*w + 3. Let m be u(-3). Let g be 309/(3*m/6). Let f = -147 + g. Is f prime?
True
Let x(a) = -a**3 + a**2 + 2*a - 3. Let r be x(2). Is (r - -2 - 0)*-373 prime?
True
Suppose -2*p = p - 459. Let b = -44 + p. Is b composite?
False
Suppose 0 = -5*g - 0 + 5. Let a be -18 + 2 + g + 2. Is (a/4)/(4/(-16)) a composite number?
False
Suppose -20*w + 4251 = -17*w. Is w a composite number?
True
Let j = 461 + -276. Is j composite?
True
Let l = -105 - 23. Let y = -45 - l. Is y a composite number?
False
Suppose -232 - 438 = -5*b. Let a be 20/6*6/5. Suppose -g + 3*g - b = -a*d, -4*d + 137 = g. Is d prime?
False
Let n = 52 - 13. Is n composite?
True
Suppose -8 = -g - 5*a, -3*g - 2*a + 16 = 5. Suppose -y - 12 = -g*y + 2*s, -s = 3*y - 22. Suppose -2*c = -y*c + 165. Is c composite?
True
Is (-3349)/(-3) - (-5 + (-13)/(-3)) prime?
True
Suppose 290 = -5*u - w, 0 = 2*u - 3*w + 137 - 4. Let o = u + 118. Is o composite?
False
Is 2/(-8)*10*-38 a prime number?
False
Suppose -j - 9 = -4*j. Suppose j*g + 6*y = 3*y + 258, y - 264 = -3*g. Let w = -42 + g. Is w a composite number?
False
Let i(z) = z**3 - z. Let l be i(0). Suppose f = -2*f + 12. Suppose -f*u + 498 + 434 = l. Is u a prime number?
True
Is 3 - -107 - (5 + -4) a prime number?
True
Let j(v) = 64*v**2 + 14*v - 5. Is j(-6) a composite number?
True
Let h(p) be the third derivative of 2*p**4/3 + 2*p**3/3 - p**2. Let y be h(4). Let g = y - 31. Is g a prime number?
True
Let u(t) = -t**3 + 9*t**2 + 11*t - 6. Let b be u(10). Suppose -j - 4*q = -24, -j - 2*q - 30 = -b*j. Let v = 97 - j. Is v composite?
True
Suppose d + 44 - 165 = 0. Is d prime?
False
Suppose 0 = -2*a + 7*a - 15. Let q be 0/(a/((-9)/(-6))). Suppose j = -q*j + 7. Is j prime?
True
Is (11 + -9)*(-1731)/(-6) a prime number?
True
Suppose -70 = -5*p - w + 3*w, 4*p - 2*w - 56 = 0. Suppose 0 = -2*j + p + 6. Suppose 3*q - 5*g - 24 = -0*q, q = g + j. Is q a composite number?
False
Let n = -443 - -757. Suppose 4*b - 2*b - n = 0. Is b composite?
False
Let q = 6 - 14. Let g(h) = h**3 + 9*h**2 + 7*h - 1. Let i be g(q). Let p(r) = 9*r - 10. Is p(i) a prime number?
True
Suppose -n - 20 = -3*n. Is -3 + -40*n/(-4) prime?
