ppose h + 1092 = 5*r. Is r a prime number?
True
Suppose -5*a = -10*a + 1075. Is a composite?
True
Suppose -s = i + 308 + 23, 2*i - 2*s = -654. Let a = i - -522. Suppose 3*p - a = 38. Is p prime?
False
Let t be (-448)/(-6) - (-2)/(-3). Suppose -2*j + 3*m = -22, -j - 3*m - 14 = -2*j. Suppose -t + j = -2*s. Is s composite?
True
Suppose -4*o - 11 = 73. Let f = 72 + o. Is f prime?
False
Let f = 1356 - 723. Is f a prime number?
False
Let w(n) = 2*n**2 + 3*n + 7. Suppose 0 = -0*v + 5*v + 25. Let q be w(v). Let l = 17 + q. Is l composite?
False
Let b = -66 - -124. Is b prime?
False
Suppose -11 = -5*t - 1. Is (7/t)/(2/4) a composite number?
False
Let x = -8 + 123. Is x composite?
True
Let y = -2 - -2. Suppose 2*t = -y*t + 24. Suppose -23 - t = -i. Is i a composite number?
True
Let v(c) = -13*c + 4. Let z(d) = d - 1. Let l(m) = v(m) + 6*z(m). Is l(-4) prime?
False
Let d(z) = 5*z**3 + z**2 - 9*z - 6. Let f(x) = 4*x**3 - 8*x - 5. Let y(w) = 3*d(w) - 4*f(w). Let t be y(4). Let p(a) = 23*a + 5. Is p(t) composite?
True
Let b(d) be the third derivative of d**5/15 - d**4/8 - 5*d**3/6 + 3*d**2. Let w be b(4). Suppose 0*u + w = u. Is u a composite number?
False
Let y be (9 - 4) + 0/(-1). Suppose 10*n = v + y*n - 43, -2*n - 208 = -4*v. Is v composite?
False
Let p be 11 - -2*(-2)/4. Let b = p + -3. Is b composite?
False
Let w = 61 + -36. Is w a composite number?
True
Suppose 5*t + 11 = -4*n, 0*t = -5*t + 3*n + 17. Is -1 + 114 - (t + 1) a prime number?
False
Is (-13)/((-13)/80) + 1*-1 composite?
False
Let q be (-1)/(-1 - (-6)/4). Let o = q - -5. Is o composite?
False
Let a(l) = -l**3 - 5*l**2 + 9*l + 4. Let o(t) = -4*t + 17. Let z be o(7). Is a(z) a composite number?
False
Suppose 5*b + 4*m - 21 = 0, -3*b + 4*m + 8 = -11. Suppose -d - b*n = -0*n - 265, 3*n - 530 = -2*d. Is d a composite number?
True
Suppose 0 = -4*r - g - 890, 0*g - 668 = 3*r + g. Let q be (-2)/(3/r*-4). Let m = 56 + q. Is m prime?
True
Let i(s) = s**3 + 4*s**2 - 3*s - 3. Let x be i(-3). Let d = x + -73. Let g = d + 109. Is g a composite number?
True
Let a be (-45)/(-10)*(-4)/(-6). Suppose -2*l - 82 = -2*i, -l = -2*i - a*l + 66. Suppose 8 + i = 3*h. Is h prime?
False
Suppose 3*z - 6 = -3*i + 3, 5*z + 17 = 3*i. Is -46*(7/(-2) - z) a composite number?
True
Let q be 15/2*2/3. Suppose q*c - p - 64 = 0, 5*c - 5*p - 47 = c. Suppose 3*k - 151 + c = 0. Is k prime?
False
Is (-3)/5 - 2919/(-15) composite?
True
Suppose 2*l - 10 = -2. Let i(u) = 4*u**3 - 4*u**2 - u**3 - l*u - 5*u**3 - 5 - 5*u**3. Is i(-4) a prime number?
False
Let y(u) = -3*u**3 - 3*u**2 + 5*u. Let b be y(-5). Suppose -b = -4*q - 0*q - s, 3*q - 206 = -s. Is q a prime number?
False
Is (0 + 1)*82 + 0 prime?
False
Let r = 27 + -52. Let z = -6 - r. Is z composite?
False
Suppose 0 = 7*j - 4*j - 2007. Is j a composite number?
True
Let v = 13 + -8. Suppose -g = 4*u - 61, -v*u + 3*g + 92 = -g. Suppose -f + 3*l = -49 + 12, 4*l + u = 0. Is f composite?
True
Is ((-202)/3)/(10/(-135)) + -2 composite?
False
Let a = -64 - -66. Is a a prime number?
True
Suppose -2*y = -8 - 0. Suppose y*x - 1127 - 93 = 0. Is x a composite number?
True
Suppose -5*u + 2 = 3*o - 12, 0 = -3*o - 6. Suppose 111 = -u*v + 7*v. Is v a composite number?
False
Suppose h + 4*l = 43, -5*l - 197 = -h - 2*h. Is h a composite number?
False
Let k = 794 + -391. Suppose 4*j = -5*n - 70 - k, 482 = -5*n - j. Let i = -60 - n. Is i composite?
False
Let j(w) = -w**3 + 16*w**2 - 2*w - 19. Is j(12) a prime number?
False
Let g = -1451 + 2442. Is g prime?
True
Suppose 3*o = -2*o - 10. Let s(t) = 32*t**2 - t - 2. Let d be s(o). Suppose -5*n = -d + 23. Is n composite?
True
Let p(w) = 3*w - 2*w - 1 + 8*w. Is p(4) composite?
True
Let f(n) be the first derivative of -483*n**2/2 + 2*n + 8. Is f(-1) a prime number?
False
Let i = -23 + 9. Is (-261)/(-7) + 4/i a composite number?
False
Let h(q) = -q**3 + 8*q**2 - 6*q - 8. Let c be h(7). Suppose -6*j = -11*j. Is c*(-19)/(j - -1) a composite number?
False
Let x(b) = 0*b + 6*b - b**2 + 0*b**2 + 4. Let z be x(6). Suppose -z*k + 325 = k. Is k composite?
True
Let r = 12 - 36. Let d = 100 + r. Suppose -80 - d = -4*h. Is h composite?
True
Let o = -25 - -42. Suppose 4*r = -5*z + o, -2*z = -z - 1. Let t(v) = -v**3 + 3*v**2 + 4*v - 3. Is t(r) composite?
True
Is (-286)/(-4) + 12/(-24) prime?
True
Suppose 5*v = -4*g - 32, 3*g = 2*v + 1 - 2. Is 0 + 3 + 45 - g prime?
False
Is 6/(2 - 20/15) prime?
False
Let x(l) = l**2. Let r(b) = 2*b**2 - 4. Let w(v) = -r(v) + 5*x(v). Is w(-3) a prime number?
True
Suppose -3*d + d + 130 = 0. Is d a prime number?
False
Let d = -190 - -869. Is d prime?
False
Suppose -2*c + 1492 = 4*i, 3*i = -4*c - 0*c + 1119. Is i prime?
True
Let k(x) = x**3 - 10*x**2 - 4*x + 10. Let h(w) = 2*w**3 - 10*w**2 - 3*w + 11. Let g(m) = 2*h(m) - 3*k(m). Is g(-7) prime?
True
Let b(q) = -58*q + 9. Let t(n) = -19*n + 3. Let o(i) = 6*b(i) - 17*t(i). Let l be o(-3). Let p = l - 41. Is p prime?
True
Let r(v) = 11*v**3 - 3 - 6*v + 4*v + 3*v - 25*v**2 + 27. Let h(o) = -7*o**3 + 17*o**2 - o - 16. Let a(b) = 8*h(b) + 5*r(b). Is a(9) composite?
False
Suppose -454 = -4*n + 2*n. Suppose 5 = 5*y, -4*y - n = 4*q - 667. Is q a prime number?
True
Is 80/(-24)*(-597)/2 prime?
False
Let y = -7 + 4. Let g(a) = -23*a - 2. Is g(y) composite?
False
Let q(j) = 5*j**2 - 3*j + 1. Let o be q(-3). Let h = o + -36. Is h prime?
True
Suppose 2*i - 22 = -2*a, 3*a - 37 = i - 0*i. Let t be 1005/(-6)*a/(-10). Suppose t = -0*n + 3*n. Is n prime?
True
Let q(t) = -2*t. Let y be q(-5). Suppose -y = -4*h + 6. Suppose 7*b = h*b + 111. Is b prime?
True
Let y be ((-55)/10)/(2/4). Let s = 48 + y. Is s a composite number?
False
Suppose -4*u - 210 = -2*s - 0*s, -343 = -3*s - u. Is s prime?
True
Is -4 - (-9)/2*38 a prime number?
True
Suppose -2*t + 8 - 32 = 0. Let p be (-1)/(-4) - (-483)/t. Is -2 - p - (0 - -1) prime?
True
Suppose -1 = b - 9. Suppose 2*v - b = -4*r - 2, 5*v - 3 = 2*r. Is 2/(-3)*(-34 + v) composite?
True
Let p(w) = -6*w**2 - 2*w - 2. Let v(i) = 6*i**2 + i + 2. Let y(d) = 3*p(d) + 4*v(d). Is y(2) a composite number?
True
Let w(r) = 8*r**2 - 7*r - 4. Is w(9) composite?
True
Let s be (-542)/(-9) + 2/(-9). Suppose -4*y + 16 + s = 0. Is y a composite number?
False
Suppose -1034 - 442 = -3*u - 2*p, 0 = -2*u - 5*p + 973. Suppose 4*c - 62 = u. Is c prime?
True
Suppose 4*n + 2*h = 1194, 0*n - 321 = -n + 4*h. Is n a composite number?
True
Let r(d) = -d - 3. Let p be r(-2). Let i be 2/(0 + p) + -1. Is (1 - 0)/(i/(-345)) prime?
False
Let w be (-2)/(-5) + 15926/10. Suppose -5*y = -w + 88. Is y prime?
False
Let m = 2 - -5. Let k(z) = -3*z - 7. Let f be k(m). Is (f/6)/(2/(-21)) prime?
False
Suppose -3*q = -0 - 9. Let h be q + -6 - -1*49. Suppose -h = -2*k + 112. Is k prime?
True
Suppose 0*l - 2*l + 1604 = 0. Is l a composite number?
True
Is 249*5/(-10)*(-68)/6 a composite number?
True
Let t be (2/(-4))/((-2)/4). Let q = 2 - t. Let u(f) = 36*f**2 - 1. Is u(q) a prime number?
False
Let w(c) = 912*c + 21. Is w(4) prime?
False
Suppose 2*a + 3*d = -3, 2*a - 3*a - 2 = d. Let o be ((0/a)/(-1))/2. Suppose o = -3*g - 74 + 311. Is g a prime number?
True
Is (-136)/36 + 4 + 31773/27 a prime number?
False
Let a = 62 - 107. Let x be 9/a - (-16)/5. Is (318/9)/(2/x) prime?
True
Let h be 16/88 + 12428/11. Is h/(-5)*3/(-6) a composite number?
False
Let n = 11 - 6. Suppose -5*a + 2*b = -34, 0 = -n*a + 3*b + 2*b + 25. Suppose a*t - 33 = 5*t. Is t a prime number?
True
Suppose 0 = -4*i - 2*x - 16 - 6, 2*i - x + 17 = 0. Let z = i - -10. Suppose -3*m + 0*l + 159 = z*l, -6 = -3*l. Is m a prime number?
False
Suppose 2 = y - 0*y. Suppose -2*r = y*h - 126, -2*r - 5*h + 0*h = -129. Is r prime?
False
Let b be (459 + 0)/(0 + 1). Suppose 0 = -2*y + 299 + b. Suppose -d + 13 - y = -4*z, 0 = -5*z - 3*d + 449. Is z a prime number?
False
Let t be 0/(8/2 + -3). Let r(k) = k + 19. Is r(t) composite?
False
Let l = -12 + 3. Let g = -4 - l. Suppose 3*j - g*j = -116. Is j prime?
False
Let b(h) = -9*h**3 + 4*h**2 + 1. Let j be b(-5). Suppose 4374 = 4*o + j. Is o composite?
False
Let g = 7 - -11. Suppose 5*b + 222 = -g. Let t = b + 175. Is t prime?
True
Suppose -x + 3*w + 256 = 0, 0 = x - w - 129 - 121. Is x prime?
False
Let p = -8 + 13. Suppose -2*z = 3*z + p. Is 31 + ((-2)/z)/1 a composite number?
True
Let k = 5 + -4. Suppose z = -5*r + k - 2, 3*z = 3*