3*m + 11 = 5*j. Let w = j - 22. Is -14 greater than w?
True
Let x = 564 + -35531/63. Let b = -23685 + 23686. Which is bigger: b or x?
b
Let m = -9226/35887 - -46/2111. Suppose -3*t = -t + 2*o, 3*o = t - 4. Which is smaller: m or t?
m
Let p be -4 - (8/(-24) - (-5369)/(-1461)). Is 1 greater than or equal to p?
True
Let w = 101 - 80. Let f be 19696/(-29598) - (-14)/w. Let d = 552550/44397 - f. Is d less than 11?
False
Let v be 151*11*(-8)/(-44). Let n = v - 416. Which is smaller: n or -109?
n
Let k(a) = 6*a**2 + 4*a + 340. Let v be k(-10). Are v and 899 equal?
False
Let v be (-2471)/273 + (-16)/(-312) - 666. Which is bigger: v or -664?
-664
Let c be (50768/56)/(-2) + -2 + (-9)/3. Is -459 less than or equal to c?
True
Let g be 7143*(-7)/147 + (-12)/(-6). Which is greater: -338 or g?
-338
Let d be (-3 - (3 + -3)) + 37. Suppose 4*x + 3*i - d = i, 4 = 4*i. Let z be (5/(-2))/(450/(-1080)). Which is greater: x or z?
x
Let z(r) = -r**2 - 11*r + 56. Suppose -6*i = -i + 5*v + 55, 5*i - 5*v = -75. Let y be z(i). Suppose -y = 3*h - 3. Is 4 smaller than h?
False
Let x(p) = 6*p**3 - 12*p**2 - 4*p + 4. Let l be x(3). Is l equal to 0.01?
False
Let w = 21/19 - 1863/1634. Which is smaller: 1 or w?
w
Suppose 0 = 3*a + 5*h + 1559, 602 = -2*a + 5*h - 479. Let m = a + 331. Is m bigger than -199?
True
Let m be ((-26)/3954)/(5 + 164/(-36)). Let p = m - 879511/239876. Let h = 48/13 + p. Is h < 1?
True
Let x = -33 - -29. Let a be (-1)/x + (-11)/44. Suppose 6 = -6*t - a*t. Which is greater: t or -1/56?
-1/56
Let w = -1333.181 + 3.181. Let u = w + 1330. Suppose 4*t = t + 42. Is u at most t?
True
Let n = -42 - -58. Let q be (n + -19)*(-1)/(-3). Let u be 4/(348/165) - 2. Which is bigger: q or u?
u
Let m = -57 - -121. Let u be (-14736)/m*12/11. Let y = 251 + u. Which is greater: y or 2?
2
Suppose 1099 + 1565 = 24*f. Let o be ((-32)/(-48))/(f/(-36)). Is 1 <= o?
False
Suppose -2*a + 222 = 4*b, -b + 17 + 35 = 4*a. Suppose -8*f + b = 368. Is f equal to -38?
False
Let g be 3/(57/26)*(-62)/(3224/78). Is -17 at most g?
True
Let n = -1428 + 2855/2. Is n greater than -745?
True
Let i be ((-2)/6*5)/((-3)/(-9)) - 69692/524. Let x(b) = -35*b**2 - b + 2. Let v be x(-2). Which is smaller: i or v?
i
Let b(a) = a**2 - 6*a - 1. Let r be b(5). Let z be (1799*7/(-168))/(1/2). Let t = 434/3 + z. Which is smaller: t or r?
r
Let g = 11778.07 + -11778. Are g and -610 non-equal?
True
Suppose 549*r = 1106*r - 541*r + 3936. Which is smaller: -1236/5 or r?
-1236/5
Let w = -3231 - -3241. Which is bigger: -6 or w?
w
Let r = -1.18 - -2.41. Let k = -1.23 + r. Let w(n) = 2*n + 4. Let l be w(-2). Are l and k non-equal?
False
Let u(i) = 82*i - 10 - i**3 + 26*i - 153*i - 15*i**2. Let r be u(-11). Is -1/67 at most as big as r?
True
Let t = 24458 + -24495. Is t bigger than 13/3?
False
Suppose 0 = -5*k + 2*f - 2432, -763 - 1176 = 4*k + 5*f. Let c = -496 - k. Is -6 < c?
False
Let s be (1 - -2) + 286/(-2). Let m be 18990/(-135) + (-1)/3. Is s bigger than m?
True
Let h = 14.7 + 52.3. Let s = -67 + h. Is -0.056 less than or equal to s?
True
Let g = 10211 + -2558. Which is smaller: g or 7654?
g
Let w be ((-3)/(-12)*2)/((-6)/(-252)). Suppose -16 = -5*f + w*f. Is -54 at least f?
False
Suppose -6*r + 1521 = -9*r + 9*p, 1937 = -4*r - p. Which is smaller: -478 or r?
r
Suppose 16*p + 2613 = 3*t + 11*p, -t + 863 = p. Is t greater than -2?
True
Let r be (-1)/2 - (-1)/2. Let u be (-15890)/(-70)*1/(-28). Let k = u + 41/7. Are r and k nonequal?
True
Let h be ((-84)/(-18))/((-14)/4). Which is bigger: -1094 or h?
h
Suppose 24*c + c = 8*c. Which is bigger: -2222 or c?
c
Let s be -4468*(4/(-12) + (-15)/(-18)). Which is greater: -2232 or s?
-2232
Let y = -4355181/677453 + 18/96779. Let i be 1 - (-3 + 2 + -2). Suppose 0 = -6*w + 2*w - 12, 0 = -i*d - 4*w - 32. Do y and d have different values?
True
Suppose 2*q = 2*m + 220, 4*q - 440 = 3*m - m. Suppose -33*r + 2208 = -1455. Let k = r - q. Which is smaller: k or -3/76?
-3/76
Suppose 6*i - 38 = 4*i. Let y = 22668 - 22652. Which is smaller: i or y?
y
Let r be (-762)/(-4) - (-8 + 8)/(-6). Do 191 and r have different values?
True
Let p = -1528.97 - -1529. Is p equal to -1/321?
False
Let f be 60/(-21) + 3 - (-21 - 2144692/462). Is f bigger than 4662?
True
Let i = -137941/90 - -5909/18. Let r = 291/10 - i. Let a = r + -1200. Which is greater: 33 or a?
a
Let j = 21583402600/31813 - 678446. Which is smaller: -1 or j?
-1
Let o = 34 - 34.31. Let m = o + 1.21. Suppose -3*r = -1 - 2. Is m <= r?
True
Suppose 3*m - 43 = u, -6*m - 75 = u - 5*m. Suppose l - b + 3*b + 57 = 0, -5*l + 4*b = 355. Do u and l have the same value?
True
Let x = 116 - 119. Let n be (x - (-4 - 2))*1. Let j = 12 + -10. Is n at most as big as j?
False
Let b = -18344 - -18343.8. Which is greater: b or -5852?
b
Let j(a) = -a**3 + 8*a**2 - 16*a + 64. Let x be j(7). Which is smaller: x or 2/13811?
2/13811
Let r = -0.2 + -0.2. Let k = -20.5 - -23. Let a = -1.6 + k. Which is bigger: r or a?
a
Let v = -1/7577481273 - -36694559263004963/4720770833079. Let r = -7773 + v. Is -1 >= r?
False
Suppose -2116 = 7*m + 243. Let j = 371 + m. Which is smaller: 32 or j?
32
Let m be (-19 + 18)*(-6 - -7). Is 1/259 smaller than m?
False
Suppose 0*v = 93*v - 11*v - 9266. Is v at least 337/3?
True
Let x = -28800 + 18821. Are x and -9979 equal?
True
Suppose -2*g + 23 = -94*k + 91*k, -25 = -4*g + 3*k. Is g equal to 127/55?
False
Let z = 20.8219 + 2.1601. Is -1 less than z?
True
Let q be (80/125)/8 + (-31292)/(-100). Which is smaller: q or 314?
q
Let f = -9562 - -14054. Is f > 4494?
False
Suppose -u - 7*u = -136. Suppose -5*c = -13 - u. Let m be ((-6)/(-12))/(c/(-3)). Which is bigger: m or -0.06?
-0.06
Suppose -2*u = 3*z - 15, 103*u = 99*u - 4*z + 20. Is 2/771 at least as big as u?
True
Let r = -2.32 - -178.32. Let g = r + -175.9. Let v = 34.3 + -4.3. Which is greater: v or g?
v
Suppose 5*k = -4*g + 8, -2 = -2*g - 5*k + 2. Suppose 5*y = g*m + 2*y - 11, 5*m - 5*y - 20 = 0. Let p be (2/(-30))/((-6)/195). Are m and p equal?
False
Let o = -28.185 - -30.192. Is 2 greater than or equal to o?
False
Suppose 2*j - j = 4*d, -j = -d. Let u = -12410203 + 21705444248/1749. Let f = 21/53 + u. Is f less than or equal to d?
True
Let r = -6 + 5. Let i = 11 + -16. Let f = -5.1 - i. Which is bigger: f or r?
f
Let k(f) = 15*f - 2. Let n be k(4). Suppose -2*h - 38 - n = 0. Suppose 149*o = 4*t + 145*o + 224, 3*o = 4*t + 217. Is h <= t?
False
Let j = -614.712 - -615. Let l = 0.012 + j. Is l not equal to -0.043?
True
Let v be -8 - (-6 + -2 + 2). Let w be (-528)/(-36)*2/(-16). Which is bigger: v or w?
w
Let y = 229188/5 + -46935. Do -1098 and y have different values?
True
Let h(v) = 9*v - 1. Let t(k) = -2*k - 4. Let y be t(1). Let m be h(y). Are -54 and m equal?
False
Let o = 1.5 + -3. Let x = o + 23.5. Let r = 19 - x. Is 0.2 greater than r?
True
Let h = -9402 + 9406. Do h and -344 have different values?
True
Suppose -b = 3*a - 20, 0 = a - 4*a - 3*b + 12. Let s be (0 + 32)/(-1 - (-12)/a). Let z(o) = o**3 - 7*o**2 + o - 9. Let i be z(8). Is s equal to i?
False
Let z = 0.49 - 0.07. Let c = 13.58 + z. Let b = 17 - c. Is 1/2 > b?
False
Let a(p) = -2*p**2 - 31*p + 21. Let t be a(-16). Suppose -19 + 4 = -d - t*x, -d = -5*x + 35. Let n be (6 + (-15)/d)*8/(-6). Do n and -9 have different values?
True
Let w be ((-15)/(-10) - 0)*(-6 - (-988)/(-18)). Which is smaller: w or -90?
w
Let t = 165 - 163.37. Let x = t + -0.63. Do x and -21/4 have different values?
True
Let w = 139661 + -332084. Let o be 1 + (-39)/33 + (-34524)/w. Which is greater: 1 or o?
1
Suppose 0 = -0*v - 7*v + 84. Suppose -9*i = -3*i - v. Let o = 21 + -17. Which is smaller: o or i?
i
Let j(x) = -2*x - 26. Let o be j(-6). Let i be 5243/o - (-5)/(-10). Is -376 bigger than i?
False
Suppose -2*s - 286693 = -3*p, 41557 = s + 3*p + 184917. Let r = -2151142/15 - s. Let x = r - -173/3. Which is smaller: x or 0?
x
Suppose -d - 11666 = 5*i - 60030, 0 = -d - 1. Which is bigger: 9672 or i?
i
Suppose -61 + 26 = -5*z. Suppose -55*o + 3*o - 9932 = 0. Let w = o - -199. Which is smaller: z or w?
z
Let q = -0.13 - 4.87. Let p = -22.78 + 24. Let z = -1.32 + p. Are q and z equal?
False
Suppose -11*p = -18 - 15. Suppose -14*s - 1802 = p*s. Which is smaller: -1 or s?
s
Let g = -25 + 33. Suppose 5*p = g*t - 4*t + 27, 5*p - 2*t - 21 = 0. Let a = 94 