maller than 3/7?
True
Let w = 0 - -16. Suppose -2*u + 3*u + 3*o = w, -5*u + 3*o - 10 = 0. Is u at least as big as -1?
True
Suppose 3*d - 13 = -2*v - 1, v + 5*d - 20 = 0. Suppose v*x - 2*x = 12. Are -7 and x nonequal?
True
Let s be 15/35 + (-26)/126. Which is greater: s or -0.2?
s
Let x be 21/2*(-1 - -3). Let n = -12/1171 - -219085/10539. Let z = x - n. Which is smaller: z or 0.2?
0.2
Let a = 85 + -90. Suppose -b = -4*x - 13 + 1, 0 = -5*x + 4*b - 15. Is a less than or equal to x?
True
Let p = 975/4 + -245. Let a(t) = -t**2 + 3*t - 4. Let w be a(3). Let l(n) = 2*n**2 + 8*n - 1. Let u be l(w). Are p and u nonequal?
True
Let r be (-196)/150*(75 - -3). Let t = -102 - r. Is t less than -1?
False
Let j = 3.2 + -3. Let f = 0.6 + -0.6. Let p = f + 0. Which is greater: p or j?
j
Let d = -4 + 6. Suppose 2*r + d = -0*r. Let n be (-2 - r)*(4 - 1). Which is smaller: -1 or n?
n
Let l(y) = -y**2 + 3. Let t be l(3). Let o be (-3 - -4)*(-2)/t. Which is smaller: 1 or o?
o
Let b(p) = p**2 + 3*p - 1. Let i be b(-3). Let r be -4*3/(-12)*-2. Is r >= i?
False
Let n = -8 + 19. Suppose 4*h - 3*x - 8 = 0, 2*x = -3*h - 0*h - n. Is -0.1 < h?
False
Let b = -362 - -6152/17. Suppose -4 + 0 = 4*f. Let k = -2 - f. Which is bigger: k or b?
b
Let n = 29 - 68. Which is greater: -1 or n?
-1
Let m be 5/10*-8 - 2. Is m equal to -6?
True
Let w = -9 + 8.93. Let r = w - 0.23. Which is smaller: r or -0.2?
r
Suppose -m + 2*m = 4*n + 3, -2*n - 6 = 4*m. Which is smaller: -2/23 or n?
n
Let s be (9/(-2))/(1/(-2)). Let c = -8 + s. Is c less than 2/5?
False
Let a(q) = -q**3 + 2*q**2 - q. Let p be a(1). Let v = -12/55 - -2/5. Is p at least as big as v?
False
Suppose 8*i = 10*i + 28. Is i bigger than -13?
False
Let a = -13.9 + 14. Which is smaller: a or -2/37?
-2/37
Let f = 55 + -53. Suppose 10 = 2*q + 2*v, q = -3*q + 4*v - 4. Suppose y + 2*k + 7 = -0*y, -q*k - 10 = -f*y. Which is greater: -1 or y?
y
Let h = -0.18 + 0.27. Let r = h + 0.01. Is r less than or equal to 1?
True
Let a = -6 + 10. Suppose a*q - q = 0. Do q and 1 have the same value?
False
Suppose 2*f = -2*a + 21 + 13, -2*f + a + 22 = 0. Are f and 12 non-equal?
True
Let p = 12 + -11. Suppose -2*a - 2 = 6. Let q = a - -5. Is p less than or equal to q?
True
Let y = -2 - -3. Let r(m) = 3*m**3 - 6*m - 1. Let b be r(-4). Let f = 1185/7 + b. Is f greater than y?
False
Suppose 5*n = 5*j + 25, -2*j + 5*n - 19 = -0*j. Is j smaller than -4?
False
Let i be (-4)/3*18/(-2). Suppose -w + 2*c + i = -0*c, 0 = -w - 2*c - 8. Let x be (-34)/(-22) - (0 + 1). Is w bigger than x?
True
Let j = -7 + 9. Suppose 0 = -j*w - v - 4, -4*w + 3*v = v. Which is smaller: -2/15 or w?
w
Let q be ((-74)/18)/(580/(-96)). Let y = -2/145 + q. Which is smaller: y or 0?
0
Let p be 4*1/16 - 0/(-4). Let u = 1 - 1. Let z = u + 2. Which is smaller: z or p?
p
Let k(d) = -7*d**2. Let v be k(-1). Let a be (2/21)/(v + 5). Which is greater: 1 or a?
1
Let z be 5/(-5) - (-3 - -2). Which is smaller: z or -1?
-1
Let c be (-14)/(-2) - (-6)/(-6). Which is bigger: 3 or c?
c
Suppose -a - 3 = 2. Let d be 0/(a/((-10)/6)). Let c be 0/(-4 + (-4)/(-2)). Is d less than c?
False
Suppose 8 = 5*y - 12. Let l = y + -2. Suppose -3*f = -l*f + 4. Which is bigger: f or -2?
-2
Suppose -22 = 4*m - 4*p + 2*p, 3*p = 5*m + 25. Let b be (-2)/(-4)*m/6. Is b >= -1?
True
Let o = 1.3 - 1.5. Is 8 less than o?
False
Let n(h) = -2*h**2 - 2*h - 1. Let t be n(-1). Do t and -20/9 have the same value?
False
Let c be 6/(-5)*30/63. Is -1 >= c?
False
Let l = -0.7 - 1.4. Let y = -0.9 + l. Which is bigger: 4 or y?
4
Let i be 2/3 + (-77)/21 + 21. Are i and 17 equal?
False
Let w = 816 - 28558/35. Which is greater: -1 or w?
w
Let u = 43 + -42.67. Is u < 1/3?
True
Let z = -2.9359 + -0.0741. Let x = -3 - z. Is x <= 1?
True
Let x = 53/15 + -10/3. Which is smaller: x or 1?
x
Let m(l) = l**2 - 3*l + 1. Let w be 26/10 - (-18)/45. Suppose 4*o = w*h - 8 - 2, -4*h - o = -7. Let d be m(h). Which is greater: -2 or d?
d
Let y = -112 + 111.96. Let t = -0.2 - -0.1. Let o = -0.1 - t. Which is smaller: y or o?
y
Let u(j) = j**3 - 4*j**2 - 2*j + 5. Let x be u(4). Suppose q = -q. Let s be x - (-1 - q)*3. Are 0 and s unequal?
False
Let m(z) = 7*z**2 - 2*z + 13. Let s(a) = 6*a**2 - 3*a + 12. Let k(w) = -5*m(w) + 6*s(w). Let y be k(8). Is 8 less than or equal to y?
False
Let q be (-48)/6 + 10 + (-1 - -71). Are 72 and q nonequal?
False
Let a = 6 + -2. Suppose -g = -a*q + 3*g, 4*q = 5*g. Which is smaller: q or 11?
q
Let b be ((-123)/(-45))/(-1) - -3. Which is smaller: -1 or b?
-1
Let t(v) = -v**3 + 5*v**2 - 2*v + 6. Let p be t(5). Let w be ((-7 - p) + 3)/(-2). Is -2/17 bigger than w?
False
Let s be 3 + (1160/(-6))/5. Let n = 36 + s. Which is greater: n or 0?
n
Suppose o = -o - 6. Let h be 0 + o - 13/(-5). Is 0.05 != h?
True
Let k(s) = -s - 2. Let j be k(-4). Suppose b + j*g = -0*b - 10, 2*g + 10 = -3*b. Let y = -20/7 - -22/7. Is b at most as big as y?
True
Suppose 4*g = 2*g - 54. Which is smaller: g or -26?
g
Let q be 14/15 - 2/(-5). Suppose -12*z = -26 + 14. Which is smaller: z or q?
z
Let w = 3.08 - 3. Let a = w - 0.1. Let l = 2 - 1. Is l smaller than a?
False
Let h = 42 - 42.1. Is 0.8 > h?
True
Let w be (23/1)/((-1)/(-4)). Suppose 0 = k + v + 16 + 5, 4*k - 4*v + w = 0. Let i be 114/k - 6/(-33). Is -5 greater than i?
False
Let j be (88/16)/(2/(-4)). Is j >= -11?
True
Let w be 8/5 - 1 - (-3195)/(-3825). Is 1 at least as big as w?
True
Let r be (-32)/(-63) + 4/(-18). Are 1/2 and r non-equal?
True
Suppose 1 = 4*a + 3*q + 7, 5*a + q + 2 = 0. Suppose 5*g - 25 = 15. Let c be (3/g)/3*2. Is a <= c?
True
Suppose -5*h = -0*h. Is h at least -1?
True
Suppose -2 = -5*h - 2*u, -4*h = 3*u + 3 - 6. Let j be 4/(-14) - 8/(-28). Let o be (1 + h + j)*0. Which is smaller: o or 2/9?
o
Let x = -0.4 + 0.3. Let b = 0.2 + x. Let z be (-4)/10*25/15. Which is bigger: b or z?
b
Let m(c) = -c - 2. Let f be m(-5). Let h be (f + (-14)/4)*18. Do -9 and h have the same value?
True
Let o = -4 + -3. Let c = o + 6. Which is smaller: -3 or c?
-3
Let m(k) = k**3 - 12*k**2 - 13*k - 6. Let i be m(13). Is -3 equal to i?
False
Let j(f) = -f**3 + 5*f**2 - 3*f + 3. Let t be j(4). Suppose t*c = 3*c - 4. Are -6/7 and c equal?
False
Let i = -0.1 - -0.3. Let p = -0.1 - i. Which is smaller: p or -1?
-1
Suppose 3*t = 9, -m + 4*t - 12 = -2*m. Suppose -3*l = -8*l + 20. Suppose -4 = l*s + 4. Which is smaller: s or m?
s
Let i = -73/3 + 25. Which is bigger: i or 75?
75
Let k be (-34)/24 + (-4)/(-3). Which is greater: k or 0?
0
Let g be (-2)/9 + (-703)/36. Let c = g - -20. Which is smaller: c or 1?
c
Let o be ((-2)/(-10))/(4/10). Let j be (0 - 1) + -3 + 5. Which is greater: j or o?
j
Let f be ((-2)/(-8) - 50/40)*-1. Which is greater: -1/99 or f?
f
Let o = 98867/462 + 1476/77. Let s = o + -234. Is s at least as big as 0?
False
Let m = -37.1 + 37. Are m and 21 non-equal?
True
Let i be (6/4)/((-6)/16). Is -7 at most as big as i?
True
Let i be 50/(-8) - (-3)/12. Is 4 greater than i?
True
Let l = -6.3 - -46.3. Is l not equal to 0?
True
Let u be (-7 + 453/63)*(-6)/4. Do 0.019 and u have different values?
True
Let q = -220 + 1978/9. Is q smaller than 1?
True
Let d = 0 - 0. Let z = -0.1 + d. Is -2/13 != z?
True
Let l be (-6)/(-8) + -1 + (-14)/8. Which is greater: l or -5/4?
-5/4
Let f = -0.1 + -0.9. Let w = f - -1.03. Let i be 9/(-15)*5/(-6). Which is greater: i or w?
i
Let p be (3 - 3) + 3 + -2. Let x = 4 - 10. Let k be 3/x - (-6)/4. Is k bigger than p?
False
Let w = -1 - -5. Suppose -3*s + 4 = -w*s. Which is smaller: s or -3?
s
Let a = -135 + 134.9. Which is smaller: -1/34 or a?
a
Let k = -125/198 + 9/22. Let p be (2 - 1)/5*3. Do p and k have the same value?
False
Let y(j) = j**3 - 7*j**2 + 2*j + 8. Let i be y(6). Let a be (-1)/4 + (-4)/i. Let c = -266/3 + 88. Which is greater: a or c?
a
Suppose 5*q + b - 29 = 0, -3*q + 40 = q + 5*b. Suppose 4*u - 5 - 32 = q*v, 2*u - 5*v - 31 = 0. Which is smaller: 1 or u?
1
Suppose 0 = -2*d + 4*d - 2. Let b be (-26)/(-7) - (-6)/21. Suppose b*l = -l. Is d less than or equal to l?
False
Suppose -11 = -5*s - 4*t, 0 = 4*s + t - 5*t - 16. Is 1/15 bigger than s?
False
Let b be (1 - 12/9)*-18. Is b smaller than 7?
True
Let b(t) = -19*t - 76. Let z be b(-4). Which is smaller: -2/337 or z?
-2/337
Let a = -9/662 - -21301/8606. Let p = a - 326/143. Is p at most -1?
False
Suppose -j - 25