uppose -2*l + 5*l - 4*n = 24, 0 = -l - 4*n + 24. Is 12 > l?
False
Suppose 0 = t - 5, 0 = 4*y + 2*t - 6. Let s = 1 + y. Which is smaller: s or 3/8?
s
Let j be (-157)/261 - 3/(-3). Let o = j - 18/29. Are o and 1 non-equal?
True
Suppose d - 20 = -5*m, m + 3 - 7 = -5*d. Suppose d = -5*l + 2 + 3. Which is greater: l or 0?
l
Let h(u) = -u**2 + 8*u + 9. Let t(z) = 2*z - 6. Let i be t(5). Suppose 18 = -2*x + i*x. Let b be h(x). Is 2/11 equal to b?
False
Let q = -15 + 15.12. Is q at most -1/5?
False
Let r be (3 - 1)/(24/36). Suppose -r*u - 3*s = 12, -10 = -4*u - u + 5*s. Is u bigger than 2/7?
False
Let a = -27 - -27.9. Is -0.2 != a?
True
Let k = 17 - 17. Which is greater: 1/246 or k?
1/246
Suppose 19 + 89 = -3*f. Which is greater: f or -37?
f
Let g(v) = v + 5. Let n be g(-4). Let b(h) = -h**3 - 4*h**2 + h + 4. Let o be b(-4). Is n != o?
True
Let t = 11 - 9. Suppose t*u = -2*u - 4. Which is bigger: 1 or u?
1
Let z be -1 + 2 + 126/(-98). Is -1 less than or equal to z?
True
Let q be (-30)/75 + 6/(-10). Let i = 1 + -1. Which is bigger: q or i?
i
Let a be 238/17*(-1)/2. Let i be (12/a)/((-6)/21). Is 6 >= i?
True
Suppose -4*m = -2*m - 34. Suppose 20 = 5*g, 3*w - m = 2*g - 4. Do 11/2 and w have different values?
True
Let t = -5 - -4. Let u be 3/(-37)*2/(-3). Which is bigger: u or t?
u
Suppose w - 4 = -24. Let j be (9/6)/((-6)/w). Let m = j - 5. Are 0 and m unequal?
False
Suppose 6*d = -2*d - 80. Do -14 and d have the same value?
False
Let j = -0.2 - 0. Suppose 0 = -4*f - 3*h - 8, -3*h - 6 = -3*f + 6*f. Which is greater: j or f?
j
Let n be (6/12)/(6/20). Which is greater: 3 or n?
3
Let f be (-280)/822 + (-3)/(-9). Let m = f + -271/411. Let k = -36 - -35. Is m at least as big as k?
True
Let k = -41 + 43. Let f be ((-6)/(-9))/((-2)/(-12)). Let l be (f + -1)/(0 - -1). Is k less than or equal to l?
True
Let j(g) = g**3 + 12*g**2 + g + 8. Let w be j(-12). Suppose -6*d + d + 3*n - 37 = 0, -5*n = 4*d. Which is smaller: d or w?
d
Suppose -4*c = -2*c - 14. Suppose 3*t - 2*t = -c. Which is smaller: t or -6?
t
Let h = -2 - -2. Let g be (1/8)/((-33)/(-44)). Is g != h?
True
Let w = 493/5 - 3231/35. Which is smaller: w or 7?
w
Let t be 1/(3/(9/(-2))). Suppose 3*j = 0, -2*y + j + 39 = y. Let z = -14 + y. Is z not equal to t?
True
Let o = -4393/18 + 244. Is 0 bigger than o?
True
Let s be (-170)/(-4) + 0/6*1. Is 42 greater than s?
False
Let b be (-4)/14 - (-10)/(-14). Let u be -19 - 2/(-1 - -3). Let k be u/(-45)*(-3)/2. Is b bigger than k?
False
Let f(n) = -n**3 + 6*n**2 + 7*n - 4. Let j be f(5). Which is bigger: j or 55?
j
Suppose -13 = -5*q - 98. Is q bigger than -18?
True
Suppose 0 = -4*z + 37 + 23. Let y be (1/z)/((-10)/12). Which is greater: -1 or y?
y
Let u be 33/(-12) - 2/8. Let a(j) = -j**3 - 4*j**2 - 4*j - 3. Let w be a(-3). Suppose w = 2*g - 4*g. Which is bigger: u or g?
g
Suppose 5*n - 3*f + f + 10 = 0, -f - 25 = 5*n. Let i be n/(-2)*(-1 - -2). Let r be (-3)/6*(i - 4). Is r at most 1/4?
False
Let w = -12 - -15. Is 0 at least w?
False
Suppose 0 = 2*t - 3 + 15. Let k be (t/9 - -2)*-3. Do k and -0.1 have different values?
True
Let h be 64/1632*(-36)/1. Is h at least 0?
False
Suppose 5*n - 4*k - 57 = 0, 23 = 3*n - k - 7. Let m = -6 + n. Let p = 24 + -23. Is p greater than m?
False
Let w(f) = -f**3 - 7*f**2 - f - 1. Let r be w(-7). Suppose m - 1 = i, -r = 5*i + 4*m - 28. Suppose i*n + n = 3. Which is bigger: n or 4/7?
n
Suppose -31 = -4*a - 11. Let y = 4 - a. Which is smaller: y or -3?
-3
Let z = -31.9 + 38. Let g = 6 - z. Which is smaller: 0.1 or g?
g
Let a be 2/(5/(10/(-62))). Which is bigger: 1 or a?
1
Suppose d = -0*d + 5. Suppose -5*n = 3*l - 16, -d*n + 3*l - 4*l + 22 = 0. Which is greater: n or 0?
n
Let x = 3 - -5. Let s be (-6 + 4)*6/x. Which is greater: 0.2 or s?
0.2
Let y be 12/21 - (-16)/(-28). Let p = 2 + 0. Which is smaller: y or p?
y
Let x = 0.047 - -0.053. Does x = -3?
False
Let a = -12 - -20. Is 8 >= a?
True
Suppose -18 = -3*t - h, -2*h + 24 = -2*t + 6*t. Let b(u) = -u + 11. Let w be b(t). Suppose 3*s + 8 = 2, -w*z = -5*s - 5. Which is bigger: z or -3?
z
Let l = -123920208/533 + 232496. Let w = l - 6/41. Suppose -4*i = 5*n, 0 = 2*n + 6*i - 3*i. Which is smaller: w or n?
n
Let y(z) = -z**3 + 6*z**2 + 2*z - 11. Let a be y(5). Is 23 less than a?
True
Let p = 0 + -1. Let s = -0.2 + 1.2. Let n = s - -1. Is p not equal to n?
True
Let y = -6 - -26. Let w = y - 20.06. Is -1 smaller than w?
True
Let b = 5.7 + -4.7. Which is bigger: b or -17?
b
Let u be 4/10*(-75)/(-18). Suppose -k + 0 = -3. Is u < k?
True
Let x = -0.9 + -0.1. Let i(y) = y - 2. Let a be i(0). Let p be (-9)/12*a/(-6). Is x smaller than p?
True
Suppose 80 + 520 = 5*v. Let y be (-2)/(-4) + v/(-176). Which is smaller: 0 or y?
y
Let p = -7 + 10. Which is smaller: 0.1 or p?
0.1
Let c = -28.3 - -27. Which is greater: 0 or c?
0
Let d be (-9 - 1)/(3 + -5). Suppose d*v = 3*v - 3*b + 29, v - 2 = b. Let q = 6 - v. Which is greater: q or 2/7?
2/7
Let a = -0.35 + 0.3. Let m = 27 + -27. Which is bigger: m or a?
m
Let d(j) = -j + 1. Let c(k) = -k + 1. Let q(p) = 5*c(p) - 6*d(p). Let w be q(5). Suppose -a = w*a. Is 2/9 at most as big as a?
False
Let b = 15/2 + -169/22. Suppose 5*m = -5*q + 10, q + 2 - 1 = 2*m. Is b <= q?
True
Suppose 0 = -0*o + 2*o - 10. Let l(i) = -2*i + 7. Let x be l(o). Is -3 at least x?
True
Let k = -350 - -19951/57. Is 1 at most as big as k?
False
Let j be (4 + -2)/(2/12). Let s(o) = 15*o - 62. Let q be s(5). Is j != q?
True
Let j be (-13 - -12)/((-2)/(-32)*-2). Which is smaller: j or 6?
6
Let k(c) = 5*c + 28. Let r be k(-6). Is -8/5 > r?
True
Suppose -4*y - 60 = -0*y. Let h = y + 21. Let d be (-4)/(-15) - 4/h. Which is smaller: d or -2?
-2
Let i = 1 - 0. Let n be (-35)/(-21) - (-1)/(-3). Which is bigger: i or n?
n
Let g = 0.43 - 0.03. Are 0.1 and g equal?
False
Let h = 51 + -37. Is 13 at most as big as h?
True
Suppose s + x = -4, -3*s = s + x + 10. Is s >= 0.06?
False
Let p = -29 - -28. Let y be 1/4*(-12)/5. Are y and p equal?
False
Let f = 108 - 116. Which is bigger: f or 2/3?
2/3
Let b = 0.7 - -0.3. Let h = b + -0.7. Let k = -1.3 + h. Is k at least -1?
True
Let l = -322934 + 4194023/13. Let t = 317 + l. Which is greater: t or 0.1?
t
Let j = 2.1 - 2. Let h = -0.1 + j. Is 2 greater than or equal to h?
True
Let m = -16 - -17. Which is smaller: m or 2/13?
2/13
Let x(s) = -2*s**2 + 2*s + 5. Let u be x(4). Let z = 27 + u. Let y be ((-63)/42)/(3/(-14)). Is y less than or equal to z?
True
Let j be (-2)/(-18)*168/8. Which is smaller: 1 or j?
1
Let w be 4 + -2 - (-1 + 74/24). Let a = -2 + 2. Suppose a*u = 5*u + 5. Is u > w?
False
Let x = -0.16 - 0.54. Let p = -0.4 - x. Is -2 at most p?
True
Let d = 2 + -1.9. Let t = -2.98 + -0.02. Let l = 2 + t. Which is smaller: d or l?
l
Let a be (-3)/5 - (-72)/20. Suppose -d - a = -2. Suppose -2*h - 5*z - 3 = -1, 5*h - 4*z + 5 = 0. Is h >= d?
True
Let d = -1 + 1.05. Let t(w) = -2*w - 9. Let x be t(-7). Suppose 3*y = 4*h + 4, y + 5*h + 0 = -x. Is y at least as big as d?
False
Suppose -34*g - 108 = -38*g. Are 28 and g non-equal?
True
Let f be (52/(-5))/((-5)/25). Suppose 2*v - 6*v + f = 0. Suppose 0 = -5*n + 2*q - 1 - 0, 0 = 3*n + 5*q + v. Which is smaller: n or 1?
n
Let g = 8 - 13. Is g <= -5?
True
Let i = -83/2 + 469/10. Which is bigger: 6 or i?
6
Let u be 1*(-4)/10 + (-57)/570. Is 0 > u?
True
Let x = 3 + -1. Let t be 1 + (7 - 2 - 3). Suppose -x*d + 13 - t = 0. Which is bigger: d or 4?
d
Suppose -7 = -s + 3*n, 9 + 6 = -5*n. Suppose 2*o + o = -9. Let i = o - s. Are i and -2/15 equal?
False
Let u = -11 - -24. Let o(f) = -f**2 + 14*f - 14. Let x be o(u). Is x smaller than 1/7?
True
Suppose -13 = -2*k - 3. Suppose 0*o - 5*o = -4*t - 9, -3*o - k*t = -35. Let g(x) = x - 7. Let u be g(o). Is u less than -3?
False
Let p(k) = -k**3 + 5*k**2 - 5*k + 5. Let q be p(4). Let h = 0.05 + 6.95. Is h greater than q?
True
Suppose -7*o + 12 = 5*o. Which is greater: o or -2/133?
o
Let k = -22/9 + 296/99. Is k not equal to -1?
True
Let b = -3589/11 + 326. Is b at least as big as -1?
True
Let g(k) = k + 14. Let u be g(-16). Let n be u + (-2)/(12/(-15)). Which is greater: n or 1/4?
n
Suppose -2*k - 2 = 2. Let w be (1 - 0) + k/4. Let d = -0.28 - -0.78. Is d at least w?
True
Let n be (9/12)/(60/32). Is -22 less than n?
True
Let u(p) = -3*p**3 - 5*p**2 + 4*p - 1. Let f(a) = 2*a**3 + 4*a