226 - q. Is g prime?
True
Suppose -2*b + 22 = 3*t, -3*t = -7*t - b + 31. Let z be (-1 - (-1)/(-1)) + t. Suppose -z*x + 3*x = -42. Is x prime?
False
Is -2 + (56 - (5 - 4)) prime?
True
Let v = 17 - -62. Is v prime?
True
Suppose -5*f + 7 = -3. Suppose -4*u = 2*m - 436, -404 = -f*m - u + 35. Suppose -105 - m = -5*w. Is w prime?
False
Let i(d) = -2*d**2 + d - 1. Let a be i(1). Is (1 - -108) + (a - -4) prime?
False
Let x(i) = -439*i - 1. Is x(-2) composite?
False
Suppose 5*d - 2*d = 18. Let q be (1 + -3)/((-4)/d). Suppose -4*c - 29 = -q*r, 0*c - 2*c = 4. Is r composite?
False
Suppose 0 = -5*y - 7 + 27. Suppose -y*m + 3*a = -245, 2*m - 61 - 64 = a. Is m a composite number?
True
Let z(p) = 3*p**2 - 3*p - 4. Let m be z(3). Let s = 47 - m. Is s composite?
True
Let l(n) be the third derivative of -n**6/120 - n**5/12 + 5*n**4/24 + n**3/6 - 3*n**2. Let x be l(-6). Let t = x + 12. Is t a composite number?
False
Let j be (-19)/(-38) - 326/4. Let l = j - -140. Is l a composite number?
False
Let q be -1 + -1 + 6/2. Let u(r) = 36*r**3 - 2*r**2 + r. Is u(q) composite?
True
Let r be (0 - -2)*(2 - 0). Suppose -10 = 2*a, 187 = -x + 4*x + r*a. Is x composite?
True
Let g(k) = 0*k + 2 - 3 + 4*k. Let n be g(1). Suppose -17 + 381 = 4*y + n*j, -y - j + 90 = 0. Is y a prime number?
False
Let l(d) = 3*d**2 - 3*d - 4. Let z be l(-4). Let f = 0 - 3. Is (-5)/(-15) - z/f prime?
True
Suppose -2*x + 72 = x. Suppose 0 = -3*j + x + 39. Is j a composite number?
True
Let x(g) = -g**2 + g - 1. Let c be x(0). Let u be c/(((-15)/(-54))/5). Is (-3)/u*2*57 a prime number?
True
Let y = 4 - 9. Let g be ((-18)/(-4))/(y/10). Let w = 6 - g. Is w prime?
False
Let j be (20/(-12))/((-2)/6). Suppose 3*n = j*n - 466. Is n a composite number?
False
Let n(w) = -33*w - 19. Is n(-6) a composite number?
False
Let k(m) = 13*m - 1. Let v be 0 - (-2 - -2 - -5). Let b be (-1)/(-3)*3 - v. Is k(b) composite?
True
Suppose 5*w - 2*t - 1057 - 5346 = 0, -3*w - 5*t = -3817. Is w composite?
False
Let s be 2/((-184)/(-94) - 2). Let p be (3/(-2))/((-3)/196). Let x = p + s. Is x composite?
True
Suppose 5*p - 681 = 2*x + 212, 2*x = 4*p - 714. Is p composite?
False
Suppose -u - 15 = 4*u. Let n be (-4)/u*(4 - -2). Let y = 47 + n. Is y composite?
True
Let l(r) = -21*r + 11. Let x be l(-5). Suppose 4*h - 8 = 2*h - 3*y, -4*h + 16 = -5*y. Suppose -328 = -h*s - x. Is s a prime number?
True
Suppose 0 = -3*t - 3*h + 261, -3*t - 5*h = t - 344. Suppose 3*b = -3*y - b + 147, -2*y = 5*b - t. Is y a composite number?
False
Suppose 4*g = -3 - 1. Is (-1)/((g - -2)/(-37)) composite?
False
Suppose -3*z + 0*z + 3 = 0. Let v = z + 1. Suppose -h + 24 = 4*y - 5*h, 18 = 4*y - v*h. Is y a prime number?
True
Let z(j) = -9*j + 1. Let k be z(-3). Suppose 2*o - k = -4*m - 3*o, 3*m + 4*o = 22. Suppose 5*u - 164 = -2*v, 0 = -3*v - m*u - 2*u + 239. Is v a prime number?
False
Let g(c) = -2*c - 5. Let q be g(-5). Suppose -2*s - 3 = -q*s, -531 = -2*k - s. Is k a composite number?
True
Let d(j) = -j - 1. Let g(w) = -7*w - 2. Let o(b) = -5*d(b) - g(b). Is o(5) a composite number?
False
Let t(m) = -m**2 + 16*m - 10. Let v be t(15). Suppose z - 313 = -0*z - 3*r, -v*z + 1541 = 3*r. Is z a prime number?
True
Suppose -v - 3*v = k + 24, -4*v - 24 = 3*k. Let h be v/9*1*-3. Suppose 0 = 4*y - 16, -45 = o - 2*o - h*y. Is o a prime number?
True
Suppose -4 = a + 4*g, -11 = a - 2*g - 1. Let b = a - -13. Let z(n) = 14*n - 3. Is z(b) prime?
True
Is (0 + 1)/(6/2010) composite?
True
Let z(n) = 2*n**3 + 9*n**2 - 16*n + 14. Let l(k) = k**3 + 5*k**2 - 8*k + 7. Let m(t) = 7*l(t) - 3*z(t). Is m(-8) a composite number?
False
Suppose 2*a - 6*a - 284 = -2*g, -g + 166 = 4*a. Let y = -53 + g. Is y a prime number?
True
Suppose -2*v + 211 = 2*t + 41, v = t - 89. Is t prime?
False
Let i = 536 + -140. Is (-2)/(i/201 + -2) prime?
True
Let u = -93 - -122. Suppose 3*p - 7*p = n - 38, -n = -2. Let a = p + u. Is a a prime number?
False
Let h = 1 - -1. Suppose -3*p + 4*p + h = 0. Is p/1*69/(-6) a prime number?
True
Suppose -11 = -5*j - 3*w, -2*j + 3*j + 3*w + 5 = 0. Suppose -8 + 4 = j*o. Is (-54 + 1)*(o - 0) a prime number?
True
Let f be 1505/(-20) + (-2)/(-8). Suppose -399 = -4*c - 0*z + 5*z, 207 = 2*c - z. Let b = c + f. Is b composite?
False
Suppose 2*f + 2 - 4 = 0, 3*w - 6564 = 3*f. Is w a prime number?
False
Let a = -4 - -7. Let t be (6 - 0)/a - 176. Is (t/8)/(2/(-8)) a composite number?
True
Suppose -2*r + 24 = -4*r - 2*g, -g - 3 = 0. Is ((-3)/r)/(2/138) composite?
False
Is (-10)/(-20) + (-133)/(-2) composite?
False
Let m = 20 - -201. Is m a composite number?
True
Let b = -4 - 4. Let r be b*1*35/4. Let l = -33 - r. Is l a composite number?
False
Let z = -59 + 33. Let a be (-133)/(-3) - (-4)/6. Let c = a + z. Is c composite?
False
Let y(h) be the third derivative of -h**6/120 - 7*h**5/60 - h**4/6 + 7*h**3/6 + 2*h**2. Let l be y(-6). Is 16/(-40) - 72/l composite?
True
Let s = -1 + -6. Let j = -5 - s. Suppose 10 = j*u - 56. Is u a prime number?
False
Let s = 0 + 2. Is (35 - s)*(-15)/(-9) a prime number?
False
Suppose 3*a + 7 = -17. Let y(n) = -11*n - 9. Is y(a) a composite number?
False
Suppose m - 3*m = -4*a - 1248, 0 = m - a - 629. Is m a prime number?
False
Let c = 223 - -72. Is c a composite number?
True
Suppose 0 = 3*l - l - 4. Suppose l*a + p = 15, -5*a + 0*p - 3*p + 35 = 0. Suppose -5*o + t + 260 = 0, -91 = -2*o + t + a. Is o composite?
False
Let g be 26*1/2 - 3. Let u = 14 - g. Suppose -3*d + u*d = 21. Is d a composite number?
True
Let f(w) = -w**3 - 21*w**2 - 24*w + 7. Is f(-20) a prime number?
False
Let h = 59 - 29. Suppose 0 = -4*s - 86 + h. Let k = -7 - s. Is k a composite number?
False
Let w(j) = j**3 + 12*j**2 + 15. Let g be w(-11). Is (10 - 2)/(-4) + g a composite number?
True
Let r(k) = -4*k**2 + k + 1. Let o(x) = -11*x**2 + 2*x + 4. Let g(z) = 6*o(z) - 17*r(z). Let y be (3 - -4) + -2 + (2 - 1). Is g(y) composite?
True
Suppose -5*r = -3*v - 4168, 2*r + 5*v = 3*v + 1680. Suppose 0 = -2*s - 2*s + r. Is s composite?
True
Is (-4)/2 - (1 + -1351)/6 a prime number?
True
Let q(j) = 5*j**2 + 4*j - 1. Let l be q(5). Suppose -u = u - l. Let w = u - 5. Is w a prime number?
True
Is (-2883)/(-9) - 2/6 - 3 composite?
False
Let n be (18/(-15))/(6/20). Let v(j) = -2*j**3 - 6*j**2 - 2*j - 5. Is v(n) prime?
False
Let r(k) = -k**3 + 5*k**2 + 4*k - 4. Let q be (-2)/7 + 30/7. Let w be r(q). Suppose 3*n - 3*g = 36, -6*n = -3*n + g - w. Is n prime?
False
Is (2 + (-390)/4)/((-14)/28) prime?
True
Suppose 5*l + 394 - 54 = 0. Let o = l - -105. Is o prime?
True
Let n(p) = -p - 1. Let z be n(-2). Is (-6 - -11) + 2*z a composite number?
False
Let k(w) = -2*w**3 - 12*w**2 - 3*w + 11. Suppose -2*u = s + 20, -4*u + 3*u + 2*s = 0. Is k(u) a composite number?
True
Suppose -10*v = -2*v - 9008. Is v composite?
True
Suppose -20*a + 45 = -17*a. Is a a prime number?
False
Suppose 4*d - 389 = -5*r, 0 = 4*d - r - 0*r - 359. Is d prime?
False
Suppose 0 = -4*f - 0*f + 3*h + 1763, -2*f = -5*h - 871. Is f prime?
True
Let a = 28 - 39. Let j = 19 + a. Suppose -36 = -4*u + j. Is u a prime number?
True
Suppose -5*h - 5513 - 1252 = -5*q, -4*h - 8 = 0. Let y = q + 126. Is y a prime number?
False
Let p(g) = -g**3 + 7*g**2 + 2*g. Suppose -5*o = -2 - 13, 2*o = 2*i - 2. Let r be p(i). Let h = r + -37. Is h a prime number?
True
Is (2 - 0)/((-2)/(-43)) a prime number?
True
Let j = -5 - -5. Let h = j + 3. Is (-12)/(-18) - (-25)/h a composite number?
True
Let d(s) = 5*s + 2 + 8*s**2 - s - 4 - 1. Is d(-4) a prime number?
True
Let s(a) = 6*a**3 - 5*a**2 + 4*a - 2. Let z be (-175)/(-63) - 4/(-18). Is s(z) a composite number?
False
Let q(s) = 18*s - 2. Suppose -12 = v - 3*v. Let o be q(v). Suppose 2*i = 5*x + o, 0*i - x = -4*i + 212. Is i a composite number?
False
Let d = 0 + 2. Let b(t) be the third derivative of t**5/12 - t**4/12 - t**3/6 + 2*t**2. Is b(d) composite?
True
Let c = -243 - -730. Is c a prime number?
True
Suppose -3437 = -m - 2*s, -3*m = -5*s + s - 10291. Is m composite?
False
Suppose 0 = 3*l - 7*l. Let q = l - -1. Is 102/2 + q + 1 a prime number?
True
Let p(x) = -3*x + 94. Is p(12) composite?
True
Let g be ((2 - 2)/1)/(-1). Suppose g = -4*h + 2*h + 42. Is h a composite number?
True
Suppose 5*k - 1656 = -4*l - 576, 5*l = 2*k + 1317. Is l a prime number?
False
Let n = -2752 + 3867. Is n composite?
True
Let s(m) = 3