 o = 697 - 466. Let l = -1 + 1. Suppose l*d - 3*d = -o. Is d composite?
True
Suppose 10*x - 4595 = 5*x. Let a = x - -244. Is a prime?
True
Suppose -5*t - 8 = -5*v - 3, 0 = 3*t + 3*v - 21. Let c be (t - 3 - -397) + -4. Suppose 0*z - 3*z = -c. Is z prime?
True
Let h(j) = 712*j - 47. Is h(7) a prime number?
True
Let k be ((-2)/5 - 339/15)*-1. Let q(j) = -j**3 + 23*j**2 + 21*j + 14. Is q(k) composite?
True
Suppose b + 9115 = -2803. Let t = -6991 - b. Is t a composite number?
True
Let j(z) = -275*z**2 - 2*z + 12. Let w be j(-5). Let k = -4700 - w. Is k a prime number?
True
Let r = -699 - -3862. Is r a composite number?
False
Let p(x) = -132*x**2 - 7*x + 11. Let y be p(3). Suppose 42 - 10 = -4*t. Is y/t - 15/20 composite?
False
Let v(k) be the second derivative of 155*k**4/12 - k**3/6 + k**2/2 + 23*k - 2. Let o be 3 - 2/2 - 1. Is v(o) prime?
False
Is (-11559)/(-2)*2*8/12 a composite number?
True
Let z(v) = -17*v + 6. Suppose 2*y + p = -22, -y + 5*p + 15 = 4. Is z(y) composite?
True
Let c(p) = p + 15. Let v be c(-10). Suppose 4*i = 4*o - 1552, -v*o + 3*i = -497 - 1437. Suppose 7*f - 2*w = 2*f + 633, -3*f = 4*w - o. Is f prime?
True
Let a(l) = -l + 9. Let d be a(0). Suppose r + 2*j - 18 = 0, -90 = -6*r + 3*r + 3*j. Suppose -d = -x + r. Is x a composite number?
True
Let u be -3255 - 0/5 - -1. Let b = -1492 - u. Is b prime?
False
Suppose 3*d - 204 = -6*t + t, 0 = -2*t - d + 82. Let l = t - 25. Is (l/(-17))/((-2)/142) composite?
False
Let x be (-50)/((-1)/(-12)*4). Let b = -88 - x. Is b a composite number?
True
Suppose -4*f - 2*q + 111987 = 37657, -q = -3*f + 55750. Is f a composite number?
False
Let p = -4098 + 17999. Is p composite?
False
Let w be (-3 - 1) + 10 - -1. Suppose -w = 5*j + 33. Let k(g) = -31*g + 15. Is k(j) a prime number?
True
Suppose 17*n - 218840 = 9*n. Is n prime?
False
Let t be 3/1 + 281 + -3. Let g(k) = 15*k**3 - k**2 - k - 1. Let m be g(-1). Let n = t + m. Is n a prime number?
False
Suppose x - 21 = -2*z, 0 = 2*z + 2*x + 3*x - 25. Let n(q) = -1 - 2 + 2*q + 5 - 3. Is n(z) prime?
True
Let g be 4*(-276 - 5)*(-6)/8. Let y = 1236 - g. Is y a composite number?
True
Is (-3)/30*-9665 + 2/4 a prime number?
True
Let z(q) = 3618*q**2 + 5*q - 70. Is z(7) prime?
False
Is 4328 - (10/(-5) - 7) a prime number?
True
Suppose -5*a + 4*a = 3*t - 34613, 3*a - 103829 = -4*t. Is a a composite number?
False
Suppose -2*a + 280 = 4*z - 12976, 5*z = a + 16563. Is z composite?
False
Let c(s) = 1489*s**2 + 2*s - 3. Let o be c(-2). Suppose -2*t - 1091 = -o. Is t composite?
True
Suppose -26*b = -367343 - 113163. Is b a composite number?
False
Suppose 214 = 2*m - 114. Let s = m - 70. Suppose -z - z = -r - s, 0 = 2*z - 3*r - 98. Is z a composite number?
True
Let f(y) = 2*y**3 + 5*y + 0*y**3 + 957*y**2 - 3*y**3 - 960*y**2. Is f(-5) a composite number?
True
Suppose 28*n + 3 = 27*n, 5*n + 7283 = 4*x. Is x prime?
False
Let s = 8 - 4. Suppose -2 + 18 = -s*i. Is 18/i*(-522)/27 a prime number?
False
Let y = -6272 + 12431. Is y a composite number?
True
Suppose 0 = 3*l + l - 5*m - 162, 82 = 2*l - 3*m. Let h be (l/(-4))/((-1)/2). Let v = h + 234. Is v composite?
True
Let d = 47 + -45. Is d*(-1)/2 - -864 a prime number?
True
Let i be 670/15 + (-1)/(-3). Let v be (-550)/i - 2/(-9). Is (4/v)/((-1)/483) a prime number?
False
Is (-712593)/42*(-6)/9 prime?
True
Let s = -3800 + 8001. Is s a prime number?
True
Let l(r) = r**3 + 8*r**2 - 13*r + 11. Let j be l(-10). Let d = 2 + 4. Let b = d - j. Is b a prime number?
False
Suppose -594 = -4*y + 2*c, -c + 446 = 3*y - 2*c. Let a = 716 + y. Is a a composite number?
True
Suppose 0 = -5*z + 5*g - 315, 3*g = -5*z + 2*g - 297. Is 2/12*3389 - 10/z a composite number?
True
Let b = 57 + -52. Is 2 - -1 - -122*b a composite number?
False
Is 60 + (-12 - (-6 + -5)) a prime number?
True
Let r be -2 + (24/3 - (5 - 2)). Suppose -1002 = -r*l + 669. Is l a composite number?
False
Suppose 4*t - 5*p = 10264, -5*t + 6714 = 4*p - 6075. Is t a composite number?
True
Suppose 10*q - 5*q - 29 = -2*y, 0 = 3*y - 4*q + 14. Suppose v = y*v - 2. Is 39 + (3 - v - 3) a composite number?
False
Let y be 5 + (-6 - -4)*1. Let n be ((-5)/y)/(7/(-42)). Suppose n = 2*d - 12. Is d prime?
True
Let w = -50 - -47. Is w/(-7) - (-4670)/14 a composite number?
True
Is (-1 + 4)/(10/1225190*17) a composite number?
True
Let h(f) = -2*f**2 + 3*f**2 - 7*f**3 - 7 - 5*f + 11*f. Is h(-5) composite?
False
Suppose g = 9 - 4, -3*k - 2*g + 33253 = 0. Is k a prime number?
False
Let j(a) = 5962*a - 23. Is j(1) composite?
False
Let p(k) = 29*k - 14. Let w(j) = 32*j - 9. Let l(z) = -95*z + 28. Let h(q) = -4*l(q) - 11*w(q). Let v(a) = -3*h(a) + 2*p(a). Is v(-8) prime?
False
Let d(j) = 20*j**2 + j + 1. Suppose 0 = -5*f - 5*h + 15, 3*h = 5*f - 0*h - 7. Is d(f) a composite number?
False
Suppose 0*y - x = -y - 5, 4*y + 2*x = -14. Let w = 0 + y. Let m(l) = -4*l**3 - 2*l**2 + 3*l - 1. Is m(w) a composite number?
False
Suppose -3*y - 20 = 2*y. Let v(i) = 4 - 54*i + 29*i - 43*i - 2. Is v(y) prime?
False
Suppose i + 1 - 4 = 0. Let a(v) = -6 + 11*v**i + 22*v**3 - v**2 + 13. Is a(3) a prime number?
False
Suppose -2*d - 3 + 1 = -f, -5 = 5*d. Suppose f*i + 8688 = 4*z + i, -4*i - 8708 = -4*z. Is z a prime number?
False
Let r(d) = d**2 + 2*d - 6. Let m be r(-4). Suppose -3*y + 2*f - 4 = -y, m*y + f = 11. Is 111/y + -1 - 2 a prime number?
False
Suppose -9401 = -10*c + 9749. Is c a composite number?
True
Let i be 3*3/9 - -4. Let g be (-9)/1*2/(-3). Suppose -g = -t + i. Is t a composite number?
False
Let b(c) = -c + 1. Let r(s) = s**2 - 11*s + 8. Let n be r(10). Let d be b(n). Suppose 0 = 4*m, 0 = -3*q - m + d*m + 1095. Is q composite?
True
Suppose 5*d + u - 1978 = -93, -1885 = -5*d - 2*u. Is d composite?
True
Let c = -3471 + 2246. Let h = c + 2084. Is h composite?
False
Is -5834*(21/14)/(-1) composite?
True
Suppose -21*p = -172629 - 13998. Is p prime?
True
Suppose 0 = -5*w - 3*w. Suppose w = 5*n - 1654 + 384. Is n prime?
False
Suppose -4*g + 16527 = 5*f - 6470, 0 = -4*g + 3*f + 23021. Is g prime?
False
Let f be -17*(1*-2 - 2). Suppose -3*c = -4*h - 39, 2*c - 3*h + 77 = 6*c. Let a = f + c. Is a a composite number?
True
Suppose -4*j - 2*w = 1324, 2*j + 4*w = 2*w - 662. Let v = -146 + j. Is 2/(((-6)/v)/1) composite?
True
Suppose 3*q - 434 = 5*k - 1420, 5*k = -5*q + 1010. Is k prime?
True
Let k = 178 + -340. Let y = -23 - k. Suppose 2*l = y - 5. Is l a prime number?
True
Suppose 0 = -0*c - 5*c + 3*t + 54862, -54867 = -5*c - 2*t. Is c a prime number?
True
Let g be (0/4)/(-1 - 1). Is (-1 - g) + (780 - -12) composite?
True
Let j be 2 + -42 + (8 - 4). Let v = -23 - j. Is v a prime number?
True
Let d be -2 + 0 - (6/(-2) - 3). Suppose 0 = y - 4*i - 291, -5*y + 1474 + 77 = d*i. Is y a prime number?
True
Suppose 0 = -v, 4*c + 2*v + 1 = -3. Is -1 - (586 - -2)*c a prime number?
True
Is (9/(-9) - (-4 + 3)) + 11203 prime?
False
Suppose 2*j + 5*z - 520 = 0, -j - 2*z = 4*j - 1342. Let i = -52 + j. Is i a prime number?
False
Let p = 5089 + -50. Is p prime?
True
Is 1866996/540 + (-2)/5*1 a composite number?
False
Suppose -2*c = 2*c + a - 8, -2 = -c + 4*a. Let t be 18/(-3)*-6 - 2. Is 9*t + c/2 a prime number?
True
Let q(z) = z - 2. Let k be q(5). Suppose -5*w = -4*i + 10, 2*i + k*w + w + 8 = 0. Suppose i = 5*o - 6*o - 4*d + 347, 4*o = -2*d + 1332. Is o composite?
False
Suppose -3*h = 5*i - 45772, -4*h = -i - 29437 - 31600. Is h a prime number?
True
Suppose 6*h = 8*h - 5*s - 107839, -h + 53914 = 3*s. Is h a composite number?
False
Let d = 13094 + -7817. Is (1 - -1)*d/6 a prime number?
True
Let c(k) = 8 + 8 - 7 + 2*k**2 - 12*k. Suppose -2*o = -o + 3*u - 19, -59 = -5*o + 3*u. Is c(o) composite?
False
Let a = 33392 + -22113. Is a prime?
True
Suppose a - 3*a = -1844. Suppose -3*w + 1043 = -4*o - a, 5*o = 0. Is w a prime number?
False
Let q(r) = 110*r**2 - 129. Is q(25) a prime number?
False
Let a = -1069 - -2713. Suppose -193 = -c + a. Is c composite?
True
Let x = -98 + 68. Let f be (x/(-9))/(6/9). Suppose -2*h + 498 = 2*p - 7*h, -f*p = h - 1245. Is p a composite number?
True
Let q = 8791 - 5180. Is q a prime number?
False
Let d = 10 + -46. Let z = d - -93. Is z prime?
False
Suppose 0 = 10*w - 61*w + 1906431. Is w a composite number?
True
Suppose 0 = -c + 5*a + 19, 0*c - 2 = -2*c - 2*a. Suppose -3*s - 683 - 41 = -4*h, 708 = c*h + s. Supp