et d be v(-1). Are d and -3 nonequal?
True
Let k = 36 - 183/5. Is -0.4 at least as big as k?
True
Let x = -46 - -47. Is x not equal to -1/3?
True
Let y = 2.6 - 0.6. Let t = 9 + -5. Suppose t*f - 20 = 5*r, 3*r + 5*f = r + 25. Is y <= r?
False
Suppose -4*d - r = -92, 3*d + r = -r + 74. Let h be (3/d)/(24/(-32)). Which is smaller: 0 or h?
h
Suppose 4 = -o + 16. Suppose 4*f - o = -0*f. Let g = f - 1. Is g at most as big as 0?
False
Suppose 2*f + 0*v = 2*v + 18, 0 = f + v - 9. Let y be (-3)/(-2)*12/f. Suppose s = h + 7, 4*h + 1 + 15 = -y*s. Which is smaller: 0.1 or s?
0.1
Let r be (-12)/1*(-3)/9. Suppose -5 = b + 2*n, 0*n + 3*n + 13 = r*b. Do -1/3 and b have the same value?
False
Suppose o = -k + 1 - 3, -3*k - 3 = 0. Let f = -21/19 - -20/19. Which is smaller: f or o?
o
Let l = 0.8 + -0.5. Let i = l - 1.3. Let x = -0.2 - -0.3. Which is smaller: i or x?
i
Let j = 1125/7 - 161. Is j greater than -9?
True
Let m be (68/(-12) + 5)*(-3)/25. Is m at most as big as 0?
False
Suppose 0 = f - 5*f - 4. Let j be (2/(-3))/(2/(-3)). Let u be -1 - (0 + 1 - j). Is f > u?
False
Let b = 546 + -548.37. Let z = b + 0.42. Let h = z + -0.05. Is h != -2?
False
Let m be 0/2 + (0 - -5). Suppose -3*c - m*y + 0 = -3, 0 = 4*y. Which is smaller: 2 or c?
c
Let w be (-183)/(-105) + (-10)/(-25). Is 3 greater than or equal to w?
True
Let v be ((-56)/24)/((-230)/(-6)). Let a = v + 6/23. Which is smaller: a or -1?
-1
Suppose -5*n = -0*n. Suppose 0 = 2*w + 3*u + 6, 2*w - 3*u - 6 = -2*w. Suppose 2 = 2*j - w. Is n > j?
False
Let d = -2.8 - -1. Let i = d + 3.8. Is -4 > i?
False
Let z be (-61)/(-4) - 4/16. Let p be z/(-6) + 4 + -1. Is p >= 1?
False
Let m(f) = 3*f + 25. Let l be m(-19). Which is greater: -33 or l?
l
Let x(g) = -2*g + 4. Let t be x(-4). Is 6 greater than t?
False
Let s be 12/3 + (-2 - -1). Suppose 2 + 6 = -2*a, -s*n = 4*a + 19. Let u = n - -3. Is u <= 2/3?
False
Let d(j) = -20*j - 3. Let t be d(-1). Which is greater: t or 16?
t
Let o = -2 - -1. Let a(k) = 2*k + 6. Let c be a(-4). Let b = o - c. Which is greater: b or 3/4?
b
Let y(i) = -i - 4 - 3 - 3 + 2. Let g be y(-8). Let s be ((-4)/14)/(35/(-49)). Are s and g unequal?
True
Let d be 2/7 - -1*(-480)/(-35). Is 13 < d?
True
Let a be (-8)/10*(-30)/(-78). Is 1 smaller than a?
False
Let n be 3*(16/(-6))/(-4). Let d be ((-18)/(-15))/(n/10). Let b be (2/(-10))/(d/15). Which is bigger: b or -2?
b
Let m = -1 + 1. Let d = m + -1. Is d less than or equal to 1/10?
True
Suppose k = 3*y - 13, 3*y - 1 = 4*k + 6. Let r be (2/4)/(1/4). Let w be (1/(-1))/r - -1. Which is smaller: w or k?
w
Let r = 42 - 43. Which is greater: r or 4/15?
4/15
Let h(n) = n**2 - 5*n - 8. Let m be h(6). Let p = 2 - m. Suppose 0 = 5*u - p*w + 2 + 4, 0 = -4*u + 2*w - 6. Which is smaller: -6/11 or u?
u
Let u = -2 + 2.2. Let a = 3 - 4. Which is bigger: a or u?
u
Suppose -10 = -n - 5. Let k = n - 3. Do 2 and k have the same value?
True
Let d(r) = r**3 - 4*r**2 + r - 2. Let u be d(4). Which is smaller: u or 3?
u
Suppose q = 2*q + 13. Let w = -38/3 - q. Let f = 0.01 - 0.01. Is f greater than w?
False
Let u(j) = -12*j + 5*j**2 + j**3 - 8 + j + 4*j. Let z be u(-6). Let m = -4 + 3. Is z smaller than m?
True
Suppose 0 = k, b = -0*k - 5*k + 6. Is b != 6?
False
Suppose -3*r - 6 = -4*v + v, -5*v + 22 = -2*r. Let s(f) = -f**2 + 7*f - 5. Let b be s(v). Which is smaller: b or 1/3?
1/3
Let u = 188 + -937/5. Suppose 5*n = -f - 17, -3*f + 2*n + 9 + 8 = 0. Suppose h + f*h = 4. Which is greater: u or h?
h
Let l = 7 + -7.06. Let x = 5.06 + l. Which is bigger: 1 or x?
x
Suppose 1 - 5 = 4*u. Let m be 62/36 - (-4)/(-18). Which is smaller: u or m?
u
Suppose -4*m - 2 = -0*g + 3*g, 2*m - 4 = -4*g. Is g != 2?
False
Let u = -69 + 64. Is -33/7 >= u?
True
Let y = 15 + -9. Let z(n) = -n + 1. Let f be z(-5). Are y and f equal?
True
Let v be 1*-2*(-1)/(-13). Let f be (6/4)/(9/24). Suppose -f*a = -0 + 4. Which is smaller: v or a?
a
Suppose 5 = -5*w - 15. Is -2 != w?
True
Let l be 6/10 + 656/140 - 4. Suppose 2 + 4 = -5*q - 3*r, 4 = q - 2*r. Which is smaller: l or q?
q
Let c = 7 + -12. Which is smaller: 0.3 or c?
c
Suppose 3*a - m = 5 + 22, -2*a - m = -13. Suppose -1 = -i + 8. Is a at least as big as i?
False
Let p(u) = u**2 - 5*u - 3. Let a be p(6). Suppose a = k + 4. Let r = 8 + -25/3. Which is smaller: k or r?
k
Let f(r) = -r**3 + 5*r**2 - 4*r + 1. Let g be f(4). Which is greater: g or 4/5?
g
Suppose 3*n - 5*x - 81 = 0, -6*x = -4*n - x + 103. Is n != 21?
True
Let m(n) = n**2 - n - 1. Let v(j) = -4*j**2 + j. Let b(a) = m(a) + v(a). Let s be b(1). Let r be (s/(-8))/(18/(-8)). Is r >= -1/4?
True
Let w be (33/44)/((-2)/8). Let y be (4/(-126))/(w/(-7)). Which is bigger: y or 1?
1
Suppose 0 = 2*n + 2*c - 20, n - 15 = -3*n + c. Let x = n - -1. Does x = 5?
False
Suppose 5*a - 9 = -39. Let x(g) = g**2 + 6*g + 1. Let u be x(a). Let z = u - 1. Which is greater: -0.1 or z?
z
Let l = -9/16 + 1/16. Which is smaller: l or 18?
l
Let c = -2 - 1. Let m be 3*(-106)/72 - 4/(-6). Which is smaller: c or m?
m
Let t be 1/(-3 + 1)*-1. Suppose -2*n = -5*n. Is t smaller than n?
False
Let p = 1 + 0. Let c be (-3)/5 - 90497/1980. Let o = -187/4 - c. Is o at least p?
False
Let n = 0 - 1. Suppose 0 = -d - 3*g - 11, -3*d = 2*g + g + 9. Let w be d + (3*-1)/3. Which is greater: n or w?
w
Let l = -17.2 - -16. Let m = -1.4 - l. Let f = -0.3 + 0.1. Is f != m?
False
Let x(d) = d**2 + 2*d + 4. Let o(t) = t**2 - 5*t - 17. Let j be o(7). Let m be x(j). Are m and 6 equal?
False
Let i = -2 + 1.8. Let a = 0.18 - -0.22. Let z = i + a. Which is smaller: z or -2?
-2
Suppose 7*w - 3*w = 3*g + 14, -26 = 3*g - w. Let n = 15 - g. Let h = 227/9 - n. Which is bigger: 0 or h?
h
Let c = -278/3 - -3064/33. Let p = 3 - 3. Which is greater: c or p?
c
Let o(q) = q + 7. Let g be o(-5). Which is bigger: g or 7?
7
Let p be 3/45 + 1/(-3). Which is bigger: 0 or p?
0
Suppose -2*n = 5*x + 2*n - 36, 2*x + 12 = 5*n. Suppose x*z - 5*t + 4 = 0, 5*z = 6*t - t - 10. Which is greater: -5 or z?
-5
Suppose 2*z = d + 47, 3*z = 11*d - 6*d + 214. Is d at least -41?
True
Let v = 23.4 - 23.1. Let w be (-1 - -3)/(2/(-2)). Which is bigger: w or v?
v
Suppose 6 = y - 2*g + 4, 2 = -2*y - 2*g. Let r = 36 - 107/3. Is y bigger than r?
False
Let f(q) = -q - 1. Let s(c) = -c**2 + 4*c - 3. Suppose -2*v - 2*v - 19 = 3*d, 5*v - 20 = 5*d. Let z(k) = v*s(k) + 3*f(k). Let n be z(7). Is n >= 2/7?
False
Let w = -7 + -8. Let u(c) = c**2 + 15*c + 22. Let v be u(-12). Is w not equal to v?
True
Suppose 2 - 5 = -3*r. Let i be 0*r/(-2) + 1. Which is greater: -3 or i?
i
Let i = -49 - -49. Is 13/3 at least as big as i?
True
Let i be 38/14 - (-18)/63. Let f be ((-6)/(-4))/((-1)/(-2)). Is i < f?
False
Let c = 27 - 39. Let n = 11.89 + c. Which is smaller: n or 2/3?
n
Let o = 1/489 + -13207/1956. Is o smaller than -6?
True
Let v = -1.21 + 0.03. Let h = -0.18 - v. Do h and 6 have different values?
True
Let o be 18/(-99) - 13/(-11). Let g(t) = t**3 + 6*t**2 + 4*t - 3. Let h be g(-5). Suppose -h + o = -r. Is 2/3 >= r?
False
Let h be (-5)/25 + 3/(-35). Is h > 0.19?
False
Let j(z) = -z**3 - 2*z**2 + 1. Suppose 2*o + 5 = -s, 3*o - 1 + 5 = 2*s. Let k be j(s). Suppose 2*n = -k*n + 2. Which is bigger: 2 or n?
2
Suppose 2 = -5*h - 8. Is -4 > h?
False
Let p(j) = 14*j - 21. Let k be p(3). Let b(l) = -3*l + 6. Let m be b(-5). Is m at least k?
True
Let f(h) = 3*h**2 - 3*h - 2. Suppose 3*i = -i - 8. Let p be f(i). Let q be (9/(-12))/(18/p). Which is greater: q or -2?
q
Let f(v) = v**2 + 9*v + 5. Let y be f(-6). Is y not equal to -12?
True
Suppose 0 = -3*q - w - 8 - 6, 0 = 4*q - 4*w - 8. Is 1/6 less than or equal to q?
False
Let o(t) = -t - 4. Let m be o(-3). Which is greater: m or -4/19?
-4/19
Let w be (0 - -2) + 165/(-105). Which is bigger: -4/5 or w?
w
Let d be (-2 - 0)*57/12. Let u = -8 - d. Is u greater than or equal to 1/3?
True
Suppose 5*o - 51 = 2*v - 11, 3*o - 4*v - 38 = 0. Suppose -2*a = 4*l - 14, 2*l - 3*a - o = 5. Suppose l*p + 3 = p. Are 0 and p equal?
False
Let v be 840/(-264) - (-6)/2. Let y = -7/22 + v. Let b(z) = -z + 3. Let a be b(4). Are a and y non-equal?
True
Suppose 0 = -5*q + f - 0*f - 169, 2*q - 3*f = -78. Which is smaller: -31 or q?
q
Let o = 9 - 6. Let b be (3 + -1)*o/2. Let n be 1*b/10*2. Is 1 > n?
True
Let q = 8 - 5. Suppose -4*p = 2*f, 0*p = 5*f - q*p. Suppose f = -5*i + 9 - 4. Does i = 0?