ue
Suppose -f + 526 = 2*p, -4*f + 0*f + 2110 = 2*p. Suppose 2*q - 528 = 2*r, 2*q - 3*r = 3 + f. Suppose 5*o - 4*s + 3*s = 263, 2*s = 5*o - q. Is o a prime number?
True
Suppose -2*y + 4*y = 6. Suppose -y*w - 9 = -6*w. Suppose t + 40 = 2*t - 5*z, z - w = 0. Is t a composite number?
True
Suppose -25 = -4*n - 1. Is 2893/7 - n/21 a composite number?
True
Let q be (2/(-6))/(3/(-9)). Is q/(-5) - 746/(-5) a composite number?
False
Let j(a) = 115*a + 14. Is j(9) a composite number?
False
Let h be 3*(4/3)/(-2). Let z = 2 + h. Suppose 3*s + 2*s - 65 = z. Is s a prime number?
True
Let u = 255 + -98. Is u a prime number?
True
Let w(i) = 13*i + 5. Is w(4) prime?
False
Let p(u) = u**2 - 11*u + 12. Let d be p(-9). Let f = 285 - d. Is f a composite number?
True
Suppose 9*h - 4*h = 560. Let n = h - 366. Is (-1)/(2*1/n) composite?
False
Let f be 1*(-2 + 1) - -279. Suppose 5*w + 4*p + 74 = 6*w, -4*w + f = 2*p. Let v = -11 + w. Is v composite?
False
Let w = 9 + 2. Is w a composite number?
False
Suppose -3*o = -4*d - 2245, -o + 0*o + 3*d = -755. Is o prime?
True
Suppose -2*f = 3*f + n - 680, -f - 5*n + 112 = 0. Suppose -29 = -w - 2*y, -4*w + f = -2*y + 11. Is w a prime number?
True
Let i = 1 - 2. Let n be 1 + (1 - 20)/i. Let w = 34 - n. Is w prime?
False
Suppose 28 = -2*g + 102. Suppose g = t - 5*v, v = -2*t + 53 + 43. Is t a prime number?
True
Suppose -5*f = -2*u + 10, -u + f = -3*u + 22. Suppose -a = 4*l - u, 0 = 2*a + 2*l - l - 27. Is a a composite number?
True
Suppose 11*w - 111 = 307. Is w prime?
False
Let r(d) = 4*d**3 - d**2 + 2*d - 1. Let a(t) = -2*t**3 - 2*t**2 + 1. Let q be a(-1). Let w be r(q). Is (0 + 314)/(w - 2) prime?
True
Let o be ((-34)/5)/(2/(-10)). Suppose 3*a + 4*d - 29 + 0 = 0, 5*d = -3*a + o. Is a a composite number?
False
Let t(s) = 6*s**2 - 2*s**2 + 5 - 2*s**2. Let v = 1 + -5. Is t(v) composite?
False
Let v = -3 - -1. Let a(z) = z**3 + 4*z**2 + 3*z + 1. Is a(v) composite?
False
Suppose 18 = 5*w - 22. Let x(f) = f**3 - 5*f**2 + 3*f. Let n be x(3). Is 3 + (w - n/3) prime?
False
Let w be 16/2 - 3/3. Suppose -10 = 2*a + 5*t, -w*a - 5*t = -3*a. Suppose a*d - 125 = -0*d. Is d composite?
True
Suppose 10*x = 5*x - 15. Let s = x + 4. Is ((-268)/8)/(s/(-2)) prime?
True
Suppose 7*m - 1080 = 775. Is m a composite number?
True
Suppose -5*l - 3*p = -5645, -5*p - 1336 + 3613 = 2*l. Suppose 5*c + 131 = l. Is c a composite number?
False
Is 88 - -1 - -1 - 1 a composite number?
False
Let x = -1 + 6. Suppose 9*c - 135 - 180 = 0. Suppose 4*f = -x*d + 67, -2*d + 3*f + c = 2*d. Is d prime?
True
Suppose -4*u - 590 = -5*o, o - 5*u - 13 - 105 = 0. Let z be (-4)/(-2)*2 - 1. Suppose o = z*g - g. Is g a composite number?
False
Let c be 50/(-8) + (-6)/(-24). Is 3 + c + 0 + 82 prime?
True
Let n = -173 - 417. Let o = 224 + n. Is (-1)/2 - o/4 composite?
True
Let m(c) = 14*c**2 + c + 9. Let v(z) = -5*z**2 - 3. Let h(f) = -4*m(f) - 11*v(f). Let b be h(-8). Let p = 112 + b. Is p composite?
True
Let a = 58 + -31. Let t = -12 + a. Is t a prime number?
False
Let h(a) = a**2 - 9*a + 5. Let z be h(9). Suppose z*u = -5, -3*v + 472 + 1560 = 5*u. Is v a composite number?
True
Suppose 21 = 4*m - c, c = 2*c - 3. Suppose -4*g + 3*g - m = -3*a, -a - 13 = -2*g. Is g a composite number?
True
Let t(w) = -w**3 + 11*w**2 - 9*w - 3. Suppose 5*j = -4*u - 1 + 31, 4 = u + 3*j. Is t(u) a prime number?
True
Suppose -13 = -3*o - 1. Let t(k) = k**2 - 2*k + 5. Is t(o) prime?
True
Suppose 3*c - 36 = -3*i, -c + 17 = -4*i + 65. Let o = i - 24. Is ((-56)/o)/((-2)/(-15)) a composite number?
True
Let w(n) = 4*n**2 - 2. Let d be w(2). Suppose b - d = -b. Is b a prime number?
True
Let g = 4 + 0. Suppose 5*l - 4*v = 1051, g*l - l - 2*v = 631. Is l composite?
False
Let l(m) = 2*m**3 - 43*m**2 - 18*m + 3. Is l(22) composite?
True
Let x be (-1)/(-2)*0 - -528. Let t = 821 - x. Is t composite?
False
Let n = 4 + -1. Suppose 4*q + 3 = 19, -2*d = -n*q. Is (8/d)/(6/45) prime?
False
Let j(o) = 4 + 1 - 2*o + 0*o**2 - o**2. Let x be j(-4). Is (2/(-6))/(x/18) a composite number?
False
Suppose -3*v + 14 = 2*i, 2*i = -5*v - 5 + 23. Suppose -i*y = -0 - 8. Suppose 2*s + y*s = 388. Is s prime?
True
Let u be (-2)/7 - 3320/(-7). Let p = -296 + u. Is p prime?
False
Let i = 217 + 304. Is i a prime number?
True
Let j(y) = y**3 - 5*y**2 - y + 7. Let b be j(5). Suppose 2*q - 3*q = -b. Suppose -k = -0*k - q. Is k a prime number?
True
Let n = 575 + -339. Suppose 0 = -3*f + 7*f - n. Is f prime?
True
Let p = 0 - 4. Let m(h) = 18*h**2 + 6*h + 1. Is m(p) composite?
True
Is (-106)/(2*2/(-6)) a composite number?
True
Is 180 + 4 + -4 + -1 a prime number?
True
Let p(j) = -j**3 + j**2 - j + 36. Let r(a) = -a**3 - 12*a**2 + a + 12. Let u be r(-12). Let t be p(u). Suppose 0 = -5*d + 19 + t. Is d a prime number?
True
Suppose -131 = -4*s + 5*i + 98, 0 = -5*s - 5*i + 230. Is s composite?
True
Let m(s) = -s**2 + 5 + 2*s**2 + 6*s - 8*s. Is m(4) prime?
True
Let d = -7 + 10. Let t = 23 + d. Is t a prime number?
False
Let p(l) = -l + 77. Let k(s) = s - 2. Let w be k(5). Suppose w*o - 2*o = 0. Is p(o) a prime number?
False
Let i(t) = t + 15. Is i(7) a prime number?
False
Let d(f) = 453*f - 8. Is d(7) prime?
True
Let u(d) = 148*d - 3. Is u(2) prime?
True
Let b(q) be the second derivative of 5*q**3/6 + q**2/2 + q. Is b(6) a composite number?
False
Let q = 32 - -22. Suppose -q = -3*r + 219. Is r composite?
True
Let p(w) be the second derivative of 3*w**4/2 + 7*w**3/6 + 5*w**2/2 - 4*w. Is p(-4) prime?
False
Let v = 388 - 71. Is v prime?
True
Suppose -2*s - 3 = -13, 21 = 4*b + s. Is b/(-12) + (-334)/(-3) prime?
False
Let x be (-1 - -2)/1 - 3. Let w(d) = d**2 - 6*d + 6. Let m(q) = 1. Let u(o) = x*m(o) + w(o). Is u(9) a composite number?
False
Suppose 0 = -5*y - 5 - 0. Is (80 + y)/(1 + 0) a prime number?
True
Suppose 2*f = 4*n - 4268, 0 = 3*f - 4*f + 4. Is n a composite number?
False
Let m(y) = y + 6. Let j be m(-4). Suppose -3*x + j*x = -11. Is x composite?
False
Let r(q) = -q**3 - 3*q**2 - q + 1. Let s be r(-3). Suppose 0 = -3*k - 3*h + 150, 2*k = s*k + 3*h - 97. Is k a composite number?
False
Suppose c + 759 = 4*c. Is c prime?
False
Suppose -4*v - 785 = v. Let w(f) = 18*f. Let t be w(-5). Let p = t - v. Is p composite?
False
Suppose -4*x + 20 = 0, 2*z + x - 182 = -z. Is z a prime number?
True
Suppose 4*w - 5*w = 0. Suppose w = -3*c + 95 + 10. Is c a composite number?
True
Is -295*(-3 - -1 - -1) a prime number?
False
Let q(i) = -13 - 9*i - 2*i + 3*i**2 + 5*i. Is q(-4) a composite number?
False
Suppose b = g - 4*g + 1462, 5*g = -b + 2436. Is g composite?
False
Let k be (-2)/10 + 269/(-5). Let x = 89 + k. Is x a prime number?
False
Let n be 1004/(-12)*(-1 - -4). Let c = n - -364. Suppose -3*q = -c + 8. Is q a composite number?
True
Let r(s) = 22*s**3 + 7*s**2 - 2*s - 7. Let q(i) = -21*i**3 - 8*i**2 + 2*i + 8. Let n(v) = 6*q(v) + 7*r(v). Is n(2) a composite number?
False
Is -17*1/4*-44 composite?
True
Suppose -2*b + 9 = b. Suppose -129 - 36 = -b*g. Is g a prime number?
False
Let x(j) = 72*j**2 + 2*j + 3. Suppose 0 = 2*h - 0*h + 4. Is x(h) a prime number?
False
Let i = 1317 - 837. Suppose -2*r + k = -i, 399 - 1335 = -4*r - 4*k. Suppose d + d = r. Is d composite?
True
Suppose 5*n = 53 + 27. Suppose -4*w - 2*y = 8, 0*y + 4*y = 2*w - n. Is 80 + (w - -1 - -2) composite?
False
Let f = -603 + 6584. Is f a composite number?
False
Let b be (-772)/(-7) - 4/14. Suppose 2*w - 7*w = b. Is (-1 + w)*(-2)/2 prime?
True
Let v(w) = w**3 + 5*w**2 + 3*w - 2. Let d be v(-4). Let r be d - 1 - (-1 - 1). Suppose 0 = 4*g - 3*t - 40, -5*t = -g + r*g + 6. Is g a composite number?
False
Suppose -5*n + 3597 = -2*n. Is n prime?
False
Let r = -328 - -477. Let s = r + -62. Is s a prime number?
False
Suppose -n + 126 = 4*t, n + 33 = t + 2*n. Is t prime?
True
Suppose 0 = -2*v + 7 - 5. Let i be (1 - 74 - v)/2. Let d = i + 88. Is d composite?
True
Let y = 36 - 10. Suppose -7*u + 2*h - y = -6*u, -130 = 5*u - 2*h. Let x = 59 + u. Is x a prime number?
False
Let l = 407 - -846. Is l prime?
False
Suppose -22 = -4*s + 5*f, 5*s - 3*f = -7*f + 7. Suppose 0 = -4*z + s*l - 0*l + 462, 3*z - l = 344. Suppose 3*d = d + z. Is d composite?
True
Let z(t) = -t**2 + 23*t + 15. Is z(16) a composite number?
False
Is -22*((-6)/(-18) + (-46)/12) a composite number?
True
Let y be 3 - 2 - (2 + -2). Is (446/(-6))/(y/(-3