False
Let s = 124 + -169. Suppose q = 3*w - 44, 4*w - w - 132 = 3*q. Is s bigger than q?
False
Let b be 3/2*(-4 - 250/3). Let d = 192 + b. Let u = d - 62. Are -3/2 and u equal?
False
Suppose -202*y = -163*y + 2769. Which is greater: y or 1.4?
1.4
Let w(k) = k - 1. Suppose -4*a - 3*t + 13 = a, t = 2*a - 3. Let z be w(a). Let y(f) = 5*f + 2. Let u be y(z). Does u = 8?
False
Suppose 4*k + 5*s = -0 - 12, 3*k - 2*s = 14. Let f be (1449/35)/9 - (-4)/10. Suppose -k*h = -23 + f. Are 31/3 and h non-equal?
True
Let x(j) = 311*j - 7253. Let v be x(23). Is v equal to 1?
False
Suppose 36*h - 33*h + 3*w + 21 = 0, -3*w - 16 = 2*h. Let b = -460/123 + 3/41. Is h at least b?
False
Let n be (-78457)/(-335) - 1/5. Suppose 1876 = 4*o + 2*u + n, -3*o + 4*u + 1204 = 0. Does o = 407?
False
Let o = -15963/36569 - 1/3783. Which is bigger: 0 or o?
0
Let t(k) = -2*k**2 - 108*k - 306. Let x be t(-3). Is x <= -11/314?
False
Suppose -4*l - 2*g - 21 = -7*g, -4*g = -20. Let r be -2*(-18)/(-534)*l/21. Which is greater: 1 or r?
1
Suppose 4*q = g - 7959, 4*g - 4*q - 31892 = -2*q. Let d = g - 3237847/406. Do d and -1 have the same value?
False
Let b = 3/3803 - -9489/2433920. Which is smaller: -1 or b?
-1
Suppose 34 = -3*i + 4*q, 5*q - 7*q = 2*i + 32. Is -14 less than i?
False
Let x(v) = -v**2 + 11*v + 100. Suppose 46 = -3*f + 5*g, 41*f - 37*f + 5*g = -38. Let o be x(f). Which is smaller: -174 or o?
o
Let t be -2 - -2 - (6 - 2). Let m be 2/t*4/2. Let i be ((-1)/(-4))/(2513/(-140) - -18). Are i and m non-equal?
True
Suppose -2*f = -2*v + 14, 33 = -0*v + 4*v - 5*f. Let y be (80/(-15) + v)*1*3. Let q be y*-2*(1 + 4/(-8)). Which is bigger: 7 or q?
q
Let n = -49 + 61. Let r = n - 31. Let p = 11 + r. Which is bigger: -1 or p?
-1
Let r = 5183 + -4353. Which is bigger: 832 or r?
832
Let a = -39 - 6. Let z = -52.2056 + 0.2056. Let n = z - a. Which is greater: n or -0.1?
-0.1
Let b be (1 - 3)*33984/(-32). Let k be (b/10)/6*1/(-3). Let o(j) = j - 1. Let n be o(-10). Is n at least k?
True
Let m(x) = -20*x - 244. Let a(q) = -84*q - 975. Let k(d) = 2*a(d) - 9*m(d). Let r be k(-21). Is -7 < r?
True
Suppose -8 + 1 = -7*i. Let o be (8 - i)/((-1)/(-1)). Suppose 0 = 2*h + o - 3. Which is greater: h or -5/6?
-5/6
Suppose 753*j + 452 + 58 + 243 = 0. Let b = -643/8062 - -3/278. Which is smaller: j or b?
j
Let t be (-8)/14*181 + 2256/5264. Which is smaller: t or -95?
t
Suppose -218925 = -68*u - 24*u - 13*u. Which is smaller: u or 2084?
2084
Suppose 35 = 2*w - 3*w. Let q = -0.0308 - 0.0162. Let j = -0.047 - q. Is w less than j?
True
Let o = 0.3 - 0.3. Let z(l) = -l**3 - 4*l**2 + 4. Let c be z(-4). Suppose 4*d + y = -163, -c*d - 158 = -3*y + 9. Is o greater than or equal to d?
True
Let r = -384 + 331. Let g(k) = -4 + 3 + 3 + 6 - 7*k. Let c be g(9). Which is bigger: r or c?
r
Suppose 111859 - 7579 = -566*z - 94*z. Let k(g) = -17*g**2 + g - 3. Let j be k(-3). Is z bigger than j?
True
Suppose -3 = 5*s + 28*w - 31*w, 5 = -6*s + 5*w. Let m be (-5*(-3 - -2))/236. Which is bigger: m or s?
m
Let p be -17 + -6 + 28 + 1/(-1) + 2109. Is 2112 not equal to p?
True
Let g = -297 - -294. Let p be g + -4 + (-416)/(-14). Which is smaller: p or 22?
22
Let n be 2*(-2 - 1/(-2)). Suppose 0 = -12*d + 2*d + 450. Suppose -5*v = -v - 2*c + 32, 0 = -5*v + 5*c - d. Is v < n?
True
Let w = -259.9 + 245. Let d = w - -14.8. Which is greater: -47 or d?
d
Let d = 848 + -862. Which is greater: d or 1?
1
Let j(q) = -9*q + 13. Let c(r) = -17*r + 25. Let f(o) = -6*c(o) + 11*j(o). Let s be f(3). Let l be s + (-1 - -4) + -25. Does l = -20?
True
Let o = -58 - -50. Suppose -14 = -4*r + 6. Suppose r*h + 14 = 3*h. Which is smaller: o or h?
o
Let i = -7.75 - -7.65. Are 12829 and i non-equal?
True
Let r(i) = -2*i**2 - 71*i - 7. Let a be r(-33). Let o = a - 159. Let y be (-1 - -5)*27/(-12). Which is smaller: o or y?
y
Let q(k) = -3*k**3 + 9*k - 23*k**2 + 15*k + 0*k - 39 + 4*k**3. Let y be q(22). Suppose 5*i = -2*r - 19, -6*i + 4*i = y*r + 16. Which is greater: 2 or i?
2
Let w = -149 + 67. Let c = -247 + 131. Let d = w - c. Which is smaller: 33 or d?
33
Let s = 500 - 854. Let l = 341 + s. Let v(u) = -2*u + 1. Let i be v(6). Are l and i equal?
False
Suppose 8*b - 15944 = -728. Which is smaller: b or 1901?
1901
Let m(t) = 103*t + 4547. Let z be m(-81). Do -3797 and z have the same value?
False
Suppose -368 = -5*m - q, -145 - 214 = -5*m + 2*q. Let d = 986854 + -986783. Is d > m?
False
Let x be ((-1576)/(-4) - -3)/(1/3). Is 1188 > x?
False
Let t = -31.4 + 31.323. Let x = 0.123 - t. Which is greater: 4.6 or x?
4.6
Let m be 20*(-14 + (-108)/(-10)). Is m less than -447/7?
True
Let t(y) = 23 + 5*y + 6*y - 9*y - 3*y. Let s be t(23). Let o = 76 - 29. Which is greater: o or s?
o
Let g(w) = -w**3 - 9*w**2 - 2*w - 17. Let s = -35 - -56. Suppose 8*f = -2*x + 5*f - 27, x + 4*f = -s. Let u be g(x). Is -1/73 bigger than u?
False
Suppose 12 = l + 7. Suppose -3*h = -2*h + 5*w - 16, 4*h = l*w - 11. Is -1/14 != h?
True
Let o = -504 + 748. Suppose 0 = 16*t + 92 + o. Suppose -7*g + 3*g - 3*q - 81 = 0, 5*g - 3*q + 108 = 0. Is t equal to g?
True
Let x = -14655/392 - -299/8. Suppose -3*c = -a + 6, 2*a - 17 + 23 = -3*c. Which is smaller: c or x?
c
Let z be (-126)/(-12)*(-52)/(-6). Suppose 0 = 6*d - z + 397. Which is smaller: -48 or d?
d
Suppose y + 7 = 0, -112*y + 34 = 2*m - 116*y. Let x be (410/80)/((-1)/(-4)). Let i = 22 - x. Which is smaller: m or i?
i
Let a be ((198/12)/11)/((-3)/(-2)). Let b(m) = -6*m**3 - 2*m**2 + 5*m - 3. Let z be b(a). Is z > 4?
False
Let t = -0.06454 - -3.06454. Which is smaller: -926 or t?
-926
Let i be (-9 - 2898/(-162))*(-3)/(-4). Which is bigger: i or 7?
7
Let z(u) = u**2 + 39*u + 39. Let n be z(-1). Is -3/511 at most n?
True
Let z = 555.99 + 13.01. Let i = z + -562. Do i and -45 have the same value?
False
Let o(t) = 3*t + 9. Let f be o(-14). Let w be (-1)/f*9 - (1 - 0). Which is smaller: w or 2/9?
w
Let z(k) = -k**2 + 5*k + 402. Let b be z(-18). Let v be (-4)/1 - (7 + 2). Which is greater: b or v?
b
Let j = -6.014 - -6. Let u = j + 10.014. Let i = -15 - u. Which is smaller: i or 0?
i
Let g = -8076 - -8070. Is 100 greater than or equal to g?
True
Let o be ((-18)/(-42))/(((-17310)/(-40))/((-10)/(-8))). Which is smaller: 0 or o?
0
Let j be (-16)/(-2568)*((-417)/56 + 6/(-14)). Is j smaller than -1?
False
Let j be 5/(-35) + (-3)/((-3360)/148). Which is greater: j or 2/3?
2/3
Suppose 5*r = -5*y - 15, -2*r + 5*r = -5*y - 5. Suppose -4 = -y*c - 3*q, -q = 6*c - c - 10. Is 9 at least as big as c?
True
Let u = 0.144 - 352.304. Let l = u + 352. Is l < 1/18?
True
Suppose 3*j - 142 = -154, -t + 4*j = 144. Is -1 smaller than t?
False
Let x = -0.227 + 0.292. Let z = -0.235 - x. Which is smaller: 0.16 or z?
z
Let g(u) = 5*u**3 + 4*u**2 - 17*u - 23. Let v be g(-2). Which is smaller: v or -428/35?
v
Let w be 18*((-650)/156 - -3). Is -0.345 not equal to w?
True
Suppose 4*x - 15 - 29 = 0. Let b = 14 - x. Let d be b/3*(-10 + -7). Is d bigger than -16?
False
Let h(j) = j**2 - 7*j - 16. Let i be h(9). Let t(g) = -g**2 - 16*g + 11. Let p be t(-16). Suppose -p*m = -7*m - 8. Is m != i?
False
Let q(f) = 9*f + 12*f + f**2 - f - 46. Let h be q(-19). Let v be 2/(-7) + 906/(-14). Does h = v?
True
Let x = -121 + 129. Let w be (-680)/(-70) - 10 - x/21. Let j be 4/14 + (-125)/(-28). Is j less than or equal to w?
False
Let b be (165/(-715) - 9878/(-2470)) + (-5)/1. Which is smaller: -2 or b?
-2
Let g(t) be the third derivative of -t**4/8 - 5*t**3/6 + 4*t**2. Let v be g(13). Let d = 269/6 + v. Which is smaller: d or 2?
d
Let g = 20.75 - 25.75. Are 6 and g nonequal?
True
Let a be 1/5 - 18/(-10). Suppose 3*c + 4*s - 37 = 12, 2*c - 2*s - 14 = 0. Let t(v) = -v**2 + 12*v - 5. Let q be t(c). Is q greater than or equal to a?
True
Suppose 7292*f - j = 7294*f + 3126, f + 1607 = 5*j. Which is bigger: -1571 or f?
f
Let b = -485 - -371. Let c = b + 229/2. Let m = 0.03 + 3.97. Is c >= m?
False
Let p be -126*(-12 - (-2 + (-93)/9)). Let i(k) = -k**2 - k + 3. Let o be i(0). Suppose -126 = -0*j + o*j. Do j and p have the same value?
True
Let p be (-80)/(-42) - (1 - -1). Suppose 0 = -5*j - l + 225, l + 42 = 3*j - 101. Let b be (-1 - 1)*23/j. Which is smaller: p or b?
b
Let q = 10/2081 - 10425/4162. Which is greater: q or -23?
q
Suppose -2*g = -0 - 2, 0 = 5*r + 3*g - 63. Suppose 2*m + 2*w - 4 = r, 