 and -0.3 have the same value?
False
Let n(h) = -h + 7. Let j be n(-5). Let v be (-2)/j*6/(-4). Let z = 7/12 - v. Is 0 at least as big as z?
False
Let d = -3 + 6. Suppose 0 = 6*y - d*y + j + 1, -y - 27 = -5*j. Let o = -3 - -2. Is y smaller than o?
True
Let o = -149 - -1041/7. Let m = -1 - 2. Let g = m + 3.1. Which is smaller: o or g?
o
Let y be (-5)/(-30) + 1/(-6). Are y and 7 nonequal?
True
Let g = -1.1 - -1. Which is greater: 0 or g?
0
Let k be (-6)/(-15) + 6844/(-10). Let g = k + 12283/18. Let y = g + 10/9. Is y at most -1/2?
True
Let r = -17.07 + 17. Let v = 3.93 - r. Let u = v - 3. Is 2/3 greater than or equal to u?
False
Suppose -5 = 3*x - 17. Let k be (-17)/4 + x + -1. Which is greater: k or -2?
k
Suppose 0 = 5*z - 3 - 12. Suppose -5*t = -2*t - z. Are t and 1/9 unequal?
True
Suppose -2*w - 13 + 3 = 0. Let r = 28 + -32. Is r < w?
False
Let h be -30 - (-3 - (-6 - 1)). Is -35 at least h?
False
Let n = -109 + 75. Let v = n + 35. Let m = 0 - 0. Which is smaller: v or m?
m
Suppose s - 27 = -3*z, 0 = s - 0*s - 2*z - 32. Which is greater: s or 29?
s
Let u(j) = -j**3 + 6*j**2 + 9*j - 9. Let k be u(7). Suppose 2*v = -3*v - k. Suppose z - 5 = 3*g, g = -3*g - 2*z + 10. Is v greater than or equal to g?
False
Let l = 13 + -13.7. Let y = l - 6.3. Let p = 3 + y. Which is smaller: p or -1?
p
Suppose -2*z + 4*z - 30 = 0. Suppose 9 = -i + 5*d - 12, z = -3*i + 3*d. Is i less than -1/3?
True
Let u = -855 - -9423/11. Are 2 and u equal?
False
Let y be ((-8)/2 - -2)*2. Suppose -2*g - 14 = -3*h, g + 8 = h + 2. Suppose -5*q + h*o + 13 = 42, -q = 4*o - 3. Which is smaller: y or q?
q
Let y(z) = -z**3 + 14*z**2 + z - 17. Let f be y(14). Suppose 0 = 3*g + g + 12. Is f <= g?
True
Let p(r) = -r**3 + 4*r**2 + 3*r - 3. Let j be p(5). Let z = j - -1. Is z < -12?
False
Suppose 2*v + 11 = -1. Let d = -0.12 + 0.06. Let n = d - -0.16. Which is smaller: n or v?
v
Let p be (4 + -3)/((-1)/(-5)). Suppose 0 = -2*d - 3*d + p. Which is bigger: -1 or d?
d
Suppose 2*h = -23 + 15. Suppose 0 = -2*t - 4*d - 12, -2*t + 1 = -t - 5*d. Is t smaller than h?
False
Let g be 52/14 + (-8)/(-28). Suppose 0 = -2*p + g*p. Which is greater: p or 1?
1
Let h = -1.5 - -0.3. Let f = -0.2 - 0. Let t = f - h. Does t = -2/5?
False
Suppose 10 = -c + 5*t, -7*c + 3*c - 2*t = -4. Suppose 0 = -c*q - 2*q + 8. Suppose b + 3 = q*b. Is 1 < b?
False
Let a be 5/(5/57) - -1. Let q = 205/3 - a. Let n = 10 - q. Is 1 at least as big as n?
True
Let m = 33 + -11. Suppose 4*r - 5*u = -10*u - 13, -2*u = -4*r + m. Suppose r*s = -0*s. Which is bigger: s or -1?
s
Let p be (-1*1)/(265/10). Is p <= 1?
True
Suppose -4*i + 5 = -a - 12, 3*i - 3*a = 15. Suppose 0 = -i*g - 3 - 25. Let b be -2 + g/(-5) - -1. Is -1 greater than b?
False
Let k = -2099 - -2136.83. Let v = 38 - k. Let o = 0.03 + v. Which is greater: 0 or o?
o
Suppose 2*t - 330 = -3*t. Let h be (-32)/t + 10/15. Which is smaller: -1 or h?
-1
Let g = 7 + -5. Let r be (0 - -5) + (1 - g). Suppose -u = -2 + r. Do u and -2 have the same value?
True
Suppose -25 = 3*g - 8*g. Which is bigger: 7 or g?
7
Suppose z = -4*u + 7, u = 3*z - 7 - 1. Which is bigger: -2/35 or u?
u
Suppose i + 4 = -3. Let m be 4/(-7) + (-11)/i. Is 4/3 != m?
True
Let d(y) = -y**2 - 5*y - 5. Let k be d(-4). Let w(b) = -4*b + 1. Let n be w(-1). Suppose 2*v - 6 = -v, n*v = -4*r + 6. Is k equal to r?
True
Let v(y) = -y**3 - 2*y**2 + 2*y + 3. Let x be v(-2). Suppose k = -k. Suppose -4*p = k, 0*o + 3*p = 3*o + 6. Is o > x?
False
Let k(o) = -2*o + 10. Let i be k(5). Is -2/3 less than i?
True
Let s = 224 + -230. Let u = 0.3 + -0.2. Which is smaller: u or s?
s
Let u = -16 - -5. Let z = u - -10.5. Is -0.1 at least z?
True
Suppose 5*p + 4*j = -40, -3*p - 17 = -3*j + 34. Let s be ((-4)/(-32))/(2/p). Are 0 and s equal?
False
Let t(d) = d - 21. Let j be t(22). Is j equal to -1/41?
False
Let y = -2 + 1. Let s be (1 - 2)/(0 - y). Let h = 0.219 - 0.019. Are s and h equal?
False
Let q be (-6)/(-24) - 1/4. Suppose -4*v = 3*t + 7, -5*t - v + 11 = -q*t. Suppose t*f - 5 = -2. Which is greater: 2 or f?
2
Let r = -4 - -8. Let t(b) = b**2 + 1 - 2*b + r*b - b. Let m be t(-1). Do -0.2 and m have the same value?
False
Let k be (-38)/(-6) + 1/(-3). Suppose -s = s + k. Let g be 3/((-27)/(-6))*s. Is -3 less than g?
True
Suppose b + 30 = -4*b - 5*i, 5*b - 3*i + 30 = 0. Is -2/7 at least b?
True
Suppose -2*d + 28 = 10. Let v be 3*1*6/d. Let z be 1 - ((1 - v) + 3). Which is greater: -3/4 or z?
-3/4
Let m(c) = c**2 + 4*c - 2. Let k be (-8)/2*(-7)/(-7). Let u be m(k). Is 0 not equal to u?
True
Let f = 4951807/118 - 41965. Let i = f + 2/59. Let w = 1.3 + -0.3. Which is smaller: w or i?
i
Let p be 22/24 - (-1)/(-4). Suppose 4*j = 8*j + 12. Is j equal to p?
False
Let u(w) = -7 - 3 + 4 - 2*w + w. Let m be u(-10). Is 3 smaller than m?
True
Let n = -142 + 128. Do n and -6 have the same value?
False
Let c be (9 - 5)*1/2. Suppose -c*o = -6*o + 16. Let w be (-3)/2*o/6. Which is smaller: w or -2?
-2
Let x = -12 - -32. Let m be (6/(-10))/(16/x). Which is greater: m or 0?
0
Suppose -5*k + i = -42, 4*i + 4 = 16. Suppose 3*p - 6 = a + 2*p, 3*p = k. Which is bigger: -4 or a?
a
Suppose w - 2*n - 7 = 0, 3*n = 3*w - 0 - 15. Suppose w*z - x + 10 = 0, 2*z - 1 = -2*x + 3. Let c be ((-8)/10)/(4/z). Is 1 greater than c?
True
Let y = 9923 - 89537/9. Let u = -1867/72 - y. Do u and 0 have the same value?
False
Let y = -21 + 22. Which is smaller: y or 4?
y
Let o = 7 - 9. Let w = 7 + -4. Suppose -2*t - 4*r + 11 = w, 3*t - 2*r = -12. Is t > o?
False
Let w be 3 - ((3 - 2) + 0). Suppose w*n = 4*n - 4. Let o be 5/10 - (-15)/n. Is 6 bigger than o?
False
Let q be 3 - 8 - (-6)/3. Which is greater: q or -4?
q
Let q(t) = -t**2 - 3*t + 4. Let p be q(-4). Let g be -1 - p*(-1)/2. Let h be 2 - -3 - 11 - -5. Is g bigger than h?
False
Suppose -2*k + 6 = -g + 15, 0 = 3*k + 4*g - 14. Suppose 0 = 2*a - m + 3, -3*m + 7 = 5*a - 2. Let w = a - k. Is w greater than or equal to 3?
False
Let w(y) = 3*y**2 - 13*y - 12. Let f be w(6). Is 19 bigger than f?
True
Let y = -57 - -58. Do y and -0.021 have the same value?
False
Let j(u) = u**3 - 7*u**2 - 1. Let q be -3 - 1*(-21 + -2). Suppose i + 4*g = -9, -2*i + 2*g = -6*i + q. Let l be j(i). Which is smaller: l or -4/5?
l
Let z be (-2)/(7/((-700)/16)). Do z and 14 have the same value?
False
Suppose -42 = -2*l - 3*p, 6 = 4*p - 10. Suppose 5*r + 10 = -l. Is r > -5?
False
Let c be (2/(-6))/((-3)/36). Suppose 0 = -5*l - 4*y - 20, 5*l = -0*l - y - 5. Suppose l = m + 5*d + 5 - 0, 3*m - 11 = -2*d. Is m >= c?
True
Let y(x) = 10 + 3*x**2 - 6*x**2 + 2*x**2 - 8*x. Let u be y(-9). Let f = 237 - 3557/15. Which is smaller: f or u?
f
Let l = -824 - -28013/34. Is l > 1?
False
Let c = -0.6 + -2.4. Let v be (19/(-66))/(18/(-60)). Let h = -13/11 + v. Is c != h?
True
Let g be 2/5 + (-90)/(-25). Is g less than or equal to 4?
True
Let j be 80/48 - 29/21. Is 46 greater than j?
True
Let b = -2 - -4. Let g be -4 + 1 - (b - 0). Which is bigger: -4 or g?
-4
Suppose 3*f + 8*n - 3*n + 4 = 0, -5*f = 5*n. Is 2 greater than or equal to f?
True
Let w(g) = g**3 + 6*g**2 + 7*g + 7. Let n be w(-5). Let l = 1 - 0. Let a be (n - -4) + -1 + l. Which is smaller: 4/5 or a?
4/5
Suppose 2*t = -4*c - 14 - 4, -4*c - 16 = 4*t. Let y be (1 + 7)/(-2) + 4. Suppose y = -l + t - 0. Is -1 != l?
True
Suppose -3*f = 4*f - 7. Is f > -0.88?
True
Let o = 0.3 - 0.2. Let z = 0.246 - 1.276. Let l = z + 1. Is o smaller than l?
False
Let h(w) = w**3 - 3*w**2 - 3*w + 10. Let n be h(4). Is n smaller than -1?
False
Suppose -2*t = -0*t - 4. Let u = 76 - 70. Which is bigger: u or t?
u
Let l = 6 - 4. Let f be (-1 + 9/5)/l. Let z = -2.65 + -0.35. Which is greater: z or f?
f
Suppose 2*b + 7*b - 9 = 0. Let z be 21/(-50) - 1/(-2). Is z bigger than b?
False
Let u = -2.1 - -1.1. Let c = -0.05 + -0.03. Is u less than c?
True
Let z(p) = 2*p - 5. Let w be z(4). Is 0 <= w?
True
Let m = 96 + -64. Suppose -2*z = 2*z + 4*t - m, -t = 4*z - 20. Suppose 4*u + g - z = 0, u + 2*g = 3 - 2. Is 1 >= u?
True
Let o(s) = s - 18. Let i(f) = 2*f - 18. Let w(n) = -2*i(n) + 3*o(n). Let d be w(-17). Is -6/11 < d?
False
Let r be (-2)/10 - 5404/30. Let t = 182 + r. Is t <= 1?
False
Let a = 1.7 - 2.4. Let m = 0.8 + a. Let p = 0.2 - 0.4. Which is smaller: p or m?
p
Suppose 7 - 19 = -2*m. Suppose -4*z + 4 = -m*z. Which is smaller: -3 or z?
-3
Let w =