s b <= g?
True
Let b(a) = -a - 2. Let j be b(0). Let g = j - -4. Let p = 15941/22559 - 1/1327. Is g greater than p?
True
Let w be (-1 + 81)/10 - (-4)/2. Suppose 0 = -w*p - 4979 + 1499. Do -348 and p have the same value?
True
Let q = 390.9 - 389.9. Which is bigger: q or 76?
76
Let k(n) = -16*n**3 + 3*n**2 + 2*n. Let c be k(-1). Let z(r) = 6*r**2 - 64*r - 9. Let m be z(11). Is m not equal to c?
True
Let d be (20/(-150))/((-486)/(-555)). Is d != 1?
True
Let r(u) = 5*u**3 - 5*u**2 + 2*u + 4. Let m be r(3). Let z = m - 82. Suppose -26*c = -20*c - z. Are -0.2 and c nonequal?
True
Let g = 2 - 2. Let m = 407 - 70412/173. Which is bigger: g or m?
g
Let x = 147 - 144. Let r be x - ((-884)/(-222) - 1). Is 1 at least as big as r?
True
Let t(l) = -4*l**2 + l + 122. Let f be t(-7). Which is bigger: -40 or f?
-40
Let m = -2 - -194. Let v(d) = -2*d**3 - 48*d**2 + 172*d + 463. Let k be v(-27). Which is greater: k or m?
k
Let n(l) = -8*l**3 - 213*l**2 - 75*l + 554. Let k be n(-26). Let i(b) = -3*b**3 - 5*b**2 - 7*b - 7. Let j be i(6). Is k >= j?
True
Let s = 2.94 + -0.04. Let w = 4.986 + -0.086. Let x = s - w. Are -4 and x equal?
False
Suppose -4*a = -3*s + 390, 40*s - 39*s + 398 = -4*a. Is a greater than or equal to -70?
False
Let p = -21 - -20. Let i be 1*(p + 4)*-1. Let d be i/((-84)/296) - 5. Which is greater: d or 6?
6
Suppose 5*i = -2*p + 450 + 607, 3*i - 5*p - 628 = 0. Let d = i - 207. Which is smaller: d or 8?
d
Let b = -63 - -48. Let g be 2652/14 - b/(-35). Suppose 0 = -11*u + 86 + g. Is 25 <= u?
True
Let i = -13102 - -13097. Is 6/41 bigger than i?
True
Let n be ((-20)/(-8) + -1)*52/39. Is n at least -0.1028?
True
Suppose 0 = 3*c - 3, -3*p + 5*c = 7085 - 480. Let v be (-2)/(p/(-555)) + (-5)/(-10). Which is bigger: v or -1?
v
Let u(w) = 1 - w**3 + 4*w + 5*w**2 - w**2 + 4*w**2 - 5*w**2. Suppose 65*l + 36 = 74*l. Let h be u(l). Is h >= -3?
True
Let l(j) = 2*j**2 - 148*j - 1703. Let b be l(-11). Which is smaller: 149 or b?
149
Let j = -2915.9 - -3108. Let f = j - 192. Is f at least 0.199?
False
Suppose 0 = 20*t - 2182 + 8602. Which is greater: t or -311?
-311
Let u = 89.11 - 91.11. Which is smaller: -0.705 or u?
u
Let q(m) = -m**2 + 69*m - 680. Let z be q(13). Is z less than or equal to 64?
True
Let m = -0.07149 + 0.03149. Is m less than 71?
True
Suppose -244 = -5*t + 858 + 363. Is 272 less than or equal to t?
True
Let h = -3628 + 4470. Which is smaller: 850 or h?
h
Let b = 0.04 - 0.07. Let l = -563 - -550.8. Let y = -12.5 - l. Are y and b unequal?
True
Let h = -110 - -65. Let n = h + 49. Suppose 5*v = n*s - 2 - 3, 0 = 3*s - 15. Is 4 at least v?
True
Let d = 403/7 + -46359/805. Let u be (-32)/(-72) + 160/(-360). Is d less than u?
True
Suppose w + 19 = 23. Suppose -4*x = -q - 116, 3*q + 145 = w*x + 29. Suppose -u + 5*h = -0*h - x, -4*h = 0. Which is smaller: u or 28?
28
Suppose 135473 = -54*m - 129667. Are -4910 and m non-equal?
False
Let j be (4/18)/((-4)/(-36)). Let a be ((-4)/(-20))/(j/(-10)). Is a smaller than -16/21?
True
Let y be -21 + 216/24 + 13. Is y > 33/904?
True
Let i be (-2 - -3) + -10 + 6. Let v be (-885)/285 + i/(-1). Let t = -6.1 - -6.1. Which is smaller: t or v?
v
Suppose 3*s + 2*s - 4*j = 82, 0 = -4*s - j + 53. Let i be 12/63*9 - (-4)/s. Let a be (4/26 + i/(-13))/1. Which is greater: a or 5?
5
Let u = -13982 - -8138. Let y be (-1)/(-3) + u/36. Is -161 less than y?
False
Let a = 0 - 0. Let i = 82.53 + -158.53. Which is greater: a or i?
a
Let p(r) = r**2 - 7*r - 10. Let t be p(8). Let y be 2 + t/(24/21). Suppose 4*l = 3*z - 0*l + 12, z + 3*l - 9 = 0. Which is bigger: y or z?
y
Let x be (-30)/9 + 68476/(-2040). Which is bigger: -36 or x?
-36
Let p(a) = a**3 + 43*a**2 - 2*a + 58. Let t(d) = 6*d + 41. Let x be t(-14). Let g be p(x). Which is smaller: 287/2 or g?
287/2
Let f = -0.4 - -0.32. Let y = 10801.9 - 10802. Is y >= f?
False
Let l = -52/11 + 3714/781. Suppose -211 = 11*m + 856. Let o = m + 97. Are l and o non-equal?
True
Let i(k) = 6*k + 12. Let y be (-22 - -10)*(0 - (-6)/8). Let z be i(y). Let r(f) = -f**3 - 10*f**2 - 2*f + 21. Let o be r(-9). Is o <= z?
True
Let n = -2.964 - -1.964. Is n less than 50/271?
True
Let c be 2*(-1 + 8/4). Suppose -3*p = c*p - 105. Suppose -101 = -2*s - 51. Are s and p equal?
False
Let r be ((-29)/(-1 - -1 - 1))/((-7272)/2101608). Is -8381 greater than r?
False
Let k be 1 + (4 - (1 + -3)). Let z be 3*(5/(-90)*30)/((-28)/36). Which is smaller: z or k?
z
Let s = -294.625 - 3.175. Let v = 298 + s. Which is smaller: -13 or v?
-13
Suppose -13*y + 471 = -3*k - 16*y, 4*k - 3*y = -642. Which is greater: k or -169?
k
Let r = -6190 + 43222/7. Let q = -3463/224 - r. Which is greater: 0 or q?
0
Let j = 44.74 - 55.74. Is -2/1009 < j?
False
Let t be (-4 - -3)*(-5)/(-5) + 30/45. Let k = -658 + 26984/41. Is t > k?
False
Suppose 8*d - 2 = 14. Suppose y + 6 - d = 0, 0 = -4*h + 2*y + 16. Which is smaller: -0.1 or h?
-0.1
Let a = -0.05513 + -2.94487. Which is smaller: 0.121 or a?
a
Let c = -450 - -412. Let u(b) = b**2 + 48*b - 70. Let x be u(c). Do -450 and x have different values?
False
Let m(y) = 9*y - 25 + 1 + 3. Let o be m(5). Suppose -4 = -t + o. Which is bigger: 26 or t?
t
Let q(d) = -33*d + 21. Let p be q(0). Let v = 20 - 14. Let z = v - -14. Do p and z have the same value?
False
Suppose -10*j - 728 = -428. Let x be (-1 - j/33)/(8/(-2)). Let f = 0 + 1. Is f at least x?
True
Let k be (-428667)/(-95262) - 36/8. Is 1 at most as big as k?
False
Let x = 1941601729397/569048250 + 35/4552386. Let d = 3412 - x. Is 1 greater than or equal to d?
True
Let n = 1809/10 + -181. Let z = -4 - -7. Suppose w + w - 5 = -z*u, -4 = -4*w. Are u and n non-equal?
True
Let t be 208/(-195) + (-5)/(-75). Which is smaller: 1/2054 or t?
t
Let k = 373 + -374. Is -1/24930 at least k?
True
Let p be 273 + (20/2)/5. Suppose p = -9*r - 139. Is r < -137/3?
True
Suppose 3*l = x - 34, 14 = -l - 3*x + 4*x. Let a(d) = d**3 + 9*d**2 - 12*d - 6. Let r be a(l). Let u be 16 - 2 - 3 - -3. Are r and u nonequal?
False
Suppose 2*y - 8*t = 5*y - 1117, -2*y - t + 736 = 0. Is y greater than 370?
False
Let z be (-3016)/(-780) - 3/((-90)/4). Suppose 5*t + 0*w + 2 = -w, z*w + 8 = -t. Let s be (7/(-21))/((-40)/18). Which is smaller: s or t?
t
Suppose -144 = -5*p - 4*l, 4*l - 200 = -5*p - 2*p. Which is smaller: p or -86?
-86
Suppose -51 - 129 = -4*a. Suppose 2*d = 3*x - 11, 24 = 4*d - 2*d + 4*x. Suppose -80 + 60 = -5*m, -d*v - 2*m + 100 = 0. Is v less than or equal to a?
False
Let w = -208811/1266 + -400/211. Is w >= -166?
False
Let s(c) = 80*c + 26. Let a(p) = -41*p - 14. Let t(l) = -5*a(l) - 3*s(l). Let q(f) = -f**2 - 6*f + 6. Let y be q(-7). Let z be t(y). Which is bigger: z or 28?
28
Let i be 5 + 2155/(-300) - (3 - 9). Let a = i - -7/12. Which is smaller: 4 or a?
4
Let d be 2/7*(-434)/(-917228). Is 0 >= d?
False
Suppose -2*r = -p - 10 - 40, 4*r - 94 = -p. Which is bigger: -12 or r?
r
Let l = 24 - 23.95. Let h = l + 0.25. Which is bigger: 3/14 or h?
h
Suppose -1521 = 8*f + 431. Let x be 6/(-2) - f/(-4). Is -316/5 less than x?
False
Let v be ((-2009)/21)/((-4)/(-36)). Do v and -3443/4 have the same value?
False
Let j(w) = 22*w - 224. Let z be j(8). Does -54 = z?
False
Let k = 0.031 - 403.031. Let b = k - -382.8. Which is bigger: 0 or b?
0
Let m = 1324 - 1164. Is m < 0?
False
Suppose -4*t + 1158 = 5*x, 3*t = -4*x + 517 + 351. Which is bigger: 293 or t?
293
Let v = -1.073 + 0.073. Which is smaller: v or -8311?
-8311
Let z be 38/(-12) - 10/(-60). Let a be (1719/(-10))/(1 + (-34)/(-8)). Let s = a + 204/7. Do s and z have different values?
True
Suppose 12 = 4*y, 474 = z - y - 593. Is 1070 != z?
False
Let d(x) = 2*x - 9. Suppose 0 = 4*p - 8*p + 12. Suppose -1 = -2*h - 2*y + p, 0 = -5*h - y + 10. Let g be d(h). Which is smaller: -2 or g?
g
Suppose 0 = -3*n + 3*h - 1773, -5*n + 271 = -h + 3230. Is n <= -591?
True
Let o(d) = 3*d**3 - 53*d**2 - 18*d + 6. Let k be o(18). Suppose -22 = -2*l - 3*h, 5*l - 4*h - 21 = -3*h. Does k = l?
False
Let o be ((-276)/(-115))/((-5)/(625/(-2))). Let y = -117 + o. Which is smaller: y or 36?
y
Suppose 0 = -8*g + 447 - 2391. Let b = g - -244. Which is bigger: 7/99 or b?
b
Let p be 110/(-252) - (-4)/18. Let d = -90.4432 + 91.2432. Is p smaller than d?
True
Let f be 168/56 + (451/(-2) - 0). Let c = f - -223. Which is smaller: c or 1/38?
1/38
Let u = -5