- j. Let w = q + 30. Is w a prime number?
True
Suppose 2*n - n = 5. Suppose n = 2*j - 25. Is j composite?
True
Let x be (-6*(-6)/9)/1. Suppose -32 + x = -4*c. Suppose c*h - 2*h = 95. Is h composite?
False
Suppose -2*r - 10 = -0*r. Let w(g) = g**2 + 4*g - 1. Let u be w(r). Suppose -n + 172 = 3*n + u*d, -5*n + d + 185 = 0. Is n a composite number?
True
Suppose 4*j + 20 = 8*j. Suppose 2*z - 2*d = -2, -d + 4*d - 19 = -j*z. Is (-296)/(-5) - z/10 composite?
False
Let v = 3 + 3. Let k(g) = 6 - 1 + 4*g + g**3 + v*g**2 + g + g. Is k(-4) a composite number?
False
Let o(q) = -q**2 + q. Let w(z) = -3*z - 3. Let l(k) = -o(k) + w(k). Let x be l(5). Suppose -195 = -x*m - m. Is m composite?
True
Suppose -4*q + 210 = 2*b, -3*b - 93 = q - 423. Suppose f + 4*k - 6 - 8 = 0, 5*f - 3*k - 1 = 0. Suppose f*z = b + 23. Is z prime?
True
Let p(a) be the first derivative of 2*a**3/3 - 5*a**2 + 3*a + 2. Let g be (8/3)/((-2)/(-6)). Is p(g) a composite number?
True
Let h(x) = -820*x + 9. Is h(-2) a composite number?
True
Let g = -5 + 12. Suppose 0 = 5*i + 10, -g*o + 2*o + 21 = -3*i. Suppose -5*b = -o*b - 170. Is b a prime number?
False
Let q(f) = -f**3 - 8*f**2 + 6*f - 8. Let i be q(-9). Let t(d) = -18 + 18 + i*d**3. Is t(1) a prime number?
True
Suppose -3*s - 6*a = -3*a - 27, -5*s + 30 = 2*a. Suppose 264 = -g + s*g. Let p = 177 - g. Is p prime?
True
Let i = 7 + -4. Let o(b) = 11*b**2 + 4*b - 2. Is o(i) a prime number?
True
Let w = 243 - 158. Suppose s + w = 2*s. Is s a prime number?
False
Let b(f) = 64*f + 1. Suppose 3*l + 0 - 3 = 0. Is b(l) prime?
False
Let y = 6 + 0. Let l be y/18*(-1 + 10). Suppose -l*d + 6*d = 9. Is d composite?
False
Let u(b) = 52*b - 7. Is u(3) prime?
True
Let c = -184 + 525. Is c prime?
False
Let f be 1*(-67 + 2) + -2. Let k = -48 - f. Is k composite?
False
Let j = 2 - 0. Suppose -4*d = j*s - 234, s = -5*d + 5*s + 299. Is d a prime number?
True
Suppose 2*b + 4*k = 78, 2*b - 5*k + 156 = 6*b. Is b a composite number?
True
Suppose 9 = 4*a + 1. Let o = a + 2. Is (-6)/o + 2853/18 prime?
True
Let c = -458 - -723. Is c prime?
False
Let d(a) = a**2 - 6*a + 7. Let o be d(5). Suppose -4*z + 2*q - 749 = -9*z, z + o*q = 153. Is z a composite number?
False
Suppose 5*i - 5 = 5*p + 10, -p = 0. Suppose -i*b + 2*b = 0. Suppose b = -2*a + 5*r + 38, 4*a - 34 = -r + 42. Is a a composite number?
False
Suppose -3*g - 998 = -2*m - 0*g, -5*g + 20 = 0. Is m a composite number?
True
Let b = 575 + -358. Is b composite?
True
Suppose 0 = a + 5*o - 12843 + 4886, -4*a + 2*o = -31740. Is a composite?
False
Let z(f) = -12*f + 14. Let l be z(-6). Suppose 7*t - 5*t - l = 0. Is t prime?
True
Suppose -c + 3*a = 320, 0 = -5*a + 10 + 10. Let b = -177 - c. Is b a prime number?
True
Suppose 6 = -3*a, 1443 = b + 2*b - 3*a. Is b a composite number?
False
Let z be 4 + -2 - 5*1. Let h(p) = -p**2 + 3*p - p**3 + 1 - 3 - 1. Is h(z) a composite number?
True
Suppose -k + 1068 = 3*k. Is k a prime number?
False
Let f(i) = i**3 + 3*i**2 - 5*i - 1. Let u be f(-4). Suppose m + 5*v - 38 = 0, -u*m - 4*v + 147 = -0*m. Is m a prime number?
True
Let t be -1*(1*-4 + 0). Let y = t + 0. Is y/(-6)*(-231)/2 prime?
False
Let y = 4 - 4. Suppose -70 + 255 = 2*k + 3*h, y = -4*k - h + 345. Is k composite?
True
Suppose 4*m = -0 + 24. Suppose -23 - 1 = -4*u + 4*b, 5*u - 4*b - 27 = 0. Suppose -2*j + s + 4 + 1 = 0, 0 = u*j - 3*s - m. Is j a composite number?
False
Let y(u) = u**3 + 5*u**2 + 4*u + 1. Let h be y(-3). Let w(v) = -v**2 + 10*v - 6. Is w(h) prime?
False
Suppose -3*z = 307 - 1. Let n = -58 - z. Let r = n - 22. Is r a prime number?
False
Let n(p) = 54*p**3 + p**2 + p - 1. Suppose -9 = 5*a - 5*l + 11, -3*a + 5*l - 22 = 0. Is n(a) prime?
False
Let t = -121 + 200. Is t prime?
True
Let p(j) = j**3 + 7*j**2 + j - 3. Let k be p(-3). Let i = k + 7. Is i a prime number?
True
Suppose 5*g + 3*q = 5501, q - 1105 = -g - 2*q. Is g prime?
False
Let c = -2 + 32. Suppose 45 = -5*s - c. Is 6/s - (-52)/5 a composite number?
True
Suppose 6079 = 5*u + 2334. Is u prime?
False
Suppose -792 = -p + 5*u - 304, 0 = -2*p - 4*u + 976. Let t = p + -115. Is t a prime number?
True
Is -761*(-12)/(-4)*-1 prime?
False
Is 4/22 - (-1637)/11 composite?
False
Suppose -6*w + 1108 = -2*w. Let c = -66 + w. Is c a composite number?
False
Let p(a) = -a**2 + 13*a + 1. Let i = -5 + 14. Let s be p(i). Let z = 52 + s. Is z prime?
True
Let n = -156 - -254. Suppose -4*t = 2*l - 8*t - n, -4*l + 210 = -t. Is l a prime number?
True
Let w(u) be the first derivative of -u**2/2 + 4*u - 3. Let h be w(7). Let v = 22 + h. Is v a prime number?
True
Let h be ((-1)/2)/((-6)/312). Suppose 2*s = 2*y + h, -y - 4*s = y - 4. Let w = 23 + y. Is w prime?
False
Suppose -4*p - 167 - 155 = 5*h, 0 = 4*h - p + 266. Let y = -5 + 3. Is (h + y + 3)/(-1) prime?
False
Suppose -254 = -4*a - 82. Suppose s = a - 12. Is s prime?
True
Suppose 2*y + 2 = 0, 4*c = -3*y - 30 - 365. Let d = c - -54. Let u = d + 70. Is u a prime number?
False
Let w be 0/(-2 + 12/3). Suppose w*l + 2*l - b = 1359, -2*b + 3375 = 5*l. Is l composite?
False
Let u(b) = -2*b - 5. Is u(-15) a composite number?
True
Suppose 5*t - 218 = 3*t. Suppose z + 0*y - t = 3*y, 4*z - 492 = -2*y. Is z a composite number?
True
Let u = -66 - -193. Is u a prime number?
True
Suppose 21*j - 24*j + 399 = 0. Is j prime?
False
Let b = -1206 + 1797. Is b a composite number?
True
Let h(z) = -z**2 - 4*z + 7. Let l be h(-5). Let j(o) = o**2 + 6*o - 5. Let a be j(-7). Is 83 + (l - a) - 0 a prime number?
True
Let x(w) = -w**3 - 5*w**2 + 6. Let s(c) be the first derivative of -c**3/3 - c + 2. Let h be s(-2). Is x(h) a prime number?
False
Let p(d) = -4*d - 2*d + d - 9*d**2 + 38*d**2 - 5. Is p(7) prime?
True
Let w = 11 + -8. Suppose 0 = 4*i + 5*x - 9*x - 12, 3*i + 4*x + 12 = 0. Suppose -4*v + 104 = -w*o - 58, i = v + 4*o - 31. Is v prime?
False
Let d be ((-112)/20)/(2/(-65)). Let n = -123 + d. Is n prime?
True
Let b(j) = 9*j + 16. Is b(7) a composite number?
False
Suppose -3*d - 3071 = -5*b, 3*b + 3*d + 1839 = 6*b. Let z = b + -405. Is z prime?
True
Let v = 10 - 8. Suppose 0 = u + v*u - 9, 168 = 3*t + 3*u. Is t a prime number?
True
Suppose -2 = 2*z - 4*z. Let y be (-3)/((1/(-2))/z). Suppose y*j - j = 265. Is j a prime number?
True
Let u = -1393 + 1986. Is u prime?
True
Let v be ((-164)/6)/(4/12). Let s be 2/((-4)/v) + 1. Suppose t - 11 = s. Is t a prime number?
True
Suppose 6*d = 2*d + 72. Let b(f) = f**2 - 3*f + 2. Let s be b(2). Suppose s = -i + 4*i - 4*g - d, -5*i + 3*g = -19. Is i prime?
True
Suppose y = -0*y + 4227. Is y a prime number?
False
Let z = 540 - -2413. Is z prime?
True
Let x(w) = 0 + 2 + 0*w + 4 + w. Suppose 0*o - 4*o = -36. Is x(o) prime?
False
Suppose 3*y - 4 = 2. Suppose -2*r + y*i = 100 - 24, 4*i = 3*r + 112. Let f = r - -95. Is f prime?
False
Let s(o) be the first derivative of 22*o**3 - o - 11. Let u be ((-2)/3)/(4/6). Is s(u) composite?
True
Suppose 0 = 4*d + 4*j - 1904, 2*d + 4*j = 1051 - 105. Is d a composite number?
False
Suppose -i - 14 = -3*i + 5*s, s + 2 = 0. Suppose -w + 4 = 2*h - 5*w, -3*h + i = -4*w. Is 1 + 1*20 + h composite?
False
Suppose -4*w + 31 = -3*w. Is w a prime number?
True
Let j = -11 + -28. Let t = 88 - j. Is t a prime number?
True
Suppose 9 = 3*m + 3*r, 4*m - 21 = 4*r - 1. Let i(a) = a + 1. Let o be i(m). Suppose -2*h + o*h - b = 35, -3*h + 2*b + 37 = 0. Is h composite?
False
Let k = -56 + 115. Is k a composite number?
False
Let g be (0/1)/(1 - -2). Suppose -3*v + 0*v + 93 = g. Is v composite?
False
Let x be (-2)/(-7) + 32/(-14). Is (660 + 2)*x/(-4) prime?
True
Suppose 3*o + 2235 = 4*u, -2*u + 5*o - 53 = -1174. Suppose 0 = -3*k - 0*k + u. Suppose q + k = 3*q. Is q a composite number?
True
Let u = 404 + 187. Is u composite?
True
Suppose 4*s + 663 = 259. Let t = -45 - s. Suppose 5*m - 239 = t. Is m a composite number?
False
Is 260 - (3 + -3 + 1) prime?
False
Let m = -4 + 6. Let x = 5 + -6. Is x*m + 22 - -1 a prime number?
False
Let i = -23 - -43. Suppose -2*t + 7*t = i. Is (-1)/t - (-426)/8 composite?
False
Suppose 0 = 4*f - 4*y + 84, -4*f - 4*y = -f + 28. Let l = f - -54. Let x = 63 - l. Is x a composite number?
True
Let z(p) = -p**3 + 6*p**2 + 8*p - 1. Let i be z(7). Suppose i*y = y - 60. Is (-4)/(-14) - y/7 composite?
False
Let b be 603*-1*2/(-6). Let k = -32 + b. Is k a composite number?
True
Let j be -