35 - 131 = -4*b + q. Is b prime?
True
Let o be (-4)/(-20) - 72/(-15). Suppose 2*m + 235 = o*i, -3*i + m = -m - 141. Is i prime?
True
Let h(w) = 12*w**3 - w**2 - 3*w - 2. Let x be h(3). Suppose -3*i = i - x. Suppose 5*j - i = 3*j. Is j composite?
True
Is ((-8)/10)/(-6 + 6076/1015) a composite number?
True
Is (9/((-135)/102))/(2/(-10)) prime?
False
Let g be (400/(-15))/((-1)/3). Let d = -40 + g. Let y = d + -3. Is y a composite number?
False
Let r(j) = j**3 + 2 - 3*j**2 - j - 4 + 0*j + j**3. Is r(4) composite?
True
Let f = -7 - 2. Is 15/f*(-2 + -7) composite?
True
Let w be 4/34 + (-4)/34. Is (2 - w/(-1)) + 177 composite?
False
Let r(p) = -3 - 5*p - 10*p - 2*p. Is r(-2) a composite number?
False
Suppose o + 89 = 2*o. Let l = -6 + o. Is l a composite number?
False
Suppose 0*l - 3*l + 12 = 0. Suppose 8*y - 6 = -l*z + 3*y, 3*y = -5*z + 14. Suppose 3*b = z*s - 5*s + 55, 2*s + 4 = 0. Is b prime?
True
Let f be 0/2*(4 - 3). Let d(b) = -b**2 - 2*b + 23. Let j(q) = 4*q**2 + 9*q - 93. Let p(c) = 9*d(c) + 2*j(c). Is p(f) prime?
False
Let x(f) = 2*f + 2*f + 1 - 3*f + 2. Is x(7) prime?
False
Let y be (-2 + -18 + 2)*1. Suppose 209 = 5*u - 3*q + 769, -u + 2*q - 119 = 0. Let w = y - u. Is w composite?
True
Suppose 2*v = v. Suppose v = 2*s + s - 30. Is s composite?
True
Let y be 1/((-24)/9 + 3). Suppose 0 = 2*r + 6, 3*v + v = -5*r - y. Suppose -u + 149 = -n - 3*n, v*u + 2*n - 447 = 0. Is u a composite number?
False
Suppose 2*f = -v - 14 - 259, -2*v - 2*f - 546 = 0. Let x = 382 + v. Is x a composite number?
False
Let h = 4648 - 2847. Is h prime?
True
Let p(t) = 4*t**2 - 4*t + 6. Let h be p(5). Let q = h - -117. Is q a prime number?
False
Let n be (-1764)/(-3) - 0 - 1. Suppose -5*o + n = -878. Is o composite?
False
Suppose 5*b - 1 = 9. Suppose 4*t + 75 = v, -v + 138 = v - b*t. Suppose -k + v = -0*k. Is k a composite number?
False
Let r(c) = c**2 + c + 37. Let b be (-3 - -3)*1/2. Is r(b) a composite number?
False
Suppose 4*c - 3*x - 586 = 0, x + x + 4 = 0. Suppose -h - c + 462 = 0. Is h a prime number?
True
Suppose -4*k = 2*h + 10, 3*h + 0*k - 10 = -k. Suppose 185 = -0*p + h*p. Is p composite?
False
Let h be (-8 - 1)/(3/2). Is (-7 - h/3)*-7 a prime number?
False
Let n(r) be the second derivative of r**4/12 - r**3/6 + 67*r**2/2 - 6*r. Is n(0) a composite number?
False
Let k(r) = 5*r + 2. Let q be k(-2). Let j(p) = -p - 12. Let a be j(q). Is (-134)/(-10) + a/10 a prime number?
True
Is 56/84 + (-3782)/(-6) a prime number?
True
Let k = 17 - -50. Is k composite?
False
Suppose 6*n - 16 = 2*n. Suppose -5*w = -2*p - 23, 0 = w + 5*p - 6 - n. Suppose -3*x + 78 = -4*l, 5*x - w*l - 52 = 3*x. Is x composite?
True
Let s be 0 + (6 - -3)*1. Is 0/1 + (s - 5) a prime number?
False
Let l = -3 + 5. Is 0 + -2 + (l - -38) a composite number?
True
Let m(i) = -i**3 + 7*i**2 + 3*i - 4. Let o be m(4). Suppose 12 = -2*n - o. Let a = n + 59. Is a prime?
False
Let q(t) = t**3 + t**2 + 22. Is q(0) prime?
False
Let d(h) = 24*h**3 - 4*h + 3. Let t be d(2). Suppose t + 145 = -4*i. Let a = i - -136. Is a composite?
False
Suppose -2*z + 3*o + o = -32, -4*z - 4*o + 40 = 0. Is (63/12)/(3/z) composite?
True
Let v(u) = 14*u - 4. Let j be v(8). Let g = j + -50. Is g a composite number?
True
Let x(y) = 3*y - 10. Is x(21) composite?
False
Suppose 3*g = -15, -31 - 114 = -5*y - g. Suppose 16 = -j + 5*q, -3*q = -4*j - 0*q - y. Let d = 61 + j. Is d prime?
False
Let c(n) = 3*n + 18. Let b be c(-8). Let o be (-1 + (-66)/(-10))*5. Is ((-39)/b)/(2/o) a composite number?
True
Suppose 0*i = i - 3, -5*i = r - 34. Is r a composite number?
False
Is (6/4)/((-6)/(-508)) a composite number?
False
Suppose 2*d = 5*d - 561. Is d prime?
False
Let u = -12 - -42. Let q be 91/(-21)*u/(-2). Suppose 4*c = y - q, 3*y + 5*c - 153 = 3*c. Is y composite?
False
Let l(u) = -u**2 + 2*u + 0*u + 2 + 3*u + 3*u. Is l(8) prime?
True
Let x be (-4 + 2)/(2 + -1). Is 398 - (-2)/(x/3) a composite number?
True
Let m(a) = a**3 + 6*a**2 - 10*a. Is m(-7) composite?
True
Let c(s) = -3*s + 4. Let y(b) = 3*b - 5. Suppose 0 = 3*n - 12, -5*n + 19 = -a + 2. Let o(h) = a*y(h) + 4*c(h). Is o(-4) a prime number?
True
Let z be (-2 + 5*12)*2. Let b = -41 + z. Suppose -3*v + 442 = 5*r, -377 - b = -3*v + 5*r. Is v a composite number?
False
Suppose -4*p = -0*p - 124. Suppose -5*z = 29 + p. Let o = z + 43. Is o a composite number?
False
Let o = 2039 - 1122. Is o a composite number?
True
Let w be 7/(-42) - (-1669)/6. Suppose 2*a - w - 196 = 0. Is a a composite number?
True
Suppose -3*l - 3*p + 480 = 0, 4*l - 146 - 509 = p. Is l a composite number?
False
Suppose -5*a = -i - 3*i + 740, 5*a = -4*i + 700. Suppose 5*o - 65 = i. Is o a prime number?
False
Let b(u) = u**3 + 7*u**2 + 5*u - 7. Let x be b(-6). Let q be ((-96)/5)/(x/5). Let j = q - -59. Is j a prime number?
False
Suppose -27 + 9 = g - 5*r, 3 = -5*g - 4*r. Let o(q) = q**3 + 5*q**2 + 3*q + 4. Is o(g) prime?
True
Suppose 2*j = 4*s - 28580, -2*s + 16586 - 2296 = j. Is s composite?
True
Suppose -2*y + 12 = -6*y. Is y/(-6)*514 - 0 a composite number?
False
Let t(r) = 31*r**3 - 2*r + 2. Let p be t(2). Suppose -2*c + p = -4*y, y + 634 = 4*c + 170. Is c a prime number?
False
Let f(y) be the first derivative of -y**4/4 + y**3 + 3*y**2/2 + y + 5. Is f(-2) prime?
False
Let a be (-81)/(-18) - (-1)/(-2). Suppose -j - 1278 = -4*y - 4*j, 3*y = a*j + 971. Is y a prime number?
False
Suppose 5*t - 1726 = 6819. Is t composite?
False
Let l(a) = 5*a - 6. Let i be l(2). Suppose -5*o + k = -155, o - i*k - 18 = 13. Is o a composite number?
False
Let n(z) = 2*z**3 - 4*z**2 - z + 5. Let q be (1 + (-21)/12)*-4. Let c(r) = 2*r. Let b be c(q). Is n(b) prime?
False
Let d(l) = -27*l - 8. Let z be 0 - 5 - (-2)/(-1). Is d(z) composite?
False
Let c(l) = -l**2 - 7*l - 5. Suppose b + 10 = 2*b - 5*u, 4*b = -5*u - 35. Let o be c(b). Suppose -v + 22 + 51 = -2*z, o*v = -2*z + 317. Is v a composite number?
True
Suppose 6923 = -2*f + 9*f. Is f prime?
False
Suppose 3*n = 5*n - 14. Let m = -4 + n. Is -3 + (-39)/m*-10 a prime number?
True
Is 6/18 - (-1505)/3 a prime number?
False
Suppose 2*l - s - 4633 = 2*s, -5*l + 11560 = -3*s. Is l a composite number?
False
Let n(z) = z**3 + 3*z**2 + 4*z + 3. Let h be n(-2). Is ((-1192)/(-32))/(h/(-4)) a prime number?
True
Let d be 45 + 2/(4/(-6)). Suppose -2*r + 5*r = d. Is r a prime number?
False
Let r(y) = -2*y + 34. Is r(0) composite?
True
Suppose 3*g + 5*i - 16 = 0, 5*g + 2*i - 15 = -1. Let v be (g - 38) + (3 - 2). Is v/15*(-1 - 8) a prime number?
False
Suppose -2*k = 2*k - 16. Let w be 1 + -6*k/(-3). Suppose -28 = -x - w. Is x a composite number?
False
Let u = 1430 + -843. Is u a prime number?
True
Is (2/2)/((-8695)/(-4345) - 2) a prime number?
False
Let u = -41 + 264. Let p = u + -104. Is p a composite number?
True
Let t(b) = -b. Let f(y) = -18*y - 11. Let d(n) = -f(n) - 2*t(n). Is d(10) composite?
False
Let f = -576 + 3473. Is f composite?
False
Let h(g) = -16*g + 8. Let v be h(-4). Let q = -18 + 167. Let o = q - v. Is o composite?
True
Let h(n) = -2*n - 5. Let y be h(-7). Let d be -19*(-2 - -3 - y). Let j = d - -39. Is j prime?
True
Let j(h) = -h**3 - 7*h**2 - 7*h - 3. Let z be j(-6). Let v(u) = 3 - 4 + 2*u - 1. Is v(z) prime?
False
Suppose 3*p - 328 = -p. Suppose g - 3*y = -5*y + 23, 2*g - 5*y - p = 0. Is g prime?
True
Suppose -229 + 709 = 3*y. Suppose 4*l + y = 2*h, 2*h - 11 = -2*l - 91. Is (l - -2)/((-4)/14) a prime number?
False
Suppose 2*h - 8 = 0, 5*h = -0*t + 2*t + 12. Suppose -4*w - 3*d = 12, -w + 5*d + t = -16. Let a = w + 3. Is a a composite number?
False
Is 907*2/(4/10) composite?
True
Let b(o) = o + 13. Let u be b(-7). Let p = u + -3. Let i(j) = 4*j**3 + j + 4. Is i(p) a composite number?
True
Suppose -2*z + 4*q - 2411 = -7*z, -1908 = -4*z + 2*q. Is z prime?
True
Suppose 2*t = -t + 12, 415 = h - t. Is h prime?
True
Suppose -226 = -2*b - 5*z, 0*b - 2*b + 2*z + 226 = 0. Is b prime?
True
Let q = 447 + 110. Is q composite?
False
Let j(z) = z**2 - z - 21. Is j(-11) composite?
True
Let q(w) = w**3 - 3*w**2 - 8*w + 11. Is q(8) a composite number?
True
Suppose -3*r + 159 = 2*u - 235, 2*r = -4*u + 772. Is u a prime number?
True
Suppose -3*r + 2 = -4. Let m(k) = -9 + 3 - r*k - 5*k - k. Is m(-5) a composite number?
True
Suppose -r + 905 + 290 = 4*m, 5*m - 1490 = -5*r. Is m composite?
True
Let z(x) = -x**3 