 4 - 3*d**3 + 2*d**2 + 2*d**3 - 4*d**2 + 0. Let t be i(-3). Suppose -5*c + 3*h = 6, 0*c = -t*c - 3*h + 6. Which is smaller: 5 or c?
c
Suppose 2*p + y - 2 = 0, -2*p + 10 = -0*y + 5*y. Let m be 1*(1 + -2)*p. Is -2/41 not equal to m?
True
Suppose 6*h + 120 = -2*h. Let s be 22/(h/(-25)*5). Which is smaller: s or 6?
6
Let w be (-7 + 2)*3/(-5). Let r be 7 - 6/(w + -1). Let k be (-2)/r*(-40)/(-14). Is k at most 0?
True
Let a be 5/25*1*25/5. Suppose 4*i + 0 - 8 = 0. Suppose -2*m - 5*b = 10, 3*m - 2*m - b - i = 0. Which is greater: a or m?
a
Let l = 736 - 804. Which is smaller: l or -4?
l
Let k = 168 + -63. Let l = k + -105. Which is greater: l or 8/9?
8/9
Let q = 0 - -0.1. Let z = -1.9 - q. Let r be -1 - (2 + (0 - 0)). Is z at most as big as r?
False
Let q = 1/310 + -313/930. Are q and 377/4 unequal?
True
Let w be (0 + -6 - -1) + 24/(1 - -3). Let m = -106647/41 - -2601. Which is smaller: m or w?
m
Suppose -3*j + c + 24 = -105, 6 = 2*c. Let l be (11/j)/(1/2). Which is bigger: 2 or l?
2
Suppose 5*v = 10, u + 2*u + v = 923. Which is smaller: 308 or u?
u
Suppose -378 + 222 = -6*n. Is 132/5 != n?
True
Let m be 3 - (-1 - (6 - -1)). Suppose -3*t - 10 = -16. Suppose -4 = a - 5*n, 4*n - t - 43 = -3*a. Does a = m?
True
Let t(y) = 2*y**2 - 4. Let m be t(2). Suppose 4*q - 8 = -m*q. Which is bigger: q or -1?
q
Let a = 1 - -1. Let i be (-3)/((-1)/a + 1). Suppose -64 = -41*k + 49*k. Do k and i have different values?
True
Suppose -b = -82 - 122. Suppose 24*d = 51*d + 16740. Let z be (d/b - -3)*-3. Which is bigger: z or 1?
1
Let d be 13/(-1) - (3 - 0). Let p = d - -17. Let a be (11 + -8)/(p/1). Which is bigger: 4 or a?
4
Suppose 244 = -4*p - 2*s, 188 = -3*p - 5*s + s. Let c be ((-16)/p)/((-2)/3). Which is smaller: -8 or c?
-8
Let b(m) = m + 1. Suppose 16 = -5*j - 4. Let v be b(j). Let k(s) = -s**3 + 3*s**2 - 2*s + 4. Let o be k(3). Which is smaller: o or v?
v
Let d = -1.406 - -1.606. Which is smaller: d or -88.2?
-88.2
Let j be 1 + -6 + (0 - -1). Let a be j/(-24)*(3 - 13). Which is smaller: -2 or a?
-2
Let z = -0.341 - 16.559. Let y = 5 + -22. Let g = y - z. Is 10 bigger than g?
True
Let a = 1865.1 + -1957.17. Let q = a + 92. Which is greater: 2/3 or q?
2/3
Let h = -0.201 - -0.101. Which is smaller: h or 2.33?
h
Let p = 1 + -1. Suppose 4*g + 6*g = 24*g + 28. Is p greater than or equal to g?
True
Let c be -7 + ((-35)/(-77) - -7). Which is bigger: c or 1?
1
Let m(q) = -q**3 - 7*q**2 + 23*q + 2. Let x be m(-9). Is -51 less than or equal to x?
True
Suppose -2*d - 3 - 11 = 0. Let n = d + 1. Let m(i) = i + 6. Let c be m(-10). Does c = n?
False
Let d = 0.41 - 1.41. Which is smaller: -48 or d?
-48
Let a(k) = -k**3 + k**2 - k - 5. Let b be (3 + -3)*2/4. Let q be a(b). Let d(p) = p**3 + 5*p**2 + 2*p + 3. Let w be d(-5). Which is bigger: w or q?
q
Suppose 2*i + 62 - 14 = 3*z, 2*i = 4*z - 46. Let g be 18/i + 2/(-6). Let f = -169 + 1861/11. Which is smaller: f or g?
g
Let z = 1/616 - 2003/616. Let y = 3 + z. Which is bigger: y or -7?
y
Let q = 1 + -2. Let j be (36/4)/3 - 450/156. Is q < j?
True
Let u(j) be the first derivative of j**2 - 9*j - 5. Let v be u(4). Let f be (-18)/40 - 2/(-8). Which is smaller: f or v?
v
Suppose -m - 3 = -2*n, -n - 4 + 22 = 5*m. Suppose 2*b - m*b = 2. Let y = -1 + -1. Is b greater than or equal to y?
True
Let q = 32 + -30. Suppose -3*r - 30 = q*v - 4*r, -50 = 2*v + 4*r. Which is smaller: v or -31/2?
v
Let g = 17 - 7. Let u = -11 + g. Which is bigger: 4/15 or u?
4/15
Let t be 0/(-2 + 1)*(-26 - -25). Is 1/153 at least as big as t?
True
Let r = -198 + 197. Is r smaller than -14?
False
Let w = 188 - 185. Is w < 0.003?
False
Let y = -0.299 - -0.256. Is -2 greater than or equal to y?
False
Let m = 18.1 - 18.1. Let r = -16.2 - -17.71. Let y = -0.21 + r. Which is smaller: m or y?
m
Let n = 1400 - 30799/22. Which is bigger: 1 or n?
1
Let h(v) = 6*v**2 - 3 - v**3 - 5*v**2 - 3*v**2 - v. Let q be h(-2). Suppose -3*j + 5 = -4*n, n + 2 = -j - 1. Which is greater: n or q?
q
Let w be (3/(-6))/((-42)/41244). Which is smaller: w or 493?
w
Let f = -19 + 16. Let o be 2 - (-20 + 3 - f). Let x be 5/25 - o/5. Which is greater: -2 or x?
-2
Let m be 10/6 - 57695/34815. Suppose 3*u + 4*l = -3 + 16, -3*l = -2*u - 14. Which is greater: m or u?
m
Let v = -5.58 - -4.8. Let k = -31.22 + v. Let t = k - -32. Do 0.02 and t have the same value?
False
Let f be (1/3)/(59/3). Let w(j) = j**3 + 16*j**2 + 19*j + 59. Let q be w(-15). Which is smaller: q or f?
q
Let r(o) = o + 4*o - 10 + 17*o. Let f be r(4). Let j be (-3)/6 + 147/f. Which is smaller: j or 2?
j
Let z(p) = p**3 - 5*p**2 - 19*p - 7. Let x be z(-6). Which is bigger: -287 or x?
-287
Let t = 20.1 - -33.4. Let u = -56 + t. Which is smaller: u or -2?
u
Let g(o) = o**3 + 7*o**2 + 16*o + 12. Let x be g(-3). Which is smaller: -23/120 or x?
-23/120
Let k = 1229/3 - 404. Let g = -5 + 12. Which is greater: g or k?
g
Suppose 0 = 5*j - 8 - 2. Let h = 3.5 + -3.2. Is j <= h?
False
Suppose 0 = 2*w - 4*z - 40, -5*w - 4*z = -64 + 20. Suppose 13*g + w = 7*g. Let n(q) = -2*q**2 - q. Let u be n(-1). Do u and g have different values?
True
Let r be (18/8)/((-14)/(-168)). Let k be 7/14 + r/6. Suppose -4*v = l - 14, 0 = -v + 4*l - 5*l + k. Which is greater: 2/5 or v?
v
Suppose 0 = -5*n + 2*i, -4*i = -0*n - 4*n. Suppose r = -n*r + 4*f + 15, f + 6 = -2*r. Let s be ((-36)/8)/((-15)/r). Which is smaller: s or -1?
-1
Let m = -0.0324 + 0.2894. Let j = m + 0.043. Does 1 = j?
False
Let u = 3183 - 165525/52. Are u and -1 nonequal?
True
Let f = 18484 + -18486. Let v be 4/18 + (-17)/117. Which is greater: f or v?
v
Let j = -2801 - -1822. Is -1 at least j?
True
Suppose -3*c = -8*c + 110. Suppose 7*q + 106 = -69. Let i = q + c. Which is smaller: i or -1/3?
i
Let z(c) = c**3 - 33*c**2 + c - 32. Let w be z(33). Is -2/295 smaller than w?
True
Let j(k) = 2*k**2 + 56*k + 4. Let u be j(-28). Are -1 and u non-equal?
True
Let i = -2/2295 + 524/16065. Let g(h) = 4*h - 4. Let k be g(2). Let z be 0/(k/10 - 40/(-25)). Are i and z equal?
False
Suppose -3*h = -22 + 10. Let k be (-1 - (-72)/(-42)) + h/(-14). Is -5 <= k?
True
Let n = 7.18 - 2.18. Let w = -1/3 - -2/3. Which is smaller: n or w?
w
Let k be ((-22)/6)/(1067/(-194)). Which is bigger: 296 or k?
296
Let q be (-5 - 1) + 3080/528. Which is greater: q or -180?
q
Let c be 4 - -6*4/(-6). Suppose -4*g + 5*y - 300 = c, g + 156 = -g + y. Let n be g/(-30)*3/(-2). Is -1 >= n?
True
Let i be (-2)/6*9/12. Let k(j) = 2*j**2 - 7*j + 8. Let q be k(4). Let c be (-4)/q*-3*-1. Which is greater: c or i?
i
Let s = -0.5978 + -0.0022. Let n = -1.7 + 2. Let f = n + s. Which is greater: f or -2?
f
Suppose 11*d - 372 + 416 = 0. Is -16 not equal to d?
True
Let y = 52 - 50. Let a = -75 - -151/2. Which is smaller: y or a?
a
Suppose 2*x = 10*x + 24. Let c(b) = -3*b**3 - b**2 + 2*b. Let k be c(x). Is k < 0.1?
False
Suppose -27*m = -22*m - 10. Is 2 greater than or equal to m?
True
Suppose 0 = 14*v + 20 - 62. Is 3/2 less than or equal to v?
True
Let q(f) = 4*f - 13. Let v = -8 + 14. Let l be q(v). Suppose 3 = 4*m + l. Which is smaller: m or 4?
m
Let v = 58/33 - 482/99. Let g(q) = -q**2 + 260*q + 1052. Let k be g(-4). Are k and v equal?
False
Suppose -5*n = 4*n - 3*n. Which is bigger: -1/11 or n?
n
Let q(c) = -c**2 + 4*c - 5. Let b be q(4). Let h(z) = -9*z**2 - 5*z + 16*z - 2 + 8*z**2 + 2*z**2. Let v be h(-11). Which is bigger: b or v?
v
Let o = -1.8 + 1.9. Let w = -2.2 + o. Let f = 1.9 + w. Which is greater: f or -4?
f
Let g = -9 - 2. Suppose -3*p + 120*d - 123*d = 0, 3*p = 3*d. Which is smaller: g or p?
g
Let g be (-6)/(-8)*(-120)/(-45). Suppose -i + 3 = -2*o, 0 = o - 0*i - g*i + 6. Which is smaller: o or 2/39?
o
Suppose 17*k - 22580 = 10587. Is 1951 < k?
False
Let j = 293.4 - 299.4. Let c = 0 - -0.1. Which is bigger: j or c?
c
Let r = -9.8 - -3.7. Let a = 0.4 - -5.6. Let k = r + a. Is -9 smaller than k?
True
Suppose 0 = -s - v - 3*v - 10, 3*s + 5*v + 9 = 0. Suppose -33 = s*t - 3. Which is bigger: t or 1/3?
1/3
Let n = 222.043 - 222. Let c = -0.06 - -0.16. Do c and n have the same value?
False
Let b be 5 + 4/(-8)*61*2. Which is greater: -57 or b?
b
Let v = -104 + 51. Let b = 46 + v. Which is greater: -2/15 or b?
-2/15
Suppose 39*a - 29*a = 160. Are a and -20 nonequal?
True
Let r be (-3 + 1 + 1)*-21. Let i be ((-12)/r)/((-15)/(-7)). Is -1 bigger than i