 Let b be a(-8). Suppose g + b = -4*g. Is n(g) composite?
False
Suppose 8396 = 4*y + 4*b, y - 1453 = 5*b + 658. Is y a prime number?
False
Suppose -5*o + 2353 = -2*w, -5*o - w + 4*w + 2357 = 0. Suppose o = c - 4*g, -c = -0*g - 2*g - 475. Is c composite?
True
Let o(f) = -f + 10. Let x be o(8). Let a be x/((-528)/267 + 2). Suppose -4*r = -267 - a. Is r a composite number?
False
Suppose -18 = -5*b - 3*q, -4*b = 3*q - 10 - 5. Suppose 4*d - b*d - 326 = -2*x, 2*x - 2*d = 314. Is x prime?
False
Suppose 5*h = 3*j - 10296, 4*h - 2*h - 13702 = -4*j. Is j a prime number?
False
Let q(v) = 14*v**3 - v**2 + 3*v - 3. Let x be q(3). Let s = x + -82. Is s composite?
False
Let i be 192*(1 + (-2)/(-6)). Suppose 2*w + 129 = w. Let h = i + w. Is h composite?
False
Suppose 3606 = b + 2*b. Let v = b + -823. Is v prime?
True
Is (-1)/(-4) - 33007/(-52) a prime number?
False
Suppose h = -1 + 5. Suppose -3*t + 161 + 396 = h*f, -4*t + f + 711 = 0. Is t composite?
False
Let w(h) = 4*h + 4 + 4 - 5. Let i be w(-2). Is 10/i + (1 - -8) a composite number?
False
Let r = -33 + 56. Suppose 7 + r = 3*m. Is m/(-15)*111/(-2) a prime number?
True
Suppose 0 = -3*k - 0*k - 4*v + 24, k + 2*v = 10. Suppose -o + 5*a = -4, 0 = 2*a - k - 2. Is o composite?
False
Let i be 15/(-4) + (-10)/40. Let r(c) = c**2 + 5. Is r(i) a composite number?
True
Suppose 2*p - 4*r = 1562, r = 5*p + 894 - 4790. Is p prime?
False
Let g(p) = -12*p + 15. Let z be g(-11). Suppose -l - 721 = -3*x - z, -2*l - 193 = -x. Is x a prime number?
True
Let t be -85*5/((-25)/4). Suppose 0 = -3*m + 133 + t. Is m composite?
False
Let u(i) = i**3 - 4*i + 3. Let h be u(2). Let j be 3 + -4 - -1*h. Suppose b + 4 = 0, 3*o - j*b - 54 = b. Is o a prime number?
False
Suppose -11 = -4*x + 5. Let y(g) = 5*g - 1. Is y(x) prime?
True
Let x = 496 - 239. Is x a prime number?
True
Suppose 11*g + 62 = 13*g. Is g a prime number?
True
Let f(b) = 18*b**2 + 1. Suppose 0 = -6*n + n + 25. Suppose -2*j - 2*z = -6*j + 4, 4*j - 4 = -n*z. Is f(j) composite?
False
Let l = -2 - -5. Let h(x) = x**2 + 2*x - 4. Is h(l) composite?
False
Let m(y) = -47*y**3 - 5*y**2 - 14*y - 41. Is m(-5) composite?
False
Let y(m) = 78*m**3 - m**2 - m + 1. Suppose 0 = d + 2 - 11. Let r be (-6)/d*(-6)/4. Is y(r) prime?
False
Suppose 3*p - 2*y - 65 = 0, -115 = -5*p + y + 4*y. Is p prime?
True
Let u(r) = r**3 - r**2 + 2*r + 1249. Is u(0) prime?
True
Suppose 9 + 11 = 5*b. Suppose b*v - 40 = -0*v. Suppose 0*a + 4*a - 57 = i, 4*i - v = -a. Is a a prime number?
False
Suppose -2*b = -6*b. Suppose 2*u - 4 - 4 = b. Suppose 5*o = 3*t + 26, -4*o - 3*t + u + 6 = 0. Is o a prime number?
False
Suppose 2*m + 0*m = -6. Let u be -3 - (-1)/(m/(-21)). Suppose s - u = 9. Is s a composite number?
False
Let x(f) = f**3 + f + 5. Let z(a) = a**3 + a**2 - 1. Let b(n) = x(n) - 2*z(n). Suppose -5*q - 27 = -2. Is b(q) composite?
True
Suppose 0 = -0*d + 2*d - 36. Suppose 0*c + c - d = 4*l, 3*c - 6 = 0. Is l/6 + 188/12 a composite number?
True
Let c = 996 + 175. Is c prime?
True
Let a = 123 - 36. Is a prime?
False
Let m be ((-3)/(-6))/((-2)/(-8)). Suppose 75 = y - 2*u, -3*y + m*u - 193 = -6*y. Suppose -2*r = -r - y. Is r a prime number?
True
Let g(f) = -29*f + 12. Let p be g(-5). Let b = p + -99. Is b composite?
True
Suppose 381 = 10*q - 7*q. Is q prime?
True
Suppose -2*d + 3 = -d. Is 21 + (1 - (-3 + d)) prime?
False
Let i(g) = -g**2 + 13*g - 16. Let y be i(11). Is y/(-2)*471/(-9) a composite number?
False
Suppose 2*x - 212 = 16. Let o = -260 + x. Let s = -79 - o. Is s a prime number?
True
Let b be (4 - (-6)/(-3))*-6. Let c = -7 - b. Suppose -177 - 158 = -c*d. Is d prime?
True
Suppose 5*i + r - 620 = 0, 5*i = 3*r + 21 + 579. Is i composite?
True
Let w(h) = h**3 + 3*h**2 + 2. Let x be w(-3). Suppose 0*c + 54 = x*k + 4*c, 0 = -c + 2. Is k prime?
True
Suppose 0 = -2*a - 4*a + 89658. Is a/33 - (-4)/22 prime?
False
Suppose 2 + 10 = 3*r. Let a(k) = 6*k - 6. Let v(f) = 5*f - 6. Let x(y) = 3*a(y) - 2*v(y). Is x(r) a prime number?
False
Is (1 + 2)*10 + 1 prime?
True
Let q = -12 + 18. Suppose 0 = b + 5*j - 15, q = 2*b - 4*j - 24. Let s = b + -2. Is s prime?
True
Let q be (2 - 3)*(2 - 805). Suppose -5*m + 805 = 5*r, q = 4*r + r + 4*m. Suppose -r = -4*b + b. Is b a prime number?
True
Suppose -3*x - 4*m = 2274, 3*x + 975 = -5*m - 1296. Is 2*(x/4)/(-3) a prime number?
True
Let l = 38 - 21. Suppose 0 = -4*y + 4*o - 44, 3*o - l = 4*y + 28. Let w = y + 21. Is w a composite number?
True
Let c(b) = 4*b + 787. Is c(0) prime?
True
Let b be 44/12 - 2/(-6). Suppose v - 11 = -4*k, 5*v - k + 70 = b*k. Is (-497)/v + 4/(-18) prime?
False
Suppose -52 = -4*k - 172. Let i = 161 - k. Is i a composite number?
False
Suppose -r = c - 3, 4*c = -5*r + 3 + 6. Let k(j) = j**3 - 7*j**2 + 7*j + 1. Let q be k(c). Suppose w + q = s - 5, -12 = -3*s - 5*w. Is s a composite number?
True
Let y be 1 + (-2)/((-2)/3). Suppose 307 + 191 = y*p - 3*r, r + 2 = 0. Is p prime?
False
Suppose -3*x = -2*a - 36, 5*x - 14 = -2*a + 30. Suppose 0 = x*g - 12*g + 614. Is g a prime number?
True
Let k(t) be the first derivative of -94*t**2 - 3*t + 8. Is k(-2) composite?
False
Suppose -4*u = 3*h - 77, -5*u + 105 = 2*h - 0*h. Let v = -5 - -10. Suppose -v*q = -u - 392. Is q a composite number?
False
Let a = -2 - -5. Suppose -a*r = 0, f - 3*r - 97 = -2*r. Is f a composite number?
False
Let c = -6 - -8. Suppose 2*b = -c*b + 12. Suppose 0 = -b*t + 205 + 176. Is t prime?
True
Suppose 1168 = 4*b - 956. Suppose 5*i - b - 19 = 0. Suppose -5*r = -0*r - i. Is r a composite number?
True
Let n be 36/(-10)*(-1610)/21. Suppose -s - 3*s + n = 0. Is s prime?
False
Suppose -2*r + 3*l = -6*r + 693, 3*r = -4*l + 511. Is r composite?
True
Let k(d) = -210*d + 1. Is k(-1) prime?
True
Let m = 210 - -1. Is m prime?
True
Let s = 38 - 22. Is 1192/s*(-2 - -4) prime?
True
Suppose -2*o = -2*d + 2*o + 2, d - 5*o = -8. Suppose 0 = 5*z + 4*n + 8, 1 = -4*n - d. Suppose z = b + 3 - 54. Is b prime?
False
Let p = -8 + 10. Suppose -5*s + 430 = 5*i, 5*i = -p*s + 522 - 83. Is i prime?
True
Let k be 6 + -3 - (-1 + -2). Is 158/6*18/k prime?
True
Let x be (2/(-6))/(3/(-45)). Suppose -2*m + 5 = -c + 4, -4*m = -3*c - x. Is (3 + 2)/m*-11 a prime number?
False
Let r be (3/9)/((-2)/(-18)). Let k(s) = s**2 - 2*s + 2. Let b be k(r). Suppose -4*y + 478 = 2*n, -b*n + 3*y + 2*y + 1165 = 0. Is n prime?
False
Let i = 319 - 30. Is i a prime number?
False
Is 2/7 - 10935/(-21) a composite number?
False
Let a = -255 + 160. Let s = a - -304. Is s a composite number?
True
Suppose j + 0*j = 3371. Is j a prime number?
True
Suppose -143 = -3*q - 4*p, -p = -4*q + 80 + 117. Is q a composite number?
True
Let m(f) = 6*f + 1. Suppose 5*j - 37 = -y - 3*y, 4*j = -y + 34. Suppose 0*a + 3*a - j = 0. Is m(a) composite?
False
Suppose 3*r - 3*s = 6, 4*s = 2*r - 8 - 6. Let b = 1 - r. Suppose 4*j + 3*t - 508 = 0, -j - j - b*t + 254 = 0. Is j composite?
False
Let u(t) = 835*t**3. Is u(1) a composite number?
True
Let a be 476/3 - 1/(-3). Suppose 2*j + j = a. Let y = 90 - j. Is y composite?
False
Suppose -1400 = -4*y + 1292. Is y composite?
False
Let o = 85 - 34. Is o a prime number?
False
Suppose 2*d + 6 = 0, -2*i - 73 = 7*d - 2*d. Is (0 - 0) + 2 - i a prime number?
True
Let c(y) = 2*y. Let a be c(2). Suppose 0 = -6*i + a*i + 68. Is i composite?
True
Suppose -4*f = -a + 12, -4*a = -0*a + 2*f - 12. Let l be 3 - (-3 + a + -2). Suppose -4*o - o = 5*u - 150, l*o - 122 = -2*u. Is o prime?
True
Let i be 2/11 - (-52)/(-44). Is i*503/(-2)*2 a composite number?
False
Let p = 339 - -920. Is p a prime number?
True
Let z be 140/44 + 6/(-33). Suppose -z*a - 226 = -4*a. Is a composite?
True
Suppose 3*y = 2*y - 23. Let x = y - -323. Suppose -5*c - 45 = -x. Is c composite?
True
Let v(b) = 9*b**2 - b**3 + 6 - 1 + 3. Let z be v(9). Is 614/z + 1/4 a prime number?
False
Let p(j) = j - 6. Let a be p(7). Let s = a - 1. Suppose 4*g + t - 218 = s, -5*t - 61 = -g - 2*t. Is g prime?
False
Let g = 350 - 227. Is g a prime number?
False
Suppose -g + 38 = g. Let s = g - -6. Suppose -5*f + 26 = 3*r - 0*r, -s = -4*r + 3*f. Is r a composite number?
False
Suppose -4342 = -4*p - 2*z, 4*p + z = 2315 + 2030. Is p prime?
True
Let t = -8 + 18. Is 45/6*t - 1 prime?
False
Let r = 4 - 2. Suppose 5*j + y = -y + 321, 0 = r*j - 2*y - 120. Suppose -4*l = -5*u + j, -2*u - 3*l + 39 = -0*l. Is 