 Is j a prime number?
False
Let j = 581 + -250. Is j a prime number?
True
Suppose 4*o + 3*v = -2 + 37, 3*v = 4*o - 5. Suppose -4*b = -3*c - 365, -3*c = -o*b - c + 451. Is b composite?
False
Let o = -274 - -2009. Is o a prime number?
False
Let m be (1 + -10)*1/(-3). Suppose 4*o - 4*t = 476, m*o + 2*t + 361 = 6*o. Is o prime?
False
Suppose -2672 + 7946 = 6*u. Is u a composite number?
True
Let f(c) = c**2 - 4*c + 8. Let z be f(6). Let r be 38/2 + (0 - 0). Let o = r + z. Is o prime?
False
Suppose -338 = 2*c - 3*c + 4*v, -1750 = -5*c + 5*v. Suppose -3*x + c = -75. Is x a prime number?
False
Suppose -3*d = 2*q - 185, -3*d - 102 = -3*q + 168. Is q a prime number?
False
Let b be 1 - (-4 - (-12)/3). Let p(g) = 85*g**2 + 3*g - 1. Is p(b) a prime number?
False
Let x = 3 + 0. Suppose 5*s - 200 = -2*o, 3*s + x*o = s + 91. Is s prime?
False
Let x be (-2)/(-5) + (-3)/(-5). Let q = 12 + x. Let i = q - -9. Is i a prime number?
False
Is (-5)/(-20)*-2*-13046 a composite number?
True
Suppose -6 = -3*u - 0. Suppose -5*g - 5*h + 45 = 0, 0*h = u*h - 10. Suppose 2 + 74 = g*j. Is j a composite number?
False
Let h = 1 + 2. Suppose 2*n = -h*n. Suppose 28 = -n*t + 2*t. Is t prime?
False
Let t = -17 + 6. Let q = t + 66. Is q composite?
True
Suppose -w = 2*w. Suppose w*f - u = -5*f + 278, u + 3 = 0. Is f a composite number?
True
Let m(x) = 4*x**2 - 5*x - 2. Is m(7) a composite number?
True
Suppose 11 - 3 = 4*w. Suppose -w*x = x - 573. Is x prime?
True
Let d(y) = y**3 - 2*y**2 - y + 3. Let o be d(3). Let g(i) = -i**3 + 10*i**2 + 3*i - 10. Let q be g(o). Suppose -n + q = 7. Is n a prime number?
False
Is -1 + (-6)/15 + 3852/30 prime?
True
Suppose -20 = -4*u - 0*u. Suppose 275 = u*j - 3*z, -j = 3*j - z - 227. Is j a composite number?
True
Suppose -2*u + 5*u + 2*h - 6 = 0, -h + 9 = 3*u. Suppose -3*b + q + 86 = -2*b, -b - q + 96 = 0. Is 0 + u/(4/b) composite?
True
Suppose 2*x + 4*w - 176 = -2*x, -5*x + 5*w = -220. Suppose 0 = -z + 5, 2*y + 5*z = 6*y - 299. Suppose 5*r - y = x. Is r a composite number?
True
Is 3/(12/20)*2/1 a composite number?
True
Let p = 27 + -14. Let a = 4 + -2. Is (p/a)/(4/8) prime?
True
Let c be (-174)/(-4) - (-3)/2. Is 8585/c + 2/9 a prime number?
True
Let r = -157 - -276. Is r prime?
False
Suppose 0*v = 4*v - 16. Suppose v*m + 14 = 230. Suppose 0 = a - m - 29. Is a a composite number?
False
Let x(z) = 2*z**2 - 4*z + 2. Let d be x(3). Suppose o = d + 61. Is o a composite number?
True
Suppose 0 = 5*a + 4*r - 4739, 5 = 2*r + 3. Is a a composite number?
False
Suppose -4*i + 4*b = -108, 3*b - 1 = -i + 6. Suppose 0 = -5*s + 4*z + 7, -4*z + 2 + 6 = 0. Let l = i - s. Is l prime?
True
Suppose 0 = 4*l - 1254 - 406. Is l prime?
False
Let i(u) = 8*u**2 - u - 7*u**2 + u - 9. Suppose 0 = -3*s - 14 - 16. Is i(s) a prime number?
False
Suppose 3*v + 3*v = 714. Is v prime?
False
Is 3359/2*((6 - 3) + -1) prime?
True
Suppose k - 4 + 0 = 0. Suppose k = 2*x + 24. Is 6/(-15) - 874/x a prime number?
False
Let n(b) = -19*b + 5. Is n(-8) a composite number?
False
Is 1 - 1*((-9)/(-3) + -1153) prime?
True
Suppose 29 = -4*b - p, 0 = 3*b - 5*p + 1 + 15. Let u = 9 + 37. Let h = b + u. Is h prime?
False
Is ((-4518)/54)/(2/(-6)) composite?
False
Suppose -5*b = -3*n, 3*n - 2*b - 19 = -2*n. Is 230/n - (-3)/1 a prime number?
False
Let x be 2 - -2*(-5 + -2). Is 157/3 + (-8)/x a prime number?
True
Let k(u) = 419*u**2 + 3*u + 3. Is k(-2) a prime number?
False
Suppose -1394 = -5*s + 4161. Is s a prime number?
False
Let n be (4 - 2)/((-6)/(-3)). Suppose 8 = l - 2*g, -2*l - 2*g = 7 + n. Suppose 0 = 2*x - l*x - 18. Is x prime?
False
Let f(z) = z**2 + 0*z**2 + 4*z + z**2 + 7. Let a = 7 + -12. Is f(a) a prime number?
True
Suppose 4*t + c - 28 = 4*c, 3*t + 5*c = 50. Let n = -7 + t. Suppose -162 = n*m - 501. Is m a composite number?
False
Suppose 0*q = 2*q - n - 2, 3*q - n - 3 = 0. Is 100/3 - q/3 prime?
False
Let d = 55 - 432. Let c = -262 - d. Is c a prime number?
False
Let w(j) = 14*j + 11. Let c(q) = -q - 1. Let n(f) = 4*c(f) + w(f). Is n(9) a prime number?
True
Suppose -6*j = -4*j - 4*g - 1426, 2*j - g = 1411. Is j a prime number?
False
Suppose -4*j + 842 - 126 = 0. Is j a composite number?
False
Let c(g) = -g**3 - 5*g**2 + 6*g + 7. Let d be c(-6). Let l = 13 - d. Suppose 3*o - l*o + 105 = 0. Is o a prime number?
False
Suppose 0 = -2*s + 4*p + 14, 0*s + 2*s + 5*p = 5. Suppose -s*u + k - 3*k = -947, 4*u + 3*k = 752. Is u a prime number?
True
Suppose 0 = -5*f + 3*f + 258. Suppose -t + f = -84. Is t a prime number?
False
Is (-4)/(-6)*3771/6 a composite number?
False
Suppose -5*d + 3*v + 0*v - 62 = 0, -4*d + 5*v - 60 = 0. Let s(m) = m**3 + 12*m**2 + 15*m + 3. Is s(d) a composite number?
False
Let m = 34 + 17. Is m composite?
True
Let r(q) = 10*q. Let y(d) = d. Let i(x) = r(x) - 5*y(x). Let b be i(-2). Is 112/5 - (-4)/b a composite number?
True
Let r be (-3)/6 - (-253)/2. Suppose 3*s + r = -5*k - 120, 2*s = 2*k + 108. Let n = k - -84. Is n a composite number?
True
Let t = -5 + 8. Suppose 0 = -t*j - j. Let k = 7 - j. Is k composite?
False
Let m be (51/(-9))/(4/36). Let i = 2 - m. Is i prime?
True
Let q(z) = 2*z. Let x be q(-3). Let a(h) = -2*h**3 - 8*h**2 - 3*h - 5. Is a(x) a prime number?
True
Let q(h) = 139*h. Let l be q(-1). Let o = l + 258. Is o composite?
True
Let r(j) = 11*j**2 - 11*j + 42. Let a(z) = -7*z**2 + 7*z - 28. Let c(s) = -8*a(s) - 5*r(s). Is c(0) prime?
False
Suppose 1 + 5 = u - 5*c, 3*u - 7 = 4*c. Let w be u/((-777)/(-258) - 3). Let i = w + -33. Is i a composite number?
False
Let o(x) be the second derivative of 71*x**3/6 + x**2 - 4*x. Let d be o(4). Is ((-2)/(-4) + 0)*d a prime number?
False
Let u(g) be the third derivative of 5*g**4/24 - 2*g**3 - 3*g**2. Let a(k) = -2*k + 4. Let r(c) = 11*a(c) + 4*u(c). Is r(-9) composite?
True
Suppose -150 = -2*o - 2*a, -3*a + 0*a = -2*o + 145. Is o composite?
True
Suppose 0 = -5*n - 20, -2*f + 9 + 11 = -3*n. Suppose -4*z = 16, -641 = -3*c - f*z + 1242. Is c prime?
False
Let x(q) = -2*q - 3. Let r be x(-2). Is (-1 - r/(-2))*-254 prime?
True
Let n be (-24)/(-3)*3/(-4). Let y = 59 + n. Is y prime?
True
Let o = 80 + 27. Let f = o - 60. Is f composite?
False
Let h(o) = 15 + o - 4*o + 2*o + 0*o. Let i be h(11). Is 0 - i/(12/(-231)) a composite number?
True
Let n(g) = -g**3 - 9*g**2 - 8*g + 7. Suppose 0 = -5*c + 8 + 12. Suppose -c*z + f = 41, 5*f = 2*z - 0*f + 43. Is n(z) prime?
True
Suppose -2*a + 837 = -341. Is a a composite number?
True
Suppose -332 = -7*l + 7095. Is l composite?
False
Let d(l) = 422*l. Let q be d(2). Suppose 4*k + 0*k = q. Is k a prime number?
True
Suppose 10 = -0*i + 5*i. Suppose i*k = -3*k - 30. Is (-47)/(-7) + k/(-21) a prime number?
True
Let r = 13 + -11. Suppose m = -r*m + 42. Is m a composite number?
True
Let o be 10/15*3*-3. Let h(t) = -t**3 - 5*t**2 - 4*t - 7. Is h(o) prime?
True
Let o = 10 + -2. Suppose -3*q - o + 29 = 0. Is q composite?
False
Suppose 0 = j + 2*j. Suppose j = -3*x + 10 - 4. Suppose 0 = x*r + 57 - 187. Is r prime?
False
Let m(u) = u**3 + u**2 + u + 5. Let b be m(0). Suppose -4*h + q + 3*q = -248, b*q = 25. Is h prime?
True
Let n be ((-2)/4 + 0)*0. Suppose n*d + d - 2*t + 5 = 0, -4*t + 15 = -3*d. Let o(v) = -33*v - 2. Is o(d) a prime number?
True
Let y(m) = -m**3 + 2*m**2 - 12*m - 13. Is y(-6) a prime number?
True
Let m(r) = -19*r - 7. Let f be m(-5). Is 2/(-11) + 56424/f prime?
True
Suppose -15 + 3 = -3*u. Let d(c) = -4*c + c**2 + 5*c**2 - 23 + 28. Is d(u) a composite number?
True
Let x = 1 + -3. Let g be (2/(-5))/(x/20). Suppose b + 2*k + k = g, 5*k = 2*b - 30. Is b composite?
True
Suppose 5*o - 5 - 5 = 0. Suppose 0 = -2*j - 3*t - t + 50, 4*j = -3*t + 95. Suppose j = o*b - 23. Is b a composite number?
False
Let j = -11 - -15. Suppose 7 = -3*s - j*t, -4*t - 4 = -3*t. Suppose 5*l - 363 = 3*n + 368, s*l - 5*n - 445 = 0. Is l composite?
True
Suppose -p + 0*p = -4. Suppose p*j - 1151 = 893. Is j prime?
False
Suppose 4 = 2*g - 5*b, -b - 2*b = -6. Suppose g*r - 3*r - 452 = 0. Is r a composite number?
False
Suppose 18*g - 9042 - 300 = 0. Is g a composite number?
True
Let a = -100 + 249. Is a a prime number?
True
Suppose o + 4*o + 5*k + 20 = 0, 0 = -3*o + 5*k + 20. Suppose 0 = -o*r - r. Suppose 0 = 2*p - r*p - 4, h = p + 20. Is h a composite number?
True
Let t = 367 - 226. Is t a composite number?
True
Suppose -4*