True
Let r = 19 + -13. Let h = -19 + r. Is 0 equal to h?
False
Let c = -2.041 + 0.041. Is c > 2/5?
False
Suppose v - r - 2 = 0, -5*v - r + 12 + 4 = 0. Suppose -v - 3 = -2*c. Let b(z) = -5*z - 2. Let w be b(-1). Is c equal to w?
True
Let k be 3 + -5 + 3 + -1. Let j be 1 + (-1 + 1)/1. Let w = k - j. Is -1 greater than w?
False
Suppose 5*n = 1 + 4. Let t be ((-6)/126)/((-2)/(-6)). Which is bigger: t or n?
n
Let a be (4/(-18))/((-16)/(-24)). Is 0.2 at least a?
True
Let p = -14 - 6. Let q be 2/5 + 108/p. Let j = q + 6. Is j at most as big as -2/9?
False
Let q = 0.04 + 1.46. Let b = q + -1.6. Is b >= -2?
True
Let o be (6/5)/(21/140). Suppose -3*g = -7*g - o. Which is bigger: g or -3/2?
-3/2
Let z = 25 + -35. Let v = 9 + z. Which is smaller: v or 0?
v
Let s be (-1194)/(-300) - 12/3. Are s and 1 non-equal?
True
Let j = -8 - -13. Suppose j*w + 0 = 5. Is 0 greater than or equal to w?
False
Suppose 0*m + r = -2*m - 7, -r = -5. Which is bigger: m or -8?
m
Suppose -5*j - 18 + 63 = 0. Suppose -11 = -t + j. Is 21 <= t?
False
Let m be 3 + 0*(-4 + 5). Suppose 0 = -m*s + 2*s + 2. Is 2/25 at most as big as s?
True
Let a be ((-7)/8 + 1)*2. Suppose 5*k - 1 = -3*h + 5, 2*h - 4 = 4*k. Let x = h - 2. Which is bigger: a or x?
a
Let n(x) = -x**3 - 4*x**2 + 5*x - 3. Let k be n(-5). Let a = 7 + k. Is 5 greater than a?
True
Let z be 30 - 29 - -1*1. Let m = 7 - 5. Are m and z unequal?
False
Suppose o - s + 3 = 0, 5*o - 2*s = -0*o - 6. Let i = 131 + -1178/9. Which is bigger: o or i?
i
Let u = 5 + -3. Suppose -z - 12 = 2*p - 4, p = -3*z - 4. Let l = u + p. Is -2 > l?
False
Let s be 4/562*(-5 - -4). Let m = 1660/3653 - s. Which is bigger: 0 or m?
m
Let f(x) = x - 1. Suppose -r - 3*r = -8. Suppose 0 = -2*p + 2*i + r, -5*i - 4 = -p - i. Let v be f(p). Is 1/7 less than v?
False
Let n = -10 - -3. Let w = -5 - n. Let c(l) = l + 3. Let p be c(0). Which is bigger: w or p?
p
Let m = 68 - 64.1. Let w = -4 + m. Let y = w + 0.1. Is 0 greater than or equal to y?
True
Let y be -3 + 12/(-9) - -3. Which is smaller: 0 or y?
y
Let w = -136 - -136. Which is bigger: 2/75 or w?
2/75
Let f(r) = 3*r**3 - 8*r**2 - 11*r + 1. Let a(w) = -4*w**3 + 7*w**2 + 11*w - 2. Let h(n) = -2*a(n) - 3*f(n). Let v be h(11). Which is smaller: v or -2/23?
-2/23
Let a = -2 + 2. Suppose 1 = -5*i + 6. Let n be 12/(-2 - i) + 1. Are a and n unequal?
True
Let c(w) = w**3 + 3*w**2 - 5*w - 2. Let r be c(-4). Let k be (-2)/2*r + -4. Let s = 25/4 + k. Which is bigger: -1 or s?
s
Let j(k) = -k**3 + 2*k**2 + k. Let l be j(2). Suppose -4*r - 5 = 3*x, -1 + 5 = l*x - r. Which is greater: x or -4?
x
Let t(k) = -k - 5. Let w be t(-5). Suppose 5*a - 3 = -13. Let d(i) = 2*i + 3. Let v be d(a). Is v <= w?
True
Let i = 0 - 0. Suppose 3*l - 2*l + 2 = i. Let d be (1*-1)/(-2 - -3). Is d at most as big as l?
False
Let l = -9 - -11. Which is smaller: l or 2/3?
2/3
Let o = 68 - 58. Are o and 7 equal?
False
Let i be ((-10)/15)/(6/(-45)). Suppose 0 = -i*o + o. Which is greater: 1 or o?
1
Let i = -489/8 + 61. Which is greater: i or 0?
0
Suppose -27 = 9*r + 9. Is 0 smaller than r?
False
Let x be ((-14)/28)/(2/(-52)). Is 1 greater than or equal to x?
False
Let b be (7 - 3)/(-2 + 0). Let s be (-3)/66*b*-1. Which is greater: -1 or s?
s
Let c = 689 + -5521/8. Which is bigger: 0 or c?
0
Suppose -3*n = -6*n. Are n and -0.04 equal?
False
Let a be (-24)/(-28)*793 - -3. Let s = a + -684. Is s <= -2?
False
Let m = 55/3 - 53/3. Let j(n) = n**3 + 6*n**2 + 6*n + 7. Let f be j(-5). Which is bigger: f or m?
f
Let k(m) = -m**2 + 21*m - 22. Let g be k(20). Is g bigger than 17?
False
Suppose 0 = 3*o - 4*d + 16, -2*o - 3*d - 24 = d. Let g be 1*10/(-2) - 2. Is g greater than or equal to o?
True
Let p be (-105)/28 + 6/8. Let a be ((-4)/76)/(p/6). Is a less than -1?
False
Let s = -588/5 + 118. Let u = -3 - -2. Which is smaller: s or u?
u
Let p = 136 - 136. Which is smaller: 4/53 or p?
p
Suppose 2*i - 42 = -18. Which is greater: 17 or i?
17
Let v = 1 - 1.1. Let z(f) = -f + 16. Let q be z(16). Which is bigger: q or v?
q
Let z = 10 + -6. Suppose -13 = -z*k - 1. Let q = 3 - k. Do q and 1 have the same value?
False
Suppose -3*f - 19 + 3 = 5*w, 5*w + 8 = f. Suppose 5*u = -2*p - 25, -3*p - 20 = 4*u + 2*p. Let a be (-6)/(-45)*(u - 5). Are w and a nonequal?
True
Let i = 475001/200 - 2375. Let a = i - 1609/1800. Let x = a + 49/45. Which is smaller: 1 or x?
x
Suppose -4*k - k + 20 = 0. Suppose 2*a = 3*l + 11, 2*a - 3*a = -k. Which is smaller: -2 or l?
-2
Let w = 0.2 + -0.23. Let x = -0.13 - -0.1. Let s = w - x. Is s equal to -2?
False
Suppose -7*m + 25 = -2*m. Suppose m*y + 5*f = -10, 10 = -5*y - 2*f + 6*f. Which is smaller: -3 or y?
-3
Let b = -2 - -9. Let g = b + -8. Are -2 and g nonequal?
True
Let b = 82 - 92. Let r = -239.9 - -230. Let w = b - r. Which is smaller: 0.02 or w?
w
Let x = 1.9 + -2. Let r be -1 + 0 + (-6)/(-3). Let a be 2/(r*(0 + -2)). Which is greater: a or x?
x
Let w be (-1859)/6 - 2/(-6). Let x = 283 + w. Let l = x + 27. Which is greater: l or 1?
1
Let z = -1 + 1. Suppose -d - 2*k + 98 = z, -3*d - 5*k = -244 - 46. Let t be (-2)/(-9) + (-56)/d. Which is bigger: t or 1?
1
Let f(l) = -l**2 + l + 4. Let r be f(3). Let n be 1/r + 2/8. Is n at most as big as -2/3?
False
Suppose 0*y + 4*y - 12 = 0. Which is smaller: 4 or y?
y
Let t = 5 - 6. Let b = -1.3 - t. Which is smaller: b or -0.1?
b
Suppose k + 4*v - 4 = 0, 2*k = 5*v + 7 + 1. Are k and 3 unequal?
True
Let f = 0.12 + -0.16. Is f bigger than 0.4?
False
Let h = 791/24 + -213/8. Let a be -3*(-3)/(-12)*-4 + 4. Which is smaller: h or a?
h
Let r = 485/7 + -69. Does -0.1 = r?
False
Let k = -203 + 203. Is -2/79 > k?
False
Let n(j) = j**3 - 5*j**2 + 3*j - 2. Let v be n(5). Suppose 3*s = a + v + 1, 4*a + 4*s - 8 = 0. Let q = 2/15 + -22/15. Is q at least a?
True
Suppose -2*z + 13 - 3 = 3*y, -2*z = 2. Does y = 20/7?
False
Suppose 5 = -4*i + 1. Let g = 1399/5 + -281. Are i and g equal?
False
Let x(h) = 10*h**3 + 1. Let u be x(1). Let a = -9 + u. Which is smaller: a or -1?
-1
Let x = -2 - -3. Let q = x - 3. Is q less than -4/7?
True
Let q = -32 + 31. Which is smaller: q or -16?
-16
Let h be 465/20*(-2)/(-3). Which is greater: h or 15?
h
Suppose t = -0*t. Suppose -2*y - g + 4 = t, -y - y + 4*g = -14. Let o(k) = -k - 4. Let b be o(-6). Which is bigger: y or b?
y
Let u = -2.14 + 0.14. Which is greater: u or -5?
u
Let h = -5 - -9. Suppose -4*r + 0*r = h. Let l = -1 - r. Is l greater than 1?
False
Let u = 1.6 - 0.6. Let y = 44.95 + -44. Let a = -0.05 - y. Is u at most as big as a?
False
Let f = 4 + -2. Let x = -15 + 17. Is f less than x?
False
Suppose -5*v - 5*j = 455, -461 = 5*v - 4*j + 7*j. Which is smaller: -95 or v?
-95
Suppose -o = 2*o - 3. Let v be 1*(3/3 - o). Suppose 0*l = l + 2. Which is smaller: v or l?
l
Let a = -11.03 - -11. Is a less than -0.1?
False
Suppose 2*o = -i - 7, -i + 5*o + 21 = -0*i. Is -6/7 less than or equal to i?
True
Let w(d) = -2*d - 3. Let z be w(-3). Suppose -2*l - 7 = 5. Let h = l - -10. Is h at least as big as z?
True
Let z = 154571581/114 - 1355882. Let o = 55/6 - z. Is o < 1?
True
Let v = -1199 - -1895. Let n = 18790/27 - v. Let o = 5 - 4. Which is smaller: n or o?
n
Let f = -44 - -31. Let x = 13 + f. Are x and 6 unequal?
True
Let o be (-1)/6*(3 + -5). Which is greater: o or -2/19?
o
Suppose 2*q = -q + 15. Suppose q*i = -0*i + 30. Let g = 5 - i. Which is greater: 1/9 or g?
1/9
Let m = -38/123 + -1/41. Suppose 3*y - 3 + 0 = 0. Let v be 6/(-9) - y/(-3). Is m < v?
False
Let u be ((-2)/(-6))/((-2)/(-4)). Let d = -75 - -77. Which is smaller: d or u?
u
Let p(s) = -s + 3. Let f be 1/(1 + (-6)/9). Let i be p(f). Suppose i = -4*u + o + 10, 3 + 7 = u - 4*o. Is u equal to 2?
True
Let z = 82.1 + -75. Let x = 7 - z. Let c = 0.1 - 1.1. Which is smaller: c or x?
c
Let m = -31.4 + 29. Is m at least 0?
False
Let k = 10 - 9. Which is smaller: 3 or k?
k
Let a = 16 + -7. Suppose 3*t = k + 12, 4*k - 3 - a = -3*t. Which is bigger: 5 or k?
5
Let m = 4 - 1. Let h(z) = z**2 - 1 - z**3 + 0*z - 2*z + 3*z**2. Let n be h(2). Do n and m have the same value?
True
Let x(u) = -35*u**3 - u**2 + 2. Let d be x(1). Which is smaller: d or -33?
d
Let h(j) = j**2 - 1. Let r be h(-1). Suppose -3*c = -r*c. Which is bigger: 1 or c?
1
Suppose 4*b + 10 = 5*b. Suppose -w + 3*l - b = 0, -3*l + 17 = -2*w + 2*l. Let g be (-3 + 1)/w*-1. Is g 