e -6*j = -j + x. Which is bigger: j or 2/37?
2/37
Let z(h) = -h**2 - 14*h + 2. Let y be z(-16). Let d be 1/((-5)/(y/57)). Is d != 1?
True
Let z = -3 + 2.5. Is z < 3?
True
Let q be (12 - 15)*(1 + 4/(-6)). Which is greater: q or -1/126?
-1/126
Let h = -74 - -73.3. Which is smaller: 1 or h?
h
Let a be 0 - 1/(45/(-2)). Suppose 9 = -3*l + 9. Is a > l?
True
Let l = 71 + -70. Which is bigger: -1/109 or l?
l
Let b be (0/2)/(3 + -10 + 5). Is b at least 0?
True
Let w be (6 - 0 - 7)/((-2)/12). Is w less than or equal to 10?
True
Let g = -127 + 126. Which is greater: 3/67 or g?
3/67
Let n = -26 - -11. Which is bigger: n or 1/2?
1/2
Let t be -5 + (-4)/(-4) + -5. Which is greater: t or -12?
t
Let t = 1.2 - 1.8. Which is smaller: 0 or t?
t
Let w = 0.06 + -3.06. Let k = -12 - -2. Let f = k - -9.9. Which is smaller: w or f?
w
Suppose 5*l - 32 = -2. Is l <= 5?
False
Let i(s) = -3*s - 4. Let a(u) = u + 1. Let c(m) = 2*a(m) + i(m). Let p be c(-2). Let y be ((-1 - p)*-2)/(-5). Which is greater: 0 or y?
0
Let n(l) = l**3 + 3*l**2 - 2. Let x be n(-3). Is -2 <= x?
True
Let g be (8/5)/((-1)/5). Let w = g + 31/4. Let y = -11/4 + 17/4. Which is greater: w or y?
y
Let m be ((-3)/((-18)/(-3)))/1*0. Which is greater: 5 or m?
5
Let g = 1.4 - -0.6. Let v = g + -2. Which is smaller: v or 2/7?
v
Suppose -3*k - k = 0. Suppose k*h - 4 = -4*h. Let t(s) = s**2 - s. Let x be t(h). Is x <= 0.1?
True
Suppose -i = -4*u - 89, -2*i + i = -2*u - 47. Let x = u + 21. Which is bigger: -2/45 or x?
x
Let h = 5 - 6. Is -4/55 at least as big as h?
True
Let k = -27734 - -139363/5. Let l = -139 + k. Is 1 smaller than l?
False
Let h(z) = z**3 - 11*z**2 + 9*z + 10. Let o be h(10). Let k be (-36)/(-286) + 2/11. Which is bigger: o or k?
k
Let f be 9/15 - (-483)/(-855). Does 1 = f?
False
Suppose 4*r = 3*n - 4, 2 + 2 = -2*n - 4*r. Let l = 3.8 + -4. Which is bigger: l or n?
n
Let j be 10/(-3)*(-6)/4. Suppose 4*g - 3*w = -305, j*g + 382 = 5*w - w. Let y = g - -445/6. Which is greater: 0 or y?
y
Let u be ((0 - -1)*-4)/(-1). Let b = -11 - -16. Suppose 3*l - 4 = b. Which is greater: u or l?
u
Let k = 18 + 3. Is k smaller than 21?
False
Let k = 1.7 - 1.9. Let w = 0.2 + k. Which is bigger: w or 3/4?
3/4
Let o = -21 - -21. Which is smaller: -0.03 or o?
-0.03
Suppose -5*k + 4*v = -19 + 2, -3*k = 3*v - 21. Suppose 2*o + 10 = 2*g - o, -k*g + 5*o = -30. Let c be (2/g)/(12/(-16)). Which is bigger: c or 0?
0
Let d = -12 + 6. Let s be d/15 - (-2)/(-5). Let y be 7/(-49) + (-2)/(-14). Which is smaller: y or s?
s
Suppose -4*s - 4 = 4*j, s = -5*j + 3*s + 23. Let w = 0.2 - 0. Which is bigger: w or j?
j
Let m = -0.8 + -1.2. Suppose q + 10 = 3*u + 33, 2*u = -5*q + 30. Let d be q/(-6) + 1 + 0. Is d greater than or equal to m?
True
Let f be (-5 - -4) + (-69)/(-67). Is -1 smaller than f?
True
Let c(t) = -t**3 + t**2 + 4*t. Let v be c(3). Let y be (27/v)/(9/(-24)). Let s be (-28)/y - (-2)/(-3). Do s and 1/2 have different values?
True
Let z be ((-2)/24)/1*3. Is z greater than 20?
False
Let w(m) = -m**3 + 8*m**2 + 10*m - 7. Let n be w(9). Suppose -2*y - n*c = 4, 5*c + 5 + 15 = 5*y. Let r = y - 0. Which is greater: r or 2/11?
r
Let u be 2/(-3) - (-220)/(-12). Which is greater: -39/2 or u?
u
Suppose 3*s + 4 = 1. Which is bigger: s or -1/2?
-1/2
Let s(j) = -2*j - 27. Let d be s(-16). Let o = -9 + 15. Which is greater: d or o?
o
Let o be (12/32)/(27/(-348)) - -3. Is -3 greater than o?
False
Suppose -6 = -2*b + 3*b - 2*c, 0 = -2*b + c - 3. Let x = 35/3 + -104/9. Which is bigger: x or b?
x
Let k be 4/(-6)*(-1 - -7). Let j = k + 3. Let g be ((-6)/14)/(36/126). Which is greater: g or j?
j
Let k = 463/5 + -93. Are 5 and k equal?
False
Let j be 2/(-4)*12/(-11). Which is bigger: j or 2?
2
Let s = 0 + -2. Let j be 3/s*8/(-30). Let v = -0.8 - -0.8. Which is bigger: j or v?
j
Let c = 1470 + -16190/11. Let r = c - -169/99. Is r not equal to 0?
True
Let q = 695 - 28493/41. Does -1 = q?
False
Suppose 56 = -30*k + 16*k. Let g(s) = -s**3 + 2*s**2 - 3*s + 1. Suppose 4 = -n + 3*n. Let o be g(n). Which is greater: o or k?
k
Let c be 1/(-3) - (-14)/6. Suppose 4*b - 3*r - 18 = 0, -10 = -0*b - c*b + 2*r. Suppose -u - 4 = b*u. Which is smaller: -1/4 or u?
u
Let g = 24 - 35. Is g <= 0.2?
True
Suppose -o + 23 = 4*u - 5, 0 = -3*u - 3*o + 30. Let k be (3/(-6))/(1/u). Which is smaller: -8/5 or k?
k
Let z = -6 + 4. Let v be ((-1)/(-2))/(z/4). Let r = 178/133 + -20/19. Do r and v have the same value?
False
Let y = -340 + 339. Let q be (-2)/((-13)/3 + -1). Which is greater: y or q?
q
Let o = -5.4 - -6.39. Let z = o + 0.01. Let h = 1.1 - 0.1. Is h < z?
False
Suppose 7*m + 25 = -31. Do m and -11 have the same value?
False
Let u be ((-2)/(-3))/(63/27). Let a be ((-1)/(0 - -1))/4. Is u at most a?
False
Let n(i) = -i + 4. Let r be n(6). Let w(b) = -2*b - 3. Let x be w(r). Let k be 2 + ((-1)/3 - 2). Which is smaller: k or x?
k
Let i be 1 + 38/(-10) + 3. Let z = -7.1 - -7. Which is greater: i or z?
i
Let v be 13/(-8)*-10 + (-2)/8. Is v <= 16?
True
Let r = -65 - -66. Which is bigger: r or 1/23?
r
Let g = 18 - 12. Let u be (1 - -1)*3/6. Let t be ((-2)/g)/(u/(-3)). Is 2 at most t?
False
Let f = -4 + 3. Let i be ((-12)/3)/(0 + f). Suppose -i*p + 2 + 6 = 0. Is 1 != p?
True
Let r = 5.4 - -0.4. Let l = -6 + r. Which is smaller: l or 4?
l
Let w = 41/140 - -3/28. Suppose -h = -3*h + 252. Let s be 108/h*(-2)/(-4). Which is bigger: s or w?
s
Let v = 0.4 + 4.6. Let y = -2 + 6. Let f = y - v. Is f at least -1?
True
Suppose r - 5*m - 20 = 4*r, -2*r - 5*m = 15. Let f = r - -2. Which is smaller: f or -1?
f
Suppose -2*m - 5*a = 16, -2*m = 2*a - 5*a - 16. Let x = -3 + 3. Is x greater than or equal to m?
False
Let z = -1.08 - -4.08. Which is smaller: z or 0.18?
0.18
Let k = 11 + -10.84. Let i = k - 0.06. Which is greater: i or 1/2?
1/2
Suppose 3*b - 1 = 2*v, -v - b + 10 = b. Suppose -44 = -5*c - v. Suppose -x + d = 3*x - 1, c = 2*x - 2*d. Which is greater: x or -2/7?
-2/7
Let w(v) = v + 5. Let p be w(-5). Let r be 1/((-1 + p)/(-3)). Let q be 2/r + 100/(-105). Which is greater: -1 or q?
q
Let p be -3*(-4 + 2/(-90)*-201). Are p and 0 non-equal?
True
Let u(b) = -b - 2. Let l be u(-3). Let q be 4*l/6 + -1. Is q equal to 0?
False
Let s be 8/(-12)*3*1. Suppose -2*d = -4*z - 4, 3*d = 2*z - 2*d - 14. Which is bigger: s or z?
s
Let g = 11 - 10. Let y = -4 - -3. Which is smaller: g or y?
y
Let o = 454/7 - 12272/189. Is o < 0?
True
Let y(p) = p**2 - 7*p. Let v be y(7). Is -2/11 bigger than v?
False
Suppose 0 = 4*o + 2*z - 8 - 6, 5*o = z. Which is smaller: -2/9 or o?
-2/9
Suppose -4*o + 2 = -22. Suppose k + 9 = -2*n, o = -3*k - 3. Let v = -3 - n. Which is greater: 3/8 or v?
3/8
Let o = -281139/7 - -40265. Let j = 102 - o. Is -1 bigger than j?
False
Suppose -w - 2*d + 7*d - 1 = 0, 2*w - 4*d + 2 = 0. Is w less than or equal to 2?
True
Suppose 4*z = -c - 8, z + 2*c = -4 + 2. Suppose 5*r - r - 24 = 0. Suppose 3*y = 5*u - 8, r = -y + 3*u + 2*u. Is y bigger than z?
True
Let c = -23/55 + -2/11. Let a = -96 - -96. Is c at least a?
False
Suppose r + 2*s = -68, 5*s + 51 + 14 = -r. Is -70 less than r?
False
Let r = -16 + 16. Is 0.4 < r?
False
Let a = -71 + 70. Which is smaller: a or -6/53?
a
Let f = 5.1 + -4.5. Which is smaller: 0 or f?
0
Let s = 0.33 - 0.5. Let l = 0.1 + s. Which is smaller: 1 or l?
l
Let w = 1 + 62. Let r = w - 377/6. Are 1 and r nonequal?
True
Let l = -4 - 0.3. Let j = l + 0.3. Let d = 4 + j. Which is bigger: -2 or d?
d
Let t = -8 + 4. Let j = t + 5. Let r = j - 1.1. Which is greater: -1 or r?
r
Let i = -0.417 + 0.217. Let x be -1 + (-2)/(-6) + 1. Are i and x non-equal?
True
Let t be (2 - (3 - 3))/(-2). Which is smaller: t or 3/10?
t
Let t(i) = -i**3 - 8*i**2 - i - 8. Let h be t(-8). Is h less than or equal to 4/21?
True
Let t = 94 - 222. Are t and -127 non-equal?
True
Let y = 11 + -7. Suppose 4 = 2*j - y*j. Is -3/4 at least as big as j?
True
Let t = -11 - -9.91. Let y = t - -0.09. Suppose 2*b = -4*w - 6, -3*b + 6*b = 5*w + 2. Is w equal to y?
True
Suppose -f = -4*h + 27, -3*h + 54 = -f - 2*f. Let w be 2/1 - (-36)/f. Let l = 1.3 + -0.3. Is l != w?
True
Let z = 1.1 + -1. Let v = z + 0. Let r = 0.1 - -0.1. Is r greater than or equal to v?
True
Let l(k) = -11*k + 2*k**3 - 8*k**3 + 13*k**2 - 9 + 5*k**3. Let x be l(12). Is 4 at most x?
False
Let w be 6/9 + 30/9. Let b = 2 - 1. Which is grea