23882 - 253828. Is m a prime number?
True
Suppose -1174*b = -1165*b - 493713. Is b a composite number?
True
Let l = 6366 + -5515. Is l a composite number?
True
Suppose 0 = 146*f - 147*f - 2*h + 588547, 4*f + h = 2354237. Is f composite?
True
Let r be (-2)/8*(-768)/32. Suppose -3*f + 3 = 9. Is ((-2)/r)/(f/9066) a composite number?
False
Suppose -8*d + 0*d + 280 = 0. Let a = -40 + d. Is a + 1 + 1 - -2050 prime?
False
Let o(k) = -k + 5. Let h be o(0). Let z be (h + 1)*(-1)/(-1 - -4). Let u(l) = -69*l**3 + l**2 + l. Is u(z) a prime number?
False
Let l be (-1692112)/(-170) - (-6)/(-10). Suppose -7*o + 12986 = -l. Is o prime?
False
Suppose -209950 = -4*h + t, 3*h + 151*t - 157479 = 149*t. Is h a composite number?
False
Suppose 0 = 3*t - 62*o + 61*o - 260066, 0 = -4*o - 20. Is t a prime number?
False
Let b be 5 + (0/5 - 0). Suppose 3*u - 106 = b. Suppose u*s = 33*s + 716. Is s a composite number?
False
Suppose 73*h + 224 = 65*h. Is (-195018)/(-42) - (-8)/h composite?
False
Suppose 0 = 2*a - 2*g - 3214, -a + 5*g + 1033 + 566 = 0. Let b = 2836 - a. Is b composite?
True
Suppose -2*q - 616 = -9*q. Let m = q - 22. Suppose v - m = 385. Is v composite?
True
Is (2/(-9))/(300/(-17524350)) a composite number?
True
Let v = -2 + -9. Let r be 2576/253 - (-2)/v. Is r/(-4)*1778/(-35) prime?
True
Let m = -109 + 113. Suppose -m*r - 4*h = -2604, -5*h + 2*h = r - 641. Suppose 3*w - 43 = r. Is w composite?
False
Suppose 222*a - 5155364 + 11547815 = 49552137. Is a composite?
False
Suppose -3*a - x + 1990549 = 0, 0 = 9*x - 3*x + 12. Is a a prime number?
True
Let s(z) = 123*z - 2645. Is s(64) a prime number?
True
Suppose n = -4, 3*r = -5*n - 22 - 4. Suppose 0 = 166*f - 184*f - 288. Is r*4/f*-6 - -362 a prime number?
True
Let i be (0/(0 - -1))/(-2). Suppose -s = y + 6 - 39, 5*y + 3*s - 167 = i. Is (-3)/2 + 26197/y composite?
False
Let s(r) = -r**3 - 84*r**2 - 187*r + 213. Is s(-82) a composite number?
False
Suppose 2*n - 6 + 0 = 0. Let x be 1/n + 440/30. Is (-38)/(-3*10/x) a prime number?
True
Let m(c) = 199560*c**2 - 117*c - 118. Is m(-1) composite?
False
Let i = -87 - -91. Suppose 10 = 2*w + 4*s, -4*s + 2*s = i*w - 20. Suppose -a = w*a - 6906. Is a prime?
True
Let r = 257 + -265. Is r/(-8)*(-1 + 260) a prime number?
False
Suppose 21*i - 14 = 14*i. Suppose -4*g + i*j + 27542 = 0, -2*g - 2*j + 0*j + 13756 = 0. Is g prime?
True
Let i(c) = 142*c**3 - 2*c**2 + 4*c - 8. Let n be i(-4). Let v be ((-14)/(-8))/((-6)/n*3). Let f = 1678 - v. Is f a composite number?
True
Let k(x) = -31*x**3 - 3*x**2 - x - 3. Let j = 27 - 32. Let w be k(j). Suppose v - 3*n = w, 4*v - n - 24119 = -8900. Is v prime?
False
Let b = 134 + -141. Is 41700/18 + b + (-4)/6 a prime number?
True
Let d(p) = 4513*p**2 - 5*p + 19. Let l be d(11). Suppose 0 = -32*f + l - 116693. Is f a composite number?
False
Let h(k) = -7120*k**3 - 5*k**2 + 20*k + 134. Is h(-4) prime?
False
Let h(m) = -244*m**3 - m**2 - 4*m + 5. Let l be h(2). Let c = l + 5362. Let j = c + -450. Is j composite?
False
Suppose -108 + 88 = 4*s. Is -6 + 13 + s + 2607 prime?
True
Let i(r) = -2*r**3 - 2*r**2 + 6*r - 7. Let p be (-6)/(-2) + -1 + 3. Suppose 0 = -7*o + 8*o + p. Is i(o) composite?
False
Let o(y) = 3*y**2 - 16*y + 20. Let f be o(12). Suppose -1379 = -w + f. Is w a composite number?
True
Let j(y) = 2*y**3 + 105*y**2 + 83*y + 631. Is j(-51) a prime number?
True
Suppose -40*o + 61*o = 465486. Is o prime?
False
Is ((-5)/(-3))/((-95)/(-5347113)) composite?
False
Suppose -93*l = -12622828 + 512494 - 18988029. Is l prime?
False
Let k(n) = 94*n**3 + 13*n**2 + 8*n + 211. Is k(10) prime?
False
Is -5755*((-576)/40 + 7) composite?
True
Suppose 48*a = 47*a + 3. Suppose -a*g = 2*d - 2*g - 46, 0 = -2*d - 3*g + 50. Is (1 + -99 - 3)/((-2)/d) prime?
False
Suppose 0 = -10*a + 3*a. Let b(r) = -3*r**2 + 1193. Is b(a) prime?
True
Suppose 6211 = 2*d + r - 2048, 0 = -d + 4*r + 4143. Let h = d + 1250. Is h prime?
True
Let w(c) = -449*c - 956. Is w(-13) a composite number?
True
Let f = -451 - -416. Is (-4)/14 + 7 + (-80580)/f a prime number?
True
Let z(y) = 29*y**2 - 90*y + 2927. Is z(30) prime?
False
Let j(u) = u**3 - 4*u**2 + 3*u. Let l be j(2). Let s be -7 - l - (1 - 8). Is 11/s*1432/4 a prime number?
False
Let t(i) = 8*i - 103. Let q be t(17). Suppose -q*l - 1602 = -39*l. Is l composite?
True
Let r(c) = -260*c**3 - 4*c**2 - 8*c + 18. Let h be r(-5). Let n = h + -13481. Is n composite?
True
Let r(b) = 71*b**2 + 12*b + 19. Let y(d) = 2*d + 2. Let x be y(-6). Is r(x) composite?
True
Let p be (2 - 1)/(2629/6314 + (-3)/7). Let q be 930/8 + 2/(-8). Let a = p + q. Is a prime?
False
Suppose 27543249 + 53634732 = 687*i. Is i composite?
False
Let t(b) = 818*b + 25. Let f(z) = -z**2 - 12*z - 24. Let y be f(-6). Is t(y) a composite number?
True
Let n = 62 - 53. Suppose -n*c + c = 0. Suppose -3*h + 5918 = 4*l, h + 1483 = l - c*h. Is l composite?
False
Let x = 21583 + -1262. Is x prime?
False
Let u(f) be the first derivative of 62*f**2 - 53*f + 40. Is u(21) prime?
True
Let k(u) = -2*u + 2*u**3 - 4*u - 4*u**3 + 12 + 5*u**2 + 3*u**3. Let y be k(-6). Suppose y*w + 4108 = 16*w. Is w a prime number?
False
Let d = -3870 + 2560. Let t = d + 2559. Is t composite?
False
Suppose 5*x = 5*y - 11 - 9, y - 5*x - 12 = 0. Suppose 0 = 2*d - 0*d - y, h + d - 3974 = 0. Is h a prime number?
False
Let w = 2231372 - 1516591. Is w composite?
False
Suppose -22750 = 5*b - 5*i, 13615 = -3*b - i - 3*i. Let w = 6459 + b. Is (46/10 - 5) + w/10 composite?
False
Suppose -k + 18 + 1 = 4*l, 3*k = -5*l + 22. Let g be (-1)/l + 572/10. Suppose -m - 4*j = -3*m + 154, 0 = m + 2*j - g. Is m composite?
False
Suppose 239*l = 4631488 + 6001861. Is l a composite number?
False
Suppose -3 = 5*g + c, -4*c + 12 = -4*g - 0*c. Is ((-4971)/(-6))/g*(9 - 11) composite?
False
Suppose -5*s = 2*m - 2104, 4*m + 5*s = 2*s + 4208. Is (0/(-2))/(-2) + m + -13 composite?
False
Let l(x) = -1213*x - 237. Suppose -69 = 5*h - 3*t - 14, 2*t = 10. Is l(h) prime?
True
Let x(u) = 5*u**2 + 11*u + 16. Let k(j) = 8*j - 3. Let w be k(2). Let n be x(w). Suppose 18*z + n = 22*z. Is z composite?
False
Suppose 4960532 = 122*d - 2681919 + 963073. Is d a prime number?
False
Suppose -10*q + 6*q = -448. Let u(s) = 3*s - 12. Let g be u(5). Suppose g*n - 2 = q. Is n composite?
True
Let n = 235769 + -46132. Is n prime?
False
Let c = 185421 + -112750. Is c a prime number?
True
Suppose -10*x - x = -1715131. Suppose 3*m - 64279 = x. Suppose 20945 - m = -15*i. Is i a prime number?
False
Let t(p) be the third derivative of -p**5/60 - p**4/24 + 2629*p**3/6 - 7*p**2 + 14. Is t(0) prime?
False
Let v = -44 - -73. Suppose q - 5 = -j - 0*q, 5*q + v = j. Let r(y) = y**3 + 10*y**2 - 16*y + 2. Is r(j) a prime number?
False
Suppose 3*c + 12 = 30. Let y be (-4)/(-6) + 104/c. Let o = y + 123. Is o prime?
False
Let x(s) = 91*s + 3. Let t(j) = -47*j - 4. Let g(l) = 142*l + 13. Let w(i) = -4*g(i) - 14*t(i). Let r(a) = 3*w(a) - 2*x(a). Is r(5) a composite number?
True
Suppose 3911 = -67*m + 293. Let o be (-6 + 106)*(-8)/(-10). Let c = o + m. Is c composite?
True
Let k be (-26)/(-6) + 22/33. Suppose p + k = 9. Suppose 4*f - 4*o + 9*o = 2526, 2506 = p*f - 5*o. Is f prime?
False
Let h = 11 - 1. Suppose -h*z = 912 - 12782. Suppose -s - 2*q = -299, -4*s - 5*q + 0*q + z = 0. Is s prime?
True
Let i(p) = 10*p + 36. Let q be i(-15). Let f = q + 120. Suppose -2*k - 3*o + f*o + 2389 = 0, -2*k = 4*o - 2410. Is k composite?
True
Suppose -11*t - 443669 + 144161 = 0. Is t/(0 - 4) - (-2 - -4) a prime number?
False
Let a = -21 + 32. Let k(l) = -34*l - 123*l - a - 207*l + 69*l. Is k(-4) a composite number?
True
Is ((-262754)/(-316))/(2/284) a composite number?
True
Suppose 3 = -4*m + 5*m. Suppose -x + k = -m*x + 6213, -3*k - 3110 = -x. Let f = x + -1398. Is f a prime number?
True
Suppose -317*o - 999317 = -67*o - 4386567. Is o a prime number?
False
Let m(u) = -u**3 + 6*u**2 + 7*u + 5. Let h be m(7). Let z be (-2)/(-4)*(137 - -3)/h. Suppose -z*n - 142 = -15*n. Is n prime?
False
Is (6/(-15) + 23/20)/((-309)/(-49662068)) prime?
True
Let w be 4 + -5 - 90/10. Is 52044/18*(-15)/w prime?
True
Let o(v) = 446*v**3 + 4*v**2 - 3*v + 14. Is o(5) prime?
True
Suppose 210*r + 3573531 - 6331355 = 17219266. Is r composite?
True
Let o(t) = 2341*t - 1685. Is o(16) composite?
False
Suppose -46*y + 47*y = -3*u + 