/((-2)/12) a prime number?
True
Suppose 231*d - 240*d + 36171 = 0. Is d a prime number?
True
Suppose -3*q + 260 = -n + 70, 0 = -4*n + 20. Let u = 70 - q. Suppose u*k = 930 + 315. Is k prime?
False
Suppose 0 = 39*s - 36*s - 9, -d - 2*s + 156035 = 0. Is d composite?
True
Let b be ((-12)/5)/((-42)/(-280)). Let m be (b/(-48))/((-1)/(-24270)). Suppose 6*k - 4*d - m = 4*k, 4*d - 16204 = -4*k. Is k composite?
False
Let v(s) be the second derivative of -19*s**4/3 - 5*s**3/6 + 5*s**2/2 - 2*s. Let n(l) be the first derivative of v(l). Is n(-3) a composite number?
True
Suppose 101*b - 128529 = 92*b. Is b prime?
True
Let x(f) = -520*f + 5359. Is x(-10) composite?
False
Suppose -7*l + 2*v = -2*l - 22705, -l + 5*v + 4564 = 0. Suppose -100*u + l = -97*u. Is u a prime number?
False
Suppose 4*f - 23 = -11. Suppose 0 = -f*x - 5*d - 18 - 7, -x + 2*d + 10 = 0. Suppose -2*o = o + 2*r - 1541, x = 4*o + r - 2063. Is o a prime number?
False
Let h(z) = -z**2 + 4*z + 37. Let q be h(9). Is (4 + (-13 - q))*-16381 prime?
True
Suppose -18840 = -4*x + 61*z - 60*z, 5*z + 20 = 0. Is x composite?
True
Suppose 4*b + 4*t = 124, b + 129 = 5*b + 5*t. Suppose b*m = 66*m - 150200. Is m a prime number?
False
Let t = 74 + -72. Is t/(-5) + (1 - (-8684)/10) a prime number?
False
Suppose -44*z = -202590 - 312430. Is z composite?
True
Suppose 467522 = -161*n + 12*n + 3789775. Is n prime?
False
Let h be 0 + 0 + -3*10/(-15). Suppose 5*n = -h*p + 5611, 20*n + 1124 = 21*n + p. Is n a composite number?
True
Suppose 19*s = 32*s - 16601. Suppose 8*y - 843 = s. Is y a composite number?
True
Let h = 872 + -217. Is h*5*2/20*2 a prime number?
False
Let c(t) = t**3 - t**2 - 4*t - 1. Let v be c(3). Suppose v*r + 5 = 30. Suppose b - r*b - 2*n + 724 = 0, -4*n = b - 181. Is b composite?
False
Let s(o) = -590*o**3 + 42*o**2 - 2*o - 7. Is s(-6) a prime number?
False
Let t(h) be the third derivative of -503*h**6/60 - h**5/20 + 7*h**4/24 + 17*h**3/6 + 79*h**2 + 2*h. Is t(-2) composite?
False
Let a(p) = p + 6. Let b be a(4). Suppose -m - 7*u + b*u - 12 = 0, 3*m = -5*u + 6. Is (-521 - 0)*3/m prime?
True
Suppose 4*p = -3*t + 1976967, -19*t + 658982 = -18*t - p. Is t a prime number?
False
Let m(u) = -6*u - 132. Let p be m(-22). Is (6 - 2399)*(p + -1) a prime number?
True
Suppose 108211 + 104768 = 3*t + 3*d, 4*d = -5*t + 354963. Is t prime?
True
Suppose 3*x - 2*y - 591672 = 0, 3*x - 8*y = -4*y + 591678. Suppose 56*s - 87*s + x = 0. Is s a prime number?
False
Let f be 5/(10/(-7885)*1/(-4)). Suppose -5*x = -5*a - f, 930 = 4*x + 4*a - 11646. Is x a prime number?
False
Let c(k) = 7*k**2 - k + 1. Let b be c(1). Suppose -4*t = -5*z - 9907, -4*z = -t + 2274 + 200. Suppose b*a - 13*a = -t. Is a prime?
False
Let a = 169 - 262. Is (84/18 + -5)*a prime?
True
Suppose 0 = -2*v + 5*c + 44850, v + 16*c = 14*c + 22407. Is v a prime number?
False
Let z(f) = 10*f**2 - 8*f + 20. Let c = -19 - -25. Suppose -2*w + 44 = -c*w. Is z(w) a prime number?
False
Suppose 7*y - 1114124 + 191531 = 0. Is y a composite number?
True
Is ((-36)/3 - (-15 - -5))/((-8)/5033804) prime?
True
Let h(k) = -k**3 - 16*k**2 + 7*k + 11. Let u be h(-11). Let c = 1556 + u. Suppose 4*f = 383 + c. Is f a prime number?
True
Suppose 3832*q + 5264285 = 3845*q. Is q prime?
False
Let p = -238 + 595. Suppose p*h - 355*h = 4258. Is h prime?
True
Is 3/(-9)*(10 + -305269) a prime number?
False
Suppose 0 = -7*a + 221956 - 12621. Suppose 0 = -38*n + 9501 + a. Is n composite?
True
Suppose -325241 = -65*b + 58*b. Is b composite?
True
Suppose -5*o = 5*p - 455900, 303*o - 302*o - 4*p - 91195 = 0. Is o composite?
False
Let c(x) = -24249*x**3 - 4*x**2 + 24*x + 55. Is c(-2) a prime number?
False
Suppose -8*z + 6*z = -728. Suppose -7*u - a = -2*u - 446, z = 4*u - a. Let r = 703 - u. Is r a prime number?
True
Suppose 0 = -7*i + 3*i + 4*b + 32, 0 = -3*i + 5*b + 34. Suppose -i*f = -1381 - 5498. Is f a prime number?
True
Is (12/(-32))/((-6)/776)*(-13 - -4931) prime?
False
Let w be (0 + -2)*(-63)/42. Suppose -12 = -2*d - d. Suppose 2804 = z - 3*a, -11225 = -0*z - d*z + w*a. Is z composite?
True
Let o(d) = -9717*d**3 + 3*d**2 + 35*d + 106. Is o(-3) prime?
True
Suppose 3*x - 1027 - 2819 = 0. Let d be (345/(-92))/(4/(-176)). Suppose -y + x - d = 0. Is y a composite number?
False
Let v(u) = 21*u + 130. Let r be v(-6). Suppose -7*c + 12 = -3*c - 5*o, -5*o = 3*c - 9. Suppose -80 - 166 = -2*l - 4*g, c*g = r*l - 514. Is l composite?
False
Suppose 2*n + 10897 = 5*g, 5*g + 0 = -5. Let s = n + 11182. Is s prime?
False
Let d be (5 + 0)/((-2)/538). Let k = 3718 - 6036. Let v = d - k. Is v a prime number?
False
Suppose -8*b = -b - 4473. Let q = 3632 + b. Is q prime?
True
Let l(h) = -668*h + 1. Suppose 2 = p - 3*w, 0 = w - 1. Suppose -3*z + 2 - p = 0. Is l(z) a composite number?
True
Let s = 68 + -67. Let k(g) = 3164*g**2 + 5*g - 6. Is k(s) composite?
False
Let r(q) = -345*q + 7 + 384*q + 3 + 9. Let m = 22 + -14. Is r(m) a composite number?
False
Let a(k) be the second derivative of k**5/20 - 5*k**4/12 - 11*k**3/6 - 11*k**2/2 - 15*k. Let t be a(7). Is 848 - (t - (-5 + 10)) a prime number?
False
Is (-7885420)/(-80) - (-5)/((-80)/12) prime?
False
Let w be 1287/156*16/(-12). Let f(v) = -106*v + 30. Let o(a) = 21*a - 6. Let k(z) = -2*f(z) - 11*o(z). Is k(w) prime?
False
Let x = 668 - 441. Suppose 0*n - n = -r + x, 462 = 2*r - 4*n. Is r a prime number?
True
Let i be 0/1 + -3 + (-2 - -14). Suppose 0 = 2*n - 245 + i. Suppose 2*a = -n + 896. Is a composite?
False
Suppose -5*z + 363 + 767 = 0. Suppose -6*b + 3148 = z. Is b a composite number?
False
Let k(f) = f**3 + f**2 - 28*f - 865. Let h be k(0). Let c = 8844 + h. Is c a composite number?
True
Let k(j) = -2*j**3 + 11*j**2 - 25*j + 69. Is k(-17) a composite number?
False
Let d be 3/(-12)*(0 + -4). Let v(l) = -39 + 20 + 79*l + 36*l + 17. Is v(d) prime?
True
Let u = -346 + 349. Suppose -u*i + 6079 = 4*y - 450, -2*i = 3*y - 4897. Is y prime?
False
Suppose 0 = 58*q - 55*q + 5706. Let p = -9 - -17. Is (4/p)/((-3)/q) prime?
True
Suppose 53201827 = 342*y + 18426925. Is y composite?
False
Let t(f) = 101*f**2 + 49*f - 144. Is t(17) composite?
True
Let t be 2/6 - ((-44)/(-6) + -7). Suppose t = -4*x + 3674 + 1770. Is x a prime number?
True
Suppose -8*g + 8 = -0. Let h be 9 + 5 - (g + -2). Is (-956)/(-6)*h/10 a prime number?
True
Suppose -38695 = 10*i - 2985. Let h = i - -29942. Is h a composite number?
False
Suppose 0 = 16*c - 73 + 25. Let t = -2429 - -3844. Suppose 15 = 3*v, 5999 + t = c*n - v. Is n a prime number?
True
Let g(s) = 473*s - 8. Let t(x) = x**2 + 6*x - 19. Let m be t(-8). Let p be g(m). Let d = p + 2868. Is d prime?
False
Let b(v) = v**3 + 21*v**2 - 54*v - 31. Let c be b(-23). Suppose 143*f = c*f - 32740. Is f composite?
True
Suppose 16 = 2*z + 2*r, -3*z + 6 = -13*r + 10*r. Suppose -a = 2*x + a - 9914, 24765 = 5*x - z*a. Is x composite?
True
Suppose 3*q = -10*q + 147459. Suppose 4*p - q = -u, -3*u + 25 = -8*u. Is p composite?
False
Suppose 0 = -4*i - 20, -4*i = 29*u - 34*u + 35. Suppose 0 = 2*p + 6, u*c = -2*p + 101837 + 29230. Is c a prime number?
True
Let y(m) = -5*m**2 - 37*m - 58. Let g(f) = 9*f**2 + 75*f + 113. Let t(i) = 6*g(i) + 11*y(i). Is t(22) prime?
False
Let w(p) = 34074*p**2 - 20*p - 41. Is w(-2) a prime number?
False
Is (-12758)/(-12)*(-213 + 531) composite?
True
Suppose 3*o - 22 = -8*o. Suppose o + 5 = q + a, -3*q - 14 = -4*a. Suppose -2*v = 4*i - 426, 0*v + 5*v - 1125 = q*i. Is v composite?
False
Let m = -98345 - -143254. Is m a prime number?
True
Let w(t) = t**3 + 156*t**2 - 708*t + 778. Is w(-151) prime?
False
Let n(c) = 4*c**3 + 17*c**2 + 14*c + 21. Is n(16) a prime number?
True
Is (1 + 2094 - -4)*(-185)/(-5) composite?
True
Let m = -437 + 435. Is (m/(-3))/((-94)/(-3915147)) composite?
False
Let r(u) = -36572*u + 6819. Is r(-10) composite?
False
Let c be 185/35 + -5 + 124/7. Suppose -3*x + 17 = 2*v - v, -2*v - 2*x = -c. Suppose -v*m + 1549 = -2*u, -2*m - m = 3*u - 942. Is m a composite number?
False
Let z = 40398 + 11345. Is z a prime number?
False
Let l(w) = -17*w**3 - 3*w**2 + 16*w + 71. Let a = 813 - 818. Is l(a) a prime number?
False
Suppose 0 = x + 2*x - 64*x + 102785. Is x prime?
False
Let l(h) = -1558*h + 133. Let x be l(14). Let r = 32330 + x. Is r a prime number?
True
Is (-21779023)/(-51) - (-8)/36*-3 a composite number?
Fal