at most as big as d?
False
Let u be 0 - 12/((-6)/3). Suppose 11 = -j - 3*r, -3*j + r + 11 = -u. Is 4 equal to j?
True
Let g be -1 + -3 + -14071 + -3. Let o = -436488/31 - g. Let z = 1812/775 + o. Which is greater: z or 1?
1
Let l(z) = z**3 - 7*z**2 + 4*z + 8. Let m be l(6). Let o = 0.809 + -0.059. Let f = -0.65 + o. Which is smaller: f or m?
m
Let s(m) = -m - 8. Let k be ((-56)/(-35))/((-1)/10). Let o = k - -7. Let a be s(o). Is 6 at least a?
True
Let i(o) = 1. Let j(t) = -2*t - 9. Let y(f) = 2*i(f) - j(f). Let v be y(-6). Are v and 4/33 non-equal?
True
Let s be (-8)/(-4) + -1 + 0. Let t = 42 + -42.37. Let o = -0.07 - t. Is s less than or equal to o?
False
Let b = -1152 - -1221.9. Let w = b + -70. Suppose h = 4*y + y - 4, 0 = 2*h + 5*y - 7. Which is smaller: w or h?
w
Suppose 9 = 2*f + 1. Let p be 1 + -5 + (-2 - -12). Suppose -t + 7 = p*t. Which is greater: t or f?
f
Let a(q) = 63*q - 251. Let z be a(4). Let r = -1372/25 + 274/5. Is r smaller than z?
True
Suppose 0 = -10*h + 164 - 154. Which is greater: h or -0.44?
h
Let d = 2.38 - 210.38. Is 1 at most as big as d?
False
Let g = 40.76 + -39. Let z = g - -0.24. Is 7 >= z?
True
Suppose 4*c + 6 = 2*c. Let s be -3 - ((-12)/4)/c. Let a be 44/20*-2 - s. Do 1 and a have different values?
True
Let q be 8/(-2) - (17 + -27). Suppose 2*g + 11*g = 13. Which is greater: q or g?
q
Let u(m) be the first derivative of -13*m**2/2 - m + 3. Let c be u(1). Let p = -13 - c. Is p bigger than -1/9?
True
Let v = 165 - 165. Are -4/67 and v nonequal?
True
Let b be (-1 - 3/(-3))*(-2)/(-6). Suppose r = 3*r - d + 2, -r - 4*d - 10 = b. Let i(p) = p**3 - 4*p**2 - 6*p. Let k be i(5). Is k < r?
True
Let m = 7 + -1. Let t be (-60)/(-3) - 2/(m/9). Is t at most as big as 17?
True
Let w be (-7)/(-132)*(-614)/21. Let f be (3/(-264)*-2)/(54/(-12)). Let y = w + f. Is -2 at least y?
False
Let t(u) = -u**2 + 17*u + 161. Let j be t(21). Which is bigger: 82 or j?
82
Suppose -2*d = -6*d + 4. Let m = -1413/17 + 83. Which is greater: d or m?
d
Let j = -17 - -27. Suppose -4*u = -3*t + 37, -j = -2*t - 0*u - u. Suppose 5*v = w + 3*w - 24, 4*v = -3*w + 18. Is w equal to t?
False
Let x = 45.8 - 26.5. Let m = -18 + x. Let b = 1.2 - m. Which is bigger: 21 or b?
21
Let z = 447 - 1343/3. Let w = 0.66 + 26.34. Is w equal to z?
False
Suppose -1 = -w + 1. Suppose -w*b = b. Let m be -3*(-2 + 448/216). Is b at most as big as m?
False
Let x be (-104)/6*(-300)/(-40). Which is greater: x or -129?
-129
Suppose 852 = -5*p + 982. Let u = 2 + -4. Let z be (50/4)/((-1)/u). Are z and p unequal?
True
Let l be (17 - (5 + -4)) + (-2)/3. Which is bigger: 16 or l?
16
Suppose 36 - 54 = 2*y. Let f(h) = h**2 + 12*h - 9. Let c be f(y). Is c less than or equal to -37?
False
Let v be (-1128)/(-5405) + 2/5. Which is smaller: 1 or v?
v
Let f = 627 + -7519/12. Let x = 1096 - 13163/12. Let r = x + f. Is 0.8 equal to r?
False
Let u = -670041/346 + 3873/2. Which is bigger: -1 or u?
u
Let c = 51.97 + -52. Which is smaller: c or -4?
-4
Let a = -1015 + 13238/13. Which is smaller: 4 or a?
a
Let j = -12 + 264. Let w = j + 70. Let v be (-6)/(-21) + (-64)/w. Which is smaller: 1 or v?
v
Suppose 24 = -a - a. Let g be (a/(-8))/((-30)/(-8)). Let k = -115 + 115.4. Is k at most g?
True
Let u(i) = i**3 - 1 + i**2 - 1 - i - 2*i**2. Let g(t) = -t**2 + 9*t + 138. Let y be g(17). Let f be u(y). Is 7/10 smaller than f?
False
Let y = 10 - 94. Let q = y - -78.5. Are 0 and q non-equal?
True
Let z = 35 - 5.4. Let h = z + -30. Which is smaller: -1 or h?
-1
Let d = -36 - -40. Suppose 11*c = d*c - 112. Is -15 at least as big as c?
True
Let a be (525/(-84))/((-1)/4). Is 29 less than a?
False
Let f be (-10)/(9 + -4) + 5. Suppose -4*y + 11 = -9*y + 4*r, -5*r = -f*y - 17. Is -0.4 equal to y?
False
Suppose 113 + 22 = 15*o. Let w = -14 - -5. Let s = w + o. Which is greater: 2/3 or s?
2/3
Let j = 58 + -46. Are j and 4 nonequal?
True
Let y = 228 + -228. Let a = -295/3 - -97. Is a <= y?
True
Let c(p) = -3*p + 13. Let y(f) = 10*f - 38. Let q(w) = -7*c(w) - 2*y(w). Let u be q(15). Which is smaller: 2/71 or u?
u
Let d(w) = -w**2 + 3*w + 4. Let u be d(3). Suppose -u*c = -126 + 42. Let s = c - 85/4. Which is greater: s or -3?
s
Let y be ((-3)/84)/(48/28). Which is smaller: y or -2/3?
-2/3
Let w be (-6)/(6*1/(-4)). Suppose -4*z - 208 = -w*j, 0 = -4*j - j. Which is greater: z or -51?
-51
Let f = -3.02 - -3. Let q = -109.18 + 109. Let l = q + f. Is 2 greater than l?
True
Let a = 62 - 61. Let x be 1115/60*2 - a/6. Which is smaller: 36 or x?
36
Let u = -2 + 1. Let v be 1956/58*(-32)/(-12). Let k = v - 90. Which is smaller: k or u?
u
Let s(f) = 2*f + 6. Let b be s(-4). Suppose -16*r + 1384 = 152. Let p = r - 87. Which is greater: b or p?
b
Let l be (-51)/(-50) + -1 - (40 + -40). Are l and 1 non-equal?
True
Suppose -5*i + w = 1903, -5*i - 819 = -2*w + 1082. Let m = i + 31624/83. Is m < 0?
False
Let g be 1 - 9/(45/(-10)). Let k be -7 + g + 40/(-6). Which is bigger: -10 or k?
-10
Let x be -2*2/((-16)/36). Let j(g) = -g**2 - 5*g + 3. Let w be j(-3). Are w and x equal?
True
Let k(y) = 12*y**3 + 3*y**2 - 3*y - 2. Let g be k(2). Let z = -67 + g. Which is smaller: z or 35?
z
Suppose -4*v = -2*f + 11 - 67, -5*v + 84 = f. Suppose 16 = -2*h + 3*h. Let p = h - v. Which is greater: p or 2/7?
2/7
Let r = 12 - 11. Let a be ((-16 - -1)*1/3)/4. Which is smaller: r or a?
a
Let t(b) = 24*b**3 - 3*b**2 + b - 4. Let y be t(-3). Let w be (y/(-17) - -2) + 2. Let f = 44 - w. Is f at most as big as 0.2?
True
Let t = -3 + 15. Let u be 4 - -4*t/(-8). Which is greater: u or -0.7?
-0.7
Suppose 0 = 7*g - 11*g + 16. Suppose -u = 2 - g. Let c(i) = 2*i**2 + 2. Let t be c(u). Is 11 at least as big as t?
True
Let j = 23/390 - 14/39. Suppose 5*m + 35 = -5*z, -5*m - z - 3*z - 38 = 0. Let d be 4 + 0 + 40/m. Is j less than d?
True
Let b = 9 + -21.1. Let u = b + 12. Is 4 >= u?
True
Let r = -75 - -86. Let c = 33 + -22. Is c at most r?
True
Let h = -12373/45 - -275. Let c(g) = 2*g + 2. Let d be c(6). Suppose -4*x + 2*q = -3*q + d, 3*q - 9 = 3*x. Which is smaller: h or x?
x
Let w(n) = n**2 - 11*n + 12. Let d be w(8). Let g be 24/(9/6 - 0). Let u = 3 - g. Is u at most as big as d?
True
Suppose 2*b + 428 = 2*s, -s - 5*b - 650 = -4*s. Suppose -5*m + s = 20. Suppose 17*v = 19*v + m. Is v != -18?
True
Suppose 0 = 3*c - 411 + 99. Suppose 1 + c = -7*n. Which is smaller: -1/5 or n?
n
Let s = 0 - 0. Suppose -4*w + 2*q = -0*w - 18, 0 = -2*w - q + 7. Suppose -7*p + w*p = s. Which is bigger: p or 3/13?
3/13
Let a = 73.47 + 0.53. Let l = a - 74.98. Let b = 0.02 - l. Is 0.07 < b?
True
Let j = 459/5 + -3293/35. Let v = -130/63 - j. Do 0.03 and v have the same value?
False
Let q = 5.5 + -2.7. Let a = 15 + -17.8. Let f = q + a. Which is bigger: f or 1/4?
1/4
Let t = -30 - -10. Let q be 22/t + 15/25. Is q at least as big as -51?
True
Let n = -23 - -26. Suppose b = n*o + 6*b, 2*o = 3*b. Suppose -3*z + o = 6. Is z at least as big as -1?
False
Let p(c) = -2*c**2 + 6*c - 7. Let w be p(2). Is -3 less than w?
False
Let n = -652 - -607. Is n bigger than -43?
False
Suppose 4*z - 4 = -2*t, 0 = -t - 4*z + 1 + 3. Suppose 5*h + 7 = -4*n, t = 2*n + 7 - 1. Are h and -2/55 unequal?
True
Suppose 0 = -2*n + l - 4*l + 49, -185 = -5*n + 5*l. Suppose -m - 3*m - n = 0. Let r(a) = a**3 + 5*a**2 - 3*a - 20. Let u be r(-5). Which is bigger: m or u?
u
Let h = -22.25 + 22.4. Which is smaller: h or -1/6?
-1/6
Let a = 31 + -30. Let u be (a - 6) + (-13)/13. Is u smaller than 0.2?
True
Let h = -53 + 34. Let f = 304.8 + -305. Which is greater: h or f?
f
Let f(b) = -2*b + 5. Let c be f(0). Suppose o - 6*o = c. Let x be (3 - 1 - -1)*o. Is x greater than -3?
False
Let j = -45677/25 - -1827. Let t(s) = -8*s + 2*s + s**2 + 0 + 6. Let v be t(5). Is j less than v?
True
Let t = 2278.95 + -2215. Let s = 66 - t. Let p = 0.05 - s. Are 0.2 and p equal?
False
Let u = -33 + 55. Let r = 46/3 - -31/6. Is u < r?
False
Let y = 152 - 150.57. Let z = y - -0.47. Which is smaller: 0.1 or z?
0.1
Let u = -1004317/6955 - -722/5. Which is smaller: u or 0?
u
Let g = 162 + -99. Is g <= -1?
False
Let u be (-2)/(-2) - (-14)/(-16). Let m be 80/6*24/20 + -1. Suppose 4*r = -2*b - b - m, 3*b - r = 0. Is u at least b?
True
Suppose 6*f - 5*y + 51 = 4*f, -4*f + y - 111 = 0. Let a be (-4)/((-7)/(f/8)). Which is greater: a or -5?
a
Let j(n) = n**3