s (-116)/s - (-4)/(-12) a prime number?
True
Suppose 0 = -i - 4*b + 548, 5*i = 2*b - 5*b + 2689. Suppose 0 = -4*g + 4*d + i, 0 = 5*g - 0*d + 2*d - 649. Let p = 258 - g. Is p a composite number?
False
Is 1517/6 + 1/6 a composite number?
True
Suppose 5*v = -3*r + 623, -r + 5*r - 842 = -v. Is r a composite number?
False
Let c(z) = -z**3 + 31*z**2 + 2*z + 31. Is c(24) a composite number?
False
Suppose -5*t - 5*c = -130, 0*t - 2*t - c + 51 = 0. Is (0 - -1)*(-2 + t) a prime number?
True
Is (-5 - 2240)*(1 - 14/10) composite?
True
Suppose 8 = -0*x + 2*x. Suppose -t = j - 5*t + 12, -t = -2*j + x. Let u = j + 11. Is u a composite number?
True
Is (-3)/((-105)/10) - (-4989)/7 a composite number?
True
Suppose 2*c + 5 = -3*q, 3*c = -0*q + 3*q + 30. Is 1580/c*2/4 a prime number?
False
Let d be 2 - (-451 - (3 - 1)). Suppose 0 = -5*j + c + 3*c + d, -j = 5*c - 91. Is j a prime number?
False
Let s(x) = 2 + 0 + 8*x**2 + x**3 - 3*x**2. Let d be s(-5). Suppose 105 = 3*y + d*y. Is y composite?
True
Suppose -3*k + 776 + 1567 = 0. Is k prime?
False
Suppose 4*w = -3*r + 25, -15 = -3*w - 4*r + 9. Is 309*1 + w + -6 a composite number?
False
Let y = 0 + 5. Suppose y*u = -4*x, -3*u = -u - 5*x. Suppose u = -4*j - 4*l + 140, 0 = j - 2*l - 17 - 24. Is j prime?
True
Let y = -3820 - -7413. Is y composite?
False
Let x(f) = -43*f. Is x(-3) a prime number?
False
Suppose -4*s = 7*s - 1474. Is s a prime number?
False
Suppose 0*i - 78 = -3*i. Is i prime?
False
Suppose -2*z + 35 + 927 = 0. Is z prime?
False
Suppose 0 = -5*k + 2 - 12. Is (-4 - -2)*31/k composite?
False
Suppose 0 = 4*l + 16, -l = g - 5*l - 16. Is (-30*1)/(g - 2) a composite number?
True
Let c(y) = y**3 + 7*y**2 + 1. Let a = 1 + -4. Is c(a) composite?
False
Is (-7 - (-726)/30)/(1/5) a prime number?
False
Suppose -7*c - 13864 = -15*c. Is c a composite number?
False
Suppose 2*u = -t - 2*t - 92, t + 4*u = -44. Is (258/5)/(t/(-70)) a prime number?
False
Let u(a) = -a + 6. Let q be u(4). Suppose 0 = -x + 5, -q*h - 5*x - 152 = -3*h. Is h a prime number?
False
Let h = -33 - -23. Let y = -1 + h. Let o = y - -15. Is o composite?
True
Suppose -5*x + 16 = -x. Suppose 0 = -k + 5*k - c + x, 0 = -4*k - 4*c + 16. Is 81*1 + k + -2 composite?
False
Suppose 0 = -6*j + 2*j - q + 11, 11 = j + 3*q. Let r be (-1)/j*-25*-4. Let i = r - -72. Is i a prime number?
False
Suppose 3 - 28 = -5*p. Suppose 313 = p*y + 48. Is y composite?
False
Let o be (158 - 12/4) + 3. Suppose 0 = 2*u - o. Is u a composite number?
False
Suppose 3*r - 7*r - 84 = -2*b, -180 = -5*b - 5*r. Suppose 0 = 3*m + x - 34, -2*x - 2*x + 40 = 4*m. Suppose -2*g + 4*q = -b - m, 5*g = -q + 70. Is g prime?
False
Let p be (-8)/20 - (-129)/(-15). Let z = 1 + 11. Is (z/p)/((-4)/222) composite?
True
Let l = 1529 + -1086. Is l composite?
False
Let a be (6/(-10))/((-2)/10). Let d = a - -7. Is d prime?
False
Suppose 4*p = 4*h + 448, -p - 4*p + 4*h + 561 = 0. Is p prime?
True
Let z(x) be the second derivative of 2*x**3 + 5*x**2/2 - x. Let m = 33 - 26. Is z(m) a prime number?
True
Suppose 2*q - 3*x + 0*x = -6, -q - 4*x = 14. Is 2/q*66/(-2) a composite number?
False
Suppose -4*n - 753 = -7*n. Is n composite?
False
Suppose -4*x + s + 55 = 0, x = -3*x - s + 65. Is x composite?
True
Suppose 2*r - 3*r = -1337. Is r a prime number?
False
Let p(s) = -s**3 + s. Let z be p(-1). Let x be 11/3 - 4/6. Suppose z = 5*v + 3*a - 185, 0 = -x*v - v - 2*a + 148. Is v prime?
True
Suppose 5*s - 806 - 299 = 5*x, s + 2*x = 227. Is s a prime number?
True
Let n be 1855/10 - (-6)/4. Suppose 3*k = -4*q + n, 0 = -k - 1 - 2. Is q a prime number?
False
Suppose 4789 + 751 = 4*c. Is c a composite number?
True
Suppose 3*y - 3*n = 12, -3*y + 4 = 2*y - n. Suppose y = -5*b + 2*b + 6. Suppose -2*j + 6 = z - 19, -b*z + 5*j = -23. Is z a prime number?
True
Is (-3*1761/(-27))/(3/9) a prime number?
True
Let u = 1525 - 954. Is u a prime number?
True
Let b(u) = -u**2. Let j(h) = -2*h + 1. Let v(k) = -4*b(k) - j(k). Is v(-2) composite?
False
Let y be (-6)/18*12*-1. Suppose 0 = 3*i - 15, -2*m + y*i = -257 + 23. Is m composite?
False
Let d be (624/9)/(2/36). Suppose -2*s + 3*w = -619, 4*w + d = -s + 5*s. Is s a composite number?
False
Suppose -k = k - 224. Let h = k - 75. Is h composite?
False
Let q be (6/(-8))/((-5)/(-20)). Is q/(-3 - 0)*31 composite?
False
Let a(s) = -5*s + 2. Suppose -5*v + 6*v = -9. Is a(v) a prime number?
True
Let q = 0 - -3. Suppose 5*l - 3 = 4*r + 3, -q = -l - r. Is 19 - 0/(-5 + l) prime?
True
Let n(m) = m**2 + 8*m + 6. Is n(-9) composite?
True
Suppose -y - 199 = -4*y + 2*p, -5*p - 263 = -4*y. Is y composite?
False
Suppose 2*m + w = -2*w + 3, -4*m = 3*w - 21. Let k(d) = -d**3 + 9*d**2 + d - 11. Let o be k(m). Let t = o - -13. Is t a prime number?
True
Let u = -24 - -14. Let b be u*(-3)/12*24. Let s = b + -39. Is s composite?
True
Let s = -456 + 659. Is s composite?
True
Suppose x - 6*x - 3*n = 30, 21 = -2*x - 3*n. Is -2 - 39/(x - -2) a prime number?
True
Let x(c) be the first derivative of 2*c**3/3 + 5*c**2 - 2*c - 1. Suppose -4*y - 9 = -3*y - d, -2*y + 4*d - 22 = 0. Is x(y) a prime number?
False
Let h = 14055 - 5350. Is h composite?
True
Suppose 4*j = 3*d + 23, 2*d - d - 1 = -3*j. Suppose j = 2*b - 18. Is b a prime number?
False
Let o(i) = 34*i**3 - 2*i**2 + 1. Let c be 1/2 + (-12)/(-8). Suppose 0 = 3*v - 1 - c. Is o(v) a prime number?
False
Let m = 154 + 477. Is m composite?
False
Let s be -1 + -2*2/(-1). Suppose 165 - 12 = s*z. Is z composite?
True
Let s(t) = 3*t**2 + 4*t + 3*t - 6*t - t**2 + 11. Is s(-8) a prime number?
True
Suppose 25*c = 26*c - 1073. Is c a composite number?
True
Let f(b) = -7*b**3 - 2*b**2 + 3*b + 4. Let x be f(-3). Suppose -x = -l - l. Suppose 5*q = -4*u + l, 3*u + 9 = -0*u. Is q a prime number?
True
Suppose -2*u = -u + 3. Let a = u + 10. Is a composite?
False
Let q = 1009 + -684. Let z be q/2 + (-9)/6. Let a = z + -90. Is a prime?
True
Let q(s) = 15*s**2 - 1. Let c be (2 + 6/(-2))/1. Is q(c) a prime number?
False
Is 69/2 - 6/(-12) prime?
False
Let j be 14/4 - (-2)/(-4). Is 1/j + 740/12 prime?
False
Suppose 9 = -5*n - 21. Let r = 9 + n. Suppose -r*d + 39 = -30. Is d a composite number?
False
Suppose -15 = 3*n - 0*n. Let j = 0 - n. Suppose 2*k - 3*v + j*v = 36, 5*v = 4*k - 45. Is k prime?
False
Let v(z) = -2*z**3 + 5*z**2 + 3*z - 1. Is v(-3) prime?
True
Let k = -28 - -44. Let w be (k/12)/(1/3). Suppose w*a + 121 = 5*z - 0*a, 0 = 4*z + 2*a - 76. Is z prime?
False
Suppose 3919 = 4*z - y, -z + 5*y + 991 = y. Is z a prime number?
False
Suppose 2*b - u = -19, b + 2*u + 3*u = 18. Let l = b - -3. Is (-1 + 3)*(-134)/l a composite number?
False
Let r(v) = 4*v + 2 - 3 + 4*v. Let i be r(2). Is 4/10 + 339/i composite?
False
Suppose -2*m = 178 + 28. Let a = m + 65. Is (a/1)/(-4 - -3) a prime number?
False
Let u be 0/(-3)*1/2. Suppose 8 = s + i, u = s - 2*s - 2*i + 11. Suppose 0 = -5*z + z + 4*w + 168, 3*z = s*w + 136. Is z a composite number?
False
Suppose -3*j - 2*d + 13 = -d, -5*j - 5*d = -15. Suppose 0 = -5*s + 2*g + 159, 5*s - 213 = j*g - 63. Is s prime?
False
Let l = 1 - -1. Suppose -8 = -2*j + 2*r + 2, 2*j = -4*r - l. Suppose -j*b - 45 = -8*b. Is b prime?
False
Let u(w) = w**3 - 8*w**2 - 14*w - 1. Suppose -5*k + a = -46, 0*a = -3*k - 2*a + 38. Is u(k) a prime number?
True
Let t(g) be the second derivative of -g**5/20 + g**4/2 + 4*g**3/3 - 5*g**2/2 + 20*g. Let r be 14*(1 + (-1)/2). Is t(r) prime?
True
Suppose 306 = -v + 3*v. Is 16/12*v/6 composite?
True
Let c(q) = q**3 - 10*q**2 + 9*q + 7. Let y = 29 + -20. Let k be c(y). Suppose 0 = -l + 60 + k. Is l composite?
False
Let f(p) = 30*p - 17. Is f(6) a composite number?
False
Let v(u) = 3*u**3 - 8*u**2 + u + 11. Is v(8) a prime number?
False
Let s = -3 + 11. Suppose a + 4 = z, a + 12 + s = 5*z. Suppose 0 = 4*o + 3*i - 350, 222 = 3*o - z*i - 53. Is o composite?
False
Suppose 4*d - 4 = 0, 3*b = 2*d + 126 + 31. Is b a composite number?
False
Let n be 2/(3 - 2) - 0. Suppose 3*y = -2*l - 2*y + 63, -2*l - n*y = -48. Let m = 30 - l. Is m a composite number?
False
Let k = 68 + -29. Let u be (-4)/(-22) - k/33. Is -4 - -1 - 94*u a prime number?
False
Suppose 4*q - 32 - 52 = 0. Is q a composite number?
True
Suppose 4*a = 5*k - 19, 3*k - 4*a - 23 = -10. Suppose -k*b + 264 = b. Let r = -33 + b. Is r composite?
True
Let j(x) = -x**3 + 12*x**2 - 12*x + 7. Is j(8)