*h = 1, -s = 3*s - 5*h - 4. Which is bigger: b or s?
s
Let n be 3/(12/(-74))*(65 - 121). Suppose -25*g - n = -32*g. Is g at most as big as 147?
False
Let i = -6263/104 + 483/8. Do i and 0.7 have the same value?
False
Let z(s) = -6*s - 132. Suppose -94 = 4*v - 2*r, 74 = -4*v - r - r. Let i be z(v). Do -54/11 and i have different values?
True
Suppose -3*m - 12 = 3*c, 0*c = -m + 5*c + 20. Suppose m = -82*d + 86*d + 56. Which is smaller: d or -8?
d
Let k = -4 - -10. Let h be 92*(-24)/40*(-5)/6. Let a = h + -39. Which is bigger: a or k?
a
Let x(w) = 80*w**2 - 19*w + 123. Let l be x(6). Let h = 37537/13 - l. Which is bigger: h or -2?
h
Let i be (-25 + 1)/((-12)/42). Let n = i + -81. Let k be 4/12*n + 0. Is k at most 0?
False
Suppose 5*d = -s - 5, 10*s - 25 = 9*s + d. Let c be 4 - s/4 - 38/(-5). Let a = 25 - 18. Which is smaller: c or a?
c
Let n = -3.72 - -2.9. Let j = n - -17.82. Let r = 12 - j. Which is smaller: r or -1?
r
Let p(s) = s**3 + 6*s**2 - 2*s. Let l be p(-6). Let v = 5 + 2. Which is smaller: v or l?
v
Let f be (-1)/(13 - (28 - 14)). Is f >= -1/16?
True
Let j(c) = 88*c + 51. Let t be (2*2/(-4))/((-18)/252). Let n be j(t). Let u = n - 139848/109. Is u < -1?
False
Suppose 8 = -0*c - 4*c. Let x = 35.1 - 55. Let z = 12.9 + x. Does c = z?
False
Suppose 4*j + 5 = 8*n - 3*n, -2*j + n - 1 = 0. Suppose 5*c - o - 33 = j, c = o - 2*o + 3. Let h be ((-2)/(-6)*-4)/((-524)/c). Is h >= 0?
True
Let s be -1 + 7 - (4 - (-13)/247*212). Which is greater: 0.3 or s?
0.3
Let k = -63452/2492247 + 1/12651. Which is smaller: 0 or k?
k
Let x = -164258/11 + 14953. Which is smaller: x or 21?
x
Let z = 67 - 43. Suppose -45*t - z = -37*t. Which is smaller: 0.23 or t?
t
Suppose -25*q = -23*q + 30. Let c(v) = 6*v**2 - 239*v - 44. Let b be c(40). Which is bigger: b or q?
b
Suppose 3*n = 2*v - 19060, 7379 = 5*v - 3*n - 40280. Which is greater: 9532 or v?
v
Let s = 6219 - 6102. Which is greater: 120 or s?
120
Suppose 0 = 4*t + 3*b - 8*b - 153, -3*t - 4*b + 138 = 0. Suppose -21*r - 21 = -t. Is r >= 36/23?
False
Let p be 90/(-2703)*584/730. Is 1 equal to p?
False
Suppose -2*h - 2*h = -56. Suppose -13*w = -2*w - 44. Suppose n = 4 + 1, w*n = -4*j + 80. Is h <= j?
True
Suppose -3*j + 2*h + 65 = 8, -h - 19 = -j. Let t(q) = 27*q + 19*q**2 - q**3 - 27*q. Let o be t(j). Which is smaller: -5/11 or o?
-5/11
Let b = -913 - -1433. Suppose -22*j = -30*j + b. Does j = 65?
True
Suppose u - 3*q - 99 = -q, -5*q = 10. Suppose 0 = 24*j - 5*j - u. Let n be -1 - (-3 + 12 - j). Are -10 and n nonequal?
True
Suppose -5*y - 3*c + 33 = 0, -5*y - 3*c = c - 34. Suppose 2*i - 104 = y*i. Let r = i + 23. Which is greater: -22/5 or r?
r
Let o = 314.4 + -317.5. Which is smaller: -1.5 or o?
o
Suppose -29*x + 99 = -6919. Suppose x = 2*d - r, 2*r = 5*r - 6. Is d bigger than 122?
False
Suppose t - 10*t = -36. Let l(m) = m**3 - 6*m + 6. Let b be l(t). Is 46 not equal to b?
False
Suppose -62*n - 9548 = 13206. Which is greater: -368 or n?
n
Let c = 3955 - 3945. Suppose 19 = 4*z - 45. Let p = 27 - z. Is c <= p?
True
Let o be (-702)/128583*(-56)/6. Is 0 less than or equal to o?
True
Let u = 64 + -59. Suppose 4*o = -16, -r + u*r + o = -76. Let j = -7.3 - -7.4. Does r = j?
False
Let y be (-588)/(-42)*2/(-7). Let c be (y - -4)/(-1 + -1 + 4). Let k be 2/46*1/2. Is k not equal to c?
True
Suppose 2*x = 2*h - 16, h + 28 = 3*h - 5*x. Let o be ((h - 1) + -24)*(-7)/(-105). Which is greater: 0 or o?
0
Let x = -116 - -94. Let h be ((-482)/(-60) + -8)*x. Which is smaller: h or -2?
-2
Let a be (-3 - (-100)/36) + (314692/(-36))/7. Which is smaller: -1246 or a?
a
Suppose -5*r + 5091 = 2*k, -4*k = 3*r - k - 3051. Suppose -7*q + r = -122. Suppose -2*i = -q + 1. Is i > 81?
False
Let s be (80/(-6))/(2/(-6)). Let x = 800 + -556. Let i = x + -204. Is s greater than i?
False
Let q be (-135)/2025*((-604)/(-14) + 1). Which is smaller: q or -4?
-4
Let f be (61/122)/((-1)/(-2)). Which is smaller: 2/2859 or f?
2/2859
Let x(k) = -16*k - 15. Let y be x(-12). Suppose 2*t = 2*z - 25 - y, -5*z - 475 = 5*t. Let q be (-2)/(-8) + t/(-88). Is q != 2?
True
Let p be (-49)/7*(-36)/(-14). Let b = 20 + p. Suppose -2*g - 7 = 5*v, 0 = 2*v - 7*v + b*g - 23. Which is bigger: -2 or v?
-2
Let z be 30*(-1)/(-3)*5/5. Let t be (-6)/9 + z/6. Let j be 3/6*((-20)/(-6))/t. Are j and 0.1 non-equal?
True
Let i be (-3)/(-4)*2*22. Suppose u - 3*y + 25 = 22, -11*u - 1 = -y. Suppose u - i = -3*f. Does 8 = f?
False
Let b be -5*(-5)/100 - (-287)/(-188). Let g = b + 417/658. Is g at most 0?
True
Let m = 26489 + -26514.954. Let t = 0.046 - m. Let z = 26.1 - t. Which is bigger: 0.2 or z?
0.2
Suppose 98 = -9*y + 179. Let h be (185/(-10))/(1/(-2)). Suppose -39*d + h*d = 0. Is y not equal to d?
True
Let d(o) = o**3 + 78*o**2 + 135*o + 302. Let p be d(-76). Is p smaller than 1594?
False
Let v(t) = 26*t**3 - 6*t**2 + 10*t - 14. Let n be v(2). Which is greater: n or 183?
n
Let z = 156 + -187. Let r = 36 + -50. Let h = r + -18. Which is bigger: z or h?
z
Let k = -18531 - -11404. Is k bigger than -7125?
False
Let f = -36 - -36. Suppose -2*d + 8*l + 24 = 4*l, 3*d - 3*l - 21 = f. Let y be (-52)/65*(-15)/6. Is y less than d?
False
Let y be (-448)/70*(-680)/4. Is y > 1088?
False
Let r = 302.357 - -1.773. Let h = 306 - r. Let t = h + 0.13. Which is bigger: 4 or t?
4
Let d(m) = -10*m**2 - 3*m - 1. Let w be d(-3). Let h = -0.26194 - 0.03806. Is h > w?
True
Suppose -6*z - 6090 = -16*z. Let m = z - 3643/6. Is m smaller than 3?
True
Suppose -4*j = 5*u - 7, 5*j + u - 2*u = 16. Let g be -12*(0 - (-4)/(-8)). Suppose -j = -g*a - 9. Is a at least as big as -1/4?
False
Suppose 255*k - 48*k = 6248 + 28942. Does 172 = k?
False
Let w = -0.0329 - 322.9671. Let l = w + 194. Which is bigger: 0 or l?
0
Let m = 40122 - 40113. Suppose -3 = 4*c + 9. Let i = c + 13. Is m <= i?
True
Suppose -1679 = -7*c - 2890. Which is smaller: c or -866/5?
-866/5
Let s be 362/144 - 4725/2520. Is -15 at most as big as s?
True
Let k be (7 - 365/10)/(-14 - -1). Which is smaller: k or 1?
1
Let z = 17537 - 17538. Let b be 2/(-7) - (-2801)/28. Let x = b + -101. Is x greater than z?
False
Let j(x) = -x**3 + 8*x**2 - 8*x - 1. Let i be j(7). Let w be ((-1)/i)/(3 - 5348/1784). Is w greater than 55?
True
Let p be ((-41)/(-4))/((-1)/(-4)). Suppose -3*s + 14271 = s + 3*o, 6*o - 6 = 0. Suppose -3573*r + s*r = -252. Which is smaller: r or p?
p
Let u be ((-4)/3)/(4/6). Suppose -5*h + 4*h + 5*s = 25, 3*s - 6 = 0. Let t be h/(-2)*-3*2/24. Is t > u?
True
Let u = -156 + 158.96. Let s = -3.4 + u. Let z = -0.276 + 0.376. Is s at least z?
False
Let f(b) = -8*b - 3. Let k(m) = -1. Let a(g) = -f(g) - k(g). Let c(z) = 4*z**2 + 10*z + 3. Let p be c(-2). Let r be a(p). Which is smaller: r or -13/4?
r
Let i = 10640/351 - 396/13. Let r(a) = 2*a - 44. Let p be r(20). Let f(v) = v**2 + v - 13. Let g be f(p). Is i at most as big as g?
False
Let c(a) = 4*a**2 + 66*a + 21. Let p be c(-7). Which is smaller: p or -247?
-247
Let i = -441 - -440.38. Let m = 0.52 + i. Which is greater: m or 5/3?
5/3
Let p = -45 + 45.36. Let a = p + -0.06. Let o = -261 + 259.5. Do a and o have the same value?
False
Let h(f) = -2*f**3 + 104*f**2 + 102*f + 211. Let o be h(53). Is -10/841 smaller than o?
False
Let p be ((-174)/(-130))/(1491/1065). Is 2 <= p?
False
Let d = 18790 + -19224. Is d equal to -1/2?
False
Let y be (-276)/(-139) - 2 - 0. Let v(h) = 3*h**3 - 378*h**2 - 6817*h + 141. Let c be v(142). Which is smaller: y or c?
c
Let j be 4*(6/(-15))/(12/15). Let r = 87 - -36. Suppose 3*m - r = 9. Is j bigger than m?
False
Let n = 43 + -43.002. Let w = n - 0.448. Let h = -0.25 - w. Is h not equal to -8?
True
Let m(x) = 15*x**2 - 25*x + 27. Let s be m(1). Let i = -3 - -24. Do i and s have the same value?
False
Let k = -26.31 + 26.61. Is 0.8 < k?
False
Let p = 62.02 + -62.12. Is -648/7 greater than p?
False
Let v = 346 - 345. Which is smaller: -8/869 or v?
-8/869
Let i(d) = d**2 - 11*d + 37. Let g be i(6). Let h be (-3160)/1320 + g/(-3). Which is smaller: -5 or h?
-5
Let a = 2.1 + -1.8. Let h be 3753/(-12) + 6/(-24). Let v = -303 - h. Is v less than or equal to a?
False
Let g be 55/385 + 5755/(-7). Let k = -827 - g. Let z = 17 - 26. Is z < k?
True
Suppose 101*d = -13877 + 41450. Which is greater: d or 274?
274
Suppose 3*w - 21 = -4*s, s - 24 = 4*w - 14. Is 1/12102 at least as big as w