5, 3*s = 12. Is p prime?
True
Suppose 0 = -3*z - 3*j, -3*j + 0*j = -4*z + 28. Suppose -4*u = g - 45, 289 = z*g + u + 94. Is g a prime number?
False
Let m be (6/(-12))/(1/(-6)). Suppose 3*y + 3 = 6*y, 3*s = -m*y + 12. Is s composite?
False
Suppose -i - 5 = 0, 0 = -3*h - 4*i + 594 + 1327. Is h a prime number?
True
Let t(p) = p**2 - 6*p - 10. Suppose -4 = 2*f - 20. Is t(f) prime?
False
Suppose 6*q = 2*q - 5*r + 2159, 5*q - 2701 = -4*r. Is q prime?
True
Let r(l) = 542*l**2 - 2*l + 1. Is r(1) composite?
False
Let p(j) = -12*j - 8. Let t(k) = -11*k - 9. Let l(w) = 6*p(w) - 5*t(w). Suppose 0 = -0*n - 5*n - h - 15, n + 5*h = 21. Is l(n) a prime number?
False
Let w be (-14 + -1)*(-1)/3. Suppose 0 = c - w*i - 13, 8*c - 109 = 3*c + 3*i. Is c a prime number?
True
Suppose 2*g = 587 - 165. Is g a prime number?
True
Suppose 3*u + 2*u - 2095 = -2*m, 4*u + 12 = 0. Suppose 4*i - m = -i. Is i composite?
False
Let g(l) = -241*l**3 - 2*l**2 - l. Let z be g(-1). Suppose z = k + 25. Is k composite?
True
Let r be ((-40)/(-12)*-3)/(-2). Suppose -q = -m + 3*m - 227, r*q - 2*m = 1111. Is q a composite number?
False
Let a(n) = -n**3 + 12*n**2 - 9*n - 1. Is a(9) composite?
True
Let d(b) = -4 - 1 + 0 - b + b**2 - 6*b. Let m be d(-4). Suppose 8 = -u + m. Is u prime?
True
Let h be -1*-47*1/1. Let l be h/(-9) + 4/18. Let z = l + 19. Is z a prime number?
False
Let k = 11 + -15. Is (-25)/k + (-18)/(-24) prime?
True
Let p = -2 + 2. Suppose p = -3*t + 5*l - 13, -8 = -3*t + l - 1. Let s = -1 + t. Is s a composite number?
False
Let n = 7 - 3. Suppose -2*j - n*o + 749 = j, -5*j + o = -1256. Is j a composite number?
False
Suppose 3*d + 733 = 3*k - 434, -d = 3*k - 1175. Is k a prime number?
False
Suppose -5*m = -m - 2276. Suppose 5*g - c - 714 = 0, 0 = 4*g + c - 4*c - m. Is g composite?
True
Suppose 0 = -2*k + 5*k - 18. Let f(u) = 5*u**2 - 5*u - 2 + u - 4*u**2. Is f(k) a composite number?
True
Suppose 5 = 3*t + 17, 2*g - 4*t = 5154. Is g a composite number?
True
Suppose -27 = 4*d + 5*t, 7*d - t + 6 = 4*d. Let c be 1/d + 322/3. Suppose 0 = -2*i - y + 69, 3*i + 0*y + 5*y - c = 0. Is i composite?
True
Let m be (4/(-5))/((-6)/15). Suppose -3 - m = -5*k. Suppose o - 2 = k. Is o a composite number?
False
Let n = -185 + 372. Is n a composite number?
True
Suppose t + 2 = 4. Let f be (-311 - -3)/(t/(-2)). Suppose -4*s = b - f, -s + 51 + 26 = -5*b. Is s a prime number?
False
Suppose -5*u = -4*p - 3967, p + 4731 = 5*u + 773. Is u composite?
True
Suppose -5 = n - r + 10, 0 = 3*n + 5*r + 21. Suppose 4*i = 12, 0 = -z + 4*i + 8 - 2. Let t = z + n. Is t a composite number?
True
Let a(s) = 3666*s**2. Let x(m) = 47*m**2. Let j(d) = -3*a(d) + 235*x(d). Is j(1) a composite number?
False
Suppose -j - 3*j = 0. Suppose -2*y - y - 54 = j. Let x = -11 - y. Is x prime?
True
Suppose 14 = q + 3*o, 0 = o + o - 8. Suppose u - 385 = -q*f, 3*f - 381 = -5*u + 207. Is f prime?
True
Suppose 7*r - 298 = 2369. Is r a composite number?
True
Let v(t) = t**2 + 6*t - 7. Let o be v(-6). Let j(a) = -a**2 - 5*a - 13. Let c(d) = -d**2 - 4*d - 14. Let q(y) = -6*c(y) + 7*j(y). Is q(o) a prime number?
False
Suppose 4*t + 15 = -5*z, 0 = -3*z - 2 - 7. Suppose t = -4*j + 3*j + 3. Is j composite?
False
Suppose -2*z = 2*z - 2856. Suppose -z = t + 2*t. Is (t/(-4))/(2/4) a composite number?
True
Suppose 3*g = x + 2 - 0, x = 2*g. Suppose 4*z = g*z + 74. Is z a composite number?
False
Suppose d - i - 837 = -0*i, 2*d - 1672 = i. Is d composite?
True
Is ((-44)/(-66))/(-2 - 4912/(-2454)) a composite number?
False
Let k = 4214 - 2241. Is k a prime number?
True
Let x(w) = 8*w + 3. Let p(g) = -9*g - 2. Let n(u) = 7*p(u) + 6*x(u). Is n(-5) composite?
False
Let z(t) = 13*t**3 + 3*t**2 + 2*t**3 - 4*t**2. Let o be (-2)/(-12) - (-35)/42. Is z(o) composite?
True
Let r(i) = 16*i**2 - 5. Is r(-6) prime?
True
Let y be 4/6 + 1385/15. Suppose 0 = -2*k + y - 1. Is k a composite number?
True
Let z(k) = -k**3 - k**2 + 4*k + 3. Let s be z(-5). Let j = -48 + s. Is j a composite number?
True
Let v(r) = -r**3 - 3*r**2 + 9*r + 7. Let k be v(-7). Suppose 2*x - 50 = k. Suppose u = -4*u + x. Is u prime?
True
Suppose 0 = -4*k - 4*d - d - 3, 0 = 3*k - d - 12. Suppose -k = y, 7*u - 182 = 3*u - 2*y. Is u prime?
True
Suppose -2*g + 1585 = -3*h, 0*h + 4*h = 12. Is g prime?
True
Suppose s - 8386 = -3*s - 5*k, 0 = 4*s + 4*k - 8388. Is s composite?
False
Let q = 216 - -203. Let x = q - 213. Let h = x - -5. Is h a composite number?
False
Suppose 3*o - 5*o + 548 = 0. Is o a prime number?
False
Is (-4)/(-14) - ((-9504)/7 - 3) prime?
True
Let a = -12 + 17. Let o(x) = 10*x - 1. Is o(a) a composite number?
True
Let n(w) = 67*w**2 - 15*w + 37. Is n(6) a composite number?
True
Suppose 0 = c + 2*c - 399. Let l = -6 + c. Is l a composite number?
False
Let t = 57 + -39. Let r = t - 11. Is r a prime number?
True
Is 48/(-32)*(-1)/3*446 a prime number?
True
Suppose -2*k = 4*f - 20, -f + 4 = -k + 4*f. Let i(h) = h - 3. Let s be i(k). Suppose -4*t = -4*j + 5 + 39, 4*j + s*t = 16. Is j prime?
True
Suppose -2*k = -0*k + 3*o + 3, 0 = -4*k - 3*o - 3. Let f(z) = -z**3 - z + 3. Let t be f(k). Let p(y) = y + 1. Is p(t) a composite number?
True
Let c(m) = 3*m**2 - 2*m + 1. Let r be c(1). Suppose -r*p + 212 = 2*p. Is p a prime number?
True
Suppose c + 4*i - 11 = 0, 2*i = -2*c - 2*c + 86. Is c composite?
False
Suppose -k + 230 = -5*g - 84, 5*g = 5*k - 1590. Is k a prime number?
False
Let l = 258 + -8. Suppose 8*o = 3*o + l. Suppose 4*j - 70 = -2*v, -5*j + 160 - o = -5*v. Is j prime?
True
Let m = 6 - 4. Let x be ((-305)/20)/((-1)/4). Suppose 0 = m*w + 3*o + 2*o - x, -o + 164 = 5*w. Is w a prime number?
False
Suppose l + 0 = 3. Suppose -l*b + 0*b = -885. Is b composite?
True
Let j(m) = 67*m**3 - m**2 + 1. Is j(1) a composite number?
False
Let l be 2601/4 - 6/(-8). Let d be (2 - 10/6)*l. Suppose -4*o - 5*f + d = 0, -1 = -3*f + 2*f. Is o a composite number?
False
Let b(f) = 11*f**2 - 13*f + 29. Is b(6) composite?
False
Suppose 5*c = a + 4, 4*c + 3 = a + 4. Suppose 3*r - 15 = 0, 2*r = -0*n + 2*n + 26. Let l = n + a. Is l composite?
False
Let i(u) = -5*u**3 - 2*u**2 + 1. Let o be i(-1). Suppose -46 = 2*d + 5*a, o*a - 46 = 4*d - d. Let f = 101 - d. Is f composite?
True
Let p(r) = 2*r**2 - 10*r + 6. Let i be p(-11). Let z = 549 - i. Is z a composite number?
False
Let b(m) = m**3 + 2*m**2 + 2*m + 3. Let z be b(-2). Suppose c = -2*n + 5*c + 12, 0 = -3*n - 5*c - 4. Is z/(n/(-2)) + 9 composite?
True
Suppose v = -3*v, 4*v = 3*b. Let q(x) = -x + 27. Let l be q(0). Suppose -4*s - 20 = b, g + 4*s = l - 8. Is g prime?
False
Suppose 1796 = 3*z - 145. Is z a prime number?
True
Suppose -t = 3*t - 80. Suppose 3*q - 7*i = -2*i + t, 2*q = -i + 9. Suppose -q*w = 4*g - 625, -13 - 96 = -w - 4*g. Is w a prime number?
False
Suppose 3*u = -5*x + 8294, -4*u + 2605 = -4*x + 9221. Is x prime?
True
Suppose -3*f = -8*f - 5*q + 50, -4*f - q = -28. Is ((-596)/f)/(2/(-3)) a prime number?
True
Let j be 4 - 1 - 1/1. Suppose j*n - 97 - 46 = -5*s, s + 319 = 4*n. Is n composite?
False
Is 1756/6 - -1 - (-38)/(-57) a prime number?
True
Suppose 5*n + 4*o = -160, -5 - 119 = 4*n + 4*o. Is (-9)/n + 183/4 a composite number?
True
Suppose -5*z - 127 - 171 = -2*s, -4*z - 447 = -3*s. Is s prime?
True
Let x(u) = -u**2 + 6. Let m be x(0). Suppose 4*a - f = 596, a + 5*f = m*a - 745. Is a a prime number?
True
Suppose 115 + 490 = 5*g. Is g composite?
True
Suppose 5 = -3*n - 13. Let b = 6 - -1. Is (n/7)/((-1)/b) composite?
True
Let j(s) = 0*s - 2*s**2 + 10*s + 2*s + 5. Let c be j(9). Let g = -30 - c. Is g prime?
True
Suppose 17 + 140 = g. Is g a prime number?
True
Let b = -4792 - -8547. Is b a composite number?
True
Suppose -n + 5*t - 116 = 0, -5*t = 5*n - 2*t + 580. Is (n/10)/(10/(-50)) a composite number?
True
Suppose -5*y = 2*n - 1, 2*y + 0*n = 3*n - 11. Let z = y + -1. Is (-4 - z) + 4*6 composite?
True
Let q(c) = c + 3. Let b be q(-4). Let v be b/3 + 152/(-12). Let f = -9 - v. Is f a composite number?
True
Let d = 6 + -3. Suppose 6 = d*m - 30. Suppose 4*c = m, 0 = -2*q - 4*c + 208 - 66. Is q a prime number?
False
Suppose 4*d - 1055 = -d. Is d a prime number?
True
Let h(o) = -1. Let z(y) = -53*y**2 - 53. Let r(d) = 53*h(d) - z(d). Let k(b) = b**3 - 2*b**2 - 4*b + 2. Let v be k(3). Is r(v) prime?
True
Suppose 4*f = -2*b + 1072, -5*b + 4*f + 0*f + 2666 