 3 + 45 = 0. Suppose r*s + s = o. Are 2 and s non-equal?
True
Let n be ((-9)/6)/((-3)/(-40)). Let k be 128/n + (-6)/(-15). Is -1 smaller than k?
False
Let m = 19/70 - 1112/35. Suppose 2*d - 16 = 46. Let j = d + m. Is 0 at most j?
False
Let w be -8 + 12 - (-28)/(-6). Let b(l) = -l - 6. Let k be b(0). Let i = k - -4. Which is smaller: i or w?
i
Let m(l) = l**3 + 5*l**2 + l + 8. Let r be m(-5). Are r and -3 equal?
False
Let y be ((-6)/9)/(2/(-27)). Suppose -y = -r - 2*c, -2*r - c - 4*c = -19. Suppose 4*p = -3*l + 16, 2*p - 7 = -3*l + r. Are 1 and p unequal?
False
Let v be (0 + 3 + 1)/(-1). Let b be v/(-36)*(1 + -4). Let j = 81 + -407/5. Is j > b?
False
Let f be (6/(-10) + 136/160)*52. Which is smaller: 2 or f?
2
Let d(f) = -f**2 - 10*f + 16. Let x be d(-11). Are 5 and x nonequal?
False
Let q = 4/17 - 29/51. Which is bigger: -1 or q?
q
Let c = 14488/1538475 + -2/7025. Is 1 < c?
False
Let l be (369 - -1)*(-2)/154. Let b = -56/11 - l. Which is smaller: b or 0.4?
b
Suppose -4 + 32 = 2*n. Let i be (1/(-2))/(n/4). Is i equal to 1?
False
Let n(v) = -v + 8. Let w be n(8). Let l be ((-2)/(-1) + -3)/3. Is w equal to l?
False
Let m = 15643/7 - 2224. Let x = m - 11. Is x >= 1?
False
Suppose 0 = l + l. Let y be 9/3 + (-17)/6. Is l at least as big as y?
False
Let r be 8/2 - (-13160)/(-2387). Let l = r - -17/11. Which is smaller: l or 0?
0
Let t be -25 - -3*1/1. Let u be (-33)/t*4/30. Suppose 0 = b - 5 + 6. Is b bigger than u?
False
Let h = 73 + -46. Which is smaller: 0 or h?
0
Let i = -46 - -42.3. Let s = i + 4. Let y = -48 - -49. Do y and s have the same value?
False
Suppose 7*s - 4*s - 15 = 0. Which is smaller: s or 4?
4
Let k = -1.6 + 0.9. Let t = k - -1.1. Do t and 4/5 have the same value?
False
Let z be ((-15)/9)/1*-6. Suppose 5*l - z = -2*i - 0, -i + 3 = 2*l. Is 4 < l?
False
Let h = 0.12 - 0.02. Let k = -3 + 3.1. Is h less than k?
False
Let p = 828 - 3273/4. Which is greater: 10 or p?
10
Let h = 9 - 4. Let s be (-2 - -2) + 5/h. Which is smaller: -2/19 or s?
-2/19
Suppose -12 = 2*j + j - 5*f, 0 = 2*j - f + 1. Is -1/14 at most as big as j?
True
Let c be 9/(-15) - 36/(-10). Is 1 less than c?
True
Suppose 3*v - 4*b = b + 10, 3*v + b = -2. Is v smaller than -4/77?
False
Let j be (4 - (-4 - -12))*(-3)/12. Suppose -z = -4 + 1. Let q be z/(1*(0 + 5)). Is j greater than q?
True
Let z be 2/(-12) + 40/(-336). Is 1 > z?
True
Let a = -454/5 - -10444/115. Is 0 greater than or equal to a?
False
Let k = -295.2 + 324. Let o = k - 32. Let x = o - -3. Are x and -0.1 equal?
False
Suppose 5 = -q, -u = 2*u + q + 8. Which is greater: u or 3/52?
3/52
Let m be 1/(((-21)/35)/(2/10)). Which is smaller: m or 0.21?
m
Let j = -7/6 - 4/3. Which is bigger: -4 or j?
j
Suppose 1 + 4 = -5*t. Let l be (-3)/2 - (-2)/(-4). Let b be (-27)/168 - l/7. Which is smaller: t or b?
t
Suppose 0 = -2*k - 10 + 8. Is -7 > k?
False
Let r = 6.14 + -6. Let b = r + 0.86. Which is greater: b or 5?
5
Let d be ((-4)/3)/(2/36). Let c be (-6)/d + (-2)/(-24). Which is greater: c or -0.3?
c
Let y be 18/8 + (-7)/28. Let m be ((-2)/y)/(1 - 2). Is -0.2 < m?
True
Let r = 0 + -0.06. Let b = r - -0.16. Which is greater: b or -0.2?
b
Let q(r) = -r**2 + 14*r - 47. Let w be q(6). Let g be (2/3)/((-10)/(-6)). Is w equal to g?
False
Let i = -8 + 7. Let k = i - -1. Let x = -0.03 - -0.43. Is k less than x?
True
Let l be 66/((-1275)/2 + 1). Let f = -2/1273 + l. Do -1 and f have the same value?
False
Let n(g) = -g - 3. Let x be n(-6). Let a = -315/4 + 79. Which is greater: a or x?
x
Let o = 8 + -6. Let s be o/4 + (-15)/6. Let u(v) = v + 1. Let p be u(s). Which is bigger: p or 1/5?
1/5
Let v = 5.7 + 0.3. Let g = v + -6.4. Let c = -0.6 + g. Which is smaller: 0.1 or c?
c
Let a = 31 + -51. Which is greater: a or -22?
a
Let w be 26/(-45) - 7/(105/(-12)). Does w = 11?
False
Suppose 4*x - 344 = 4*j, -3*j - 121 - 48 = -2*x. Which is greater: x or 88?
x
Let t(j) = j**2 - 6*j - 6. Let x = -5 + 12. Let z be t(x). Which is smaller: z or -2/15?
-2/15
Suppose -5*t + 13 = 3. Suppose 0*d - t*d - 16 = 0. Is -8 at least as big as d?
True
Let k be (-6)/(-2) + -2 + 0. Suppose -8*l + 80 = -3*l. Let d be l/100*15/(-6). Is k <= d?
False
Let s be (-1)/(1*(-2)/(-2)). Suppose 4*r = -4*p - 12, 3*r + 2*p + 1 = 6*r. Let c = r - s. Is c at most -1?
False
Let y be (-3 - -6)*38/6. Suppose 5*v + d - y = -2*d, -4*v + 10 = 5*d. Which is bigger: 6 or v?
6
Let z(t) = -t**2 - 2*t - 1. Let a be z(-2). Suppose -5*c = 5, -2*c + 3 = -3*o - 5*c. Which is greater: o or a?
o
Let x = 46/3 - 773/51. Which is smaller: 1 or x?
x
Let f = -1/3 - -5/33. Do 1 and f have different values?
True
Let a = 14367/1097 - 454839094/9873. Let n = a + 46145. Let h = 89 - n. Is h <= -1?
False
Let z(w) = -w**3 + 6*w**2 - 5*w - 4. Let t be z(4). Let k = t + -2. Suppose 3*a = k - 0. Are 1/2 and a non-equal?
True
Let u = 0.4 + -0.22. Let b = u - 0.08. Is b greater than 12?
False
Let m = 1.9 + -2. Let w = 0.97 - 1.27. Is w less than or equal to m?
True
Suppose -2*t = 5*h + 3*t + 5, -3*t - 3 = 0. Is -4/5 greater than h?
False
Let v = 0.12 - 0.02. Let c = v - 0.5. Which is smaller: c or -0.1?
c
Let a(i) be the second derivative of -i**5/20 + i**4/6 + i**3/6 - i**2 + 16*i. Suppose -5*q + q = -8. Let t be a(q). Which is greater: t or -2/3?
t
Let n = 3/209 + 2287/836. Is 4 less than or equal to n?
False
Suppose 0*k = -3*k - 66. Let r = k - -14. Which is greater: -9 or r?
r
Let x = -119/3 - -40. Let o = 24 + -25. Which is greater: o or x?
x
Suppose 16*i - 17 = 33*i. Let s be (-2)/(-4)*1/4. Is i bigger than s?
False
Let q = -382869/53999 + -3/4909. Which is smaller: -7 or q?
q
Suppose -2*u - 2*a + 30 = 2*a, u - 4*a = -15. Suppose 0 = 4*q + 9 - 33. Do u and q have different values?
True
Let x(b) be the third derivative of b**5/60 + 5*b**4/24 + b**3/2 + 4*b**2. Let y be x(-4). Is y > -1/3?
False
Let c(o) = -o**2 + 2*o - 1. Let n be c(4). Let v(h) = -h**2 - 8*h + 8. Let t be v(n). Which is bigger: -1/5 or t?
-1/5
Let p be -1 + (3 - 1) + 0. Are 0 and p non-equal?
True
Let z be (7 + -10)/((-1)/(-105)). Let d = z + 2201/7. Which is bigger: -2 or d?
d
Let v = 63/130 - 13/30. Which is smaller: 0 or v?
0
Let z = 19 + -12. Suppose -3*s - s + 45 = -h, s = 3*h + 25. Let u = s - z. Which is smaller: 4 or u?
u
Let j be 0 + -2 + 2 + -1. Suppose -h + v + 2 - 10 = 0, -3*h + 5*v = 28. Let s = h + 6. Which is greater: s or j?
s
Let v(g) = g**2 - 4*g + 1. Let k be v(3). Let x = k - -3. Let m = 4 - 2. Which is greater: x or m?
m
Suppose 0 = s - 3 + 1. Suppose -5*y = 4*v, 5*y - 2*y - v - 17 = 0. Let b be (y/(-30))/(s/6). Is b at most as big as -1?
False
Let h be -4 + 0 + (-40)/(-11). Which is smaller: 0 or h?
h
Let u(w) = -w**2 - 9*w - 3. Let h be u(-9). Let v = h - -1. Does v = -2?
True
Suppose -5*j + 4 + 6 = 0. Suppose -j*a + 15 = -5*a. Are -4 and a nonequal?
True
Let d(t) = -t + 7. Let l be d(9). Let y be (1 - (-1 + l))/(-2). Are -1 and y nonequal?
True
Let x(g) = g**2 - 5. Let c be x(-3). Do 3 and c have the same value?
False
Suppose 6 = -2*u + 32. Let l = u - 24. Let m = l + 23/2. Is -0.2 bigger than m?
False
Let s be ((-1)/4)/(3 + 59/(-4)). Which is smaller: s or -1?
-1
Let d be 4*(-4 + (-147)/(-36)). Which is smaller: d or 1?
d
Let q = 0.17 - -1.93. Which is bigger: -0.1 or q?
q
Let h(b) = b - 2. Let z be h(5). Let p = z + -2. Let i = -598/5 - -120. Is i != p?
True
Suppose -4*h - 2*n = -n, 0 = -3*n. Let q be 1 - (44/14 + -2). Let w = q + 9/14. Which is smaller: w or h?
h
Let b = 16 - 11. Which is smaller: b or 32/5?
b
Let w be (-4)/(-12)*225/(-14). Let y = -20/7 - w. Do y and 0.1 have the same value?
False
Let c = -11 + 18. Let i = -2 + c. Is 6 at least i?
True
Let a be ((-27)/6)/9*0. Let i be ((-4)/10)/((-3)/15). Is i > a?
True
Let r = 1 - 0. Let m = -0.27 + 0.27. Which is smaller: m or r?
m
Suppose -2*q = -2*p - 8, -5*p + 2 - 14 = -3*q. Let b be 10/(-32)*(-12)/60. Which is greater: p or b?
b
Let q = -2.1 - -2.1. Does 7 = q?
False
Let g = 36 + -50. Let s be (8/g)/(6/(-7)). Are s and 1 equal?
False
Let q = 6 - 9. Let l(s) = -4*s**2 + 25*s + 22. Let x(a) = 3*a**2 - 17*a - 15. Let d(p) = 5*l(p) + 7*x(p). Let o be d(-4). Is q greater than or equal to o?
True
Let l = -2854 - -25714/9. Which is bigger: 4 or l?
4
Let f = 3 - 2. Let m = -11.3 + 11. Is m > f?
False
Suppose -2*c + 0*c - 6 = 0. Suppose 5*q = 2*w - 3*w - 5, 