 = -a*u - 16. Which is bigger: 1 or u?
u
Let f be (26/(-12) - -2)/1. Let o be 34/6 + (-8)/(-6). Suppose -p - o = -6. Which is smaller: f or p?
p
Let y be -3 + 132/5 - 0. Which is smaller: 22 or y?
22
Let z be (-20)/(-6)*(16/10 - -2). Let b be 0*2/z*1. Let f be (-145)/72 - (-4)/2. Is b at most f?
False
Let q = 1420 - 28389/20. Let o = q + -4/5. Suppose 8*n - 4*n = 0. Is o != n?
True
Suppose -6*f + 2 + 28 = 0. Suppose y - 2*y - 50 = -5*w, 0 = -f*y. Is 8 at least w?
False
Let k = -14 + 15.6. Let m = 0 - 0. Is k != m?
True
Suppose -m + 2*k - 11 = 0, -5*k = -m - 5 - 15. Suppose v - 2 = -0. Suppose -v*w - w - 15 = 0. Is m less than or equal to w?
True
Let d = 23.981 + -24. Let z = d + -6.581. Let r = -3.6 - z. Which is smaller: r or 2?
2
Let z = -8/52453 - -9076041/10962677. Let t = -12/11 + z. Is t smaller than -1?
False
Let s = -54.35 + 54. Let l = 0.65 - s. Is l less than 10?
True
Let z = 37/3 - 182/15. Suppose -3*y + 3 = b, 0*y = 4*y - 3*b + 9. Is y less than z?
True
Suppose 13*k = 25*k - 1932. Is k greater than 161?
False
Let d = -77 + 21. Are d and -57 equal?
False
Let r = 54.973 - 0.973. Let x = -0.6 - 0.4. Is r bigger than x?
True
Let x(j) = -5*j**2 - 6*j - 16. Let g be x(-3). Which is smaller: g or -41?
g
Let m = 2.57 + 0.33. Let c = m + 0.1. Let l be 12/16 - (1 + -1). Are l and c non-equal?
True
Suppose -5*m + 20 = 0, -4*y - 20 = -0*m - 3*m. Which is greater: -25/9 or y?
y
Suppose 119 = 13*y - 115. Which is smaller: y or 14?
14
Let x(d) = d**2 + 15*d - 39. Let w(s) = s**2 + 15*s - 40. Let t(b) = 4*w(b) - 5*x(b). Let f be t(-17). Which is greater: 2/31 or f?
f
Let l = -1413 + 1421. Is l <= 17?
True
Let u = 0.345 + -0.615. Which is smaller: 9 or u?
u
Let s = 17 - 29. Let w be 10/s*10431/38. Let h = w + 227. Which is smaller: -3 or h?
-3
Let s = 886 + -3559/4. Is s <= -5?
False
Let x = 0 + 0. Let o = x + -0.3. Which is smaller: o or -0.1?
o
Suppose -3*l + 13*l + 10 = 0. Let c be l/9*-3 - 66/9. Is -33/4 smaller than c?
True
Let u be (-6 - (-1494)/214) + -1. Suppose z = -2*z + 12. Suppose -3*n - 3 = 3*t, -z = -5*n + 3*t - 1. Which is greater: n or u?
n
Let z(a) = -2*a + 4. Let w be z(6). Suppose 4*k - 5*k = 5*t - 21, 2*t = -4*k + 12. Suppose -5*p + 25 = -t*n - 1, 4*p + 35 = -3*n. Which is greater: w or n?
w
Suppose y = 3*j - 2, -4 = 5*j - 6*j. Let a be 50/(-130)*(-132)/y. Is a < 6?
True
Let h be 88/308 + 12/7. Which is smaller: h or 11/15?
11/15
Let l = 279477140297641/1837822925851080 - 1225/1820014088. Let i = 3/9617 + l. Let o = i - -2/15. Do -1 and o have different values?
True
Suppose -6*f + 3*f = -45. Suppose u - 39 + 14 = -4*l, 2*u - 5*l = -f. Suppose h = -4*h + u. Which is smaller: h or -0.04?
-0.04
Suppose -10*z - 1596 = -29*z. Which is smaller: z or 505/6?
z
Suppose 0 = -5*w - 3*c + 31, 4 = w - 2*c + 3. Let z be (-2)/(2/w) + -1. Let q be (-2 - 1) + 187/51. Which is bigger: q or z?
q
Let r = -52 - -57. Suppose 6 = -0*h + h + 4*s, -5*h - r*s = 0. Is 8/5 greater than h?
True
Let q be -6 + (-7)/2*-10. Is 142/5 greater than or equal to q?
False
Let v = 1.2 + 15.8. Let u = v + -17.4. Suppose 5*n = h + 3, -2*h + 3*n - 6 = -0. Which is smaller: u or h?
h
Suppose -13*g + 5*g - 4*g = 0. Is g at least as big as 2/373?
False
Let r be 5*(-3)/(-5)*-13. Let m = r - -29. Is -1 greater than or equal to m?
True
Let r be 6766/8445 - (-224)/(-280). Is r > 0?
True
Let q be (-11)/((-77)/(-14))*-6. Which is bigger: 6 or q?
q
Let d = -2/107 + -422/321. Let j = -2/3 - d. Let r = -0.00317 - -1.00317. Which is greater: r or j?
r
Let o = 106.5 - 88.8. Is o greater than or equal to 0?
True
Let c = -1.0354 + 0.0354. Which is greater: 298 or c?
298
Let x(k) = -k - 1. Let p be x(5). Let m be (p/12 - -1) + (-2)/(-4). Is 6 greater than or equal to m?
True
Suppose 8*k - 12 = 2*k. Let p be 31/k + 14/28. Which is smaller: 17 or p?
p
Let i = 86 + -87. Which is greater: -5/22 or i?
-5/22
Let g be 11/44 - 30/(-8). Let o be 1*(-3 + g - 3). Let y(x) = -3*x**3 - x**2 + 5*x + 5. Let m be y(o). Does m = 15?
True
Let o be (-4)/14 - 18/(-14). Let x be -9*2*2/(20/(-25)). Let p be 110/72 - (70/x)/(-7). Does o = p?
False
Suppose -107*d - 2264 = -99*d. Which is smaller: d or -282?
d
Let t = 87 + -110.3. Let z = 4.3 + t. Which is bigger: z or -1?
-1
Let h be ((-30)/45)/(172/(-18)). Which is smaller: h or 1?
h
Let l = 414 - 1220. Let f = l - -28208/35. Which is bigger: -1 or f?
f
Let g = -10 + 11. Suppose -g = n, n + 10 + 86 = 5*o. Suppose -4*v = -4*d - v + o, -d + v = -5. Is d bigger than 2?
True
Let i be (-9 + (-185)/(-20))/((-31)/12). Is i at most as big as 0?
True
Let y(m) = m**2 - 2*m - 3. Let o(v) = -v**2 - 8*v - 6. Let j be o(-5). Suppose 4*q - j = q. Let f be y(q). Is 2/9 greater than or equal to f?
True
Let w(m) = -5*m**2 - 13*m. Let c(x) = 9*x**2 + 25*x. Let l(d) = 6*c(d) + 11*w(d). Let v(h) = h. Let f be v(6). Let b be l(f). Which is smaller: 7 or b?
b
Let t = -434915/6 - -72778. Let m = t + -293. Is m greater than -1?
True
Let z = 8.6 - 5.8. Is -5 >= z?
False
Let c(f) = f**3 - 18*f**2 + 4*f - 72. Let p be c(18). Which is smaller: p or -2/23?
-2/23
Let t = 253 - 253. Is -157 less than or equal to t?
True
Let r(w) = w**3 - 11*w**2 - w + 7. Let b be r(11). Is b smaller than 17?
True
Let w = 76 + -36. Suppose w = -9*c - 32. Which is smaller: 1 or c?
c
Let l = 37.5 - 47. Let b = 8.6 + 0.4. Let y = b + l. Is y != -1?
True
Suppose 0*t = 2*t - 8. Let k be (11079*1/t)/2. Let g = k + -1383. Which is smaller: g or 1?
1
Let z(m) = 4*m - 4. Let f be z(5). Let l = 15 + -3. Do f and l have the same value?
False
Suppose 3*v - j = -359, -12*j + 240 = -2*v - 11*j. Are -120 and v nonequal?
True
Let w be (-1)/(-4) - (-243)/(-540). Is 0.011 at most w?
False
Let j = 2 + -4. Let f = j - -10. Let n(q) = -q**3 + 7*q**2 + 8*q + 10. Let m be n(f). Which is smaller: 11 or m?
m
Suppose 5 = -6*r + 17. Suppose 3*h + 122 = -r*z, 5*h + 4*z = z - 203. Do h and -40 have the same value?
True
Let i = -0.477 - -28.137. Let s = -0.34 - i. Which is smaller: s or -0.2?
s
Suppose -31*y + 80 = -11*y. Is y greater than or equal to 4?
True
Suppose 3*d = -13*d + 48. Suppose d*w + 3*p = -12, 5*w + p - 30 = 6*p. Which is smaller: w or 1/106?
1/106
Let v(g) = -10 + 22*g**2 - 21*g**2 + 5*g - 3. Let c be v(-7). Which is greater: c or 3/22?
c
Let k = -1.9366 - 0.0634. Is k < 125?
True
Let h be 85852/650 + 4/(-50). Are 129 and h equal?
False
Let k = 0.128 + -0.588. Let d = 0.35 + k. Which is smaller: d or 0.3?
d
Let g be (-2)/3 - (-911)/3. Let l = 2551466/8339 - 781/269. Let d = l - g. Do -1 and d have the same value?
False
Let y = -760523/9596 - -10/2399. Which is smaller: y or -79?
y
Suppose -297 = 29*h + 167. Which is greater: -26 or h?
h
Suppose 5*q = 4*q. Let x be (-672)/(-341) - 24/12. Let c = 320/341 + x. Which is greater: c or q?
c
Let o(a) = -2*a + 3. Let g be o(2). Let r = -77.192 + 0.192. Let n = r - -68. Which is greater: n or g?
g
Let f = -87 + 260/3. Which is bigger: 25 or f?
25
Let n be (-728)/39*1/16*4. Let f(z) = -z**3 + z**2 - z - 6. Let r be f(0). Which is greater: r or n?
n
Let t = -2733 + 2754. Let f = -29 + 53. Which is greater: t or f?
f
Let a = -0.031 - 3.969. Let u = -17 + -3. Let o = -21 - u. Is a bigger than o?
False
Let s = -253.69 - -255. Let k = s + -0.31. Is -8 < k?
True
Let s be -7 + (-30)/(-6) - -2. Which is smaller: -29/40 or s?
-29/40
Let p be (0 + (0 - 0))/1. Suppose -2*m = -4, -2*w + p*m + 4 = 3*m. Let d be 15/(-25) + ((-6)/15 - 3). Do w and d have the same value?
False
Suppose 6*r - 12 = 48. Let q be (-9)/((-9)/(-2)) - r/(-4). Which is bigger: q or -10/3?
q
Let y = -1.354 - -1.254. Which is greater: -70/13 or y?
y
Let h be (-2)/6 + (-4)/(-3). Let t be 252/(-184) - h/(-2). Let b = 186/161 + t. Are 3 and b equal?
False
Suppose -5*c + 5*f = -255, 0 = -c - 4*f + 9 + 67. Suppose 2*h + 46 = c. Which is smaller: h or 17/3?
h
Let l be (-41)/(-164)*(-125 - -1)/(-1). Which is smaller: l or 29?
29
Let b = 140.52 + -143. Let i = b + 0.48. Is -2/3 bigger than i?
True
Suppose -5 = 29*k + 24. Are 2/637 and k unequal?
True
Suppose -8*y + 40 = -3*y - 5*i, -32 = -4*y - i. Let g be 13/2 - 4/(-8). Which is greater: y or g?
y
Suppose -4*k - j - 2 = 0, 3*k + 4*j + 5 = -3. Let d be ((-8)/(-620) + k)*35. Is d >= 0?
True
Let s = 115904 + -6722219/58. Let z = s - 1/174. Let o be (5/2)/((-1)/(-2)). Is o greater