pose 5*q + 15*z - 13*z = 6799, -5*z = q - 1346. Is q prime?
True
Let k(r) = 3*r - 2. Let i be k(2). Let y(g) = 12 + i*g - 16*g + g**2 - 2 - 2*g**2. Is y(-11) a prime number?
False
Let i(y) = 8*y + 15. Let x be ((-6)/8)/((-8)/96). Let a = x - 2. Is i(a) a composite number?
False
Suppose -5*g = -3*l - 18, -2*g = -7*l + 2*l - 11. Is ((-6)/(-3) - (-2810 - g))*1 prime?
False
Let a = 456 + 43. Is a composite?
False
Suppose 3*r - 11963 = -4*r. Is r a composite number?
False
Let f(o) = 740*o**2 - 6*o - 13. Is f(3) a prime number?
False
Suppose -i = -11 + 8. Suppose 17 = r - i. Let v = 57 - r. Is v a prime number?
True
Let q(r) = 4*r**2 + 9 + 5*r + 0*r**2 - 5*r**2 - 3. Let j be q(6). Suppose -2*y - 2*h + 46 = j, 5*h - 15 = -5. Is y prime?
False
Suppose 73*d - 747702 - 880052 = 0. Is d a prime number?
False
Suppose -12*k + 13*k = 67. Let v = 456 - k. Is v composite?
False
Suppose 46 = 3*z + 4*n + n, -z + n + 2 = 0. Suppose 2*i + 4*m - 2818 = 0, z*i - 3*i + m - 5643 = 0. Is i composite?
True
Let d(s) = s**2 - 8*s - 66. Is d(31) prime?
True
Let p(h) = 2*h**2 + 34*h - 23. Let a be p(-16). Let q = a - -108. Is q a prime number?
True
Suppose 0 = 3*p + l - 37565, -4*p + 50080 = -23*l + 21*l. Is p composite?
True
Suppose -4*g - 5*w = -18796, 3*w + 4342 = 2*g - 5056. Is g composite?
True
Let t = -25093 + 46232. Is t composite?
False
Suppose -2*q = -5*q + 2*u + 24245, -5*u = -q + 8086. Is q prime?
True
Let s(h) = h**2 - 3*h - 2. Let g be s(4). Is (-3 - -4)*g/(4/1046) a prime number?
True
Suppose -4*t - 70 = -9*t. Is -1563*(t/(-12))/(5/10) a composite number?
True
Let c be (70/40)/(1/(-28)). Let m = c + 108. Is m a prime number?
True
Let f be (27/(-12))/(1/(-20)). Let v be 2 + -1 - f*-3. Suppose 4*z = 4*k - 32 + v, -5*z + k = -114. Is z a prime number?
False
Let f(y) = -y**3 - 25*y**2 - 24*y + 99. Is f(-29) a composite number?
False
Let w(g) = 10*g**2 - 11*g - 28. Let y be w(12). Suppose 3*s + y = 2*s. Let n = -897 - s. Is n prime?
True
Suppose 3*s - 2*s - 5*h - 73 = 0, 2*s + 4*h = 132. Is (-102)/(-8)*(-3 - s/(-12)) composite?
True
Let t(j) = 36*j**3 + j**2 + 20*j + 2. Is t(7) prime?
True
Let r(x) = 106*x**2 + x. Let f be r(1). Suppose -f - 25 = 4*w. Let i = 46 + w. Is i a composite number?
False
Let x = 875 + 1224. Is x a prime number?
True
Let j be -10 - (0/2 + -2). Let u = -5 - j. Suppose -84 = -u*d + 45. Is d composite?
False
Suppose 99245 = 5*b - 46100. Is b a composite number?
True
Let b(l) = -29*l + 3 - 1 - 1 - 37*l. Let k be b(1). Is ((-14)/(-5))/((-26)/k) a composite number?
False
Suppose 0 = z - 3*x - 1459, -x = 3*x. Is z prime?
True
Suppose 4*x - 7 = 17. Let b be 16/x*(-9)/(-6). Suppose b*h = -h + 1445. Is h a composite number?
True
Let a(j) = 5*j**2 - 2*j + 7. Let s be a(9). Suppose 12*l - 13*l = 239. Let i = l + s. Is i a prime number?
False
Let i(w) = -w**2 - 3*w + 11. Let z(q) = -q**2 - 2*q + 8. Let d(r) = 4*i(r) - 5*z(r). Let o(h) = -h**2 - 6*h - 5. Let j be o(-4). Is d(j) a composite number?
False
Let g be (-54)/21 - -3 - (-9)/(-21). Is 39015/35 - ((-6)/21 - g) a composite number?
True
Let x(k) = k**3 + 16*k**2 + 5*k - 9. Is x(-10) composite?
False
Let i = -8 + 11. Let b(t) = i - 1 + 14*t**2 + t**2 + 8*t + 3 + t**3. Is b(-9) a prime number?
True
Let a be (0*4/(-8))/3. Suppose a = 2*h - 3*v - 1094, 5*h = 4*h + 2*v + 545. Is h a prime number?
False
Suppose -4 + 5 = -2*a - v, 4*a + 3*v + 7 = 0. Is (-1 - -108)/(a*(-1)/(-14)) a composite number?
True
Let v(n) = -n**2 + 12*n - 13. Let h be v(10). Suppose -5*l = p + h, 5 = -3*p + l - 0*l. Is -4 + (-74)/p - -4 a composite number?
False
Suppose 2*n + 23 = 29. Suppose 1 = -2*g - 3, 116 = 3*k - g. Suppose 2*j + k = n*j. Is j composite?
True
Is (-1 + 12/(-18))*-13683 a prime number?
False
Is 1400/1 + (-4 - 12)/16 composite?
False
Let d be ((-36)/8 + 5)*0. Suppose 4*y - 294 - 1089 = -w, -4*w - 5*y + 5576 = d. Is w composite?
False
Suppose -2*m = 5*i - 555, -370 = -2*i + 3*m - 129. Is i a composite number?
False
Let m(d) = d**3 - 2*d**2 - 7*d + 8. Let u be m(4). Suppose 9*j + 102 = u*j. Is j a composite number?
True
Let n(l) = -l**3 + 4*l**2 + l - 2. Let k be n(4). Suppose -4*t + 422 = 2*b - 564, -5*t + 984 = k*b. Is b composite?
True
Suppose -352022 = -12*b - 18050. Is b a composite number?
True
Let s(u) = -u**3 + 6*u**2. Let k be s(6). Suppose -3*n - 162 = -v - 1, k = -2*v + 4*n + 314. Is v a composite number?
False
Let v(q) = q**3 - 2*q**2 + 12*q - 10. Let b(k) = -k**2 + 25*k - 39. Let h be b(23). Is v(h) a composite number?
True
Let w(o) = o + 6. Let k be w(-4). Suppose -4*g = -9*g + 20, s + k*g - 550 = 0. Suppose 1113 = 5*h - s. Is h a composite number?
False
Suppose -5*p - 292 + 722 = 0. Is p + 2 + (-2)/2 a prime number?
False
Let i(u) = u**3 + 24*u**2 + 28*u - 33. Let r be i(-23). Let c = r + 779. Is c a prime number?
True
Let w = -6948 + 27053. Is w a prime number?
False
Let u(j) = -j**3 - 3*j**2 + 9*j + 4. Let l be u(-7). Let z = l - 88. Is z composite?
True
Let n be 2*(-3188)/8*1. Is 2/(-3) - n/3 composite?
True
Suppose w = 129 + 38. Let c = w - -126. Is c prime?
True
Suppose 0 = -4*i, 3*i - 28 = -4*f + 7*i. Let s = f + -10. Is 6/9 - 265/s a prime number?
True
Let f = -8 + 9. Let d be (1 + (f - 10))/(-2). Suppose -195 = d*r - 7*r. Is r prime?
False
Let y(i) = -534*i + 137. Is y(-23) a composite number?
True
Suppose -4*x = -0*x - 76. Let q = 7 + x. Is q prime?
False
Let c = 413 - -392. Suppose -2*q - 5*q = -c. Is q prime?
False
Suppose 0*d + 1226 = -d. Let p = 2269 + d. Is p composite?
True
Suppose 10*q = 82 - 462. Is (14/3)/(q/(-171)) a composite number?
True
Let t(d) = 4*d**2 + 8*d - 5. Let b be t(14). Let f = b + -140. Is f a prime number?
True
Let b(a) = 3*a + 15. Let z be b(-8). Is 3/(z - -3)*(-1672 + 2) composite?
True
Let g be ((-108)/20 - -3)*-5. Suppose -10*m - 1446 = -g*m. Suppose -2165 + m = -7*h. Is h a prime number?
False
Suppose 80 = -8*h + 7*h. Is ((-541)/4)/(4/h) a composite number?
True
Let d(a) = 582*a + 55. Is d(24) prime?
False
Let a(c) = c**3 - 13*c**2 + 13*c - 11. Let t be a(8). Let v = t + 432. Is v composite?
True
Suppose 0 = -y + 4*y - 36. Let r = y - 10. Suppose -r*v - v = -141. Is v composite?
False
Let t(y) = 16*y**2 - 2. Let f be t(-5). Suppose -f + 13 = -5*q. Is q composite?
True
Suppose 4*q + 2*y + 35 = 3*y, -4*q = -5*y + 15. Is (-3 + 7)*(-155)/q composite?
True
Suppose -12*v + 2*v + 920330 = 0. Is v prime?
True
Suppose 15 = -3*z - 3. Let n(r) = 2*r + 9. Let q be n(z). Is 47 - q - 1 - 2 composite?
False
Suppose -2839 = 5*k - 12374. Is k a prime number?
True
Let x = 1090 + -155. Suppose -3*g - 3*y - 233 - 322 = 0, 0 = 5*g - 5*y + x. Is g/(-8)*48/18 prime?
False
Suppose 6*r - 14*r - 128 = 0. Is (119/(-2))/(8/r) composite?
True
Let g be 2 + 1 + -2 + 3 + 3. Is 2/7 - g/(98/(-822)) composite?
False
Let i(u) = u**3 - u**2 + 3*u + 767. Let j be i(0). Suppose -2*d + 4*m + 3086 = 0, -m - j = -2*d + 2319. Is d composite?
False
Let s = 208 - -52. Suppose 0*m = -4*m - s. Let b = m - -118. Is b prime?
True
Suppose -243879 = -56*t - 90943. Is t a prime number?
True
Let d be 2*(1 + 1015/(-2)). Is 6/16 + d/(-8) a composite number?
False
Suppose 4*g = x + 3*g - 23, -2*x + 48 = -4*g. Let m(a) = -18*a + 1 + 26*a + x*a. Is m(1) composite?
False
Let v = -82 + 47. Let h = -30 - v. Suppose -h*w = 2*k - 351, w - 149 = 4*k - 884. Is k prime?
False
Let m(r) = 19*r**2 + 1. Let o be m(1). Suppose -5*g = -o, -c - g + 9 = 4*g. Let f(z) = -z**3 - 8*z**2 + 11*z + 15. Is f(c) composite?
False
Suppose 4094 = 8*z - 61098. Is z a prime number?
False
Suppose 0*u = 3*u - 1377. Let s = 506 + u. Suppose 0 = -5*t + s + 3480. Is t a composite number?
True
Let m = 21993 + -14255. Suppose 37915 = 9*i + m. Is i a composite number?
True
Let h(f) = -114*f + 7. Let y be h(-3). Let m = y - 86. Is m a composite number?
False
Let p be (28/(-10))/((-5)/50). Suppose 9 = -i + p. Is i composite?
False
Let v(c) be the third derivative of 163*c**6/120 - c**5/60 + c**4/24 + 11*c**2. Let h(t) = -t**2 - 5*t + 1. Let r be h(-5). Is v(r) composite?
False
Let d = 7 + 123. Suppose 3*b - 2*m - 195 = 0, 6*b - 4*b = 4*m + d. Is b a prime number?
False
Let v(u) = u + 1 + 1 + 177*u**2 - 27*u**2 + 2*u. Is v(3) a composite number?
False
Suppose -36*v + 425540 - 86672 = 0. Is v a prime number?
True
Let u = -2303 - -7848. Is u composite?
