er?
True
Let z be (-10)/3*(-936)/30. Suppose 98 = k - 3*u - z, -3*u - 419 = -2*k. Is k composite?
True
Suppose -23 = -0*a + a + 5*q, -2*a + 9 = -q. Suppose -5416 = a*h + 1874. Is (-2)/(-14) + h/(-63) composite?
True
Let g = 252 + -372. Let t = 182 + g. Is t composite?
True
Suppose 143 = 3*p - 67. Is -22*(p/(-4))/5 a prime number?
False
Is (-2)/12 - (-13909)/42 composite?
False
Let v = 23 - 16. Suppose v = 2*u - r, r = -3*u - r + 21. Suppose c - 3 - 77 = -u*n, 0 = -3*c + 3*n + 150. Is c composite?
True
Let k be 534/42 - 2/(-7). Suppose -h = 5*s - k, s = -0*s - 2*h - 1. Suppose -s*q + 239 = -34. Is q a prime number?
False
Let w(n) = n**2 + 5*n - 2. Let u be w(12). Suppose -2*b + 5*q + u = -121, -b + 4*q + 163 = 0. Is b a prime number?
False
Is 1489/3 + (-10)/(-15) composite?
True
Let c(v) = v**3 + 5*v**2 - v - 7. Let l be c(-5). Let y be l/4 + 3/(-2). Is y/(8/(-149))*4 composite?
False
Suppose 3*n = 3*u + 12, -2*u - n - 16 = 1. Let a be 6/24 - u/4. Suppose -2*x = a*x - 268. Is x composite?
False
Suppose -5*z + 984 = -3*l, -139 - 845 = 3*l + 4*z. Let j = -127 - l. Is j composite?
True
Suppose 3*y - 3 + 39 = 0. Let h = y - -4. Is 2/h - (-255)/12 prime?
False
Let j(c) = -3*c**3 - 5*c + 17. Is j(-6) a composite number?
True
Let q(m) = -3*m. Let p be q(1). Let c = 6 + p. Is c/2*(48 + -2) composite?
True
Let k(x) = -1207*x**3 - x**2 - 2*x - 1. Is k(-1) prime?
False
Suppose 2*z + 2*z = 2*w - 6, -4*w = 3*z - 12. Suppose w*d + 323 = 4*s, -s + 2*d = -2*s + 89. Is s composite?
False
Let a(f) be the first derivative of -2 - 1/3*f**3 - 11*f - 6*f**2. Is a(-8) a composite number?
True
Let l(y) = -2 - 2*y + 1 - 6. Let q be l(-5). Is 142/q*(-3)/(-2) a prime number?
True
Suppose -4*w = 2*p - 86, -w + 0*p + 17 = -4*p. Let b(f) = -f**3 - 5*f**2 + f + 1. Let u be b(-6). Let i = u - w. Is i composite?
True
Let w(t) = -2 + 0*t + 3*t + 2*t**2 + 11. Let q be w(-7). Suppose 9 = 3*i, -3*i + q = z - 4*i. Is z composite?
False
Let k(h) = h**2 - 7*h + 13. Is k(-9) prime?
True
Let q be 1/(2/4*-2). Let b(n) = -2*n + 1. Let p be b(q). Suppose 53 = p*v - 61. Is v composite?
True
Suppose 5*f + 55 = 5*k, -2*f - 50 = -5*k + 2*f. Suppose -k*r + 4*r + 5*o = -199, -281 = -3*r + 4*o. Is r a prime number?
False
Suppose 3*b + 346 = c, c = 4*c - 2*b - 1017. Is c a prime number?
True
Is (1 - -1 - 1)*(0 - -2177) prime?
False
Let j be -2 + (10 - 1 - 3). Let v = j - 0. Is -2*2*(-59)/v a composite number?
False
Suppose -j - 5*j = 0. Let c(f) = f**2 + 3*f + 6. Let u be c(-4). Let a = u + j. Is a prime?
False
Suppose 4*u = 5*s - 1850 + 116, -3*s + 5*u + 1043 = 0. Is s a prime number?
False
Let x be 20/11 - (-2)/11. Suppose 4*y + x*b = 3*y + 125, 252 = 2*y + 2*b. Suppose -4*v - 5*u + y = -v, -v + 69 = -5*u. Is v composite?
True
Suppose 0*w = -w + 10. Let x = 155 - w. Is x a composite number?
True
Suppose n - 2*y - 2*y = 1789, 0 = 3*n - y - 5400. Is n prime?
True
Let k(x) = 83*x - 3. Suppose 0 = n + 3*u - 6*u, 0 = -5*n + 4*u. Let o = 2 - n. Is k(o) a composite number?
False
Let z = 31 + 4. Is (-80)/(-14) - (-10)/z a prime number?
False
Suppose 2092 = 4*t - 2*k, 3*t - 2*k - 1547 = -6*k. Is t a composite number?
False
Is 241316/115 - (-6)/10 prime?
True
Let t = 41 + -17. Suppose 6*s = 3*s + t. Suppose -1 = -z + s. Is z composite?
True
Let v = 10 - 10. Suppose 0 = -4*j + 6*j - 550. Suppose v = -3*t - 2*t + j. Is t composite?
True
Let s be (21/(-9) + 3)*3. Let d be 1 + (-1)/2*s. Suppose -t = -d*t - 5*v - 229, 3*t + v = 623. Is t a prime number?
False
Let c = 1501 - 870. Is c a prime number?
True
Let g(h) = 98*h**2 + 6*h - 1. Is g(-2) a prime number?
True
Suppose 2*m = -x - 3 - 8, 5*m - 3*x + 22 = 0. Is 1/(-5) - 36/m composite?
False
Let p = 13 - 9. Suppose -y + 1285 = p*y. Is y prime?
True
Suppose -o = -0*o - 1. Let r be 0/2 - o - -38. Let k = r + -22. Is k a prime number?
False
Suppose -72 + 4 = -b - 5*a, 0 = -4*b + 2*a + 206. Is b a composite number?
False
Let t = 8 - 5. Let a(o) be the second derivative of -o**5/20 + 7*o**4/12 - o**3/6 + 2*o**2 - 2*o. Is a(t) composite?
False
Let g be 4/(8/2) + 33. Is -1*7*g/(-2) composite?
True
Suppose 99 + 699 = 6*g. Is g a composite number?
True
Suppose 5*r = -2*v + 65, 0*r + 3*r = 9. Suppose 0 = 5*u - 4*d - 165, 2*d - v = -5*u + 170. Is u prime?
True
Let m = 8 - 3. Let w(u) be the third derivative of -u**6/120 + 7*u**5/60 - 7*u**4/24 + 2*u**3/3 + 5*u**2. Is w(m) prime?
True
Suppose m + 4*r + 834 = 1995, m + 3*r = 1165. Is m a composite number?
True
Let i(p) = 7*p**2 - p - 7. Is i(5) composite?
False
Suppose -f - 3*a = -19, 2*f - 4*a = -4 - 8. Let p(l) = 13*l + 5. Is p(f) composite?
True
Suppose -p = -2*d, -8 = 3*p + 3*d + 19. Let m = p - -9. Is m composite?
False
Suppose -2*w - 2*w + 4 = 2*n, -4*w = -16. Let i be 1 - 0 - n/2. Suppose l + l - 2*z = 22, -3*z - 46 = -i*l. Is l composite?
False
Let z(r) = -r**3 + 3*r**2 - r - 1. Let x be z(2). Suppose -2*m + 3 = -x. Is m a composite number?
False
Suppose -4*o - 3*n = -8 - 15, o = 3*n + 2. Suppose 4*d = -o*l + 333, -5*d = -6 + 21. Is l prime?
False
Let c be (-6)/(-21) + 4/(-14). Is (c + (-1)/(-2))*118 prime?
True
Suppose -4 = s, -4*s - 6 = 4*d + 118. Let n = d - -74. Is n a composite number?
False
Suppose 0*f = -l + 3*f - 8, 2*l - 2 = -3*f. Is (9 - 2)*(5 + l) a prime number?
False
Suppose 0 = -7*z + 2*z + 415. Is z prime?
True
Let x be 17/(-4) - 8/(-32). Let b(o) = 3*o - 3. Let t(v) = v. Let p(k) = b(k) - 6*t(k). Is p(x) a composite number?
True
Let o(z) = 6*z**2 + 2*z + 4. Suppose -29 = g + 5*a, 3*a + 37 = -3*g - 2*a. Let j be o(g). Suppose m + 2*m = -2*x + j, -m + 59 = -5*x. Is m a composite number?
True
Is (-18946)/(-22) + 1 + (-6)/33 a composite number?
True
Let t(o) = -o**2 + 10*o - 7. Let n be t(9). Suppose n*m + m = 93. Is m composite?
False
Suppose 4*v + v - 745 = 0. Is v a composite number?
False
Let h = -180 - -301. Is h prime?
False
Let i be 0 + (-12)/4 + 23. Is 688/i - 3/(-5) prime?
False
Suppose -2*p + 81 = -281. Let s be (-417)/(-6) - (-3)/(-2). Let f = p - s. Is f prime?
True
Let x(r) = r + 5. Let t be x(-4). Let s be -1 - 0 - (t - 57). Suppose 3*h - 8*h = -s. Is h a prime number?
True
Let u = -575 + 866. Is u composite?
True
Let t = -3 - -6. Suppose 0*h = -2*h - 3*w + 29, 3*h + t*w = 39. Is h prime?
False
Suppose 5*a = -2*d + 11803, -2*a + d + 4727 = -4*d. Is a composite?
True
Let v(y) = -y. Let n be v(-2). Suppose 0 = -7*p + n*p + 275. Is p composite?
True
Suppose 4*o - 555 = -3*u + 19, -4*u - 733 = -5*o. Suppose 0 = 3*a + o - 754. Is a prime?
False
Suppose 3*d - 132 = 21. Suppose -2*g + d = g. Let h = g + -11. Is h a composite number?
True
Is (0 - (-312 - 3)) + 4 composite?
True
Let x(f) = -f**3 + 20*f**2 + 23*f - 45. Is x(19) composite?
True
Let k be (11*-33)/(-1 + 0). Suppose -3*d + 270 = -k. Is d composite?
False
Let g(l) = -48*l - 4. Let q(c) = -1. Let z(x) = g(x) - 3*q(x). Is z(-6) a prime number?
False
Let s(d) = d**3 - 3*d**2 - 4*d + 5. Let m be s(4). Suppose 3*h + 6 = 0, 0*w - m*h + 45 = w. Let c = 4 + w. Is c a composite number?
False
Suppose 339 + 266 = 5*o. Is o a composite number?
True
Let j(h) = h - 3. Let p be j(0). Let s(b) = -b**3 + 2*b**2 + 4*b + 4. Let i(u) = -2*u**3 + 3*u**2 + 7*u + 8. Let z(k) = 3*i(k) - 5*s(k). Is z(p) composite?
False
Let c(q) = -4*q**3 - 4*q + 0*q**3 + 0*q**2 + 3 - q**2 + 0*q**2. Is c(-4) a composite number?
True
Let n(w) = -w**3 + 19*w**2 + 12*w + 19. Is n(19) a composite number?
True
Let p = -100 - -155. Is p prime?
False
Let q(k) = 125*k - 3. Let x be (12/(-21))/((-6)/21). Is q(x) a prime number?
False
Is (2 - -1553)*(-7)/(70/(-6)) a prime number?
False
Suppose r = 32 - 11. Suppose 3*q - n = -19, -3*n = 5*q - 2*n + r. Let w(d) = 5*d**2 + 7*d + 5. Is w(q) prime?
False
Let v(q) = 66*q**3 + q**2 - q. Let u be v(1). Is (u + (1 - 0))/1 composite?
False
Let g(d) = -2*d**3 - 7*d**2 - 5*d - 1. Let j = -21 - -17. Is g(j) a composite number?
True
Let q(o) = -265*o + 5. Let i(w) = -66*w + 1. Let n(a) = 15*i(a) - 4*q(a). Let r be n(5). Suppose -2*v + r = 3*v. Is v prime?
False
Is 7/((-14)/4) + 201 a prime number?
True
Suppose -2*v - 5*p = 3*v, 0 = 3*v - 5*p - 16. Suppose 0 = 2*u + 4*w - 10, 5*w = -0*u + u + v. Is u a composite number?
False
Let n be (-6)/(3*(-2)/249). Suppose 4*f - 5*p - 24 = 0, -f - 5*p + 9 = -2*f. Suppose 4*x - f = n. Is x composite?
True
Let 