 prime number?
True
Suppose -479 = -10*x + 1391. Is x a composite number?
True
Let z be -228*(-1 + (-2)/(-4)). Let j = 383 - z. Is j composite?
False
Suppose 2*x = h, -2*h = 2*x - 0*x - 6. Suppose h*t - 5*t + 3 = 0. Suppose -92 = -m - t. Is m a composite number?
True
Suppose 16 = 3*z + z. Suppose z*s - 87 = -2*f + 11, 2*f - 97 = -5*s. Is f a prime number?
False
Suppose -2*g - 55 = -7*g. Let n be (-2)/g - (-783)/11. Let c = n + -36. Is c a prime number?
False
Let c be 338 + 5/((-15)/6). Let k = 601 - c. Is k composite?
True
Suppose 87 = k + 2*l, -3*k + l + 352 = 98. Is k prime?
False
Let y = 1049 - 511. Is y a composite number?
True
Let n = -328 + 519. Is n prime?
True
Suppose 2*y + y = s + 607, -3*y = 2*s - 613. Is y a composite number?
True
Let k = 290 - 470. Let f = -106 - k. Is f a prime number?
False
Suppose 0 = -2*o - 2*f + 519 + 527, 0 = 3*o + 2*f - 1567. Is o composite?
False
Let p be (-4 - -20)*146/4. Let m = p + -67. Is m a prime number?
False
Let p = 16 + -7. Suppose 2*t + 2*c - p = -c, c = 5*t + 3. Is (-3 - t) + 50 + 8 a composite number?
True
Let q(i) = 52*i + 19. Is q(6) prime?
True
Let y(j) = -j - 3. Let z be y(-5). Is (1/z)/((-5)/(-220)) prime?
False
Let d be 0/(-3)*1 - 2. Let r(w) = -w**3 - w**2 - w. Is r(d) composite?
True
Let x(c) = 347*c + 11. Is x(4) a composite number?
False
Let w(c) = 25*c**3 - 4*c**2 - 2*c + 2. Let m be w(3). Let v = m - 304. Is v a prime number?
True
Let x be 2/(-3) + (-8)/(-3). Suppose 0 = -3*i + 3*o - x*o + 89, o = 5*i - 151. Let w = 69 - i. Is w composite?
True
Let w be 2 + 1 + 138*1. Suppose 5*s - 276 = -2*r, -3*s + w = r + s. Is r a prime number?
False
Suppose -273 = -d + 2*t, -9 = 4*t + 3. Let h be (126 - (-1 - 2)) + -3. Let z = d - h. Is z a prime number?
False
Suppose -4*a = a - 15. Suppose -a*o - o + 1524 = 0. Suppose 4*h = 3*c + 658 - 143, 4*c + o = 3*h. Is h a composite number?
False
Let y = 377 + -114. Is y prime?
True
Let q = -235 - -1634. Is q prime?
True
Let f(h) = -h**3 + 4*h**2 + 3*h - 3. Let c be f(6). Let m = 184 + c. Is m a composite number?
False
Suppose 12*y + 67 = 13*y. Is y a composite number?
False
Suppose 2*a = -4*c + 2514, -c = c + 4*a - 1254. Is c a composite number?
True
Let c = 179 + -282. Let w = c + 188. Is w prime?
False
Let b(t) = -t - 1. Let r be b(-4). Suppose r*c - 7 = 5*f - 22, 2*f = 5*c + 6. Is (c - 12)*(-2)/4 prime?
False
Suppose -4*g + 2*i + 2*i + 6040 = 0, -2*i = -3*g + 4531. Is g composite?
False
Suppose 0 = -4*l + 4 + 12, 3*t - 212 = l. Let h = -37 + t. Is h a prime number?
False
Is 29097/36 - (-3)/4 composite?
False
Let p(u) = 3*u + 14*u + 2 + 3 - 3. Is p(3) composite?
False
Suppose 2*j + 233 = -5*c, -2*c + 212 = -5*j + 3*j. Let f = 244 - 430. Let k = j - f. Is k a prime number?
False
Suppose 2*x - 215 - 255 = 0. Is x prime?
False
Is (-3768)/(-14) - (-10)/(-70) composite?
False
Let v = 345 + -133. Suppose 0 = 2*r - 4 - 4. Suppose -r*t = -v - 8. Is t a prime number?
False
Let v(q) = 8*q**2 - 27*q - 2. Is v(-15) prime?
True
Suppose 0 = -2*l + 7*l - 60. Let x be (-477)/(-21) + (-4)/(-14). Let q = x - l. Is q a composite number?
False
Suppose -m = m - 12. Is m composite?
True
Let s(u) = 1 - u - 3 - 3. Let b be s(-8). Suppose -278 - 211 = -b*a. Is a a composite number?
False
Suppose 5*k + x - 135 = 0, -k = 5*x - 8 - 43. Let j = -189 + k. Let s = j + 276. Is s a composite number?
False
Let f(d) = -d + 3. Let b be (3/(-4))/((-2)/(-8)). Let z(y) = -2. Let n(i) = b*z(i) - 2*f(i). Is n(3) a prime number?
False
Let k(a) = a**3 + 14*a**2 + 19*a - 6. Is k(-8) a composite number?
True
Suppose -2*d = 5*b + 16, 4*b = -6*d + 2*d - 8. Suppose v = -v - d. Is v/4 + 1013/4 composite?
True
Let a = 182 - 49. Is a a prime number?
False
Let i be 0 - 0 - 1920/2. Let k = -541 - i. Is k prime?
True
Let t(x) = -x**3 + 4*x - 13. Let u be t(9). Let c = -453 - u. Is c a composite number?
True
Let x = 2432 + -1089. Is x a composite number?
True
Suppose 3*x = 5*h - 151, -19 = -h - 0*h - 5*x. Let t = h - 19. Is t a prime number?
False
Let v be (-3 - 10/(-4))*-28. Is 514/v - (-20)/70 a composite number?
False
Suppose 0 = -3*w + w + 1486. Is w prime?
True
Let s(k) be the first derivative of 4*k**3/3 - 4*k**2 - 7*k + 8. Is s(-5) prime?
False
Suppose i - 142 = -5*s + 5813, 2382 = 2*s + 3*i. Is s composite?
True
Suppose 0 = p + 5*i - 347, -2*i = 3*p - 7*i - 1001. Is p prime?
True
Suppose 4*z = 2*z + 6. Is ((-57)/9)/(z/(-333)) composite?
True
Let g be 3/5 + (-2)/(-5). Let h(a) = -a**3 - a**2 + 2*a - 1. Let f be h(g). Let y(n) = -38*n**3 - 1. Is y(f) a composite number?
False
Let f(j) = 358*j**2 + 2*j + 1. Let a(u) = -2*u**3 + u**2 + u - 1. Let i be a(1). Let d be f(i). Is d/4 + 1/(-4) prime?
True
Let n(d) = d**3 + 18*d**2 - 12*d + 17. Is n(-18) prime?
True
Let p = -17 + 54. Is p prime?
True
Let t(z) = -5*z**2 - 9*z + 2. Let m(d) = 2*d**2 + 4*d - 1. Let h(u) = -7*m(u) - 3*t(u). Let j = -13 + 18. Is h(j) a composite number?
True
Let s(p) = 53*p**2 - 1. Let t be s(-2). Suppose -2*d - t = -3*d. Is d a composite number?
False
Let r = -5 + 5. Suppose o - 6*o - 2*d + 1193 = 0, -3*d = -o + 242. Suppose -3*v + 5*s + o = 93, -3*v - s + 140 = r. Is v a prime number?
True
Let n be 45*(-2)/4*-2. Let x = -71 + 109. Suppose -r + x + n = 0. Is r prime?
True
Let a = -51 - -31. Let b be (-3)/(-4) - 65/a. Suppose b*k = 90 + 106. Is k composite?
True
Is 3/(-5) + 1468/5 prime?
True
Suppose 6*l + 50 = 4256. Is l prime?
True
Suppose -2*s - s = -18. Suppose 2*z + s = 3*z. Suppose 0 = -5*p + z*p - 11. Is p prime?
True
Suppose -5 + 11 = -j. Is ((-13)/4)/(j/72) prime?
False
Suppose 914 = 12*j - 10*j. Is j prime?
True
Suppose -2*m + 2*a - 48 = 6*a, 0 = -5*m + 3*a - 81. Suppose -4*l = 3*h - 127, 0 = -4*l - h + 43 + 74. Let i = l - m. Is i a prime number?
False
Suppose -c = c + 2*g + 122, 20 = -4*g. Is 0/2 - 3 - c a composite number?
False
Suppose 2*p + 595 = 3*q, 4*p - 5*p - 596 = -3*q. Is q composite?
False
Let i = -71 - 31. Let l = i - -289. Is l composite?
True
Let y be (-4)/14 - 32/(-14). Suppose 2*d + y*d - 1065 = -t, 0 = -3*d - 5*t + 820. Is d prime?
False
Let q = 2 + 2. Suppose 1720 = -3*k + o, q*k - 3*o + 2297 = 2*o. Is (-2)/4 + k/(-6) prime?
False
Let i(q) = -64*q + 15. Let u(d) = -43*d + 10. Let n(b) = 5*i(b) - 8*u(b). Is n(5) composite?
True
Let h(w) = -34*w - 16. Let t be h(-13). Suppose t = 5*r - 319. Is r a prime number?
True
Let v(j) = 293*j**2 + 2*j + 2. Suppose -5*s - 17 = -4*w, -w + 2 = -1. Is v(s) composite?
False
Let s(p) = -p**3 - 6*p**2 - 5*p - 2. Let b be s(-5). Let h be ((-2)/4)/(b/4). Is (h - -1)*(-33)/(-2) a composite number?
True
Let x = 225 - 34. Is x composite?
False
Let l(s) = 11*s**2 + 4*s - 6. Let d(k) = -10*k**2 - 4*k + 6. Let f(y) = -6*d(y) - 5*l(y). Let g be f(-5). Let r = g + -41. Is r a composite number?
True
Let g = 902 + -340. Is g prime?
False
Let c(w) = 2*w - 7. Let y be c(5). Suppose y*l + z - 3 = 52, -3*z - 82 = -4*l. Is l a prime number?
True
Let s = 51 + 4. Is s a prime number?
False
Let o(v) = -v**2 + v + 1496. Let c be o(0). Let u = c - 811. Is u composite?
True
Is (-16)/4*(3 - 2403/4) a composite number?
True
Suppose -4116 = -6*o + 11514. Is o a prime number?
False
Let m be 1/(2*(-1)/(-4)). Suppose -m*t = -5*t + 231. Is t composite?
True
Is (4/(-8))/(5/(-470)) a prime number?
True
Let n = 75 + -38. Let l = 233 - n. Suppose -3*k + l = k. Is k a composite number?
True
Let r(k) = k. Let w be r(1). Let i(c) = 5*c - 1. Let q be i(w). Suppose -q*m + 2*m + 70 = 0. Is m prime?
False
Let k(w) = -10*w - 11. Is k(-7) composite?
False
Let p = 6 + -7. Is p/(1692/(-844) + 2) a prime number?
True
Suppose -2*z + 2694 = 4*q, -4*z - 4*q + 5368 = -q. Is z a composite number?
True
Let z(v) = 92*v**3 - 2*v + 1. Let h(f) = -3*f. Let g be h(-1). Suppose g*a = a - 2*w - 8, -29 = -4*a + 5*w. Is z(a) prime?
False
Suppose 2 = 2*x, 4*p + 998 - 135 = -5*x. Let k = -128 - p. Is k prime?
True
Suppose -2*j + 5*j = 4*a - 16231, 0 = 3*a - j - 12167. Is a a prime number?
False
Let j(s) = s**3 - 4*s**2 - 6*s + 5. Let u be j(5). Let x(i) = i**2 - 3*i + 34. Let b(c) = -c**2 + 2*c - 33. Let v(n) = -3*b(n) - 2*x(n). Is v(u) a prime number?
True
Let h be (-6)/12 + 115/2. Let o = h + 34. Is o prime?
False
Let a(y) = 4*y**2 + y - 21. Let t(z) = -5*z**2 + 22. Let k(q) = -6*a(q) - 5*t(q). Is k(-15) prime?
True
Let o(x) 