ppose 0 = g*i - 112 + 37. Is i prime?
False
Suppose -18*p + 92600 = 25010. Is p prime?
False
Let s be 0/((-2)/(3 - (2 + 0))). Is (6 + (-3 - s))/((-3)/(-251)) composite?
False
Suppose 4*m - 4*p + 8 = 0, -4*p = 5*m + p - 10. Suppose m*t - 2*k - 660 = -2*t, -2*t + 664 = -3*k. Suppose -4*d + 2*d = -t. Is d a prime number?
True
Let n(a) = 88*a - 291. Is n(31) prime?
True
Let h = 267 + -190. Is h composite?
True
Suppose 3*y + 3*l + 3 = -84, 5*l = y + 29. Is (52 + y)/(0 - (-1)/127) a prime number?
False
Let t = 96 + -71. Is t composite?
True
Suppose 61*u = 58*u - 3, 3*u = -3*n + 157080. Is n prime?
True
Suppose -5*f = -6 - 14, j - 14 = -4*f. Is (-1688 + -3 + 5)*j/4 composite?
True
Let h be (2 - 1)/((-8)/(-40)). Suppose -h*g - b + 4703 = 0, -1890 = -g - g + 4*b. Is g a prime number?
True
Suppose 4*f - 64005 = 91807. Is f a prime number?
True
Let x = 18 + -14. Suppose 2*f - 4*o = 7*f - 651, x*f - 496 = 3*o. Is f prime?
True
Let u(f) be the second derivative of 0 - 2*f - 11/6*f**3 - 17/2*f**2 - 1/20*f**5 + 4/3*f**4. Is u(12) a composite number?
True
Let b(o) = 1260*o + 61. Is b(13) a prime number?
False
Let t(r) = -r**3 - 15*r**2 + 25*r + 31. Let p be t(-18). Suppose 4*u = 3*k + 2186, p = u - 3*k - k. Is u a composite number?
True
Suppose -5*t + 268325 = 4*o, -22*o = -5*t - 25*o + 268325. Is t composite?
True
Let c be 8/3 - (-38)/(-57). Is 3 + 0 + (-86)/((-2)/c) a composite number?
False
Let b be 9*9/(-6)*4/18. Let n(y) = -213*y - 1. Let v(a) = -639*a - 2. Let t(r) = -8*n(r) + 3*v(r). Is t(b) composite?
False
Let t = -1748 + 2529. Is t a prime number?
False
Let h = -340 - -202. Is -1 - -3 - (-1 + h/3) a prime number?
False
Let y(u) = u**3 - 2*u**2 - u - 4. Let v be y(3). Suppose 4*p - 3*p - 201 = -v*c, 0 = 2*p + c - 405. Is p a composite number?
True
Let n = -392 + 1333. Is n a prime number?
True
Let d = 40573 - 22110. Is d a prime number?
False
Let w(r) = 510*r**2 - 293*r + 21. Is w(-10) composite?
False
Let d(t) = 8001*t - 111. Is d(2) a composite number?
True
Let h = 374 - 128. Let b = -91 + h. Is b composite?
True
Suppose -2643 + 289 = -2*o. Is o composite?
True
Let p(v) be the second derivative of 43*v**3/6 + 5*v**2/2 - 2*v. Let n(s) = -4*s - 22. Let u be n(-7). Is p(u) composite?
False
Suppose 3*a + 78 = 6*a. Suppose -a*i - 415 = -31*i. Is i a composite number?
False
Suppose -a + 30290 = -0*s + s, 5*a = 4*s - 121151. Is s prime?
False
Let y be (-1)/4 + (-555)/20. Let l = 107 + y. Is l prime?
True
Let s = 1640 + 1309. Is s a composite number?
True
Suppose 3*i - 565 + 82 = -4*z, -2*i = -10. Is 289367/z - (-2)/(-9) composite?
False
Suppose 8*h = 3*h - 40. Let o be (-4)/(h/1034) - 0. Suppose 4*q + 623 = 5*m, 3*m = 7*m + 3*q - o. Is m composite?
False
Suppose 51*b - 16 = 47*b. Is (-21)/12 + 2 + 8883/b prime?
True
Let q(h) = 2*h**2 + 2*h - 2. Let f be q(-3). Suppose -f*t + 40 = -5*t. Suppose t*c - 124 = 4*c. Is c a prime number?
True
Let d = 51752 - 28653. Is d prime?
True
Suppose -5*f - 5769 = -14*f. Is f composite?
False
Let l(g) = 1472*g + 155. Is l(18) prime?
False
Let w(k) = -51*k - 16. Let q = -19 - -14. Is w(q) a composite number?
False
Suppose -2*v + 7320 = -3302. Is v composite?
True
Suppose -10*j - 6*j + 1630832 = 0. Is j prime?
False
Suppose 0 = -0*i - 5*i + 525. Suppose 3*m = -8*g + 3*g + 549, -3*m = g - i. Is g composite?
True
Let a(m) be the third derivative of 5*m**5/12 + 13*m**4/24 + 5*m**3/6 - 49*m**2. Is a(9) prime?
False
Suppose -23*f = -9*f - 6146. Is f a composite number?
False
Suppose -18 = c - 22. Suppose -c*h + 77 = -503. Is h a composite number?
True
Let w = -125 + 230. Let b = 519 - w. Is b + (4 - 3)*1 composite?
True
Suppose 3*w + 1 - 10 = 0. Suppose 3*h - 5*r - 958 = 0, 0 = 2*r - w*r + 1. Is h composite?
True
Let a(v) = -5*v**3 + 13*v**2 + 36*v - 15. Is a(-11) composite?
False
Is -1 + 6019 + 9 + -10 a prime number?
False
Let p = 26 - 14. Suppose 5*l - 4*y = p, -3 = 3*l + y - 0. Suppose l*c = -c + 379. Is c composite?
False
Suppose 0*r + 750 = 5*r. Suppose -375 = -5*a + 5*d, -3*d = -2*a - 0*a + r. Let m = a + -42. Is m prime?
False
Suppose -5*u - 8*o = -12*o - 155698, -2*u + 62270 = 3*o. Is u composite?
True
Let r(u) = -u**3 - u**2 + 1. Let h be r(0). Suppose l + h = 0, 3*l = -7*k + 2*k - 3. Suppose 4*w + 5*o - 716 = k, -431 = -2*w - 5*o - 73. Is w a prime number?
True
Let p(o) = -o**3 + 9*o**2 + 15*o - 7. Let w be p(10). Suppose -2*n - w = j + 18, n - j = -26. Let q = 88 + n. Is q composite?
False
Let b = 28 + -22. Let d = b - -4. Suppose -13*n + d*n = -1605. Is n prime?
False
Is ((-127)/2)/((-24)/240) a prime number?
False
Let p = -38 - -26. Is (2 + 6/(-4))/(p/(-11208)) a prime number?
True
Let u(w) = 162*w**2 + 17. Is u(-6) composite?
False
Let a(x) = -139*x**3 + 4*x**2 + 3*x - 49. Is a(-5) a composite number?
True
Let w = 12 + -12. Suppose w = 3*u + x - 1, 0*x + 5 = 4*u + 5*x. Suppose 5*j - 1460 - 505 = u. Is j a prime number?
False
Suppose 0 = 5*c + 15, 4*c - 7 = -4*t + c. Suppose t*x - o - 214 = 0, -3*o + 0*o = -x + 59. Suppose -2*k = -k - x. Is k composite?
False
Let m(j) = -123*j + 1. Let w(q) = 123*q - 1. Let a(l) = 3*m(l) + 4*w(l). Is a(4) a composite number?
False
Let m(z) = -44*z + 1. Let d(h) = -h**3 + 7*h**2 + 7*h + 4. Let v be d(8). Let u(s) = -45*s + 1. Let t(o) = v*m(o) + 3*u(o). Is t(4) a prime number?
True
Let c be (-185)/(-10) - (-3)/6. Suppose c*j = 18*j + 1. Is (97 - 3/j) + -3 a prime number?
False
Let j(w) = w**3 - 2*w**2 - 8*w + 4. Let a be j(4). Suppose 0 = a*s - 2*s - 3466. Is s composite?
False
Is -1 - -2 - (-3346 + (-3 - 1)) a composite number?
True
Let x = -5643 + 11112. Is x composite?
True
Suppose 48 = 4*t + 2*b, -4*b + 7*b - 30 = -3*t. Is 3967/5 - t/35 a composite number?
True
Let v(i) = -i**2 + 4*i + 7. Let d be v(5). Suppose d*p = 7*p + 25, p + 1710 = 5*a. Is a prime?
False
Let p = -544 + 798. Suppose 2*g + l + p = 0, g + 2*l + 133 - 9 = 0. Let x = g - -179. Is x a composite number?
True
Let v(u) be the third derivative of 11*u**4/4 + 5*u**3/2 - 4*u**2. Let j be v(-8). Let n = 724 + j. Is n prime?
True
Suppose -4*i - 3*r + 22024 = 0, 51*i + 5*r - 27525 = 46*i. Is i a composite number?
True
Suppose 5*k - 38*r + 35*r - 6986 = 0, 4*k - 5*r = 5581. Is k composite?
False
Let l = 651 - 358. Is l composite?
False
Let q(x) = -x**2 - 8*x + 12. Let c be q(-9). Suppose 0*t = -c*t + 969. Is t a prime number?
False
Let d = 4484 - 2533. Suppose -4*s = 3*x - d, 3*x - 3*s = 1009 + 935. Is x a prime number?
False
Let p(c) = 227*c**3 - 2*c**2 + c + 17. Is p(3) a composite number?
False
Suppose 34*h - 5771 = 33*h. Is h a composite number?
True
Let l be (-46)/14 - 10/(-35). Let v be 3 + (l/1 - 4). Let z(d) = -18*d - 5. Is z(v) composite?
False
Suppose -2*p + p = -4*x - 140, 0 = 4*x + 3*p + 124. Is x/3*1*(-42)/4 prime?
False
Let d = 3 - 5. Let o(t) = -3*t**3 + t**2 - t - 2. Let r be o(d). Let c = r + 34. Is c composite?
True
Let i(y) = y**3 - 21*y**2 + 4*y - 37. Is i(25) composite?
True
Let o = 26451 - 12100. Is o a composite number?
True
Let h = 464 - 270. Is h a prime number?
False
Let t(k) = 510*k**2 + 10*k - 13. Is t(-6) prime?
True
Let z(n) = -551*n - 879. Is z(-44) a composite number?
True
Suppose -n = -d + 2, 2*d - 1 + 2 = 3*n. Suppose -d*c = -118 - 57. Is c composite?
True
Let r(d) = -d**3 + 7*d**2 - 5*d - 3. Let s be r(6). Suppose -2*i + 2690 = -4*y, 0*y + 4*y = -s*i + 4025. Is i a prime number?
False
Let v(k) = -40*k + 46. Is v(-3) prime?
False
Let w = -57 + 52. Let x(k) = 38*k**2 + 2*k + 11. Is x(w) a composite number?
True
Let h = -9 + 11. Suppose h = 3*o + 11. Let c = 1 - o. Is c a composite number?
True
Suppose 0 = 5*d - 8*d, k + 2*d - 3989 = 0. Is k composite?
False
Let l(x) = 185*x**2 - 22*x + 110. Is l(6) composite?
True
Suppose -28*q - 3433 = -29*q. Is q a prime number?
True
Let y be 4*(-7 + 0 + 3). Let d be y/6 + 84/(-63). Is 258 - (4 + d + -1) composite?
True
Let l = 12 + -12. Suppose 3*u - 159 = -l*u. Suppose u + 180 = c. Is c prime?
True
Let l(a) be the second derivative of -a**4/12 - 5*a**3/2 + 15*a**2/2 + 2*a. Let z(v) = -3*v + 4. Let p be z(5). Is l(p) a prime number?
True
Suppose 2*c + a - 1003 = 0, 1 = 3*a - 2*a. Suppose -4*q + 391 = -c. Is q prime?
True
Suppose 16 = 3*h - t, -5*h + 16 = 3*t - 2*t. Suppose s + 0*s - h = 2*d, -12 = -3*s + 5*d. Is (-18)/(-12) + 1486/s prime?
True
Let 