r = l + 1033. Is r prime?
True
Is (-547)/(-1 + (-10)/(-11)) prime?
False
Let u = 3203 - -8462. Is u prime?
False
Let c be (-15105)/(-20) + (-6)/24. Suppose -22338 = -7*o + c. Is o composite?
False
Is (8 + 4075)/(6/(-4) + 3) a composite number?
True
Let r(i) = 2*i**3 + 14*i**2 - 47*i - 33. Is r(20) composite?
False
Suppose -5*s + 10*s = -7955. Let r = -722 - s. Is r a composite number?
True
Suppose 5*h - 2*h = -4*o + 7, -3*h - 9 = 0. Let r(m) = 26*m - 9. Is r(o) composite?
True
Suppose -3946 = -0*v - v. Is v a composite number?
True
Let q(g) = 38 - 80 - 128*g + 41. Is q(-1) prime?
True
Let w(y) = -2*y - y + 6 + 13 + 6. Is w(0) composite?
True
Let h be ((-35)/(-10) - 3)*-2476. Let s = h - -1871. Is s a prime number?
False
Suppose -3*p = 5*w - 8391, -13985 = 40*p - 45*p - 2*w. Is p prime?
True
Let b(z) = 171*z + 140. Is b(7) prime?
False
Let h(s) = -3759*s + 59. Is h(-6) a composite number?
False
Suppose -12792 = y - k, -3*y + 5*k = k + 38378. Is y/(-15) - ((-12)/9 + 1) composite?
False
Let k(h) = -145*h + 4. Let z(t) = 7 - 2 - 21*t - 123*t. Let c(y) = 5*k(y) - 4*z(y). Is c(-1) prime?
True
Let h(o) = 4*o + 48. Let b be h(9). Let k = 275 - b. Is k prime?
True
Suppose 6*k - 19263 = 3*k. Is k a prime number?
True
Let z be (-253)/(-4) - (-6)/(-24). Let r be (-14)/z + 5650/(-9). Let i = r + 1169. Is i a prime number?
True
Suppose 0*q = -4*q + 2*l - 9838, -q - 2467 = l. Let o = q + 4197. Is o composite?
True
Let u(p) = -2*p**3 - 3*p**2 + 2. Let w be u(-2). Let c = -2 + w. Is 1*-2 + (491 - c) a prime number?
False
Suppose 292*a - 6356 = 288*a. Is a prime?
False
Let a = -11902 + 24345. Is a a prime number?
False
Let d = 1811 + -2718. Let m = d - -1334. Is m a composite number?
True
Let s(j) = j**3 - 17*j**2 - 2*j + 32. Let n be s(17). Let m(u) = -561*u + 1. Is m(n) a prime number?
True
Let n(c) = -2 + 13 + 3*c - 2*c. Let b be n(-8). Suppose 4*v - 4*t + b*t = 673, 5*v + 5*t = 810. Is v a prime number?
True
Suppose -446*t + 441*t = -275. Is t a composite number?
True
Let s = -32 + 39. Let p(i) = -i**3 + 11*i**2 + 6*i - 1. Is p(s) prime?
False
Let l(d) = 2059*d - 6. Let a be l(1). Suppose -2*c = -a + 531. Is c a composite number?
False
Suppose -5*v = -2*g + 42909, v = -4*g + 6*v + 85823. Suppose 7*n = -1542 + g. Is n a composite number?
True
Suppose -t + 6127 = 7*w - 2*w, 4*t - 4*w = 24484. Is t a prime number?
False
Suppose 5*n = 5*m - 3140, 5*m - 4*n + 0*n = 3145. Is m prime?
False
Is 12*(-4 + 292457/132) composite?
False
Suppose 14 = -5*d + 3*d. Let z = 16 - d. Suppose -2*v - t + 46 = -5*t, -v + 3*t + z = 0. Is v composite?
False
Let n be 0 - (-6 - -3) - 0. Suppose 2*j - 6*j + n*i = -1216, -2*j + 5*i = -594. Is j a prime number?
True
Let o = 30 + -27. Suppose -o*d - d = -16. Suppose 0 = 3*v + d*p - 1265, -6*p = -2*p - 8. Is v a prime number?
True
Let k(h) = 58*h**3 - 38*h**2 + 2*h + 29. Is k(9) a composite number?
False
Let z(r) = -1216*r - 207. Is z(-8) composite?
False
Let q = -667 - -262. Let c = q + -7. Let z = 665 + c. Is z a prime number?
False
Suppose 475 = y - 5*v, -2*y - 3*v = -4*y + 922. Let m = y + -36. Is m a prime number?
True
Suppose -2*z + 904 = 2*z. Suppose z = -k + 4*k - 5*y, 4*k - 294 = 3*y. Let v = -47 + k. Is v a prime number?
False
Suppose 0*y - y = 3*o + 535, 185 = -o + y. Is 4/(-6)*o/8 a composite number?
True
Let o(c) = -2*c**2 + 8*c + 7. Let y(s) = -s**2. Let a(j) = o(j) - 3*y(j). Let d be a(-7). Let h(k) = -k**3 - k**2 + k + 23. Is h(d) composite?
False
Let l = 72 - -294. Suppose -l = 15*t - 18*t. Is t composite?
True
Let i(h) = 91*h**2 + 6*h - 41. Is i(6) composite?
False
Let y(l) = -l**3 + 18*l**2 - 24*l - 10. Let b(c) = -5*c**2 - 32*c + 1. Let u be b(-6). Is y(u) prime?
True
Suppose -5*b + 2*p = -77898 + 2837, -3*p = b - 15019. Is b composite?
False
Suppose -17*y - 2*k - 11219 = -22*y, -3*y + 6737 = -4*k. Is y prime?
True
Suppose 10*u = 5*u - 38155. Let h = -4732 - u. Is h a prime number?
False
Suppose 4*m + 2*s - 3514 = 0, 5*m + s = 4*s + 4420. Suppose c + 180 = 2*c + 3*o, 0 = -5*c + 4*o + m. Is c composite?
True
Suppose 4*w = 2*q - 44742, 3*w + 22363 = q + 5*w. Is q composite?
False
Suppose 0 = -6*k + 8*k - 894. Is k composite?
True
Let n(v) = -47*v + 70. Let m be n(10). Is 10/(-3) + (-13)/(-39) - m a composite number?
False
Let s(i) = 41*i**2 - i + 1. Let c be (20/(-15))/(6/(-9)). Is s(c) composite?
False
Let n(l) = 5528*l**2 + 7*l - 4. Is n(1) a prime number?
True
Let o(z) = 117*z - 22. Let c(i) = -176*i + 33. Let b(u) = -5*c(u) - 7*o(u). Let j be b(-9). Is j/(-15) - 1/3 prime?
True
Suppose 0 = -51*o + 65*o - 17654. Is o a prime number?
False
Let s(c) = 9761*c**2 + 4*c - 2. Let j be s(-2). Is (6/4 - 2)*j/(-29) a composite number?
False
Let u = 9 - 4. Suppose 0*k = -5*k - u*o + 3075, 5*k - 3*o - 3059 = 0. Is k a composite number?
False
Suppose 462 = 38*c - 5048. Is c composite?
True
Let s(z) = -z**3 + 12*z**2 - 8*z - 23. Let q be s(11). Suppose -1332 = -q*f - 152. Is f prime?
False
Let w(a) = 43*a + 50. Let h be w(-10). Let t = -284 - -161. Let d = t - h. Is d composite?
False
Let q = -194 - -705. Let l = q - -378. Suppose -9*v + l = -2*v. Is v a prime number?
True
Let s be (5 + -3 - 6) + 8. Suppose s*d - 8*d = -3868. Is d composite?
False
Let t(v) = v**3 + 9*v**2 + 6*v - 7. Let i be t(-8). Let o(d) = -d**3 + 13*d**2 - 19*d + 10. Is o(i) a composite number?
False
Suppose 3*s + 0*s - 6 = 0, -p - 32 = 5*s. Is (-70875)/p + (-2)/4 a composite number?
True
Let j be (-4500)/126 + 4/(-14). Suppose -4*h + 5*h - 59 = 0. Let t = j + h. Is t a composite number?
False
Let v = 5885 - 3388. Is v prime?
False
Suppose 0*s - 3*s = 0. Suppose s = 8*t - 186 - 1582. Is t composite?
True
Suppose -4*a - 9 = -3*f, a + 15 = 2*f + 3*f. Let q = -625 - -880. Suppose -o = g - q, f*g - o - 596 = 153. Is g composite?
False
Suppose 8*r - 12 = 12. Suppose -2*k + 15 = 3*v, 0 = r*k + 2*v - 3*v + 5. Suppose k*h - 4*h = -212. Is h a composite number?
False
Let c = 5417 + -274. Is c a prime number?
False
Is (16743/(-9))/((40/15)/(-8)) composite?
False
Let p = -8 + 12. Suppose j = -p*j + 30. Suppose -1028 = j*n - 10*n. Is n composite?
False
Let u = -74 - -72. Let q(z) be the second derivative of -7*z**5/20 - z**4/12 - z**3/3 - 3*z**2/2 - z. Is q(u) composite?
False
Let z(f) be the first derivative of f**4/4 + 17*f**3/3 - 11*f**2/2 + 5*f + 8. Suppose -5*x + 13 = 93. Is z(x) a composite number?
True
Let z(m) = 217*m**2 - 10*m - 1. Is z(-3) a prime number?
False
Let a be ((-762)/4)/(7/(-378)). Suppose -3*m - 10820 = -4*k, -3238 = -5*k + 4*m + a. Suppose -12*c + k = -7*c. Is c a composite number?
False
Is (0 - -2119) + -18 + (-3 - -1) prime?
True
Let g = 32 - 32. Suppose -14*d + 11*d + 1902 = g. Is d a composite number?
True
Suppose 3995 = -5*p + 44640. Is p a composite number?
True
Let u = 26 - 33. Let x(k) = k**3 + 7*k**2 + 6*k - 4. Let h be x(u). Let c = 129 + h. Is c a composite number?
False
Let x = 422 + 0. Suppose -3*r = -r - x. Is r a composite number?
False
Let r(n) = -1. Let x(k) = -42*k**2 + 2*k - 3. Let f(s) = 4*r(s) - x(s). Is f(-4) a composite number?
True
Suppose r - 2 = -0*r. Suppose -r*w - n + 157 = 53, 2*n + 4 = 0. Is w a prime number?
True
Let b(o) = 29*o**2 + 8*o + 17. Is b(-4) a prime number?
True
Suppose 4 = -3*r + 10, -4*r = 5*x - 798. Let f be ((-8)/(-2))/((-1)/x). Is f/(-6) - (-14)/21 a composite number?
True
Let v = 9 + -11. Let s be ((-32)/v)/(-4) - -951. Suppose 2*z = z - 3*f + 320, 0 = -3*z + 4*f + s. Is z prime?
True
Let n(f) = 18*f**2 - 4*f - 8. Let j be ((-5)/(-3)*3)/((-1)/(-1)). Is n(j) prime?
False
Suppose -2*v + 0 + 10 = 3*p, -4*p = -3*v - 19. Is (-23 - v)*(-23)/2 a composite number?
True
Let b be 3 + 1 + -2 + -6. Let u(a) = -a - 1. Let h be u(b). Suppose 2*g - 743 = -p, h*p = 3*g + 4*p - 1114. Is g composite?
True
Suppose -3*n = 3*y + 13 - 37, -y + n + 2 = 0. Suppose 5*p = -2*j + 80, -4*p + y*j + 37 = 6. Suppose -4403 = -p*o + 7*o. Is o a prime number?
False
Let a(u) = u**3 - 2*u**2 + 22*u - 32. Suppose 0 = 11*g - 166 + 1. Is a(g) composite?
True
Let r = 70 + -78. Is 567 + -10 + r/2 prime?
False
Let u = -6 - -15. Suppose 2*q = 3*i + 853 + 408, u = 3*i. Let w = q - 432. Is w a prime number?
False
Let b = 31 - -29. Suppose -d - 4*p + 29 = 0, -4*d + p - 3*p = -b. Is d composite?
False
Suppose 306 = -2*x + 1084. Suppose -t - 4*