 + -29. Is 4/19 < v?
False
Suppose -2*t + 8 = 2*t. Let v = -2 - -5. Suppose 17 = 5*u + 3*q, u + q - 8 = -v*u. Is u bigger than t?
False
Let n = -5.3 + 3.2. Let v = -0.1 - n. Is 2 bigger than v?
False
Let b(w) = w + 1. Let r be b(-1). Let t be 1*(r - (-1 + -1)). Which is smaller: t or -2/3?
-2/3
Let q = -43 + 388/9. Are q and -3 equal?
False
Let l = 33/70 + -1/14. Which is smaller: -3/5 or l?
-3/5
Let r = 0.16 + 1.14. Let c = r - 1.7. Is c smaller than 0.1?
True
Let j = 5/27 - -439/108. Are j and 3 unequal?
True
Let h(m) = -m**2 + 5*m + 23. Let y be h(8). Is 2/23 greater than y?
True
Suppose -4 = -2*i - 2. Let o = 35 + -33. Is i >= o?
False
Suppose -3*v = 104 + 34. Which is bigger: -47 or v?
v
Let f be (4 - -12)/(-4) - -3. Is f greater than or equal to 1/7?
False
Let u(n) = n**2 - n + 1. Let o(i) = i + 4. Let w be o(-3). Let b be u(w). Are 1 and b non-equal?
False
Let s = 0.2 + -0.1. Let i = -1/10 + 3/5. Is i smaller than s?
False
Let j(n) = 28*n - 3 - 31*n + 2 - 1. Let o be j(-2). Which is greater: 2 or o?
o
Let o = -137 + 64. Let m = 509/7 + o. Is m < 1?
True
Let x = 6 + -2. Is x greater than or equal to -0.4?
True
Let h = 41 - 45. Let b = 0.1 - 1.1. Is h not equal to b?
True
Let z(j) = -j + 4. Let x = -17 + 19. Let k be z(x). Which is greater: -1 or k?
k
Let a = 7 + -5. Let r be (0 - 0)/(1 - a). Let l = 0.12 - 2.12. Is l at least r?
False
Let u be 8/(-12) + (-34)/(-60). Is 0.1 smaller than u?
False
Let r = -158 + 40. Let f = r - -943/8. Is f < -1/2?
False
Suppose 0 = -7*i + 2*i - 2*l + 53, -3*l - 15 = -3*i. Let o be 0*(-1 - i/(-6)). Let u be (o + (1 - 2))*-1. Is 1/7 >= u?
False
Let a be 1 - ((-66)/(-15) - 3). Suppose 12 = -4*v - 8. Let t be -2 + 1 + (-10)/v. Which is smaller: t or a?
a
Let h = -1 - -3. Let k = -8 - -15. Let j = -5 + k. Is h at least j?
True
Let m = -16 + 8. Let b = m + 9. Which is greater: 1/2 or b?
b
Let k = 7 + -44. Is k > -38?
True
Let z = 20 + -19.04. Let c = z - 1. Let f = c + 1.04. Is -1/5 < f?
True
Let j = -42 - -63. Suppose y + 0*y - 3*f - 13 = 0, -5*f = -y + j. Suppose -y = 2*i + 3. Which is smaller: i or -0.1?
i
Let i be 2/(-14) + 3/21. Let r be (-2)/(-3)*6/50. Which is greater: r or i?
r
Suppose 0 = 7*l - 4*l + 3. Does l = -5/7?
False
Let a = 0.3 - 0.28. Let b = a - 2.02. Let n = -1 - b. Is n at least 0.2?
True
Let t be (8/(-60))/(6/440). Let z = 415/36 + t. Which is smaller: z or -1/3?
-1/3
Let b(f) = 2*f**2 - 6*f + 4. Let r be b(4). Let c be (-4)/(r/(-9)) + -3. Which is smaller: c or 1/9?
c
Let f be -2 + (1 - (-9)/3). Does f = 3?
False
Let j(k) be the second derivative of -k**5/5 - k**4/6 + k**2/2 + 2*k. Let u be j(-1). Let p = 3 - -1. Is u at least p?
False
Suppose 3*g - y = 3, 5*y = -4*g + 2*y + 4. Which is smaller: 3/37 or g?
3/37
Suppose b + 3 = a, -b + 3*a - 5 = 4. Suppose b = -4*w + 3*w + 5. Suppose 0 = -0*j + w*j. Is -2/7 >= j?
False
Let j = 0.3 - 0.47. Which is greater: 0.1 or j?
0.1
Suppose 0 = 2*z - 1 - 1. Let i be z + (2/(-2) - 3). Let f be i + (-48)/(-21) + 1. Is f less than or equal to 1?
True
Let d(f) = 30*f. Let q be d(-1). Let m = q - -18. Which is greater: -11 or m?
-11
Let f be -6 + 7 - 22/(-14). Let q = 79/28 - f. Let i = -2 - -3. Is i equal to q?
False
Let c(z) = -z**3 - 5*z**2 - 4. Let b be c(-5). Let h be (50/b)/5 - -3. Let d = -0.07 + -0.23. Which is smaller: d or h?
d
Let u be (-4)/(-63) + (-16)/(-72). Does 5 = u?
False
Let x be 1/((-1)/((-2)/(-4))). Suppose 5*s - 20 = 0, -5*p = -2*s + s + 14. Let k be (p/4)/(2/4). Do k and x have different values?
True
Let a = 2/87 + 508/609. Let b = 1 + -1. Which is greater: b or a?
a
Let u be 2/(-12) - (-8)/12. Let x = 3 - 2. Is x greater than or equal to u?
True
Let h = -4 - -1. Let s = 4 + h. Let o be (-24)/(-20) - 2/10. Is s bigger than o?
False
Let y(v) = v**2 - 2*v. Let r be y(4). Let k = r + -7. Which is greater: k or 1/4?
k
Let z = -0.06 - -0.36. Let p = -0.14 + 0.34. Let i = z - p. Which is greater: i or -0.2?
i
Let j = 1 + 1. Let o be (j/5)/(3/15). Let n(q) = q**3 - q**2 - q - 1. Let c be n(o). Which is bigger: -1 or c?
c
Let c = -0.4 - 1.6. Which is greater: -6 or c?
c
Let s = 80061/59 - 1357. Is 1/3 at most as big as s?
False
Let j = 88.9 + -85. Let z = 0.11 - 4.11. Let s = j + z. Is s greater than or equal to 0?
False
Suppose 5*m = -4*n - 12, 0 = -3*n + 5*m - 7 - 2. Let j = n - -3. Is -1/5 less than or equal to j?
True
Let v(a) = -a + 7. Let w be v(-2). Suppose 40 = -3*j + 1. Let p = j + 22. Is w <= p?
True
Let c = 3 - 3. Let z(o) = o**3 + o + 1. Let j be z(-1). Is c at most j?
False
Let d = -23 + 23. Which is smaller: -2/15 or d?
-2/15
Suppose 8 = -2*r + 5*u - 9, 3*u + 73 = -4*r. Which is bigger: r or 2?
2
Let i(g) = -4*g**3 - g. Let y be i(-1). Which is greater: y or 3?
y
Let q = -4 + -2. Let n = 0 + q. Let a = n + 5.8. Is -0.4 != a?
True
Let k be (3/(-3))/(5/23). Which is greater: -6 or k?
k
Let j = 21.2 + -19. Let i = -2 + j. Let s be 3/(-12) + (0 - 0). Which is bigger: s or i?
i
Let j(z) = -z**3 + 6*z**2 - 4*z - 4. Let g be j(5). Suppose -3 = 4*l + g. Let d be (l - -1)*(-1)/2. Which is bigger: d or 1/2?
1/2
Let o = 27 - 39. Let h be (o/36)/(1/3). Do 2 and h have different values?
True
Suppose 0 = 4*k - 16, 5*m + k - 4 = 3*m. Suppose -5*q - 4*u - 4 = 0, 0*q - 5*u = 5*q + 5. Is q bigger than m?
False
Suppose 2*s - 10 = -2*u, -s + 0*u - 2*u + 9 = 0. Which is bigger: -1/12 or s?
s
Let f = -716 - -37950/53. Let r = f - -84/583. Is r smaller than 0?
False
Let f = 18.2 + -16. Let j = -0.8 - f. Let b = j + 3.2. Which is smaller: 2/5 or b?
b
Let b(u) = u + 11. Let d be b(-8). Which is bigger: 1 or d?
d
Let v = -3/83 - -31/3154. Is 0 at most v?
False
Suppose -6 = 4*a - 2. Is 1/24 >= a?
True
Suppose -1 - 5 = -3*f. Suppose f*y = y + 3*z + 73, -y + 2*z + 74 = 0. Let q = -381/5 + y. Is 1 at most q?
False
Suppose -r = 4*r - 5. Is r bigger than -1?
True
Suppose 4 = -4*y + 24. Let t be (5/(-3))/(2/(-6)). Suppose 5*m - 5 = 3*g + 2*g, t*g + 4 = 4*m. Are g and y unequal?
True
Let r = -128 - -128.1. Is r equal to 4?
False
Suppose -2*x - 3*c + 5 = -3*x, -4*c = -3*x - 10. Let k be ((-2)/(-3))/((-2)/6). Is k >= x?
True
Suppose -m - 16 = -5*z, -4*z + 3*z - 32 = 2*m. Let d be 4/m*3*2. Is d less than -2?
False
Let m be (3/(-42))/(1/(-4)). Which is smaller: m or 0.06?
0.06
Suppose -4*o - 3 + 11 = 0. Suppose -o*t = -5*t - 6. Let b be t + 4 - (9 - -1). Is -8 greater than b?
False
Suppose 364 = 9*c + 31. Does 37 = c?
True
Suppose -4*n = -2*n + 2. Suppose 0 = -7*m + 4*m - 6. Which is bigger: n or m?
n
Let v = 36.9 - 34. Let o = -0.9 + v. Which is greater: 0 or o?
o
Let c = -0.038 + 7.238. Let o = -7 + c. Which is smaller: -1 or o?
-1
Let o = -233 + 236. Let m = 0 - 2. Let z = -1 - m. Is o at least z?
True
Let c = 0.6 - 5.6. Is -1 < c?
False
Let w be (-3 - -1)/(-4)*46. Let o = w + -22. Which is greater: o or 7/3?
7/3
Suppose c + 6 = 4*c. Suppose 5*f - 5*t + 5 = 0, -c*f + 3*t = -f + 11. Suppose 0 = 3*m - 8 - f. Do m and 5 have different values?
True
Let k = -7 + 8. Let w be 0 - (3/(-1) - k). Suppose 0 = -3*i - i. Which is smaller: i or w?
i
Let d(u) = -2*u + 15. Let b be d(7). Suppose 0*y - y - 11 = 4*f, y + f = -2. Does b = y?
True
Let p = 4 + -4. Let d(q) = -5 - q**2 + 3 - 8*q + p*q**2. Let b be d(-8). Which is smaller: b or -1/2?
b
Let r be 7/(105/(-6))*1. Which is smaller: r or 1?
r
Let t(q) = -q**3 + 5*q**2 + 7*q - 15. Let b be t(6). Is b > -10?
True
Let u = -33 - -33. Is 2/11 at most u?
False
Let i = 112 + -782/7. Let n = 6 - 23/4. Is n at least i?
False
Let q(f) be the third derivative of f**5/20 - f**4/12 - f**3/6 + 4*f**2. Let h be q(-1). Suppose -2 = g - h. Are 1 and g equal?
False
Let h = -184/1853 + -2/109. Which is smaller: -1/4 or h?
-1/4
Let n = 191 - 1335/7. Is n less than or equal to 0?
False
Let r = -1109 + 1165.7. Let w = r + -54. Let d = -3 + w. Is d equal to 1?
False
Let n = 1 - -1. Let a(p) = 8*p - 3. Let i be a(3). Let t be -3 - (i/(-6) + 0). Which is bigger: n or t?
n
Let a = 3 + 2. Let q(d) = -2*d - 13. Let u be q(-9). Is a greater than u?
False
Let m be 1*0/(2*-1). Suppose 0 = -5*i + b + 2*b + 20, 0 = -2*b - 10. Is i < m?
False
Let v = -1.2 - -4.2. Let l = 3 - v. Which is greater: 2 or l?
2
Let q = -1/5 - -3/5. Let i = -3 + 3. Is q greater than i?
True
Let p be -5*(3 + -3 + 1). Let j = 6 + p. Is 1/11 not equal to j?
True
Suppose 0 = -2*k 