v + 1. Let h be k(1). Let a be (-3)/(-9) - 2/h. Is z(a) a prime number?
True
Is (510/4 + (-1 - -2))*10 prime?
False
Suppose 3*x = 5*x + 4. Let d = -2 + x. Is (2/d)/(2/(-56)) prime?
False
Suppose -12 - 8 = -4*b + 4*a, 5*a = 4*b - 23. Suppose r + 4*c = -0 - 2, 9 = b*r - 5*c. Suppose -n = -r*n + f + 52, -2*n + 4*f + 110 = 0. Is n a prime number?
False
Is (-290)/15*(-42)/4 a composite number?
True
Let c(i) = -i**2 + 5*i - 3. Let s be c(7). Let q = s - -34. Let p = -10 + q. Is p prime?
True
Let m(z) = -122*z + 7. Let p(h) = 245*h - 13. Let l(o) = 11*m(o) + 6*p(o). Is l(1) prime?
True
Suppose 5*f = -v + 41, -3*f - 69 = -4*v + 49. Is v a composite number?
False
Suppose 0 = 4*q - 5*j - 48 + 16, 0 = -4*q - 5*j - 8. Suppose 4*l - q*l + 15 = 0. Let w = l + 46. Is w a composite number?
False
Let u(r) = -14*r - 2. Let d be u(-3). Suppose 79 = x - d. Is x a composite number?
True
Let m(g) = -g**2 - 8*g - 2. Suppose -4*w = r + 2*r + 18, -4*w + 5*r = 2. Is m(w) composite?
False
Let w be (-30)/8 - (-4)/(-16). Is ((-2)/w)/(1/62) composite?
False
Suppose 3*z - 7938 = -4*v + z, -2*v = -z - 3971. Is v a composite number?
True
Let n be (-62)/(-10) + 4/(-20). Is ((-2)/1)/(n/(-129)) a composite number?
False
Suppose -3*q - 4*t + 0*t = -230, -3*q - 2*t = -232. Suppose -o + 11 + q = 0. Is (o/2)/((-2)/(-4)) prime?
True
Suppose -3*a - a = 4. Suppose 5*w + 5 = -0. Is (-84)/(-4) + (w - a) a composite number?
True
Let s(g) = g**3 - 9*g**2 - 6*g - 8. Let a be s(7). Let l = 63 - a. Is l composite?
False
Let p = 3709 + -2450. Is p a prime number?
True
Let u(r) = 4*r**2 + 3*r - 4. Is u(-3) prime?
True
Suppose -4*n - 2*m = -1652, -2*m + 635 + 191 = 2*n. Is (-6)/6*n*-1 composite?
True
Is (1 - (-1)/(-3)) + 48688/102 prime?
False
Suppose -5*t - 5*x + 2190 = 0, -5*t = -0*x - 5*x - 2220. Is t/12 - 2/(-8) a composite number?
False
Suppose l - 3*r - 14 = 0, -2*l = -3*r - r - 20. Suppose 0 = -l*k + 3*k - 317. Is k a composite number?
False
Let p = 293 - 133. Let d = p + -81. Is d prime?
True
Suppose -10 = -0*r - 2*r - k, -16 = -r + 5*k. Let g be (10/4)/(3/r). Suppose 84 = 2*h - g*i, -i - 89 = -3*h + 50. Is h prime?
True
Let x(c) = 5*c**2 + c. Let y be x(-1). Suppose b + 3*b - 16 = 0, y*p - 496 = b. Let f = -42 + p. Is f a prime number?
True
Let c(z) = -z**2 - 6*z + 5. Let y = -15 - -9. Let a be c(y). Suppose a*b - 47 = 4*b. Is b a composite number?
False
Suppose 2*g - 46 - 90 = 0. Let r = g + 1. Is r prime?
False
Suppose 5*g = 23 + 47. Suppose 2*n - g = 24. Is n prime?
True
Let b = 56 + 29. Is b a prime number?
False
Let m be (2/(-6))/((-2)/18). Suppose -m*d + 2*y = -0*y - 353, 0 = 4*d + 2*y - 494. Is d prime?
False
Suppose 4*f - 617 = -3*r, -4*r - f = -2*r - 418. Is r a composite number?
False
Let q(r) = -r + 4. Let d(g) = g**3 + 2*g**2 - 2*g - 2. Let b be (3/4)/((-2)/8). Let w be d(b). Is q(w) a composite number?
True
Suppose -2 = 5*x + 8. Let h(m) = -12*m**3 + 2*m + 3. Is h(x) prime?
False
Suppose -12 = -2*i + 2*y, -y - 30 + 4 = -5*i. Suppose 0 = 3*c + i*a - 60, 2*a + 42 = 2*c + 6*a. Is c composite?
True
Suppose 2 = 4*i - 6. Suppose -4*w + 4 = 2*v + i*v, 1 = 3*w + 5*v. Is ((-5)/w)/(3/(-66)) prime?
False
Let g(s) = -s**3 - s**2 - s - 49. Let y be g(0). Is 3/(-1)*y/3 prime?
False
Let c be (-1466)/(-6) - 2/(-3). Suppose 3*v - c = -3*y - v, 2*v - 4 = 0. Suppose 4*z + y = 299. Is z composite?
True
Suppose -2*y - 3 + 5 = 0, 0 = 2*c - 5*y - 289. Suppose -275 = -2*m + c. Is m a composite number?
False
Let q be -5*(0 + 4/(-5)). Suppose 0 = 3*h - 5*b - 1055, q*b - 1046 = -0*h - 3*h. Suppose g + 271 = 4*i, -i + 6*i - 5*g = h. Is i a prime number?
True
Let b = 6 - 2. Suppose 4*d - d = -b*u + 151, -3*u - 6 = 0. Is d a composite number?
False
Is 10 - 1/(1/3) prime?
True
Let d = -16 - -26. Suppose -d = -3*z - 2*z. Suppose g - 48 = 5*f - 1, -115 = -3*g + z*f. Is g prime?
True
Let d be 2 + (-1)/(-2)*2. Is (503/4 + d)*4 a composite number?
True
Let m be (-50)/(-8) - (-1)/(-4). Suppose m*f - 237 = 3*f + 3*x, 0 = -2*f - 2*x + 170. Is f a composite number?
True
Let v be -3 + (-3 - -2)*-185. Let k = 39 + v. Is k prime?
False
Suppose -3*t = 12, -4*t = 4*u + t - 92. Let d be -5 + u - (-2)/(-2). Let p = 31 + d. Is p a composite number?
False
Suppose -4*d - 530 = -1822. Is d prime?
False
Suppose -2*r = -2 - 0, -2*m + 15 = -r. Suppose 316 = m*t - 4*t. Is t prime?
True
Suppose -5*s - 5*o + 4850 = 0, -s - 3*o + 967 = o. Is s prime?
True
Let l(u) = -86*u - 1. Let b be l(-1). Let r = 138 - b. Is r prime?
True
Let p = 52 + 75. Is p a prime number?
True
Let s = -1 - -3. Suppose 0 = o + s*o. Suppose -50 = -2*k - 2*m, m + o*m - 88 = -4*k. Is k prime?
False
Let h be -2 - 3/((-3)/1). Is h + 0/2 + 38 a prime number?
True
Let d = -6 - -10. Is 74*d/24*3 a composite number?
False
Let s(t) = -t**2 + 14*t + 4. Is s(11) a composite number?
False
Let r be -1 + 3 - (-532)/2. Let f(q) = -19*q - 3. Let g be f(-6). Let l = r - g. Is l a prime number?
True
Let i = 2727 - 1186. Is i a composite number?
True
Let p(c) = 77*c**2 + 5*c. Is p(-2) composite?
True
Suppose 0 = -3*h + 7*h. Suppose h = -5*l - 3*a + 75, 3*l - 59 = 2*a - a. Let b = 37 - l. Is b a composite number?
False
Let i be ((0 + 0)/(-1))/(-2). Suppose v = -i*v + 4. Suppose 2*a = v*a - 62. Is a composite?
False
Suppose -14*v - v + 77445 = 0. Is v composite?
True
Is (-20)/6 - -4 - 1245/(-9) a composite number?
False
Let l(w) = -w**2 + 3*w. Let b be l(3). Is b/(0 + 3) - -74 a prime number?
False
Let u(h) be the second derivative of -4*h**3 - h**2/2 - 2*h. Let t be u(-5). Suppose t = 2*o + 25. Is o prime?
True
Let i(q) = q**3 + q**2 - q + 83. Let x be 1/2*0/1. Let f be i(x). Suppose -2*h - 5*v = -109, -f - 64 = -3*h - 2*v. Is h composite?
False
Let z(k) = k**3 - 8*k**2 - k - 4. Let q be z(8). Is -2 - (-7)/((-14)/q) composite?
True
Let o(y) = 2*y**2 + 5*y + 4. Is o(-7) a composite number?
False
Let v be -4 - -2*(-2)/(-4). Is (29/4)/(v/(-204)) prime?
False
Suppose -5*i - x = -59 - 5, 2*i + 2*x = 24. Is i prime?
True
Is (-9 + (-15)/18)/((-2)/12) prime?
True
Suppose -5*c + 10 = -0. Let g be 0 - (-6)/(5 - c). Suppose 0 = g*z - a - 12, 0 = -0*a - 3*a + 6. Is z a prime number?
True
Let m be -2 - (-1 + 4 - 5). Suppose m*v + 131 = v. Is v prime?
True
Let a(c) = c**2 - 12*c - 13. Let s be a(13). Suppose -262 = d - 2*l, -3*d - 3*l - 284 - 502 = s. Is d/(-14) + 8/28 a prime number?
True
Let j = 2 + 3. Suppose -2*n + j*a = -58, -2*n + 0*a + 46 = -2*a. Is n a prime number?
True
Let b be (-616)/6 + 1/(-3). Let t = 24 - b. Is t a composite number?
False
Let s = -325 + 771. Is s prime?
False
Suppose -3*z = k - 18, -3*k + 17 = -2*k + 2*z. Let i be ((-12)/k)/(-2)*5. Suppose l - 29 = p, -37 = -l + p - i*p. Is l prime?
False
Is -1*(-329 + 4/(-2)) prime?
True
Suppose -4*p - q + 1158 = 0, -5*p + 0*q = -2*q - 1441. Let t = -195 + p. Is t a prime number?
False
Let t = 49 - -112. Is t a composite number?
True
Suppose a - 4*a - 27 = 0. Let y = a - -10. Is (-1)/(y/(-19))*1 a composite number?
False
Suppose 5*w = 3*b - 11, 0 = -3*b - 0*w - 4*w + 2. Suppose 3*j = -b*j + 1055. Is j prime?
True
Suppose 0*f = -4*f - 4. Is ((-5 - -2)/f)/1 a composite number?
False
Let c(d) = 57*d - 2. Let u(h) = -h - 1. Let y(w) = c(w) + 2*u(w). Let o be y(8). Is o/2*(-2)/(-4) composite?
False
Suppose 6*u = 2*u + 620. Is u prime?
False
Let q be -3 - (-3 - 3)*1. Suppose 3*d + 2*w = 173, 4*d - q*w = 125 + 83. Is d prime?
False
Suppose 129 = -3*o - n - 58, 0 = -5*o + n - 301. Let w(l) = -140*l**2. Let z be w(-1). Let k = o - z. Is k composite?
False
Let r be (-1)/5 - 96/(-5). Suppose -2*k = 2, -r = 3*h - k - 86. Is h a composite number?
True
Let f = -2 + 5. Suppose -7*n = -f*n + 2*g + 2, -2*g + 14 = -4*n. Is (-1)/n - 134/(-4) a composite number?
True
Let a = 0 - -5. Suppose a*h = 25, -k + 0*h - 2*h + 75 = 0. Is k composite?
True
Let h = -538 + 1325. Is h a prime number?
True
Suppose -4*w + 1186 = 5*g - 0*w, 0 = -5*g - w + 1174. Suppose -5*j = -g - 791. Is j prime?
False
Suppose 4*a + 3*k + 274 = -102, 0 = -2*a - 4*k - 188. Is (a/(-6))/((-1)/(-3)) a composite number?
False
Suppose 4*v - 5*u = 671 + 966, 3*v = -2*u + 1245. Is v a composite number?
True
Let t(j) = 18*j + 6. Let g be t(6). Suppose 4*f - g = 2*k, -5*f - 3*k + 109 = -6. Is f composite?
True
Let x(c) be the first derivative of 26*c**3 + c + 3. Is x(1) a composite n