umber?
True
Let d(b) = b**3 - 33*b**2 + 20*b - 13. Is d(34) prime?
True
Let a(r) = -4*r**3 + 2*r**2 - 14*r + 9. Let b be a(5). Let n = -350 - b. Is n*(-5)/(-5) - -2 prime?
True
Let v(c) = c**2 + 3*c - 8. Suppose 2*t + 5 = -5. Let r be v(t). Suppose 82 = -s + r*s. Is s prime?
False
Let p be -6*(34/(-6))/1. Let m = p + -31. Suppose -g = -m*g + 50. Is g prime?
False
Suppose 0 = -j - 108 + 110. Is (j - -626)*((-108)/(-16) - 1) composite?
True
Let q be (1 - 0)/(17420/(-3485) - -5). Suppose j - w - 2*w - q = 0, 4*j + 5*w - 2720 = 0. Is j prime?
False
Suppose 7*w = 18*w - 194557. Is w a composite number?
True
Suppose 0 = -2*i + 2675 - 253. Is i prime?
False
Let s = 13 + -13. Suppose 0 = -0*v - 4*v + 3*k - 10601, 12 = 4*k. Is v/24*(-3 + s) prime?
True
Suppose -19096 = -o - 3*q, q = o - 2*o + 19100. Is o composite?
True
Let x(l) = -7*l. Let c be x(1). Let j(a) = -5*a**2 + 3*a - 3*a**3 - 4*a**3 + 6*a**3 - 8*a - 6. Is j(c) a prime number?
True
Suppose 4*z + 2 = 14. Suppose 8*h - 13*h = -5*q - 4390, 3*q - z = 0. Is h prime?
False
Let f(l) = 130*l - 28. Let o be f(8). Suppose -5*d = -d - o. Is d a composite number?
True
Let u(s) = s**2 - s. Let i be u(2). Suppose -i = 4*j + 6. Is (293/(-2))/(1/j) a composite number?
False
Suppose 4*q - 660 = 5*y, -121 = -q - 5*y + 69. Let l = -340 - -235. Let w = q + l. Is w a prime number?
False
Suppose -1 - 10 = -2*h + q, 10 = 2*h - 2*q. Is ((-66)/(-8))/(h/88) a prime number?
False
Let z(h) = 546*h**2 + 45*h + 218. Is z(-11) a composite number?
False
Suppose -20 = -5*g + 5*a, 3*g = -3*a + 26 - 8. Suppose g*y = 9*y - 4. Is 5/y + -2 + 200 a composite number?
True
Let x = 49 - 33. Suppose -y - 4*a + 1 = -1, 0 = 4*a. Suppose -z = y - x. Is z a composite number?
True
Suppose t + t - 3528 = 0. Let s = -3201 + t. Let m = -986 - s. Is m prime?
False
Is 9111/3*(-9 - -10) a prime number?
True
Let a(y) = -3109*y**2 + y + 2. Let p be a(-1). Is (p/120 + 1/2)*-5 a composite number?
False
Suppose 12*r - 18*r + 96870 = 0. Is r a prime number?
False
Let t be (-6)/(-3)*38*2/(-8). Is 409*1*(20 + t) prime?
True
Let u(j) = -j**3 - 2*j**2 + 4*j - 5. Let s be u(4). Let b = s - -182. Suppose 70 = l - b. Is l a composite number?
False
Let o = 49 - 50. Is 1412/1 + (o - 2)*1 prime?
True
Suppose 18*o + 2*c - 56390 = 14*o, 2*o - 28210 = -4*c. Is o composite?
True
Let b be (-1)/(-4) + 45/12. Suppose -b*k + 11 + 1 = v, -12 = -4*k - 4*v. Suppose 0 = -2*w - p + 176, k*p = 2*w + 16 - 200. Is w prime?
True
Let l(r) = -3 + 3*r + 17*r**2 - 3*r. Let c = -149 + 151. Is l(c) composite?
True
Suppose 3*g + 7364 = 2*b, 6*b - 4*g = b + 18417. Suppose 3*o = -8*o + b. Is o a composite number?
True
Suppose 2*u + 2*u = -4*a - 4, 6 = 4*a - u. Let i(k) = 17*k**3 + 2*k**2 - 1. Let l be i(a). Suppose 6 - l = -4*n. Is n composite?
False
Let y(g) = -32*g**3 + 5*g**2 - 23. Let r be y(-4). Suppose 3*j + 0*p + 2*p = 6291, 2*p = j - r. Is j prime?
True
Suppose 0 = -2*y + 2*q + 1602, 0 = 8*y - 3*y + 4*q - 3969. Suppose -247 = -x - 7*m + 4*m, y = 3*x - 5*m. Is x prime?
False
Let t be (2 - 4) + (-3)/(-1). Let x be 3 + -1*1/t. Suppose 0*z - 102 = -x*z. Is z composite?
True
Let d(y) = y**2 + 5*y + 2. Let s(p) = 2*p**2 + 11*p + 4. Let b(l) = -5*d(l) + 2*s(l). Let f be b(-1). Suppose f = -6*k + 35 + 439. Is k a prime number?
True
Suppose 0 = -39*f + 438379 - 106840. Is f a prime number?
True
Let b(l) = -5382*l - 1. Let x be b(1). Let j = x + 7772. Suppose 4*z - 2*q = 601 + j, q = 3. Is z prime?
False
Suppose 32 = 4*q - 28. Suppose -5*d + 9 = -1. Is q/(-10) - (-181)/d composite?
False
Suppose 2*i = -5*w - 23, -i = 2*w - 3*w + 1. Is 830/i*(-2)/5 composite?
False
Let d(l) = 2*l + 244. Let n be d(0). Let w = n - -6. Is (w - 0) + -7 + 8 prime?
True
Let c(x) = -2 + 45*x - 44*x + 0. Let g be c(-9). Let r = g + 18. Is r a composite number?
False
Let p = -40 + 44. Suppose -22 = -3*u + p*x, -x + 4*x - 9 = -2*u. Is (-8)/u*(-5835)/20 a prime number?
True
Suppose -5*t - 2 = -6*t. Let h(w) = 39*w + 4. Let y be h(3). Suppose a + y = t*a. Is a prime?
False
Let m(b) = 9*b**2 + 18*b - 1. Let n be m(18). Let d = n + 150. Is d a composite number?
False
Let b = -163 + 112. Let m = b + 35. Is 19 + m - (0 + -142) prime?
False
Let m(x) = -1601*x + 617. Is m(-12) prime?
False
Let f(p) = -p**2 + 5*p + 1. Let g be f(4). Suppose 0 = -4*b + g*x + 10, 0*b - 4*b + x = -18. Suppose b*o = 16 + 369. Is o composite?
True
Let n(l) = l + 1. Let p be n(0). Let g be p - (0 - -3)*-3. Is 5/g + 218/4 composite?
True
Let r(x) be the first derivative of -x**2 - 24*x + 10. Let y be r(-13). Suppose y*b + 594 = 4*m, 4*b - 44 + 487 = 3*m. Is m prime?
True
Let m(y) = -68*y + 2 - 36*y + 2 + 5. Is m(-3) prime?
False
Let p(o) = -8*o**2 + o - 10. Let d be p(-4). Let h = 699 - d. Is h a prime number?
False
Suppose 0*v = v - 3*j + 6, 3*j = -4*v + 36. Let a(n) be the second derivative of -n**5/20 + n**4/2 + 3*n**3/2 - 4*n**2 + 4*n. Is a(v) a prime number?
False
Let f(u) = -u**3 + 5*u**2 - 4*u - 1. Let k be f(3). Suppose b = k*b - 3*z - 69, -3*b + 51 = -2*z. Suppose 2*n = -b + 173. Is n prime?
True
Suppose c - 4*m + 9 = -2, -3*m + 12 = 0. Suppose 13958 = 12*g - c*g. Is g composite?
True
Let i = 6301 + -4217. Suppose 3*y - i = -y. Is y a composite number?
False
Let h(d) be the first derivative of d**2 + 167*d + 9. Let y be h(0). Let p = 294 - y. Is p composite?
False
Suppose 14 = a - 5*g, 3*a + 0 = -3*g + 6. Suppose -5*d - a = -d. Is d*(-2 + 6) - -89 prime?
False
Is 1959/4 - ((-15)/(-20) + 0) composite?
True
Let u(t) = -3*t - 10. Let a(y) = y**2 - 5*y - 10. Let v be a(6). Let s be u(v). Suppose 5*i - 3729 = h, -s*h = 5*i - 3*i - 1482. Is i a prime number?
False
Let y be 3343 + (-3 - -18)/5. Let q = y - 1691. Is q prime?
False
Suppose 3*l = l - 10, 2*n = -2*l. Suppose -n*g = -4*g - 1133. Is g prime?
False
Is 5 + (-3898)/(-8)*32/2 a composite number?
True
Let j be (4 - 4) + 182 + 0. Suppose -m + 3*c = -814 + j, -2*c = -4*m + 2558. Is m prime?
True
Let n = 10730 + 12123. Is n prime?
True
Suppose -3*q = 5*b - 59603, 4*b + 3*q - 47704 = 6*q. Is b a prime number?
True
Let w(r) be the first derivative of 26*r**2 - 6*r - 154. Let n = -5 - -10. Is w(n) a prime number?
False
Suppose -p - 9 = 4*i + 7, -2*p - 17 = 3*i. Let b be -2 + (i + 3 - 1). Is (-1)/((-112)/(-38) + b) a prime number?
True
Let l(u) = -4391*u**3 - u**2 + 4*u + 5. Is l(-1) composite?
False
Let v be (-14)/28 - (-858)/(-4). Let f = -88 - v. Is f a prime number?
True
Suppose -9*r + 58314 + 58515 = 0. Is r prime?
False
Let d = -11 - -12. Let b be (-597)/12 - d/4. Let l = 85 + b. Is l a prime number?
False
Let h = -49 + 35. Is (12 - -1)*(-3 - h) prime?
False
Let f(y) = -y**2 + 10*y + 5. Let r be f(7). Let j = 5 + r. Is j a prime number?
True
Let v(l) = -l**2 - 11*l - 6. Let z(h) = -h - 7. Let o be z(3). Let b be v(o). Suppose 3*p - 2*p - 489 = b*m, 1467 = 3*p - 3*m. Is p prime?
False
Let p = 2 + -10. Let c be 100/p*152/(-10). Is c/(-15)*174/(-4) prime?
False
Suppose -2*r = 4*u - 136852, 114255 = 4*u - 4*r - 22573. Is u a composite number?
False
Let p be (4/(-4))/(2/(-8)). Suppose 324 = p*j + 112. Is j prime?
True
Let p(q) = q - 11. Let w be p(12). Let k = -137 + 225. Suppose -g + w = -k. Is g a prime number?
True
Let f(t) = -t - 1. Let p(w) = -707*w - 33. Let k(h) = -6*f(h) + p(h). Is k(-4) prime?
True
Is (-83794)/(-2) + 99 + -107 composite?
True
Let o(g) = -2*g + 6. Let q be o(3). Let x(a) = 2*a + 175. Let z be x(q). Suppose -u + 238 + z = 0. Is u prime?
False
Let w be 4 - (-1 - (-1 + 0)). Suppose 7*q - w*q - 9 = 0. Suppose -q*t + 85 + 836 = 0. Is t a prime number?
True
Let v be (16 - 15)/((-1)/(-3)). Suppose -v*i = -677 - 1786. Is i composite?
False
Is (2 + (3 - 16))*-29 composite?
True
Let d(z) = 23*z - 5. Let f(g) = -22*g + 5. Let v(p) = 6*d(p) + 5*f(p). Is v(3) prime?
True
Let g(v) = -v + 143. Let i be (1 - 3) + -1 + 3. Let q be g(i). Suppose -3*y + 483 = -k, -y + q = 4*k - 18. Is y a composite number?
True
Let v = 3917 - -3876. Is v composite?
False
Suppose -175688 + 68111 = -9*z. Is z a composite number?
False
Suppose 3*l - 6*l = -21. Let s(t) = t**3 - 3*t**2 - 7*t - 4. Is s(l) a composite number?
True
Is (-12)/(-270)*-3 + 391268/60 prime?
True
Let n = 3423 - 1870. Is n prime?
True
Suppose 4*f = -3*n + 88579, 22159 = 3*f - 2*f - 4*n. Is f a prime number?
True
Suppose -3*r = 3, 2