 or equal to -3?
True
Let d = -49 - -49.2. Let h = 6/35 + 81/140. Are d and h equal?
False
Suppose 4*y - 1 = 3*v, -2*v + v - 4 = -5*y. Is 6 >= v?
True
Suppose -3*p + 1 = r + 11, 5*p + 10 = -5*r. Suppose -b + 6 = -r*b. Let u be (-2)/b*(-1 - -1). Is -2 at least as big as u?
False
Let p be (-2)/1 - (-3 + 1). Let r = 456 - 4100/9. Which is smaller: r or p?
p
Let o(i) = -i**2 - 5*i - 17. Let z be o(-10). Which is smaller: -68 or z?
-68
Suppose b + 4*c = -0*c - 7, 0 = -2*b + 5*c + 12. Which is smaller: -1/87 or b?
-1/87
Suppose 1 + 2 = -b. Is 0 bigger than b?
True
Let g be (-5 - 16/(-4))*-1. Let l = 148/395 + 2/79. Is g at most as big as l?
False
Let t be 19/7 + -10 + 7. Do -1 and t have the same value?
False
Let d be (5 - 2 - 0)/1. Is -9 at least as big as d?
False
Let f = -0.18 + -6.82. Which is smaller: f or 0?
f
Let y = -7.59 + 0.69. Let x = 7 + y. Which is smaller: x or -3?
-3
Let u = -5547/70 - -891/10. Which is smaller: u or 9?
9
Let t = -1 - -1. Let g = 0.2 + t. Does g = 2/9?
False
Let k be -6 - (642/(-42) + 6). Are 3 and k equal?
False
Suppose 5 = 35*l - 30*l. Which is smaller: -3/58 or l?
-3/58
Let z = 0.1 + 0. Let a = -12 + 21. Let t = a - 13. Is z greater than or equal to t?
True
Suppose -7 + 9 = 2*k. Suppose -2*i = 5*g - 30, 2*i + 3*g - 21 - k = 0. Which is bigger: i or 9/2?
i
Suppose 0 = 5*a - 32 - 43. Let h be (12/a)/((-2)/10). Which is bigger: -5 or h?
h
Let i(h) = 2*h**2 + h - 1. Let r be i(1). Let d be (4*(-2)/34)/r. Is d less than -0.1?
True
Let b = 4 + -12. Let r be 9/2 + b/(-16). Which is smaller: 6 or r?
r
Let c = 0 - 0. Let t be 128/480*(30/4)/3. Is t smaller than c?
False
Let h = 2.254 - -0.046. Let o = h + -2. Let t = -0.4 + o. Is t equal to 2/3?
False
Let n = 94 - 90. Which is smaller: n or 5?
n
Suppose 10*w + 0 = 50. Let h = 0 - 1. Is w > h?
True
Suppose -6*r + 2*l = -2*r + 2, 2*r = 3*l - 11. Let f(p) = -p**3 + 4*p**2 + 5*p - 2. Let j be f(5). Let m(z) = -3*z - 3. Let n be m(j). Which is greater: r or n?
n
Let p = 1.5 + -0.1. Let s = -0.4 + p. Is s at least 2/7?
True
Let k(i) = -15*i**3 - i + 1. Let b be k(1). Let d = 13 + b. Is d > -2?
False
Suppose s - 2*d = 7, 0 = 5*s - s + 5*d - 2. Suppose s*b = 3*u - 36, 0*b + 4*b - 2 = -u. Is 2 bigger than u?
False
Let d be (-222)/24*(-804)/(-21). Let q = -355 - d. Which is smaller: q or -2?
-2
Let j = -3 + 2. Is j smaller than -1/39?
True
Let r be (-76)/(-665) - (2/(-7))/1. Which is smaller: r or -41/4?
-41/4
Suppose n = 4*n + 4*x - 17, 5*x = 10. Suppose 48 = c + n*c. Let m be 1 + -2 + c/14. Which is smaller: m or 1?
m
Suppose 0 = 3*m - 0*u - 2*u + 32, -2*m = 4*u. Do m and -8 have the same value?
True
Let b = -28 + 25. Which is greater: 4 or b?
4
Suppose 6*t = -16 + 4. Suppose 0 = -0*n + 3*n - 9. Suppose -z - 1 = n. Which is smaller: z or t?
z
Let k = 29 - 21. Is k at most 7?
False
Let x = -72 - -70.01. Let s = -0.01 + x. Let k = -4/49 - 78/245. Which is greater: k or s?
k
Let t = 4.82 - 5. Let k = -6.82 + t. Let p = -7.2 - k. Which is smaller: 0.1 or p?
p
Let i = -18 + 37/2. Is i != -6?
True
Let b = 25 - 64. Does b = -38?
False
Suppose 0 = 4*f + 6 + 6. Which is smaller: f or 9?
f
Let d = -2/881019 - -63531269/4405095. Let r = d - 71/5. Which is greater: r or 0.3?
0.3
Let b be -2 + (-1 - -3 - 1). Let k(n) = -n**2 - 4*n - 1. Let i be k(-3). Suppose 3*o = -i*o. Is o less than or equal to b?
False
Suppose 4 = -3*x - 20. Which is smaller: x or 0?
x
Suppose 9*t - 4*t = -3*z - 2, -4*z + 4 = 0. Which is greater: -4/69 or t?
-4/69
Suppose 0 = 19*f - 23*f - 4. Let o be ((-279)/69 - -4)/f. Which is bigger: -1 or o?
o
Suppose 0 = -2*p + 4*p - 10. Let v(g) = -g + 6. Let t be v(p). Let d = 34 + -304/9. Which is bigger: d or t?
t
Let t = -33 + 22. Let d = t - -7. Is d less than -2?
True
Let u = -10 + 5. Suppose t - 4 = -2, -v + 5*t = 11. Is v <= u?
False
Suppose -4*y - 4*j - 8 = 0, 3*y + 0*j + 4 = -2*j. Suppose y = 2*f - 3*f + 1. Let x = 0 + f. Which is smaller: x or -1/8?
-1/8
Suppose 4*u - 7 = -v + 2, 2*v + 6 = 0. Let n be (-2)/(-1*(u + -1)). Let a be (-8)/126 + 4/14. Is a at least as big as n?
False
Suppose -5*g - 3 = 2. Let p be g/6 - 13/(-6). Is p at least 5/4?
True
Let g = -17 - -21. Is 11/4 at most g?
True
Suppose 9 = -3*q + 54. Suppose 0*o + 3*o - q = 0. Which is smaller: o or 4?
4
Let i = 1187/171 - 62/9. Which is smaller: 1 or i?
i
Let x = -2039/3415 + -2/683. Let l(u) = 2*u + 4. Let w be l(5). Suppose -2*y - 3*i - w = 0, -2*y + 4*i = -4 - 10. Which is smaller: y or x?
y
Let p be (76/(-16))/1 - -5. Is p smaller than 1/3?
True
Let o(m) = -85*m**3 - 8*m**2 - 7*m. Let y be o(-1). Is 84 at least y?
True
Let g = -38 + 40. Suppose -2*i + 5 = -5*p, -4*i - 3 = 2*p + p. Is g less than i?
False
Suppose -a = -5*f - 14, 6*f - 2*f - 3*a = -20. Which is bigger: f or 0?
0
Let h be 5/(-3*5/(-18)). Let b = 11 - h. Do b and 3 have different values?
True
Let d(n) = -1 + 3 - 2 - n + 2. Let h be d(4). Which is smaller: h or 4?
h
Let g(l) = l**2 + 2*l + 5*l - 7 - 2*l**2. Let k be g(6). Which is smaller: k or 2/19?
k
Let g be (-138)/95 - 4/(-10). Let d = -7328542/95 - -77144. Let y = d + g. Is -1 less than y?
True
Suppose -s = v + 1 + 3, 4*v - s + 36 = 0. Let x = v + 8. Let g be x + (-1 - 9/(-11)). Is g > 1?
False
Suppose 0 = -j + 5*j - 5*p - 64, -29 = -j - 2*p. Is j <= 22?
True
Let j = -4 + 3. Let l be (0/(-3 - 0))/j. Which is bigger: l or -3/5?
l
Let p = -4/3 + 2/3. Let v = -0.028 - -0.028. Which is smaller: v or p?
p
Suppose -4*p - 3*m + 6 = 0, 2 = p - 2*m + 6. Suppose -4 + p = -l. Suppose 2*o = l*o. Which is smaller: o or -0.3?
-0.3
Suppose -16 = 2*i - 3*f + 8, -5*i + 5*f - 55 = 0. Let m be (-6)/(-3) + 16/i. Which is smaller: 1 or m?
m
Let f = -8 - 58. Let u be f/60 + (-6)/(-10). Which is smaller: 0.05 or u?
u
Let v be ((-34)/4)/(5/10). Is 3 at most v?
False
Let r = -10 + 12. Let d be (-8)/6 + r - 1. Let p be 22/(-8) - 1/4. Which is bigger: d or p?
d
Let y be 2/4 + (-3)/(-2). Suppose -17 = 5*s + 2*h, -3*s + y - 6 = -5*h. Let d be (3/6)/(1/(-6)). Is s at least as big as d?
True
Let t = 0.7 + -14.7. Is t less than or equal to 0?
True
Suppose -5*h + 5*x = -10, -3*h - 2*x = 2*h - 10. Which is bigger: h or 0?
h
Let j = 9 + -15. Let x be ((-2)/j)/(15/36). Which is greater: 1 or x?
1
Let d = 0.13 - 0.03. Which is bigger: d or 4?
4
Let b(q) = 3*q**2 + 8*q - 4. Let l be b(-4). Is 12 at most as big as l?
True
Suppose 0 = -f - f - 4. Let o be (4 - 2)*f/(-1). Suppose 0 = -o*r + 5*r. Is -1/5 less than r?
True
Let i be (-955)/960 + (6 - 5). Which is bigger: 0 or i?
i
Let a be 13/(-3) - (-2)/6. Are a and -0.1 unequal?
True
Let r(u) = -2*u**2 + 4*u - 2. Suppose -1 - 5 = -2*d. Let g be r(d). Let b = g - -3. Which is bigger: -6 or b?
b
Suppose -3*z - 2*z + 40 = -5*c, -4*c = -3*z + 26. Which is bigger: 5 or z?
z
Let g be (-8)/(-3 + 1) + 10/(-3). Let i = -3.94 + 4. Which is greater: i or g?
g
Let c = -2/243 - 452/4131. Let j(t) = -t + 17. Let m be j(0). Suppose 4*p - 16 = 2*k + 2*k, 2*p + 3*k = -m. Which is bigger: c or p?
c
Suppose -117 = 10*h - 13*h. Which is smaller: 38 or h?
38
Let d be (-114)/(-27) - 4/18. Suppose 4*w - 5*v - 5 = -4*v, -5*w - v = -d. Let s be -1 - ((-16)/6)/2. Which is smaller: w or s?
s
Let u = 2 + -5. Let w be (-1)/(u*15/6). Is w less than -1?
False
Let t(s) = -2*s**2 - 11*s. Let p be t(-6). Do p and -8 have the same value?
False
Suppose -2*j = 2*c, 2*j - 3*j + 4 = 3*c. Which is bigger: c or 14/13?
c
Suppose 0 = j - 3 + 8. Suppose -z = 4 + 1. Is j smaller than z?
False
Let v = 141 + -701/5. Is 0 greater than or equal to v?
False
Suppose a + a = -a. Is a greater than or equal to 2/23?
False
Let m be (2/4)/((9/2)/9). Which is smaller: -1/50 or m?
-1/50
Let q = 0.5 - -8. Let b = 6 - q. Let d = b - -2. Which is smaller: d or -0.1?
d
Let p = -11 - -17. Is 5 > p?
False
Let v be ((-90)/105)/((-1)/(-7)). Let s be 4/v + 30/45. Which is smaller: 2 or s?
s
Let j = 0.8 - 0.7. Is j at most as big as 0.1?
True
Let r be (3/(-14))/(6/8). Suppose -12*c = -31*c + 57. Is r >= c?
False
Let y = 7 - 12. Let p = y + 10. Suppose -p*a - 2 = 3. Which is smaller: -1/2 or a?
a
Let c be (3 + -4 - 9) + 3. Let i = 7 + c. Which is bigger: i or -2/7?
i
Let o(y) = 2*y**2. Let b be o(1). Let r be ((-1)/2*0)/b. Let s = -58 - -408/7. Is r <= s?
True
Let p(r) = r**3 + 4*r**3 - r**2 - 1 - r + 2. Let b be p(1). Suppose z - v + 5 = 0, -