 Is q a composite number?
True
Suppose 169*u - 245540 = 165*u. Is u prime?
False
Suppose -5*s = 9 - 44. Suppose -62 + s = -5*p. Suppose f = -1 + p. Is f a composite number?
True
Let s be 7/(-3)*(26*-1 - 4). Let o = s - -9. Is o composite?
False
Let d(x) = 2*x**2 - 8*x - 19. Let i(q) = -q**2 + 4*q + 9. Let t(s) = -2*d(s) - 5*i(s). Is t(-8) prime?
True
Let p(k) = 3*k**2 + 9*k + 6. Let z be p(8). Suppose -25 = -5*j + z. Is j composite?
False
Suppose -3*l + 7*l - 1824 = 0. Let f = l + 58. Suppose 1 = -j, -o - 2*j + f = -5*j. Is o composite?
True
Let x(m) = -10*m. Let i be x(-1). Let h(r) = 12*r + 7. Let v be h(i). Suppose 3*t - c - 381 = 0, -t + 3*c = -0*t - v. Is t a prime number?
True
Let q(f) = -f**3 - 6*f**2 - f. Let x be q(-6). Suppose -5*b + 4 = 4*c - x*b, c - b = -2. Is (-44 - -7)/(c - 3) prime?
True
Suppose 5*f = 4*f + 6. Suppose f*w - 70 = w. Let g = w + 41. Is g a composite number?
True
Let p = -38688 - -59777. Is p prime?
True
Suppose -5*z + 349845 - 42414 = 4*y, 3*z + 4*y - 184465 = 0. Is z a prime number?
True
Suppose -5*l - 2*v + 221997 = 0, 4*v - 11589 - 32796 = -l. Is l prime?
False
Let u(z) = 282*z - 40. Is u(9) a composite number?
True
Suppose 2*r + 2*p = r + 2, -p + 1 = -r. Suppose -h - 3*h + 20 = r. Suppose -h*f + 770 = b - 256, 5*f = b + 1024. Is f composite?
True
Let i = -167 + -30. Suppose -5*n = -3*n + 208. Let l = n - i. Is l a prime number?
False
Suppose 11*t = 388620 + 216919. Is t composite?
False
Let b be (-14 - 1)/((-15)/(-20)). Let c = b + 25. Let l(p) = 41*p + 6. Is l(c) a prime number?
True
Suppose -3*k = 2*z + 536 - 4069, 5*z - 5 = 0. Let o be 5 + -2*(-2852)/(-8). Let d = o + k. Is d prime?
False
Let y(s) = s**2 - 16*s - 36. Let g be y(18). Suppose -a = -14 - g. Is a a composite number?
True
Suppose -5*h - 3*z = -49914 + 4753, -5*z + 45165 = 5*h. Is h a composite number?
True
Let m = 43 + -29. Let t = 29 - m. Is t/(-3)*(-334)/5 composite?
True
Suppose 2*o - 5*v - 27 = 0, -5*o + 0*v + 15 = -2*v. Let b(w) = -3 + 2 + 3 - o - 20*w. Is b(-9) a composite number?
False
Let t be (7 + -5)/(4/6). Let v(l) = 72*l**3 + l**2 - 4*l - 4. Is v(t) a prime number?
False
Let w(y) = y**3 - 3*y**2 + y - 2. Let p be w(2). Let z be (-6)/(-3)*18/p. Let s(x) = x**2 + 2*x - 4. Is s(z) a composite number?
False
Suppose -2*v + 6 + 2 = 0. Suppose -2*o - t = -5129, v*o - 2*t - 2674 - 7580 = 0. Suppose -s + 5*s - o = 0. Is s composite?
False
Let g(f) = -f**3 - 2*f**2 - 2*f - 4. Let b be g(-2). Suppose 2*j - 72 - 466 = b. Is j a composite number?
False
Let z(s) = 27*s**2 - 11*s + 7. Suppose 2*r + 3 = -3, -27 = 3*t + 4*r. Is z(t) composite?
True
Let d(i) = -i + 22 + 3 - 8 + 6. Let s be d(11). Suppose s*r - 212 = 10*r. Is r a composite number?
True
Let y(q) = 4*q**3 + q**2. Let o be y(1). Let d be (-4)/(-2) - o/5. Is (-1)/(d + (-52)/51) a prime number?
False
Is 6/16 - (-78917)/8 a composite number?
True
Suppose -9*f = -7*f + 3*o - 8163, -3*f + 12253 = -4*o. Is f prime?
False
Suppose r + 990 = 3*u, 0*u - 5*r + 330 = u. Suppose 2*y + u = -0*y. Is (2/(-2))/(3/y) a composite number?
True
Let t = -5172 - -9854. Is t prime?
False
Let f(i) = 3*i**2 + 2*i - 1. Let g be f(1). Suppose 0 = -g*h + 17 + 27. Is h a composite number?
False
Suppose 0 = 4*k - 3*m - 3078, -3*k + m - 3086 = -7*k. Is k a composite number?
True
Suppose -5*n + 442 = 3*x, n - 7*x - 94 = -2*x. Is n a composite number?
False
Suppose -5*g = 3*b - 18, -4*b + 4 = -0. Let n be (-1 - -4)*g - 0. Suppose m = -5*r + 1009 + 2049, n = 3*m. Is r prime?
False
Let s(b) = -b + 587. Let i(w) = w**3 + 6*w**2 + 3*w - 10. Let h be i(-5). Is s(h) a prime number?
True
Suppose l - 4*l + 4*g = 402, -l + 5*g = 134. Let i = l - -457. Is i a prime number?
False
Suppose -72094 - 20779 = -11*q. Is q prime?
True
Is (-2*6/(-20))/((-5)/(-39175)) composite?
True
Let k be (-129)/(-45) - (-4)/30. Suppose 4*t = 2*c + 2, t - 2 = -k*c + 9. Is (-685)/t*(-28)/35 composite?
True
Suppose 5014 + 65 = 3*l. Is l prime?
True
Suppose 0 = -3*o + 2*s + 176495, 117375 = 2*o - 5*s - 292. Is o a prime number?
True
Let p = 16733 - 9688. Is p a prime number?
False
Let g(u) = -9*u - 21. Let y(r) = -r + 1. Let z(c) = g(c) - 2*y(c). Is z(-6) a prime number?
True
Let o(i) = 8 - 5 - 426*i - 180*i + 8. Is o(-6) composite?
True
Let z = 8520 - 4411. Is z a composite number?
True
Let n = -535 - -1018. Suppose -3*b - 2*s + 277 = 2*s, -5*b + 4*s = -n. Suppose 367 = 4*x + u - b, x - u = 113. Is x prime?
False
Let r(t) = 28*t - 11. Let f be ((-12)/9)/(2/30). Let n = f - -26. Is r(n) composite?
False
Suppose -4*t - 2*o + 4171 = -3*o, t + 3*o = 1033. Let r = t + -330. Suppose 0 = -0*d - 4*d + r. Is d a composite number?
True
Let n(b) = 131*b - 603. Is n(32) a composite number?
True
Let r be (-2845)/7 - 51/(-119). Let v = 737 + r. Is v a composite number?
False
Let j = -68 - -86. Suppose j + 147 = 3*s. Is s prime?
False
Suppose d - 4*s = 6*d - 48227, 0 = 2*d - 5*s - 19271. Is d composite?
False
Let x(m) = -m**2 - 10*m + 3*m**2 + 2*m**2 - m**3 + 17. Is x(-7) composite?
True
Suppose -1308 = -3*u + 3915. Let c = u + 726. Is c prime?
True
Suppose -3*o + 5*f = -4, 0 = 3*o - 2*f - 10 - 6. Let c = o - 18. Is 16/40 + (-426)/c a composite number?
False
Let m(u) = -6 + 2*u**2 - u + 13 + u**2 + 0*u**2 + 12*u**3. Is m(3) composite?
True
Suppose l + 15942 - 53393 = 0. Is l a prime number?
False
Suppose -3*p - 2*j + 73785 = 0, 65827 = 4*p - 5*j - 32553. Is p prime?
False
Let x = 416 - 198. Let u = x + 51. Is u a composite number?
False
Is 2 - (26448/(-21) + (-3)/(-7)) a prime number?
False
Let n = 18 + 2. Suppose 0 = 4*g - n, -2*s - 1 = 4*g - 27. Suppose -3*t + s*k + 549 = 60, 0 = -4*k. Is t prime?
True
Suppose 0 = -189*w + 212*w - 243547. Is w prime?
True
Suppose 6*t + 4238 = 32*t. Is t composite?
False
Suppose -i - 7 = 4*n - 6*i, -2*n + 4*i = 8. Suppose -4*l = -j - 2749 - 9060, -j = -n*l + 5903. Is l composite?
False
Let x = 9681 + 1288. Is x composite?
True
Let o(p) = -583*p + 5. Let b be o(-6). Suppose -5*t - 338 = -b. Is t composite?
True
Suppose 5*u - 40 + 25 = 0. Suppose -v - 3746 = -3*r, r - u*v - v - 1245 = 0. Is r composite?
False
Let b(u) = -2045*u - 184. Is b(-3) prime?
False
Let w = -5554 - -15911. Is w composite?
False
Suppose -3*l + 18316 + 43673 = 0. Is l prime?
True
Is 10/((-40)/(-12)) + 5036 prime?
True
Let b be 2/(0 + 1 + -3). Let s(m) = 81*m + 8. Let v(u) = -28*u - 3. Let y(l) = -3*s(l) - 8*v(l). Is y(b) composite?
False
Suppose 0 - 12 = -4*a. Suppose a*c + 3*l = 15, -2*c + 3 = -l + 2. Suppose 0*b + b - c*q - 201 = 0, q - 1 = 0. Is b a composite number?
True
Suppose -318507 = -5*q + 7*u - 6*u, 127408 = 2*q - 3*u. Is q prime?
False
Let m(r) = 8*r**2 + 7*r + 3. Let i be m(-6). Let y = 850 + i. Is y a composite number?
True
Let i be (4 - 2)/((-1)/(-2)). Suppose -6 = i*u - u, -3*u - 3 = 3*y. Is 4 + y/((-4)/(-1564)) a prime number?
False
Suppose -98*j + 95*j = -16089. Is j a prime number?
False
Suppose 0 = -3*g + 3*f + 2079, f - 940 - 1852 = -4*g. Is g prime?
False
Let f(i) = 26*i**3 + 3*i**2 + 15*i - 39. Is f(4) a prime number?
True
Let f(s) = -2*s + 403. Let a be f(0). Suppose z + n + n = a, z + 3*n - 406 = 0. Is z a composite number?
False
Let z = 4 - 4. Suppose 576 + 630 = 9*c. Suppose z = -4*y + 5*y - c. Is y a prime number?
False
Let n = 562 + -359. Is n prime?
False
Let d(g) = 47*g**2 + 2*g - 6. Let b be d(3). Suppose b = -7*c + 2264. Is c a composite number?
False
Let s(k) be the third derivative of -k**4/4 + 3*k**3/2 - 4*k**2. Let j be s(9). Let f = 52 - j. Is f a prime number?
True
Let a(p) be the third derivative of -p**6/120 + 4*p**5/15 + 17*p**4/24 + 19*p**3/6 - 25*p**2. Is a(14) prime?
False
Let m be -5 + 1 + 22 + -15. Suppose 15 = n + m*x - 2, 5*n - 21 = x. Suppose 1390 = 2*u - 5*s, -4*s + n*s = 3*u - 2085. Is u prime?
False
Let u be 2/9 - 14/63. Let k = 2 - u. Suppose 0 = -k*r - 6 + 48. Is r prime?
False
Suppose -2*n - 4*c = -3807 - 1111, 0 = -4*n - 4*c + 9836. Is n composite?
False
Let u(y) = -14*y - 36. Let o be u(-3). Suppose -1282 = o*r - 8*r. Is r prime?
True
Let l(p) = p**3 + p**2 + 3*p + 3. Let z be l(-2). Let y = 446 + z. Is y prime?
True
Suppose z + v - 3364 = 1495, 3*z - 14585 = v. Is z prime?
True
Suppose 0 = 5*w + 2*l - 250107, 2*w - 142304 = 2*l - 42264. Is w composite?
False
Let n be 7/(-2) - (-5)/10 - -330. Let b = n +