5, 3*v + 36 = -0*v - 4*o. Let c = -4767 + 14498/3. Let z = c + -661/9. Are z and v unequal?
True
Suppose 4*b = -5*w - 2304, -2*w + 2847 = 887*b - 892*b. Is -563 bigger than b?
True
Let b = 309.66 + -323. Which is smaller: 1/5 or b?
b
Let o be -4*2/(-4) - -1. Suppose -11 = -j - o. Let k be (-2*6/(-16))/(50/480). Is j less than k?
False
Let w = 427 - 429.07. Let i = 108.93 - w. Which is smaller: 1/4 or i?
1/4
Let d = -40136 + 53476. Which is smaller: 2/5 or d?
2/5
Let g = -6263 + 2837137/453. Which is bigger: 0 or g?
0
Suppose 0 = -2*z + a + 31, -3*a = 5*z + 2*a - 85. Suppose -11*b = -z*b + 70. Suppose 22 = r + b. Which is smaller: r or 10?
r
Let c be 248359/(-8888) + 4*7. Which is smaller: c or -21?
-21
Let f = 102 + -99.95. Let l = f + -0.05. Let t = -435.6 + 438. Is t greater than l?
True
Suppose -22*p + 15*p = -21. Suppose -498 = p*q + 5*t, 168 = -5*q + 2*t - 693. Which is greater: 2/7 or q?
2/7
Let b = 2/591 + 4706/6501. Let q = b + -2/3. Are q and -16 non-equal?
True
Let v be (14570/465)/(((-8)/20)/((-9)/(-5))). Which is greater: -142 or v?
v
Let n(o) = 7*o + 3. Let q(c) = -6*c - 3. Let m(y) = 4*n(y) + 3*q(y). Suppose 4*l + 7 = -1. Let a be m(l). Which is smaller: -18 or a?
-18
Let a(v) = v**3 + 5*v**2 - 8*v - 6. Let d be a(-5). Let n(o) = 3*o + 41*o + 25 - 102 - 13*o - 15*o. Let b be n(7). Is b != d?
True
Let x = -251 - -264. Suppose -2215 = -5*n - 875. Suppose n = -x*i - 5. Which is bigger: i or -87/4?
i
Let x = -2111/2 - -1075. Let n = -19 + x. Let b be 4/(-6) - (-5)/(-60). Which is smaller: n or b?
b
Let a = 22481 - 22467. Which is smaller: a or 137?
a
Let s = -19 - -23. Let w(x) = -x + 2. Let g be w(0). Let v be g/5 - ((-336)/35 - -7). Do s and v have the same value?
False
Let h = 396 - 384. Suppose 0 = h*n - 292 + 76. Is n not equal to 12?
True
Let v be (4 + 141)/5 - 540/30. Let b(g) = -g**2 - 8*g - 7. Let x be b(-6). Let z(i) = -i**3 + 6*i**2 - 2*i - 5. Let r be z(x). Which is greater: r or v?
v
Let r = -216 + 212.54. Let z = -0.54 + r. Which is bigger: 9 or z?
9
Suppose 0 = -0*b + 12*b - 24. Let i be (-15)/(-3)*(-4)/(-20). Let z be (i/(-3))/((-25)/15 + b). Is z >= -1?
True
Let a = 248.2 + -217. Which is smaller: a or 1?
1
Let a be (-200)/70 - 6/42. Let j(k) = -3*k + 4 + 8*k + k**2 - 1. Let b be j(a). Is b > 2/3?
False
Let r be ((-1540)/7547925)/(-1*4/10). Is r >= -1?
True
Let h = 310 + -307.04. Let g = h + 1.04. Which is bigger: 7/10 or g?
g
Suppose -5*r = -3*g - 1002, -3*r = -5*g - 1160 - 478. Is -325 not equal to g?
True
Let z = -24.14 - -1.14. Let r = -23.3 - z. Is -36 > r?
False
Let k be (1*(1 + -6))/((-2)/(-12)). Let g be -45*(-35)/k*(-16)/(-28). Is -28 at least as big as g?
True
Let s = 259/45 + -25606/4455. Are 0 and s non-equal?
True
Suppose -4*a = -83 - 21. Let l be (a - 24) + (1 - 2). Which is smaller: -4/15 or l?
-4/15
Suppose 0 = -3*k - 4 + 7. Let o be 10/5 + 4 + k. Let g = -8 + 14. Is g not equal to o?
True
Let g be 4/2 + -3 - -10. Let b be ((-4)/5)/((4 - g)/(-25)). Let u be (b + 4)/4 + 1 + -3. Which is greater: u or 1?
1
Suppose -4 = -4*h - 0. Let q = 57647.171 - 57713. Let r = -0.171 + q. Which is greater: r or h?
h
Let i = 213 - 213. Suppose 204 = -i*n - 6*n. Is -35 < n?
True
Let l(k) = -4*k - 12. Let f be l(9). Let o = 2542/53 + f. Suppose -5*u + 2*p - 8 = 0, 2*p - 8 = -6*u + u. Is o <= u?
True
Let i(n) = 7*n**2 - 11*n + n**3 + 2*n**2 + 6 - 11 - 4. Suppose 0 = 3*z + 3*h + 39, -3*z + 0*z + 3*h - 21 = 0. Let s be i(z). Is 8/5 at most s?
False
Let v = -1123.882 + 1124. Let h = -0.018 + v. Let t = 32.47 + -0.47. Which is bigger: h or t?
t
Suppose 120 = 5*y + 125. Which is smaller: -12/505 or y?
y
Let x(o) = -5*o + 160. Let q be x(32). Do q and 1/2607 have the same value?
False
Let a = 16/2015 + -97983/12085970. Which is smaller: a or 0?
a
Let y(i) = -i**2 + 2*i**2 + 1 - 4*i - 4*i**2 + 4*i**2. Let b be y(1). Let x be 3/9 - 22/3. Which is bigger: x or b?
b
Let u be (-17325)/891 - (1 + -20). Is u > 2442?
False
Let p = -16.5 + 1.5. Let v = -31 - -31.8. Let k = 1 - v. Which is smaller: k or p?
p
Let x(k) = -61*k + k**2 + 30*k + 38*k + 9. Let d be x(-4). Let s be 8/24 + (-2)/d. Which is smaller: s or 10/17?
10/17
Let r = -110 - -80. Let b = r - -37. Let a = b - 9. Is a at most as big as 1.8?
True
Let y be 2/6*(-24)/614. Let n = y - 1088/10745. Let d = -1610 - -1610. Is d greater than or equal to n?
True
Let n = 14 - 31/3. Let x be (4/(-6))/((-10)/375*5). Let c(j) = j**2 - 6*j + 8. Let z be c(x). Is z at least as big as n?
False
Suppose 0 = -5*z - 2*m + 90, -7*m + 2*m + 105 = 5*z. Let s be ((-2)/3)/(1/(-87)). Suppose -4*f + 14 + s = 0. Is f bigger than z?
True
Suppose -3*u - 3*g + 33 = 0, 0 = -2*u - 2*u - 3*g + 42. Suppose 24*b - u = 15*b. Let k = -3 - 10. Which is smaller: b or k?
k
Let z be 563*(36/(-9) - -1 - 0). Is z greater than -1688?
False
Let h(o) = -o**3 - 22*o**2 - 120*o + 22. Let g be h(-12). Let a(d) = d**2 - 5*d - 10. Let c be a(9). Which is greater: c or g?
c
Suppose 3*y - 17 = 4*y. Let d(z) = -z**2 + 8*z + 2. Let c be d(5). Suppose 22*h = c*h - 90. Which is smaller: h or y?
h
Suppose 0 = -9*w - 2032 - 1928. Is -881/2 != w?
True
Let t(h) = 1. Let r(d) = -9*d + 83. Let n(x) = -r(x) + 4*t(x). Let y be n(10). Which is smaller: 14 or y?
y
Let b(m) = 3*m**2 + 9*m + 12. Let c be b(-4). Let r be 15/2 - (-18)/c*2. Suppose -11 = 8*l - r*l. Which is smaller: 8 or l?
8
Let q = -828 + 826. Let i be (-29 - -2)/(5/15). Is q less than or equal to i?
False
Let z(k) = -3*k**2 - 48*k - 33. Let s be z(-15). Let l be s/2 - 10 - -7. Let y be 12/(-2)*1/(-3). Which is smaller: l or y?
y
Let t(y) = -6*y**2 - 5*y - 11. Let w be t(-7). Let f be 2/(-12) - 207/w. Suppose 0 = 5*k + 51 - 56. Is f at most k?
True
Suppose -113 = 13*y - 126. Which is smaller: 1/186 or y?
1/186
Let n = 17357 - 17317. Which is smaller: 36 or n?
36
Let a(y) = 311*y**2 - y**3 - 158*y**2 - 32 - y - 4*y - 142*y**2. Let b be a(11). Is b greater than -86?
False
Let k = 38.8 - 51.8. Let o = 76 + -89.1. Let m = o - k. Is m greater than or equal to 0?
False
Suppose -8*f + 15*f = 9*f. Suppose -y + 2 = -3*k, k - 4*y + 8 = -0*k. Suppose 5*d + 3*c + 24 = k, 5 = -d + 3*c - 7. Is d equal to f?
False
Let r(m) = -m + 140. Let w be r(0). Suppose -1593 = -28*j + 2327. Is j >= w?
True
Let a be 4/(-1554)*1036/(-444). Suppose -3*l = -d - 5*l + 5, -d = -l + 1. Which is smaller: d or a?
a
Let l = 94 - 35. Let z = 58.5 - l. Let x be (-42)/9 - (4 + -9). Which is smaller: x or z?
z
Suppose 23*b - 20 = 21*b. Suppose 4*m + 5*p - b = 6*m, -4*p = -8. Which is smaller: m or -2/269?
-2/269
Let p be (-6)/((-373968)/(-3731)) + 6/252*4. Which is bigger: 1 or p?
1
Let n = 25399/83 - 306. Let f = 8719/332 - n. Let w = -27 + f. Which is greater: w or -2/33?
-2/33
Let b be (-62)/(-7) - 13/(-91). Suppose b*w = -9*w - 2286. Is -127 greater than w?
False
Let a = 0.53978 - -0.05222. Is 1 greater than or equal to a?
True
Let g be 11/(-5) - (-2)/10. Let v be ((-160)/6)/(g/(-6)). Let s = -559/7 - v. Are -1/4 and s non-equal?
True
Let g = 66 - 66. Let x be g + 4 + -7 + 3. Suppose -w - 21 + 19 = x. Is -13 not equal to w?
True
Let s = -391248 + 8218780/21. Is s greater than or equal to 123?
False
Let x = -85 + -173. Let w = x + 257. Are w and 15/2 equal?
False
Let k(r) = 2847*r + 8835. Let o be k(-6). Which is bigger: -8246 or o?
-8246
Let k(r) = -5*r**2 - 189*r + 372. Let p be k(2). Which is greater: -6 or p?
-6
Let b = -7/54 + 583/4914. Let o = 2/13 + b. Which is smaller: o or 0?
0
Suppose 16 = 3*x + 4*h, -9*x + 11*x = 5*h + 49. Is x equal to -1/15?
False
Let d = 528.454 + -528. Let n = d + -0.387. Is n greater than or equal to 0.2?
False
Suppose 0 = 5*t + 4*i + 4462, 2*i - 635 = t + 249. Is t bigger than -890?
False
Let r(a) = -241*a + 372. Let z be r(2). Which is greater: -114 or z?
z
Let x(d) = -d**3 + 20*d**2 + 237*d - 4912. Let o be x(18). Is 5001 smaller than o?
False
Let y = -4.01 - -0.01. Let g = -7 - y. Let i = 561.2 + -562. Which is bigger: g or i?
i
Let k = -193.85 + 194. Let j = 0.57 - k. Which is smaller: j or -1?
-1
Let i = -1188 - -1193. Let c = 0 + 2. Suppose -5*r + 3*b = -49, -5*r = 5*b + c - 27. Is r not equal to i?
True
Let p be 381/(-3) + (86 - 73). Do p and -1242/11 have different values?
True
Suppose 0 = 5*z + x - 8793, -3*x + 1222 = z - 531. Is 1761 < z?
False
Let z(w) = 17*w**3 - 2