ater than or equal to j?
True
Let x = -0.7 + 0.4. Is x greater than -7?
True
Suppose 0 = -3*c + 4*c - 2. Suppose -4*l + 5 = -3*l. Suppose -u + c = l. Is -2 <= u?
False
Let t be (18/4)/((-27)/54). Which is smaller: t or -10?
-10
Suppose 2*q + l - 2 = 0, 2*l + 2 = -q - 0*q. Suppose 4 = -2*t - q. Is -2 greater than or equal to t?
True
Let v = -13 - -5. Are v and -17/2 non-equal?
True
Suppose 25 = -4*o - o. Let m(t) = t**3 + 5*t**2 + 2*t + 3. Let p be m(o). Is -7 less than p?
False
Suppose w - b + 0*b - 25 = 0, -b + 101 = 5*w. Suppose 0 = 2*c - w - 35. Suppose -3*p - 16 = -5*f, p - c = -5*f - 0*p. Which is greater: 4 or f?
f
Let f = -1.3 + 1.2. Is 0.17 > f?
True
Let b = -1.45 - -1.55. Is b less than 8?
True
Suppose 2*f - 3*f = -4. Which is smaller: 3 or f?
3
Let t(u) be the third derivative of 0*u + 0 - 1/6*u**4 - 1/3*u**3 - 2*u**2 - 1/60*u**5. Let l be t(-3). Which is smaller: l or 2?
l
Suppose -5*l - 2*t + 20 = 0, -l - t + 7 = -0. Let u be (8/36)/(l/(-3)). Let k = -4 - -3. Is u smaller than k?
False
Let v = 12 - 11. Which is smaller: v or 2?
v
Let u = -73808 + 9742715/132. Let v = u - -10/33. Suppose 14*z - 16*z = 0. Is z at least v?
False
Let v = -5 - -1. Let a = 24 + -19. Let p = v + a. Which is smaller: p or 1/3?
1/3
Suppose 4*t = -t + 10. Let c be ((-6)/9)/(t/(-3)). Let u be 4 - (0 - (-26)/6). Is c greater than or equal to u?
True
Let a be 1 + 1 - ((-3 - -5) + 0). Is a bigger than -2/231?
True
Let y = 6 + -3. Suppose -y*w - 12 = 12. Let g be (-2)/w*2/(-3). Is 0 != g?
True
Let y be (-1)/2 + (-56)/16. Let m be (90/(-36))/(2/y). Is 7 less than or equal to m?
False
Let s be 820/(-6) + 2/(-6). Let j = s + 683/5. Let w(z) = -z**3 + 14*z**2 + 16*z - 15. Let r be w(15). Is r smaller than j?
False
Let w = 95 - 100. Which is greater: -7 or w?
w
Let n = -57/2 - -29. Which is greater: 4/11 or n?
n
Let f = -2.6 - -0.6. Let o = 17 - 20. Let d(q) = -q**2 - 2*q + 4. Let t be d(o). Which is greater: f or t?
t
Let z = -88 - -86. Is z at most -1/5?
True
Let j(v) = -v**2 + v + 1. Let c be j(6). Which is bigger: -32 or c?
c
Let n = -7 - -3. Let h = 9 - 13. Do n and h have different values?
False
Let d = 8.7 + -9. Let q = 10 - 9.1. Let g = q + 0.1. Which is smaller: d or g?
d
Suppose 4*j - 2*q = 130, 3*q + q + 100 = 3*j. Is 31 at most as big as j?
True
Let m = -14/15 - -23/30. Which is smaller: -1 or m?
-1
Let l be 3*(-1)/3*-1. Which is bigger: 4/83 or l?
l
Let i = -2 - -2.05. Let d = i - 0.35. Let g = -0.2 - d. Which is smaller: g or -1/5?
-1/5
Let w(v) = v**2 + 2*v - 5. Let z be w(-4). Suppose -z*u + 8*u = 0. Let y be 2/10*-9 - -2. Which is greater: y or u?
y
Suppose 0 = 5*l + 2 + 8. Let y = 21 - 14. Suppose 5*q + y = r, 7 = 3*q + q - 5*r. Is l at least as big as q?
True
Let u be 3/(3 + -4 + 2). Suppose 4*g + 5 = -j, u*g = -2 - 1. Is 4/9 at most j?
False
Suppose 4*u = 2*u - 3*c, 2*u + c - 8 = 0. Suppose -4*f - u = -7*f. Let h(p) = 2*p + 7. Let y be h(-3). Do f and y have the same value?
False
Suppose 3*i - 28 = -4. Let o be (10/i)/(2/(-8)). Let a(m) = 2*m + 4. Let r be a(-5). Is r >= o?
False
Let t be ((-7)/28)/((-1)/(-4)). Are -7/3 and t equal?
False
Suppose d + 4 = -0*d. Let v be ((-176)/36)/d + -1. Which is greater: 1 or v?
1
Let y = -27 - -10. Let h = -16.9 - y. Does -5 = h?
False
Let c be 10/25 - (-111)/(-240). Which is greater: 0 or c?
0
Let n = -2/9375 - -412514/65625. Which is smaller: 7 or n?
n
Suppose -5*m - 4 = -4*m. Let o be (-60)/35*14/m. Is 4 at least as big as o?
False
Suppose -3*o + 17 - 2 = 0. Suppose s - 5*s - 8 = 0, 48 = 2*u - o*s. Let f = 56/3 - u. Is -2/3 not equal to f?
True
Let o = 1.22 + 53.78. Let c = -49.9 + o. Let u = -5 + c. Are u and -1/4 nonequal?
True
Suppose 1 + 19 = -i. Let l(d) = d**2 + 5*d + 2. Let k be l(-5). Let g be (k/i)/(4/16). Which is smaller: g or -1/2?
-1/2
Let z = 5 - 4. Let h be z*(-2 - -1) - -1. Let n be h*(1 - 1/2). Is n greater than -2/11?
True
Let k = 3 - 1. Suppose -50 = -0*j - k*j + 5*d, 3*d + 87 = 5*j. Let q = j + -11. Which is greater: q or 3?
q
Let i = 3 - 2. Let t = -68765 - -18772795/273. Let b = 4/39 - t. Is i > b?
True
Let v = 8.1 - 5.8. Let x = v + -0.3. Which is greater: x or 2/5?
x
Let m = -200/749 + -2/107. Is 0 at most m?
False
Suppose -2*j + 4*j = 8. Let n = j - 3. Which is smaller: -2/5 or n?
-2/5
Let j be ((-8)/(-6))/((-4)/(-6)). Let b = j - -2. Let d = b - 2. Is d at most 2?
True
Let q = -30 + 31. Let h = -6 + 6. Which is bigger: h or q?
q
Let m = -16 - -12. Let r be (27/(-18))/((-2)/m). Is -3 < r?
False
Let l(q) = q**3 + 6*q**2 - 8*q - 6. Let i be l(-7). Let w be i/(2 + 27/(-15)). Suppose 5*r - 5*y - w = -0*y, r = -5*y - 11. Is -2 greater than r?
False
Let a = -21 - -20.8. Is 1/2 bigger than a?
True
Suppose -24*r = -28*r - 12. Is r > -5?
True
Let t = 47 + -48. Which is smaller: t or -20?
-20
Let f be (-2)/9 + (-45535)/(-160425). Let j = f - -1/345. Which is bigger: 1/3 or j?
1/3
Let u = -2 - -5. Suppose u*y = 2*y + 4*q - 1, 5*y + q + 5 = 0. Let g = -239/8 + 30. Which is smaller: g or y?
y
Let n be (2 + 279/(-141))*-1. Let o = n - 87/329. Let w(c) = c**2 + 3*c + 2. Let h be w(-2). Which is smaller: h or o?
o
Let o(j) = j**3 - 9*j**2 - 10*j - 4. Let f be o(10). Let c be 48/27 - f/18. Are c and 2 non-equal?
False
Let f(q) = -q**3 - 7*q**2 + 7*q - 9. Let v be f(-8). Let x(j) = -2*j - 3. Let n be x(-2). Let u be ((-2)/(-6))/(n/(-3)). Is v > u?
False
Let n be 16/(-20)*(-5)/2. Are 30/11 and n equal?
False
Suppose -i = s + 88, 3*s = -i + 5*i - 292. Is -92 smaller than s?
False
Let h(q) = 3*q + 26. Let j be h(-7). Which is bigger: j or 26/5?
26/5
Let s = -0.24 - -0.14. Is 3.6 at least as big as s?
True
Let x be 268/(-100) + 2 + 1. Let r = x - 113/275. Which is smaller: r or -1?
-1
Suppose -3*v = 3, 3*n - 5*v + v - 4 = 0. Let o = -3756/77 - -546/11. Are n and o unequal?
True
Let d = 83 + -31. Let u = d + -54.9. Let f = 3 + u. Are f and 0.3 equal?
False
Let s be -3 - (2 - (0 + 3)). Let p be (0 - 2/4)*1. Is p bigger than s?
True
Let d(t) = -31*t + 1. Let c(i) = 31*i. Let j(b) = -3*c(b) - 4*d(b). Let m be j(-3). Let r = m - -286/3. Is r > -3?
True
Let w = 18 - 15. Is 2 at most as big as w?
True
Suppose 4*j + 28 = 8*j. Let k = 11 - j. Which is smaller: k or -2?
-2
Suppose w - 2 = b, w - 12 = -2*w. Let j(l) = -l**2 + l - 3. Let i be j(3). Let u be b/4*(i - -5). Is u greater than or equal to -3?
True
Suppose -2*w - c + 2 - 1 = 0, -3*w = 3*c. Let a be (-4)/(-10)*(-20)/(-1). Let l be (-2 + a/3)/5. Which is greater: l or w?
w
Let u = -3 + 6. Let l = -1 + u. Suppose l*h + 2*h - 4 = 0. Which is greater: h or 2?
2
Suppose 20 = 5*z - 30. Let r be 0 + -1 + 0 + z. Suppose -y + 21 = -5*d, d + 0 = 5*y - r. Is y not equal to 0?
True
Suppose -2*m + w - 5 = 0, 17 = 3*m + 2*w + 7. Let o = -18.3 - -18. Which is smaller: o or m?
o
Let x be (-12)/(-33)*(5 + -7). Let l = -94/99 - x. Let q = -0.1 + -0.9. Which is bigger: q or l?
l
Suppose 111*x - 10 = 110*x. Are 39/4 and x equal?
False
Let x(k) = -k - 4. Let i be x(-6). Suppose 10 = -2*o - 0*o. Let b = o + 9. Is i greater than or equal to b?
False
Let d = -21/2 - -43/4. Which is greater: d or 14?
14
Let g be (3/54)/((-1)/4). Let j be (-11)/(-2) - (-2)/(-4). Suppose -3*s - 21 + 6 = 0, -j*t - 5 = s. Is t >= g?
True
Let g be -60*(-4 - -1)/9. Let b be g/(-12)*-15 - 4. Is b not equal to 21?
False
Suppose 4 = -5*y + b + 15, 5*b = 3*y + 11. Let x be -1 - 2*y/(-2). Let h be (2/9)/(4/x). Is h greater than -0.1?
True
Let z be ((-4)/30)/((-5)/15). Is 0 equal to z?
False
Suppose -5*g - 4*m + 0*m + 9 = 0, -3*g = -m - 19. Suppose 3*f + 2*f = g. Are f and 4 equal?
False
Let t = -0.7 + 0.7. Is t at most as big as -12?
False
Let o = -6 + 8. Let a be 2 + -2 + (-3 - 5). Let s = 11 + a. Which is smaller: o or s?
o
Let x = 26 + -25. Which is smaller: 6/17 or x?
6/17
Let v = -57 - -85. Suppose c + 3*c = v. Let o(n) = n - 8. Let d be o(c). Which is smaller: 1 or d?
d
Let l be (2/1)/(2/4). Let t(b) = b**3 - 4*b**2 - 2*b + 6. Let z be t(l). Which is smaller: z or -10/7?
z
Let c be (-2)/(4/(-2)) + 1. Suppose 0 = 4*g - c - 2. Let r(s) = -2*s + 1. Let j be r(g). Is j at most as big as -2?
False
Let z(k) = -1 + 1 - k. Let j be -3 + (-1 - 2) + 2. Let p be z(j). Is 3 not equal to p?
True
Let a be 2 - (-11)/(-6) - 1/3. Which is smaller: 0.2 or a?
a
Let j = 85/4 + -21. Let o be 1 - -1 - (2 - 3). Suppose -3