
Let x = 1082 - 1109. Is 0.9 != x?
True
Let m = -1.596 + 0.596. Is 3/8 greater than or equal to m?
True
Let g be 20/(-42) - 7/(-21). Which is smaller: -18 or g?
-18
Let o(v) = -3*v - 2*v + 4*v + 10 - 2. Let r be o(5). Is r bigger than 8/5?
True
Let q be 9*1/27*(-271)/(-1). Which is smaller: q or 90?
90
Let j = 757 - 480. Let v = -156 + j. Let a = -1211/10 + v. Is 0 < a?
False
Let t be ((-21)/27 - -1) + 730/360. Which is bigger: 1 or t?
t
Let u = 0.162 + -0.892. Let x = 0.63 + u. Which is smaller: x or 0?
x
Let r be -4 - ((1 - 2) + 1). Let y = 87 - 52. Suppose 2*f = -5*w - y, f + 10 = -5*w - 20. Which is smaller: r or f?
f
Suppose 4*a + 4 = 6*a. Suppose 2*i = -2*u - 16, 0 = -a*u + 3*i - 25 + 4. Let y = -9 - u. Is y smaller than 3?
True
Let s = -9 + 3. Let i = s + 28. Let g = i - 13. Is g greater than 0?
True
Let k be -5 - ((-10)/(-25) + 206/(-40)). Which is smaller: 76 or k?
k
Let h = -3 - -4. Suppose 2*y + 4*g + 7 = -h, 5*y + 10 = -5*g. Let o = -77/424 - -3/53. Is y not equal to o?
True
Let s = 47 + -32. Suppose 3*m - 4*a = -2*m + 15, -a + s = 5*m. Suppose -j + 0*j = l - 10, -m*j + l + 30 = 0. Is j greater than 17/2?
True
Let f = -5 + 3. Let p = -23.22 - -23. Let n = p - -0.22. Is n smaller than f?
False
Let x = -99 - -99.2. Let i = 3 - 2. Which is bigger: i or x?
i
Let k = -38 - 9. Let o = k + 40. Is o < 2?
True
Let s be -1*(-3 - (-40)/4). Let x = -7 - s. Let t be -2 + 1 + (-17)/(-9). Is x bigger than t?
False
Let x = -461 + 460. Is x at most 4/67?
True
Let a(z) = -7*z + 160. Let c be a(23). Is c bigger than -4/95?
False
Suppose 6*s - s - v = 13, -4*s - v = -5. Let o = 8 - s. Suppose r = -a - 2*a + o, r + a - 2 = 0. Which is greater: r or 2/39?
2/39
Let c = 269027/945 - 7714/27. Let o = c + 11/15. Which is smaller: o or 1.5?
o
Let n = 3 + -1. Let j(p) = 13 - p**2 + 2*p - 4*p - 9*p. Let x be j(-12). Is x less than or equal to n?
True
Let p(c) = -22*c + 197. Let a be p(9). Which is bigger: a or 4/285?
4/285
Let c = -88 - -52. Let s = c - -36.1. Let i be (-84)/165 + 4/(-10). Which is bigger: s or i?
s
Let v = -164767735/3117 + 52861. Which is bigger: v or 1?
1
Let d = -1 - -0.2. Let q = -0.967 - 0.133. Let g = d - q. Is g smaller than 3?
True
Let a be 1*((-42)/(-30) + -1). Let h be ((-24)/7)/4*7. Does a = h?
False
Let u(w) = 6*w + 21. Suppose 6 = -3*s + 2*s. Let r be u(s). Which is smaller: r or -14?
r
Suppose 0 = 3*p + z - 4*z + 15, 0 = -3*p + z - 17. Is -42 greater than or equal to p?
False
Let k(y) = y**2 - 3*y + 1. Let s be k(-11). Suppose -8*h - 35 = -s. Does h = 14?
False
Let d be 8 + 6 + -7 - (-9 + 11). Which is greater: d or 37/7?
37/7
Let n be (1 - (-18)/(-22))/9. Let g = n + 7/198. Which is smaller: g or 0?
0
Suppose -9*w = -8*w - 2. Suppose -6*l + w*l = -2*l. Which is greater: 1/50 or l?
1/50
Suppose 5*m - 21 = 54. Let a(v) = -v**2 + 66*v - 236. Let q be a(4). Which is bigger: m or q?
m
Let j be -10*10*2/(-8). Suppose -t + 0*t + 18 = -3*v, -5*t + 2*v = -j. Suppose 5*h = -4*g - 29, 2*g - 3*g - 16 = t*h. Is g at most 1?
True
Let x = -1.3 + -5.8. Let l = 14 + -7. Let b = l + x. Which is smaller: -4 or b?
-4
Let d be 21/(-9)*(-6 - 9/(-3)). Which is bigger: d or 14?
14
Let m be (-25)/(-1) - (20 + -17). Is m at most 43/2?
False
Suppose 0 = -w + 2*a + 10, -a - 3 = 4*w + 2. Let r = -190445/63 + 3023. Which is smaller: w or r?
w
Suppose 0 = l - 0*l - 2. Suppose 0 = 4*j - 0 - 20. Suppose -3*c - m = -10, -45 = -j*c + m + 3*m. Which is bigger: l or c?
c
Let x(v) = 14*v + 4. Let g be x(-2). Let j = g + 32. Is 10 equal to j?
False
Let o = 599 + -593. Let j(t) be the first derivative of 3*t**2/2 - 16*t - 1. Let m be j(o). Do m and 3 have different values?
True
Let s = -41 + 45. Let n be -2*(-3)/39*s. Is 0 > n?
False
Let n = 15 - 65. Let b = n - -54. Do 0 and b have different values?
True
Suppose 3*z + 9 = 3*w, z + 2*w = -z + 14. Suppose -3*i - 4*b + 2*b = 67, i - z*b = -33. Suppose 48 = -10*g + 8*g. Which is smaller: i or g?
i
Let r = 5/8 + 83/40. Let o be 2/10*(-5 + -6). Let m = o + r. Is 1/2 at most m?
True
Let t be (10 + 2736/(-276))/(1*4). Which is bigger: -1 or t?
t
Let n(y) = y**2 + 16*y + 33. Let j be n(-17). Is j less than or equal to -6?
False
Suppose -4*u + 42 = -2. Is 12 at least as big as u?
True
Let z be ((20/183)/5)/(6/9). Which is greater: -2/7 or z?
z
Suppose c + 3*r = 17, -4*c + 3*c - r + 7 = 0. Suppose -4*x - 2*a = -16, 4*x - a = -c + 12. Suppose -q = -x*q. Is q at least as big as 1/24?
False
Let o be 10/15 - 50/3. Let l = o - -29. Suppose l = 4*t - 11. Which is smaller: t or 16/3?
16/3
Suppose -8*h + 3*h = 0. Let s(y) = -y**3 - 3*y**2 - y - 3. Let n be s(-3). Suppose 2*u - 2 + h = n. Is -0.3 greater than u?
False
Let g = -86 - -1459/17. Is -1 equal to g?
False
Let v be (-2 + (-17736)/(-8860))*-10. Is -1 at most v?
True
Let h = -7718/7 + 1099. Is h at most as big as -3?
True
Let k(y) = -y**3 + y**2 - y - 11. Let p be k(0). Let q(v) = 2*v + 1. Let n be q(1). Suppose 0*o = n*o + 39. Are p and o unequal?
True
Let h = 9 - 9.25. Let n = -0.16 - h. Is 1/2 >= n?
True
Let t be (-2)/(-3) + 1/(-42). Is 0 at most t?
True
Let p = -26 - -12. Let u = 196 - 213. Let c = u - p. Which is smaller: 6 or c?
c
Let s be (-244*(-6)/96)/(1/20). Is 304 at most s?
True
Let l(y) = -y**2 - 4*y + 9. Let b be l(-5). Suppose -b*j + 1 = -31. Let d be j/6*(-15)/10. Is d smaller than -8/7?
True
Let o = -10.3 + 0.3. Let t = o - -18. Let w = t + -13. Which is smaller: w or 1/2?
w
Let r be (4 + 1)*5 - 0. Let w be ((-2)/r*-5)/((-9)/(-15)). Let z = -55/12 + 1351/300. Is w < z?
False
Suppose -5*z - 15 = -4*x, 0 = -x + 2*x - 5. Let h = 157/18 - 68/9. Is h equal to z?
False
Suppose 5*z + 20 = -2*a, 4*a - z + 5*z + 16 = 0. Let y be a/(3*3/9). Is y >= -1/136?
True
Suppose -8*n + 3*n + 25 = -5*b, b - 5 = -4*n. Suppose 4*t = -21 - 7. Let q = t - -6. Which is greater: n or q?
n
Let m = -446 + 445. Let c = 7 + -5.4. Is c at least as big as m?
True
Let u(g) = g**3 + 6*g**2 - g - 22. Let f be u(-5). Let y be 3*3/(-18)*f/29. Are -1 and y equal?
False
Suppose 4*c + 10 = 2*f + 2, 2*c = 5*f + 20. Let g be (219/f)/(3/6) + 3. Is g at least -71?
True
Let p be (-292)/954 + (-12)/(-54). Let t = -3/106 - p. Is t less than or equal to -1?
False
Suppose 30*o - 3264 = -4*o. Which is smaller: 0.1 or o?
0.1
Suppose -3 - 2 = 5*n. Let v be -1 - n - (6 - 5). Let c(p) = -p**3 + 5*p**2 - p + 6. Let r be c(5). Is v != r?
True
Let m = -1325144 - -1443081538/1089. Let b = -17/148 - -2649/17908. Let u = b + m. Is u < -1?
False
Let g = -0.026 + -2.074. Let v = 139.1 + -139. Is v < g?
False
Suppose 6*u - 2*u = q - 39, 3*u = -5*q + 103. Which is smaller: q or 28?
q
Suppose -2*y - 3*t + 15 = 2*y, -4*y + 5*t - 25 = 0. Suppose -16 = k - 3*k + 4*u, y = 2*k + 5*u + 29. Which is smaller: -30/11 or k?
-30/11
Let m(o) = -5*o**3 - 17*o**2 - 5*o + 26. Let q(c) = 11*c**3 + 35*c**2 + 11*c - 53. Let l(n) = -9*m(n) - 4*q(n). Let r be l(-13). Is r < -34?
True
Let c = 24 - 1. Is 5 < c?
True
Suppose 7*z + 7 = 21. Let m be z - 3*(-2)/(-3). Is m less than -1?
False
Let y be (-4)/18 - 976/(-18). Suppose -y = -4*t - 18. Suppose 2*n - 7*n - 12 = i, 3*n = -2*i + 4. Which is bigger: t or i?
t
Let i = 232 - 230.83. Let d = -1.15 + i. Which is bigger: d or 2?
2
Let q = 39 - 36. Suppose 8 + 13 = -q*u. Which is bigger: u or -10?
u
Let h(o) = o + 7. Let z(c) = c**3 + 8*c**2 - 7*c + 13. Let m be z(-9). Let l be h(m). Let d = 7/3 - l. Which is smaller: 0 or d?
0
Suppose -6*k + 2*k + 468 = 0. Suppose 6*g - 3*g = -k. Which is smaller: -40 or g?
-40
Suppose 15 = 5*x - 2*l, -x + 12 = 3*x + 2*l. Let r be x/4*(-1 + -3). Suppose 5*y = -13*y - 36. Is r greater than y?
False
Let x(b) = -b**2 - 9*b - 9. Let l be x(-8). Let i = 8 - l. Let c be 26/(-42) - (-3)/i. Is -17 <= c?
True
Suppose 0 = -14*b + 155 - 71. Let l be (-18)/(-4)*28/21. Is l less than b?
False
Let v(n) = -2*n - 14. Let w be v(-7). Which is greater: w or 3/116?
3/116
Let o be 3/(-3) + 21/18. Suppose 4*k + 5*u + 16 = 0, 0*k = 5*k - 4*u + 20. Let q = k - -3. Is q less than o?
True
Let a = 2415 + -2425. Which is smaller: a or -15?
-15
Suppose -4*l + 0*q + 8 = -2*q, -5*l = q + 11. Let a = 18.94 + 0.06. Which is smaller: l or a?
l
Suppose -m + 3 + 13 = 0. Let x = 51 - m. Which is greater: 34 or x?
x
Suppose 0 = 4*f - 4*j - 28, -3*f + 1 = 3*j + 4. Suppose -56 = -f*o + 7*o. Let i be 6/