Let g be ((-24)/15 + 1)*-15. Let y = 5 - g. Which is smaller: y or -3?
y
Suppose 0*y - 462 = 14*y. Which is smaller: y or -30?
y
Let c = -11 - 5. Let v = 13 + c. Is 0.1 equal to v?
False
Suppose -u = 2*u - 2*t - 43, -2*u + 33 = 3*t. Let x be 16/(-20)*u/(-2). Let h(k) = -2*k**2 - 10*k + 5. Let f be h(-5). Is x <= f?
False
Suppose 2*m + 2 = 4*m. Let b be (48 - -5)/((-3)/(-1)). Let y = b + -157/9. Which is bigger: y or m?
m
Suppose -4*l + 7 = -3*w, 0*w - 2 = 2*w. Let a(p) = -p**2 - 12*p - 31. Let u be a(-4). Is l smaller than u?
False
Let y(l) = -l**3 + 5*l**2 + 2*l - 9. Let v be y(5). Let c be (-1)/(2*2/(-8)). Let r be 1/2 - (-1)/c. Is r equal to v?
True
Let f = 11 + -5. Let w be -4 + f + 14/(-5). Is w equal to 0.1?
False
Let k = 64 + -450/7. Which is bigger: k or -8?
k
Let q be 166/794629*34622/(-12). Let a = q - 2/16907. Let j = a + -3/47. Which is smaller: -2 or j?
-2
Let b(f) = f**2 + f - 1. Let s be b(-2). Suppose 2*w + r + s = 3*w, 5*w - 4*r - 4 = 0. Suppose 5*x = a + x + 3, 0 = x - 1. Are w and a equal?
False
Let p be ((-4)/(-6))/(28/42). Are p and 7/16 non-equal?
True
Let k be 6 + -8 - 249/55. Let q = k - -3/110. Which is smaller: -6 or q?
q
Let s = -159 + 84. Which is smaller: 0 or s?
s
Let u = 1 + 0. Suppose 6 = -2*b - 5*w, -b - 5*w + 12 = -10*w. Let y be (2 + b)/2 - u. Is -2/9 less than or equal to y?
True
Let v(w) = 2*w + 2. Let y be v(-4). Let b = y + 8. Let q = 9 - 7. Is b bigger than q?
False
Suppose -4 = 5*z - 14. Suppose n + 5 = -g, 4 = 3*n + z*g + 20. Do -6 and n have the same value?
True
Let p = 22 - 23.3. Let o = p - -7.3. Let z = o - 5. Is 1 bigger than z?
False
Suppose 5*m = c + 21, 9 = 4*c - 7. Let d(b) = 3*b - 1. Let h(j) = -j - 1. Let u(y) = d(y) + 2*h(y). Let f be u(m). Which is greater: 1 or f?
f
Let o(r) = r**2 - 6*r + 7. Let k be o(5). Suppose -k = -3*c + 1. Let w = -15 - -17. Is w greater than or equal to c?
True
Let q(z) = 2*z**2 - 11*z - 37. Let u be q(10). Which is smaller: u or 51?
51
Let n = -67 + 46. Which is smaller: -22 or n?
-22
Let q = 20.8 - 21. Is -7/5 at least as big as q?
False
Let p(q) = 4*q - 16. Let x(k) = 3*k - 11. Let t(r) = -5*p(r) + 7*x(r). Let v = -8 - -5. Let l be t(v). Is -1/5 != l?
True
Let h = -18 - -55/3. Let n = 7 + -3. Let z = n + -6. Is z at least h?
False
Let r = 1 - -1. Suppose 3 = -5*h - r*y - 1, 5*h + 4*y + 8 = 0. Is h at least as big as -0.4?
True
Suppose 3*j - 2*a - 3 = -a, 0 = 5*a + 15. Is j not equal to 2?
True
Let v = 28 - 17. Let a = v - 10. Are a and -1 non-equal?
True
Let d = -1 + 1. Let b be (d/(-4 - -6))/(-1). Which is smaller: 3/11 or b?
b
Let z(q) = -q**3. Let j be z(0). Suppose 0 = -3*u - 4*k + 10, 0 = -5*u + 5*k - j + 5. Let l be -1 + 9/30*u. Which is bigger: 0 or l?
0
Let u = -164 - -172.9. Let t = 9 - u. Which is smaller: 2/7 or t?
t
Let l = -7 - -11. Suppose 3*o - 6 = l*p + o, o - 7 = 4*p. Let w be (-13)/(-20) - p/(-5). Which is smaller: 0 or w?
0
Let v(x) = -x**3 + 6*x**2 - 4*x - 6. Let w be v(5). Let m be 14/(-1) + (w - 0). Let p be ((-12)/m)/(2/(-10)). Is -3 less than p?
False
Let p = 4 - -1. Let x = -3 + p. Does x = 2?
True
Let o be (1/4)/(18/(-16)). Let n be (0 + 0)/(-3 - -1). Suppose -t = -n*t + 1. Which is bigger: o or t?
o
Let w = -1.7 + 2.7. Do 8 and w have different values?
True
Suppose -4*m - 6 = -s + 1, -5*m = -2*s + 8. Let v = m - -1. Let w = -13.1 - -13. Which is smaller: v or w?
v
Let p be 1 + (1 - (-9)/(-4)). Suppose 6*c = 3*c + 4*x + 22, c - 4*x - 18 = 0. Let k be -2 - (c + 4*-1). Is k > p?
True
Let n = -32 - -222/7. Let v = 32 - 31. Which is greater: n or v?
v
Let r be (-22)/126 + 12/54. Which is greater: 0 or r?
r
Let v = 0.38 + 0.02. Let i = -0.4 + v. Let g = -0.97 - 0.03. Is i at least g?
True
Let w be 1*-3 - 1/(6/(-54)). Let b be (-4)/8 + (-11)/(-2). Which is greater: w or b?
w
Let k be -3*4/6 - 1. Let f be (-2)/(-22) + (-3 - k). Let l be ((-1)/2)/((-4)/32*4). Are f and l non-equal?
True
Let q be (0/(-2 + 5 + 0))/(-2). Which is smaller: 12/13 or q?
q
Let c be ((-8)/10)/(2/10). Let r be (-2 - c)*6/4. Suppose -5*l = -r*l - 4. Which is greater: l or 0?
l
Let v be (-2)/(1 + 14/(-4)). Let d = 253/2 + -127. Which is smaller: d or v?
d
Let g = 0 - -1. Let y = -91 + 272/3. Which is greater: y or g?
g
Let o = 11 - 3. Let x be ((-1)/2)/(12/o). Which is bigger: 2 or x?
2
Suppose -1 = -3*m + 2. Which is smaller: m or 2?
m
Let g = 4.3 + -5. Let m = 0.78 + g. Are m and 1 non-equal?
True
Let b = -0.2 - 0.3. Let z = 0.54 - 0.33. Let i = -0.11 + z. Which is smaller: b or i?
b
Suppose -4 = 4*k, -w - 2*w + 2 = 4*k. Let y be (-65)/(-420) - w/8. Let v be 1/4 - (-3)/4. Is v at most y?
False
Let c(p) = -1 + p + 0*p + 2. Let g be c(-1). Do g and 6/5 have the same value?
False
Let b = 9 + 4. Which is smaller: 3/4 or b?
3/4
Let k be (-510)/(-123) + 12/(-3). Is 0 at most as big as k?
True
Let r = 92 - 274/3. Which is smaller: 2/15 or r?
2/15
Suppose -16 = -4*d, -4*s + 0 = d - 12. Are s and 13 equal?
False
Let p be 6/2 - 32/11. Which is smaller: p or -1?
-1
Let c be 3/(-6)*(2 + -6). Suppose -c = 3*g - 5. Let j = -481/6 - -80. Is j > g?
False
Suppose 0 = -4*z - 4*x - 16 + 40, 4*z - 3 = 3*x. Let b be -3 - ((-4)/(-18) - z). Is 1/4 at most b?
False
Let q be 81/96 + (-6)/8. Which is greater: 1 or q?
1
Let w be 2/7 - 3009/21. Let b be 64/(-78) + (-22)/w. Let s(j) = -j**2 - j. Let r be s(0). Which is smaller: r or b?
b
Suppose 3*r = 4*r - 6. Let q = r - 3. Suppose 0 = -q*f + f + 4. Is f > -1?
True
Let f = -9 + 8. Let v = 5/7 + f. Is 3/4 at most as big as v?
False
Let x be (-4)/(-16) + (-30)/(-8). Suppose -3*g = -x*p - 32, p + g + 2 = 1. Is p less than 0.1?
True
Let x(h) = h**3 + 8*h**2 + 3*h - 13. Let t be x(-8). Is 1 less than t?
False
Let k = 4 - 7. Let a = k - -3. Let x = 0 - a. Which is smaller: x or 0.2?
x
Let q be (-5 + -1)/((-6)/4). Let s = 6 + -1. Suppose k - 4*k = q*r - 7, -s*r = -k - 23. Is k less than or equal to -2?
True
Suppose -c + 5*c = -16. Let j(u) = -u**3 - 4*u**2 + 4*u + 4. Let l be j(c). Let r be (-24)/10*3/l. Do r and 2 have the same value?
False
Suppose 5*i + 18 = 2*m, 4*i = i - 12. Which is smaller: 1 or m?
m
Suppose 3*a + 3 = u + 16, -3*a + 12 = 0. Let t be u/(-2*(-21)/4). Is t bigger than 1?
False
Let v = -0.056 - 0.154. Is 1 < v?
False
Let v = -1034/9 - -116. Is -2 greater than v?
False
Let z be (-1 + -3)/(4 + -3). Do z and -4 have different values?
False
Let q = 4 - -26. Is -1/2 < q?
True
Suppose 3*a - 2*n - 3*n + 59 = 0, -a + 5*n - 13 = 0. Let m = a - -68/3. Which is greater: m or -1?
m
Suppose 5*i - 5*o = 15, -2*i + 2 = -4*o - 10. Suppose -2*h + 4*h - 10 = i. Is h at least 4?
True
Let m be (-4)/((-20)/6 + 3). Let x = -15 + m. Is -4 > x?
False
Suppose -4*z = 4*s - 12, 0*s = 5*s + 4*z - 12. Which is smaller: s or -3?
-3
Let s be (-55)/25 - (-2 + 1). Let w(m) = m**2 - 5*m + 3. Let h be w(4). Which is smaller: s or h?
s
Let y = -4624/23 + 201. Let u = y + 95/69. Which is smaller: 1 or u?
1
Let k = -34978/85 - -34750/51. Let c = 270 - k. Is c greater than or equal to -1?
True
Let g be (1 - -2)*2/(-6). Let c = -457/13 + 35. Is c greater than or equal to g?
True
Let m = -40 + 41. Which is smaller: -1/3 or m?
-1/3
Let y = -1.2 + -0.8. Are -4/5 and y equal?
False
Let y = -87/650 + -1/50. Which is bigger: 0 or y?
0
Let y be (2/(-2) + 1)/1. Suppose 0*p + 4*p = y. Which is greater: p or 1/3?
1/3
Let v(i) = 3*i**2 + 20*i + 26. Let n be v(-4). Suppose 2*w = w, -5*y - 30 = w. Is n >= y?
True
Let v = -45 + 133/3. Let u = 1/2 + v. Is u at least 1?
False
Let f = -25 + 25. Is f >= -22?
True
Let d = 39 - 40. Which is smaller: d or -6?
-6
Let d = -2/107 + 244/1605. Which is bigger: d or 0?
d
Let r = -0.61 - -0.6. Let x = 19.91 - 20. Let l = r + x. Which is bigger: -0.5 or l?
l
Suppose -6*r = -r. Let p = -7114 - -78558/11. Let f = p + -28. Do r and f have the same value?
False
Let g = 9 - 9. Let p = 6 - g. Is p at least 4?
True
Let t = -4.4 + 1.4. Is -2/9 at least as big as t?
True
Let j = 2.025 - 0.025. Is -0.7 > j?
False
Let m = 113940/53 - 2150. Which is bigger: m or 0?
0
Let w = -1.5 + -1.4. Let n = -3 - w. Let j = -0.1 - n. Are 0 and j equal?
True
Let m = 16 + -3. Let x = m + -10. Is x > 3?
False
Suppose -4*d = -7 - 5. Suppose -4*a = d*j, 2*a = 2*j + j. Do 2/9 and j have different values?
True
Let n = 0.31 + -0.01. Let h = -0.5 + n. Let r = 0 - -0.1. Is h less t