n or -0.03?
n
Let n = -968 + 969. Which is smaller: 8/111 or n?
8/111
Let g = 33 - 36. Let z be g/(-2) + 12/(-24). Let w = 847/207 - 38/9. Is z at most w?
False
Let h be ((-307)/(-918))/(0 + (-3)/12). Let y = 2446003/1836 + -5329/4. Let r = h - y. Which is greater: r or 0?
0
Suppose -2*m = 2*a - 52, -47 - 119 = -5*a + 4*m. Let t be a/5*(0 + 1). Let b(w) = -3*w + 14. Let f be b(t). Is -3 < f?
False
Suppose -2*c = 5*x - 17, 0 = -2*c + 6*c - x - 1. Let u(l) = -l**3 + 3*l**2 - l + 20. Let b be u(4). Which is bigger: b or c?
c
Let o = -0.305 + 0.205. Is o < -34/7?
False
Let l = 0 - -4. Suppose 8 = -0*h - l*h. Let q be 1*(1 - h)/(-9). Is q greater than 1?
False
Let w = 131/77 + -25/11. Let s = 0 - -0.1. Let m = s + 0. Is m >= w?
True
Let u be (2/(-630))/(-2*(-1)/(-4)). Is u less than -1?
False
Let b = 0.2 - -0.8. Let h = -570.958 + 568. Let t = h - 0.042. Do t and b have the same value?
False
Let g = -6/25 - 82/75. Let y(q) = -q**2 - 10*q - 18. Let v be y(-2). Which is greater: g or v?
g
Suppose -28*y - 40 = -23*y. Let s be (5 + -5)/(2 - 0). Suppose -2*i - 9 - 5 = s. Is i != y?
True
Let u(v) = 2*v**2 - 11. Let g be u(3). Let p = g + -9. Which is smaller: -7 or p?
-7
Let r = 15.81 + -17.81. Is 207/4 equal to r?
False
Let f be (-86)/844*(-23604)/47817. Let c = f + 1/4853. Let x = c - -1/198. Which is smaller: 0 or x?
0
Suppose 0 = -3*u + 15, 3*i - 3*u + 155 = 8*i. Let t be (-188)/i + (-4)/14. Suppose -16*o = -15*o + 2. Is t equal to o?
False
Suppose -2*l - 11 = -j, -3*l + 0*l - 29 = -4*j. Suppose 10*t - j*t = 60. Is 3 <= t?
True
Suppose -5*k + 5*b + 25 = 0, 3*k + b = 6*k - 17. Suppose 0 = 8*a - 14 + k. Let n = 301 - 4513/15. Which is smaller: a or n?
n
Let y be -8*(-3 - 15/(-10)). Let x be 3/y - (-441)/12. Is 37 >= x?
True
Let v be (-6356)/(-7970) - 21/42. Let p = v - -2/797. Let o be (2/(-4))/(2/4). Is o >= p?
False
Let h = 3 - 5. Let j be (308/(-74))/h - 2. Let s(d) = -d**3 - 4*d**2 + 4*d - 49. Let i be s(-6). Which is greater: j or i?
j
Let y be 1225/70*(-468)/(-10). Is 818 at least as big as y?
False
Let i be (-4)/2 + -19 + 79. Is i at most 532/9?
True
Let g = 6973 + -146371/21. Let o = g + -604/105. Is -2 > o?
True
Let x(s) = 3*s - 1. Let f be x(-3). Let j be (7 - -8)*4/f. Is j greater than 1/3?
False
Let i(d) = -d**3 - 3*d**2 + 5*d + 5. Let a be i(-4). Is a at least as big as -2/29?
True
Suppose 302 = d + 40. Let h = d + -4977/19. Which is bigger: 0 or h?
h
Let b = -5579 - -5579. Suppose -5*z = 2 - 52. Is b bigger than z?
False
Let n be -1*(-4 - 12/(-4)). Which is bigger: n or 1/57?
n
Let m be 42 - -2*(-2)/(-4). Let l = m - 31. Suppose -d = -5*d + l. Which is smaller: -2/9 or d?
-2/9
Let d be 4/14 - 9/56. Let v = -6 + 9. Suppose 3*y = -0 - v. Is d > y?
True
Let o(u) = u - 4. Let g be (-2)/12 - 93/(-18). Let q be o(g). Let s be 80/36 + -3 + q. Are s and 1 nonequal?
True
Let h be (-6)/(-4)*92/69. Which is greater: h or -4?
h
Let i = -7/3 + 25/12. Let h(w) = w**3 - 6*w**2 - 5*w - 11. Let v be h(7). Suppose -3*g + 0*g = -v*a, 4*g + 8 = -4*a. Which is smaller: i or g?
g
Suppose -2*t + 295 = -b - 159, -1395 = 3*b + 5*t. Let m = b + 19782/43. Let f be (-1 + 2)/(1 - 2). Which is greater: f or m?
m
Let v(z) = -z**2 - z - 1. Let x(i) = 6*i**2 - 8*i + 6. Let r(q) = 5*v(q) + x(q). Let a be 15*-8*(-2)/20. Let j be r(a). Are -12 and j unequal?
True
Suppose 3*s - 2 = s. Let m be (-4 - -3)/(s + -2). Is 8/11 less than m?
True
Suppose 43*f - 28*f = 210. Which is greater: f or 7?
f
Let k(x) = -x**2 - 17*x - 47. Let d be k(-14). Let y = 0 - -2. Suppose 3*m + y*s - s + 12 = 0, 3*m + 12 = s. Is d smaller than m?
True
Suppose -13*t = 8764 + 7603. Which is smaller: -1258 or t?
t
Let t = 7/8 + -37/24. Let h = 48.1 - 49.1. Which is greater: h or t?
t
Let i = 103/105 + -36/35. Does 1 = i?
False
Let p = -0.05 - -2.05. Let o = 2/109 + 29/4360. Let a = -17/40 + o. Do a and p have the same value?
False
Let v be (180/440)/(3/(-180)). Is -26 at least as big as v?
False
Let h = 198 + -199. Which is smaller: 4/341 or h?
h
Let x = -264 + 298. Is x smaller than 39?
True
Let q(k) = k**3 - 4*k**2 - 6*k + 6. Let y be q(5). Suppose 5*n + 0*r = -3*r + y, 4*n + 2*r = 0. Let p = -73 - -658/9. Which is smaller: p or n?
n
Let g(j) = j**2 + 5*j - 14. Let x be g(-7). Let o be (x + -1)*(-13)/5. Is o bigger than -1/3?
True
Suppose -52*u + 78*u = -2678. Is -97 less than or equal to u?
False
Suppose 0 = 2*u - 20*u + 36. Suppose 0*t - 2*t = -u. Which is smaller: t or 2/119?
2/119
Let s be (-5312)/(-2640) + -3 + 0 + 1. Let c = s - -127/3135. Which is smaller: c or 1?
c
Let s(u) = 2*u - u**3 + 0*u - 16*u**2 + 10*u + 17 + 4*u. Let t be s(-17). Which is smaller: t or 0.1?
0.1
Suppose o - t - 7 = t, -o + 1 = t. Let q = 1 + 0. Let c = q + o. Which is smaller: c or 5?
c
Suppose r - 602 = -6*r. Let c = -109 + r. Which is smaller: -19 or c?
c
Let q = -1.7 - 0.3. Let m = 0.053 + 0.257. Let a = 0.11 - m. Which is smaller: q or a?
q
Let u(r) = -r**3 + 6*r**2 - 4*r - 6. Let v be u(4). Let x be 20/(-28)*4/v. Is x at least -1?
True
Let x = 36 - 101. Is x < -261/4?
False
Suppose 3*o - 8*o = 0. Suppose v = -2*r - 0*v - 9, 14 = -3*r - v. Let u be 4 + r - 2/(-12). Which is smaller: o or u?
u
Let m be 2*(2 + 15/(-6)). Let y be (1 - m/2)*6. Does y = 8?
False
Let h = 16682 - 83137/5. Is h > 56?
False
Let n = -1 + 3. Let g(y) = y**2 + y + 1. Let v be g(-2). Is n <= v?
True
Let h = -73 - -118. Is 1/2 < h?
True
Let n = -7 + 10. Suppose -24 = b - 4*o, -5*o - n = 7. Let z be 16/b + (-13)/(-22). Which is smaller: z or 1?
z
Suppose -20*a = -30*a + 230. Is a less than 3?
False
Let f = 1297799/15 + -86553. Let y = 182/5 + f. Let o = 881 + -879. Which is greater: o or y?
y
Let w = 2 - 1.8. Let k = 3107/10 - 311. Do k and w have different values?
True
Let t = 28 + -20. Let a be 45/(-15) + 2/1. Which is greater: t or a?
t
Let y be ((5/(-5))/1)/((-3)/(-18)). Suppose 2*g + 28 = -2*g. Which is smaller: g or y?
g
Let x = -38 - 12. Let l = x + 30. Let g = l - -18. Is 1/2 not equal to g?
True
Let p = -0.18 + -17.82. Let f = p + 17.9. Which is greater: f or 3/4?
3/4
Let z = 7/31 + -83/93. Do 0 and z have different values?
True
Suppose -2*j + 4*i = 3*i, j - 5*i = 0. Suppose 0 = 4*m + a - 4 - j, 4*a = -m + 16. Suppose 2*n - 17 = -3*k, -5*k - n + m*n = -33. Which is smaller: 6 or k?
6
Let d = -3.7 - 0.3. Let n = -7 + 7. Let l = n + d. Are l and 1 equal?
False
Let s be (-80 - -83)/((-4 - -1)/(-1)). Let f be (2 - 18)*s*2. Is -32 less than or equal to f?
True
Let a = -516 + 604. Which is smaller: 439/5 or a?
439/5
Let w = 15 - 51. Let o = w + 37. Which is smaller: o or -8?
-8
Suppose -v - 4 = -d, 18*v - 4*d + 18 = 12*v. Let c be 4/(1*1/(-2)). Is c less than v?
True
Let o = 5828 + -5800.19. Let i = -28 + o. Let g = 1.19 + i. Which is bigger: g or -3?
g
Let h = 0.1 - -0.1. Let g = -30 + 32. Suppose -3*n + n = g. Which is greater: h or n?
h
Let y = -9 - -8. Let k = -0.1 - y. Let u = k - 0.9. Are 2/7 and u non-equal?
True
Let b be (1*-1)/(1/2). Let x = -3731 - -3729. Is x at least as big as b?
True
Let z(s) = -s**3 - 11*s**2 + 25*s - 7. Let k be z(-13). Let m(w) = -w**2 + 7*w - 14. Let u be m(k). Are -11 and u non-equal?
True
Suppose 89 = -2*k + 41. Let o be 2/(-9) + (-8)/18. Which is smaller: k or o?
k
Let c be (-3)/6*4 - -5. Let w(r) = -r**3 + 4*r**2 - 2*r + 2. Let a be w(c). Suppose 2*i + 5*o = 13, a = 5*i + 5*o - 5. Is -1/7 at least as big as i?
True
Let q = 0.1649 - -0.0151. Which is greater: -2.7 or q?
q
Let r = -14 - -10. Let v be 368/1265*10/r. Which is bigger: v or 1?
1
Let t = -313 - -325. Is t at most as big as 23/2?
False
Let a = -8/1175 - -6838/659175. Is 1 less than a?
False
Suppose 11 = 5*f + 4*w - 71, -2*f + 22 = -2*w. Suppose -y - 65 = -4*k, y + 10 = k + 2*y. Suppose 3*a + k = s + 2*a, -s + 5*a + 23 = 0. Which is greater: f or s?
f
Let o = 403 - 393. Which is smaller: 16 or o?
o
Let h be ((-4)/16)/(3/17558). Let x = h - -1456. Do x and -1/3 have the same value?
False
Suppose -24*d + 945 - 489 = 0. Is -1.1 at most d?
True
Let m be ((-3)/9)/((-36)/(-16) + -3). Which is smaller: m or 1/7?
1/7
Let b be 0 + 2 - (4 - 28). Let z = b - 27. Which is smaller: -2/83 or z?
z
Suppose 0 = o - 41*o - 2360. Which is smaller: o or 4?
o
Let q = -2 - -6. Suppose -6 + 0 = -4*h - 2*y, 0 = -q*h - 3*y + 11. Let x = 190/143 - 22/13. Which is smaller