e k/3 + d/(-6). Is 0 not equal to h?
True
Let n = 1 + 0. Is 0 at least as big as n?
False
Let v = -68/21 + 18/7. Let y(g) = -g - 1. Let u be y(-6). Suppose -b + 4 = -u*b. Which is smaller: v or b?
b
Suppose -s = 3*s - 4. Let l = 2 - 3. Let q be 4/3 + l - s. Which is greater: q or 2/5?
2/5
Suppose 6 = -3*a + 3*s, -2*a - 5*s = -4 - 13. Does -2/63 = a?
False
Let r = -329/4 - -81. Are 0 and r nonequal?
True
Let v = 101 - 111. Is -5 equal to v?
False
Let w be 12/54 - 2/9. Which is smaller: w or -5?
-5
Let w = 37 + -37.2. Which is smaller: w or 27?
w
Let n be (1 - (5 - 3)) + -1. Let y = -1 + n. Suppose r - 9 = -4*v, 2*r + 4*v - 3*v + 3 = 0. Is r bigger than y?
False
Let z = 45 - 74. Which is bigger: z or -30?
z
Suppose 7*r - 2*r = 10. Suppose 97 = -r*q - 11. Let d be 2/(-9) + 366/q. Which is bigger: -6 or d?
-6
Let i = 14 + -19. Is -0.02 greater than i?
True
Let u be (-1)/(-4) - 125/(-4). Let y(a) = -a**3 + 7*a**2 + 13*a - 11. Let l be y(8). Let b = l - u. Is b at most -4?
False
Let s = 58 - 34. Do 24 and s have the same value?
True
Let r be (0 - (1 - 0)) + -2. Let o(q) = -q**3 - 4*q**2 + 5*q - 3. Let w be o(-5). Let k be -1 + w/((-3)/(-2)). Is k < r?
False
Let y = 33 + -65/2. Suppose 0 = 3*z - 4*z + 1. Which is smaller: z or y?
y
Suppose 5 = -2*g + 13. Suppose -3 = -q + g*q. Which is smaller: q or 0?
q
Let t be ((-1)/4)/(1 + -2). Let b = 21/52 + 21371/260. Let m = 83 - b. Which is greater: m or t?
m
Let d = -81 - -77. Is 19 less than d?
False
Let l(y) = -y**2 + y + 5. Let b(c) = -c**3 - c**2 + 2*c + 3. Let v be b(-2). Let p be l(v). Is 0 greater than p?
True
Let o(v) = 5 + 4*v**2 - 5*v**2 + 8*v + 0. Let f be o(7). Let h = f - 49/4. Which is smaller: h or 0?
h
Let o = -44/25 - -1823/1050. Are o and 0 equal?
False
Let q = -2 - -6. Suppose 0 = -q*k + 2*k + 4. Let i be k/3*(1 - 4). Which is smaller: i or -3?
-3
Suppose 0 = -n + 1 - 3. Let c be (2/(-3))/(n/(-3)). Is -2 less than or equal to c?
True
Let c(n) = n**3 - 10*n**2 + n - 10. Let h be c(10). Which is smaller: h or 4?
h
Let b = 0.3 + -0.2. Let g = 13002 + -715086/55. Let w = g - 7/11. Which is bigger: w or b?
b
Suppose 2 = j - 1. Suppose 0 = -j*t + t + 2*m - 2, -4*m = 4*t - 12. Let a be 3 + (-144)/39 + t. Is -1 greater than or equal to a?
False
Let y = -11 - -8. Which is smaller: y or 3?
y
Let p = 10 - 16. Let y = 7 + p. Which is smaller: -2/7 or y?
-2/7
Suppose -t = 4*o + o + 1, -5*t = o + 5. Let b = -67/264 + -4/33. Is o smaller than b?
False
Suppose -i + l - 20 = 0, -l = -4*i - 7 - 61. Let t = i - -17. Do -1/10 and t have different values?
True
Let w(j) = j**3 - 8*j**2 + 8*j - 5. Let b be w(7). Suppose b*l - 5 = 1. Which is smaller: 1 or l?
1
Let x = -7 + 12. Suppose r = 4*c - x, 5*r - 3 = -8. Let q be 1/2 + c/2. Which is bigger: 0 or q?
q
Let s = 525 - 1562/3. Which is smaller: 5 or s?
s
Let v = 7.9 - 8. Are -4 and v unequal?
True
Suppose 1 = -7*t + 22. Are t and 28/9 non-equal?
True
Suppose -q - 2 = -0, 2*r - 14 = 2*q. Suppose -r*l + 13 = 2*m, 3*m - 8 = -2*l + 6. Is m equal to 2?
False
Let r be (-4)/(-18) + (-64)/(-36). Let m be (12/(-30))/(24/(-45)). Which is smaller: m or r?
m
Let o = -6 - -5.9. Let t = o - -1.1. Is t at most as big as 1?
True
Let p be (-4)/(-6) + (-4)/(-3). Let n = 1 - p. Which is greater: n or 0?
0
Let l(v) = v**2 + 2*v + 3. Let y(f) = f + 4. Let o be y(-3). Let h be 0 + (2 - o)*-2. Let a be l(h). Which is greater: 4 or a?
4
Let o(g) = -g - 9. Let t = -11 + 11. Let a be o(t). Is a greater than -8?
False
Suppose 4*z - 64 = j, 5*z = -6*j + j - 420. Are j and -80 unequal?
False
Suppose -2*v + 60 = 2*z, -2*z - v + 62 = -0*v. Suppose -f = 4*t + z, -4*t + 0*f = 2*f + 32. Which is greater: -7 or t?
-7
Let w = -0.06 + 0.16. Let c be 1 + -1 - (-2)/(-9). Is c less than w?
True
Let f be (-1731)/(-68)*2/(-63). Let p = f + -3/119. Which is smaller: p or -1?
-1
Let x = 0 + 0.1. Which is bigger: 2/13 or x?
2/13
Suppose -3*m + h + 27 = 4*h, 0 = -3*m + 4*h - 8. Is m >= 5?
False
Let a be -5 - (121/(-2))/11. Suppose 2 = 5*i - 6*i. Let j = 0 - i. Is j greater than a?
True
Suppose -4*a + 0*t + 2*t = -22, -3*t + 15 = 0. Which is greater: 41/5 or a?
41/5
Let k = 5 - 5. Suppose k = 3*l - 5 - 1. Let y be (4/(-18))/(l/12). Which is smaller: y or 1?
y
Let d be -1 - (-6 - (-9)/3). Which is smaller: 1 or d?
1
Let q = -27 - -9. Is -18 smaller than q?
False
Let v be (-430)/(-55) - 1*3. Let m = -1515/319 + v. Which is bigger: m or -1?
m
Let s = 1327/3760 - 16/47. Is 1 greater than s?
True
Let i(v) = -6*v. Let z be i(-7). Suppose -z = -2*n - n. Let d be (-3)/(-27)*n + -2. Is d at most as big as -1?
False
Let n = -65 + 65. Which is smaller: n or -36?
-36
Let f be (-48)/(-64) - 30/8. Which is smaller: -15/4 or f?
-15/4
Let l = 114.1 - 114. Which is greater: 18/7 or l?
18/7
Let x be (-1)/(-3) + 32/(-42). Is -1 at most x?
True
Suppose 3*m = 5*o + 2, -2 = m + 3*o + 2. Let l be -3 + (4 - 3) + 3 + -1. Which is smaller: m or l?
m
Let g = -2 - 0. Let z(w) = -w**2 + 4*w + 1. Let m be z(2). Suppose 2*u = m*u + 9. Is g less than or equal to u?
False
Let i(k) = -5*k - 16. Let p be i(-4). Which is greater: 40/9 or p?
40/9
Let l be (-116)/(-28) - (-2)/(-1). Are 2 and l unequal?
True
Suppose 5*v - 24 = -y, 3*y + 12 = -3*v + 36. Suppose -v*s + 3*o + 4 = 0, 8*s - 3*s - 5 = 5*o. Let g be (-4)/(8/(-6)) - 3. Which is greater: g or s?
s
Let c = 21 - 23. Do -0.4 and c have different values?
True
Suppose -22 = -a + 23. Let l be 3522/(-4)*(-6)/a. Let p = l + -118. Is 0 at most as big as p?
False
Let q be (4/8)/((-2)/(-12)). Let h be q/(-10) + (-9)/(-18). Are h and -0.3 non-equal?
True
Suppose -5*g + 3*a + 0 = -15, -2*g + 2 = -2*a. Do g and 7 have the same value?
False
Let x be (1 + 0)/(1*-1). Let i = 4265366/11 - 387426. Let o = 334 - i. Which is smaller: o or x?
x
Let p = 31 + -30.8. Which is bigger: -1/3 or p?
p
Let l = 2 - 6. Let y = -15 + 31. Suppose 0 = 2*m + 4*r - 10, -r + y = 3*r. Are m and l equal?
False
Let w = 28 - 27.9. Is w at least -1/2?
True
Let x(v) = -11*v + 7*v + 3*v - 3. Let z be x(5). Does -8 = z?
True
Let m be -4 + -3 + 130/18. Is m > 2/5?
False
Let u be 8/20 - (-64)/(-110). Let b = 0.1 - -0.9. Is b at most u?
False
Let z = -40/3 - -14. Is 95 bigger than z?
True
Let h = -11 - 1. Is h less than or equal to -13?
False
Let b be (-1)/((-2)/(-2))*0. Suppose 0 = -z - s - 3*s + 4, 5*s = b. Suppose -2*x - 10 = -4*i, i - 20 = 3*i + z*x. Which is greater: 1/4 or i?
1/4
Let o be 2/(-5)*(132/(-8) + 1). Are o and 7 equal?
False
Let u = 73 - 72.8. Which is smaller: 1 or u?
u
Let c = 2/239 + 468/1195. Let v = 10/23 + -119/115. Is c less than v?
False
Suppose -16 = -3*i + 2*w, 0 = i + 3*w - 12 - 8. Are 7 and i non-equal?
True
Let j = 32 + -39. Are -2/7 and j non-equal?
True
Let u(r) = r**3 + 6*r**2 - r - 8. Let m be u(-6). Let a be (6/(1 - m))/(-2). Is a less than or equal to 2/7?
True
Let z(n) = -n**2 + 9. Let k be z(-3). Which is smaller: -3/4 or k?
-3/4
Let z = -14 + -30. Is z < -45?
False
Let l = -25/76 + 30/19. Suppose 0 = -2*c + 3*c - 1. Which is greater: l or c?
l
Suppose -30 = -5*q - 10. Let t = -5 + 8. Which is bigger: t or q?
q
Let f = -10 + 10. Let z be -1 - -1 - 9/(-1). Let h be -1 - ((-6)/z - f). Is h equal to 0?
False
Let o be 2/(-4*(-6)/(-4)). Is -0.9 bigger than o?
False
Let p be (2/3)/((-12)/(-18)). Suppose 0 = g - j - 4, 2*g - 9 = -0*g + j. Is p < g?
True
Let h be (-34)/20 - (-2)/10. Suppose 5*k = c + 4*c + 10, -5*k - 2*c = 18. Which is smaller: k or h?
k
Let q = -0.094 - 8.106. Let l = -0.02 + 8.02. Let y = q + l. Which is smaller: y or 1?
y
Suppose 0 = 3*u - 6*u. Suppose u = -4*j - 2 - 10. Let a = 208 - 209. Which is greater: a or j?
a
Let n be 1/3 + 8/(-6). Let f(x) = 2*x. Let p be f(n). Suppose 13*a - 8 = -34. Is p greater than a?
False
Let o be (-13)/(-5) - (-10)/25. Suppose 4*f = 5*d - 20, 3*f - 12 = -o*d + f. Suppose 11 + d = 5*l. Is l at most -2?
False
Let m = 92 - 91.51. Let u = -0.09 + m. Let w(s) = s**2 - 7*s. Let v be w(7). Which is smaller: u or v?
v
Suppose -7 = -4*h - 7. Suppose 5*a - 23 = -2*y, 3*y - 6*a = -2*a. Suppose 0 = -5*d + 4*p + 2, 2*d - 8 = -h*d + y*p. Which is smaller: d or -1?
d
Let p = -13 - -12. Does p = -0.03?
False
Suppose 0 = -4*w - 20, 0 = -l - l - 5*w - 23. Do -2/7 and l have different values?
True
Suppose 1 = 3*j + 7. Which is bigger: -0.04 or j?
-0.04
Suppose 0*t - 