 32/(-112) - (-11344)/6090. Let x = v - -2/87. Let s = 3 - 2. Is s greater than x?
False
Let g = -3689 - -3669. Is g not equal to 21?
True
Suppose -5*y - 6*q + 3*q - 15 = 0, 2*y = -3*q - 6. Let l be (12/9 - y) + 25/(-5). Let v = -74.3 - 15.7. Is v at most as big as l?
True
Let n = -10404326/153867 - 2/21981. Which is smaller: -67 or n?
n
Let p = 695.4059 + -0.4059. Which is greater: -6 or p?
p
Let w be 688/(-4)*5/70. Let o = 959 + -972. Which is smaller: o or w?
o
Suppose -4*c - 2*y - 76 = 146, 5*c = -3*y - 275. Let g(p) = p**2 + 49*p - 271. Let l be g(-53). Which is greater: c or l?
c
Suppose -2*c + 2*t = -0*c, 3*t - 8 = -c. Let z = 72/79 + 528/1501. Is z at most as big as c?
True
Let r = 1124.8 + -1125.2. Which is bigger: r or 1926?
1926
Suppose 38*t + 844 + 2842 = 0. Which is bigger: -96 or t?
-96
Let i = 109076/15 - 7272. Are -1 and i equal?
False
Let u be (-68994)/752400 - (-2)/22. Is 0 greater than or equal to u?
True
Let q = -13306 - -12868. Which is bigger: 3 or q?
3
Suppose -16 = 2*l + 4*n, -15*l - 20 = -20*l + 2*n. Is 45/28 not equal to l?
True
Let a = 60 - 58. Suppose 17 + 3 = a*d. Is 0.5 smaller than d?
True
Let d = -8 + 10. Suppose 5*s = d*s - 12. Let p be (s + 8)*1/2. Which is greater: p or 3?
3
Let a be ((-2016)/(-7))/6*(-39)/39. Is a smaller than 10?
True
Let g = -1308885209/11053 + 118419. Let h = -88094/1823745 + g. Is -1 <= h?
True
Let b = 0.46 - 0.475. Let c = 0.435 + b. Let v = c - 10.42. Which is smaller: v or 1/2?
v
Let u = 13.378 + -6.378. Is u smaller than 162?
True
Let h = 921/14 - 29859/455. Let v = h - 1/130. Let n(q) = -5*q**2 + q - 1. Let z be n(0). Do z and v have the same value?
False
Let s = -17 - -17.4. Let t = s + -1.4. Let h be (-1)/(-2) + (-20)/(-16). Is t bigger than h?
False
Let w = -10582 + 74076/7. Are w and 688.5 nonequal?
True
Let s(a) = 5*a + 26. Let m be (-42)/10 + 2/10. Let n be s(m). Let g be 1 + (-28)/n - -3. Which is bigger: 0.03 or g?
0.03
Let x(h) = 32*h + 32. Let n be x(-4). Let u be ((-1)/4)/((-24)/n). Which is smaller: 2/1143 or u?
u
Let p be 5/(-1)*(-21)/69. Let x = p + -1/46. Let z be 5/(40/(-12))*120/(-90). Which is greater: z or x?
z
Let p be 0 + 1 - (-8 + -282). Let g be 1*-4 - p/(-72). Let z be (108/(-10))/(-9) - 4/20. Which is bigger: g or z?
z
Suppose -104 = -2*k - 2*k. Let x be 268/52 + (-4)/k. Is 44/7 greater than or equal to x?
True
Suppose b - 124 = -129, 2*w = -3*b - 1. Which is smaller: w or 4/91?
4/91
Suppose -4 = m - 16. Suppose 11*w - 431 = -167. Suppose 7*v - 5*v - w = 0. Is v bigger than m?
False
Let g(z) = -z**3 - 3*z**2 + 3*z - 4. Let k be g(-4). Let d(h) = h**3 - 23*h**2 + 16*h + 50. Let q be d(24). Let p = q + -13145/13. Which is bigger: k or p?
k
Let g = -131 - -149. Suppose -4*x + g = -6*x. Let u = -21 + 13. Which is greater: u or x?
u
Suppose q = -5*a - 0*q + 2919, 0 = 3*a - 2*q - 1754. Let r = -426 + a. Is 159 bigger than r?
True
Let x = 22/51 + -317/748. Let m = x + 8/33. Which is smaller: m or 33?
m
Suppose 15*b + 12406 + 3479 = 0. Which is greater: b or -1058?
-1058
Let n(a) = 14*a - 162. Let j be n(12). Suppose 9*b - j*b - 7 = 5*v, 2*b - 4 = 3*v. Is -14/13 less than or equal to v?
False
Let k = -36 - -35. Which is bigger: -15/386 or k?
-15/386
Let g(h) = 112*h + 59. Let n be g(-4). Suppose -16*m - 3459 = 2781. Which is smaller: n or m?
m
Suppose -2*n + 6*n = 0. Let l(k) = -3*k**2 + k - 132. Let p be l(0). Let m = p - -2768/21. Which is smaller: n or m?
m
Let g be ((-54)/27)/(10/10 + 114/(-118)). Which is greater: -11 or g?
-11
Let t be -38 - 0/(1 + 1). Suppose -4*s - 20 = 0, -3*u - 67 = s + 34. Let h = u - t. Do h and 9/2 have the same value?
False
Let o = 490 + -486.18. Let h = -6.82 + o. Is h at least as big as 19?
False
Let y = 5772 - 5771. Let l be (-4)/14 + 22/70. Is l less than y?
True
Suppose o = 5*n - 55, 18*n - 33 = 15*n + 3*o. Suppose 0 = -k + n*k - 1120. Which is smaller: k or 113?
k
Let g(i) = -i**2 + 8*i + 12. Let b be g(9). Let u(a) = -7*a + 3 - 4 - 2 - b. Let f be u(-2). Is f greater than 1/4?
True
Suppose -i - 4 = 4*m, 3*i + i - 22 = 3*m. Suppose -4*b - 4*n + 20 = 0, -5*b = -4*n - 0 + 2. Let h be i*7/(-42)*1/b. Is 0.8 greater than or equal to h?
True
Suppose 3*t = i + 26, 2*t = -i + 3*t - 28. Which is smaller: -20 or i?
i
Let p = -24/1285 + 1357/3855. Is p at most as big as 3586?
True
Let a = -2871 - -2744. Which is smaller: -151 or a?
-151
Suppose j + 1256 = 37*a - 36*a, -7*a + 4*j = -8795. Which is bigger: 1258 or a?
1258
Let n(z) = z**2 - 11*z - 23. Let b be n(12). Let m(l) = -3*l**2 - 6*l + 13. Let v be m(3). Let i = v - b. Which is bigger: 0.1 or i?
0.1
Suppose -35081 = 35*n + 3*n + 2957. Which is bigger: 2 or n?
2
Let q = -45.511 + 46. Let s = q - 0.539. Let w = 15 + -11. Which is smaller: s or w?
s
Let c be 16/(-40) + (-7)/((-105)/(-18)). Let i = -15.8 + 16. Is i at most as big as c?
False
Let t = 471 + 106. Let k = t - 558. Are 2 and k non-equal?
True
Let t = -0.04 - -263.04. Let i = t + -265. Let b be -3*2*(-2)/(-4). Is b at most i?
True
Let t be (-21 - -23)*3/(-21). Does t = -26.1?
False
Let r(m) = -m**3 - 18*m**2 + 45*m - 24. Let s be r(-20). Is s <= -136?
False
Let s = 205 - -206. Let y = 29999/73 - s. Which is smaller: y or 0?
y
Let i = 584 + -595. Let z = 723/7 + -103. Which is bigger: i or z?
z
Let n = -28824.3 - -28824. Which is smaller: n or 4909?
n
Let s(c) be the first derivative of c**4/4 - 3*c**3 + 15*c**2/2 - 11*c - 12. Let v be s(9). Which is greater: v or 123?
v
Let q = -485475974/7973 + 60890. Do 1 and q have different values?
True
Suppose -7*f + 12*f + 15*f - 240 = 0. Which is bigger: f or -42?
f
Let a be -1*2/4*50/(-1150). Let s(r) = -26*r + 131. Let p be s(5). Is a greater than p?
False
Let p = -2354 - -1024. Let x be (-3)/(-114)*4 + 368/p. Suppose 5*j = -4*z + 16, -4*z + 3*j - 14 = -2*z. Which is bigger: x or z?
x
Let h(k) = -k**3 + 11*k - 2*k + 6*k + 3 - 5*k**2 - 4*k. Let g be h(-6). Let a be ((-3)/9 + 2)/((-3)/g). Does a = 15?
True
Suppose -8*w + 1683 - 1575 = w. Is 9 > w?
False
Suppose -b + 0*b + 38 = 3*n, -97 = -4*b - n. Is -4/21 <= b?
True
Suppose -87*r + 139134 = 13*r - 742266. Are r and 0 nonequal?
True
Let q(s) = -12*s + 15. Let o be q(-10). Suppose -2*i + 5*i = o. Let k be (4/(-70))/(117/i). Is -1 at least k?
False
Let i be (8/(-6))/((-1228)/(-17499)). Does i = -118?
False
Let b(p) = 3*p**2 + 14*p + 16. Let q be b(-3). Which is smaller: 1/807 or q?
1/807
Let w be (12/(-192))/((-5)/(-4)). Let j be (-2)/4 - (-294)/680. Let m = w + j. Which is greater: m or 1?
1
Let g = 0.50235 - 8.50235. Let c = 30.057 + -0.057. Is c smaller than g?
False
Let z = -429 - -812. Let v = -382 + z. Which is greater: v or -0.003?
v
Let w be (-15)/(-45) - (-643740)/(-45). Which is smaller: -14306 or w?
-14306
Suppose -5*x + 11*l = 14*l - 17, -3*x + 19 = 4*l. Is -38/315 <= x?
True
Let s be -1 + 0 + 26 - 58/58. Let p = 76 + -115. Let j = s + p. Are j and -15 non-equal?
False
Suppose 132 = 68*q - 62*q. Suppose 19*g + 42 = 16*g - 3*y, -q = 2*g - 4*y. Do -23 and g have the same value?
False
Suppose -16*m - 95*m = 1500 - 1167. Let a be (-94)/40 + (-2)/8. Which is smaller: a or m?
m
Let l be (-10)/75 + (-707)/(-3840). Let t = -1255/15616 - l. Is t > 1?
False
Suppose 17034 = 99*l - 48*l. Are l and 337 nonequal?
True
Let r = -773.2 + 433. Let x = r - -340. Does x = 163?
False
Suppose -2*w - u = -92 - 77, -164 = -2*w - 2*u. Let m(s) = 5*s + 46. Let v be m(8). Is v <= w?
True
Let v = 226 + -219. Suppose v*t = -34 + 97. Is 46/5 > t?
True
Let x be (56/(-336))/(-1 - 75/(-27)). Which is bigger: x or 1?
1
Suppose 7*a = 9*a. Let s be (0 - -2) + a + 0. Suppose 5 = 5*i, x - 4*i + 2 + s = 0. Which is bigger: x or 2/69?
2/69
Let k = -1673/117 + 183/13. Let t = 0.32 + -0.4. Let c = -0.12 + t. Is c equal to k?
False
Let l be 6 + 12*(-13134)/(-440). Which is greater: l or 363?
l
Let s(i) = i**3 - 13*i**2 + 15*i - 28. Let w be s(12). Let a be 894/w - 1 - (-3)/12. Are a and 112 equal?
False
Let o = 205 + -33. Let n = o - 172. Is 0 > n?
False
Let t(w) = -w - 12. Let s be t(-7). Let f(b) = b**3 + 12*b**2 - 46*b + 34. Let m be f(-15). Let l = -59 + m. Is l >= s?
False
Let g = 5087 - 5079. Is g bigger than 1/86?
True
Let v(p) = -p**3 - 2*p**2 + 4*p + 16. Let t be v(-3). Let w be (30/195 - 41/t) + 121. Is w equal to 118?
True
Suppose -5*z - t + 240 = 0, 16*z