2 <= v?
True
Let k = 17 - 18. Which is smaller: k or -2/65?
k
Let q be (-60)/3*(-3)/4. Suppose -2*b + q = y + 2*y, -b + 9 = 2*y. Let g = y - 3. Is 1 smaller than g?
False
Let u = -28.42 + 0.42. Let h = -27.8 - u. Is 0.07 equal to h?
False
Suppose -q = -2*l + 6, -4*q - 3*l + l = 74. Which is greater: q or -17?
q
Let d(s) = -12*s**2 - s + 1. Let n be d(1). Which is smaller: n or -13?
-13
Let x(b) = -b + 46. Let g be x(-12). Which is bigger: 57 or g?
g
Suppose 2 = 4*g - 6. Which is smaller: g or -0.1?
-0.1
Suppose 3*d + 6 = 2*b - 5, 4*d = -b. Is 2 equal to d?
False
Let d be (-4)/18*27/36. Let z = 1 + -2. Which is bigger: z or d?
d
Let n = -7.6 + 6.6. Is -3/8 greater than n?
True
Let b = 8 + -8.24. Let n = 0.04 + b. Let a be ((-6)/10)/((-6)/4). Which is smaller: a or n?
n
Let r(t) = 10*t**2 + 0*t**2 + 0*t**3 + t**3 + 2. Let w be r(-10). Which is smaller: 3 or w?
w
Let r be (-1)/2*(-2)/(-4). Let h = -30 - -27. Is h equal to r?
False
Let p be -3 - (0 + (-9)/((-81)/(-30))). Which is bigger: -1 or p?
p
Let q = 118.9 - 125. Let g = 6 + q. Is g <= 2/9?
True
Let v = 422/7 + -60. Let k = -6 + 10. Let t be 0/(0 + k + -2). Which is smaller: t or v?
t
Suppose g + 2 - 3 = 4*y, -13 = -2*g - 3*y. Suppose -3*j - j - 16 = 0, 0 = g*o + j - 81. Suppose 5*s - 2*m - 10 = -3*m, 3*s = 4*m - o. Is 1 >= s?
True
Let l(o) = -o - 4. Let w be l(-7). Let a(z) = z**2 + 4*z + 5. Let p be a(-4). Suppose 5*f + 35 = -w*x, 12 = -p*f - 8. Are x and -6 non-equal?
True
Let k = 53 - 50. Which is bigger: k or 6?
6
Suppose 0 = -6*c + c + 25. Suppose -2*v + 4*u - 20 = 0, -2*u = -c*v + 3*u - 30. Let n be (1/(-2))/(v/(-8)). Is -3 at most as big as n?
True
Let z(f) = f**2 + f - 1. Let a be z(0). Let p(d) be the second derivative of 3*d**5/20 + d**3/6 + d**2/2 - 4*d. Let r be p(a). Is r > -2?
False
Let l(s) = -s**3 - 3*s**2 - 2*s - 1. Suppose -4*f = 3*u + 2, -f = 4*f - 5. Let t be l(u). Is t equal to 0?
False
Suppose 5*v = -5*h + 2*v + 28, 5*v = -h - 12. Is h >= 9?
False
Let m = 20950/23 + -911. Which is greater: 1 or m?
1
Suppose -17 = -5*b - 2. Suppose 32 = b*x + 14. Is x > 5?
True
Let v = -20 - -14. Which is smaller: 0 or v?
v
Let c = 0.025 + 1.975. Is c >= 1?
True
Let i = -2/1957 - 3784/127205. Let w = i - 61/130. Which is smaller: 3 or w?
w
Suppose -190 = -5*b - 30. Which is smaller: b or 31?
31
Let r(g) = 4*g**3 + g**2 - 1. Let x(c) = -11*c**3 - 4*c**2 - c + 3. Let y(u) = -8*r(u) - 3*x(u). Let j be y(-3). Is j smaller than -0.5?
True
Suppose 31 = -2*l + u + 2*u, 5*l + 4*u + 66 = 0. Let y be -9*(2 + l/6). Let k be (1/y)/(5/(-45)). Which is greater: k or -1?
-1
Let z = -5 + 10. Let s be z + -3 - (2 + 3). Is -3 bigger than s?
False
Suppose -2*z = -0*z + 8. Suppose 0 = -g - 0*g - 5*v, -3*g = -5*v. Let k be -4 + g/1 - -3. Is k at most as big as z?
False
Suppose -5 - 3 = -4*d. Suppose 0 = d*a - a - 13. Which is smaller: a or 12?
12
Let c(p) = p**2 - 2*p + 1. Let m be c(2). Let g be (-1)/((-4)/16*2). Are m and g nonequal?
True
Let h = 1.22 + -1. Let d = h - -0.08. Which is smaller: d or 1?
d
Let z be 2/(-3)*66/(-44). Is z < -5?
False
Suppose -2 = -l - 5. Is l at most -1?
True
Let m(j) = -5*j - 44. Let a be m(-9). Suppose 0 = -3*u - u + 8. Is u smaller than a?
False
Suppose 0*j = j - 1. Let x be ((-4)/12)/(j/(-3)). Suppose r + 0 = -x. Is r smaller than -3/2?
False
Let s be 1/((-14)/(-4))*-2. Let x = s - -2/77. Is x at least 0?
False
Let k = 0.36 - 5.36. Is -0.3 not equal to k?
True
Let n(s) = s**2 - 7*s + 6. Suppose -x + d + 3 = 0, -5*x + d = 3*d - 22. Let g be n(x). Let u = 10 + g. Which is greater: 2 or u?
u
Let w be 1 + -7 - (-14)/(-14). Which is smaller: -1 or w?
w
Let s(m) = -m + 22. Let p be s(15). Let k(a) = -a**3 - a - 2. Let t be k(-2). Is t at most p?
False
Let r be (21 - -9)*(-8)/10. Which is bigger: -2/7 or r?
-2/7
Let v(f) = -f**2 - 6*f + 4. Let q be v(-6). Suppose -3*p - 4*w - 29 = 0, -2*w - q = -2*p - 0*p. Which is smaller: -1 or p?
p
Let i = 0.08 - -0.12. Let y = 0.4 - i. Let m be 1/(-3)*3/4. Which is smaller: m or y?
m
Let t = -32 + 32. Do 0 and t have different values?
False
Let q be ((-2 - -2) + 1)*-1. Suppose 2*f = -2*f. Let l = f + q. Is l greater than or equal to 1/4?
False
Let o = -6 + 4. Let n be (12/75)/(o/(-5)). Which is greater: -0.3 or n?
n
Let a be -6 + 6 - (1 - 2). Do a and -1/5 have the same value?
False
Let f be (-9)/21 + 332/644. Which is bigger: f or 2?
2
Let s = 0 - -2. Let l = 2.1 - s. Suppose -3*r - k + 3 = -r, -3*r = -4*k + 1. Which is smaller: r or l?
l
Let t(p) = 6*p - 25. Let a be t(4). Are 4 and a equal?
False
Let g = 7.38 + -1.28. Let w = 0.1 - g. Which is bigger: 3 or w?
3
Let i(z) = z**3 - z**2 - 4*z - 1. Let g be i(3). Suppose -f = 4*f + g*x - 20, 0 = -2*f - 3*x + 10. Which is greater: 4/5 or f?
f
Let z(s) = s**2 - s - 3. Let x be z(2). Is x at least as big as -3/2?
True
Let d = -19 + 31. Suppose -s + d = -5*s. Suppose 3*x = -2*c, 2*x - 6*x = c + 5. Which is greater: s or x?
x
Suppose 4*o - 6 + 2 = 0. Let b be 1480/(-28) + 2 - 2. Let w = 53 + b. Which is bigger: w or o?
o
Suppose 0*r - r + 2 = 0. Suppose 2*s - r - 2 = 0. Suppose -4*c - 24 = 3*d, 0 = s*c + d - 3*d - 2. Is c bigger than -4?
True
Let j be ((-7)/(-6) - 1)*34. Let w = 6 - j. Which is smaller: -1 or w?
-1
Let d(x) = x**2 + 7*x - 2. Let z(y) = -2*y. Let n = 14 - 10. Let v be z(n). Let m be d(v). Is m less than 5?
False
Let n = -9 + 6. Let z = 2.92 + n. Let t = -0.92 + z. Do t and 1 have the same value?
False
Let a = -10 - -10. Do a and -6/13 have the same value?
False
Suppose 26 = 4*w - 3*t, 0 = 2*t - 3*t - 2. Suppose k - 4*p - 23 = -0*p, -34 = -3*k + w*p. Let l = 9 - 5. Is l < k?
False
Suppose 3*m + 4*l + 7 = 31, 4*m - 2*l - 10 = 0. Which is smaller: m or 5?
m
Let o be (5 - (-48)/(-5))/(6/10). Which is greater: -1 or o?
-1
Let f(c) = c**3 - 2*c**2 - 2*c - 4. Let t = 10 + -7. Let s be f(t). Which is bigger: -2/9 or s?
-2/9
Suppose 0 = 5*o + 9 - 54. Let j = 6 - 2. Suppose -5 + 37 = j*g. Is g less than o?
True
Let l = 9 + -28. Is -16 bigger than l?
True
Let q = -5 - -10. Let z(c) = -c**3 + 4*c**2 + 6*c - 6. Let r be z(q). Is r > 3?
False
Suppose -5*i = -b + 19, 0 = -2*i + 3*i + 4. Let v = -0.1 + 0.05. Let m = v - 0.15. Which is smaller: m or b?
b
Let z(i) = 0 + 1 + 7 + i + 0. Let p be z(-7). Is p at least -0.1?
True
Let u = 31 + -28. Suppose w = 2*l - 3, l - 8 - 1 = -2*w. Let d be (6/4)/l*4. Which is smaller: d or u?
d
Let s be 72/5 - (-8)/(-20). Which is bigger: 15 or s?
15
Let j be (0 - -2)*10/(-4). Let p be (-2325)/475 - (-4)/(-38). Is j < p?
False
Let n be (-84)/(-20) + (4 - (-42)/(-10)). Which is smaller: n or 11?
n
Let h = -17.1 - -15. Let s = h - -2. Let g be (-6)/7*(-4)/(-12). Is g less than s?
True
Suppose 2*u + 2*i - 5 = u, -i = -4. Which is greater: -4 or u?
u
Let y be 2/4 - 114/(-4). Which is smaller: 28 or y?
28
Let m = 16 + -19.2. Let k = 12.8 - m. Let a = k + -23. Is 1/3 at most as big as a?
False
Let l = 431/36 + -92/9. Does 3 = l?
False
Let s(i) = -3*i**2 - i + 2. Let a be s(-2). Is 0.1 not equal to a?
True
Suppose -5*j + k = -27 - 53, -3*k - 45 = -2*j. Let f be 1 - -3*j/(-63). Which is bigger: 0 or f?
f
Let m = -20 + 18. Suppose -w = 3*v + 48, 0*w + 36 = -w + 3*v. Let u = 127/3 + w. Which is greater: m or u?
u
Let h be 2/10 + (-1323)/(-60). Let v = 22 - h. Suppose -3 = -5*l + 6*l + g, -5*g = -5*l + 5. Which is smaller: v or l?
l
Let h = 0.45 - 2.35. Let s = 1.1 - h. Let n be ((-2)/6)/(-1 + 0). Are n and s unequal?
True
Suppose -10*p - 1 = -8*p - 3*m, 29 = -3*p - m. Is -8 at least as big as p?
True
Let b = 10 - 5. Let k be (1*-4)/(3 - b). Suppose -3*u = k*u + 5. Which is smaller: u or -2/3?
u
Let d = -0.02 + -0.68. Which is smaller: d or -0.2?
d
Suppose -90 - 14 = 8*m. Which is smaller: m or -8?
m
Let q be (-6)/(-21) + 38/(-35). Let a = 15 - 10. Suppose c - 5 = a*k, -1 + 4 = -c - 3*k. Is q bigger than c?
False
Suppose -4*n - k + 9 = 0, 2 = 2*n + 2*k - 4. Let a be 1*(18 + -3 + -1). Let t(f) = f**2 - 13*f - 11. Let p be t(a). Is p less than or equal to n?
False
Suppose 0 = 4*n + n + 30. Let m be (2/(-18))/(8/n). Are m and -1 nonequal?
True
Let s = 4 + -5. Let j be ((-4)/(-42))/(1/3). Is s != j?
True
Let z = 55 + -51. Which is smaller: z or -6?
-6
Let k = -10 - -18. Let u = -7 + k. Which is smaller: 0.1 or u?
0.1
Let v = -0.02 - -0.42. Let s = -26 - -27. Which is bigger: s