 at least i?
True
Let v(x) = x**3 - 3*x**2 + 2*x - 4. Let l be v(3). Suppose -3*g = l*g. Let w = -1560981 - -26536676/17. Which is greater: w or g?
g
Suppose -269 = 3*l - 1133. Let m = l + -366. Is -81 at least as big as m?
False
Let a be ((-23)/5 + 5)/((-2)/20). Let c be (187/176 - -10) + -15. Which is bigger: c or a?
c
Let i = 11765 + -11765. Which is smaller: 2/11583 or i?
i
Let t = -9720.1 + 9720. Which is greater: t or -8449?
t
Let l(v) = -v**3 - 2*v**2 + 6*v + 4. Let t be l(0). Are -0.31 and t unequal?
True
Let n = -11378 + 11379. Is -1/5443 smaller than n?
True
Let g = 621 + -435. Suppose -8*k + 150 = -g. Let a = -11 + k. Is 33 equal to a?
False
Let r = -1 - 1. Let u = -82417/131816 - -4/16477. Is r <= u?
True
Let u = -151 + -1698. Is -1/2 equal to u?
False
Let z(p) = p**2 + 11*p + 50. Let a be z(-4). Let v(d) = -4*d + 89. Let h be v(a). Which is bigger: -15 or h?
h
Let j = 873855/13 + -67274. Which is greater: -53 or j?
-53
Let x = -0.61 - -0.42. Let r = x + 3.19. Is 0.07 at least as big as r?
False
Suppose -34326 - 47871 = 2*q - d, 0 = -2*q + 3*d - 82215. Is -41094 < q?
False
Let n = 18 - 10. Let d be 47/188 - (-1 - (-258)/n). Which is smaller: -30 or d?
d
Let d = -3403 + 3441. Which is smaller: -0.11 or d?
-0.11
Let j = 0.062 + 294.938. Let a = -274 + j. Is a less than or equal to -0.05?
False
Let l be -116 + 102 - (-346)/(-10). Which is smaller: -2/3 or l?
l
Let z = 16739 + -9022324/539. Which is smaller: 1 or z?
z
Let z be (-1 - 148/(-10))/((-47)/(-1645)). Is -11 less than or equal to z?
True
Let g = 13 + 106. Let v be g/54*(-2 - 54/(-21)). Let w = 1652/1269 - v. Is w bigger than -1/4?
True
Let t be 2/(-8) + (-6)/(-24). Let y(m) = m - 5. Let c be y(2). Let p be (((-6)/(-14))/(8/42))/c. Which is greater: p or t?
t
Let v = -0.083 - -0.083. Let h = v - 61. Let u = 61.12 + h. Which is bigger: u or 0.2?
0.2
Let i be (114/9)/(966/(-6510)). Let k = -1453/30 - 369/10. Let d = k - i. Which is smaller: 1 or d?
d
Let z(m) = 2*m**2 - 64*m + 31. Let f be z(28). Which is smaller: -1346/7 or f?
f
Suppose -271 + 91 = 6*a. Let p = a + 33. Is 11/3 less than p?
False
Let s be ((-16)/18)/((-108)/(-1764)). Is -2 at most s?
False
Suppose 5*q - 67 = 48. Suppose -22 - q = -5*d. Suppose 8*u = d*u + 38. Is u at most -38?
True
Let v(c) = 62*c**3 - c**2 - 12*c - 21. Let g be v(-2). Is -497 equal to g?
True
Let o(y) = -y**2 - 214*y - 7878. Let v be o(-167). Let a(q) = -2*q**2 + 7*q + 1. Let u be a(6). Are u and v equal?
True
Let q be (0 - 3)/(21 - (-96030)/(-44)). Which is greater: -1 or q?
q
Let r be -2*(5/2 - 1). Let l be (10/4)/(r/(-24)). Let h = l + -40. Which is smaller: -21 or h?
-21
Let b be (5 + 1 + -5)/1. Let r be (-29)/(b/(-3)*3). Which is smaller: r or 28?
28
Suppose -v - 30 = 2*a, 4*a - 14*v = -9*v - 88. Are -19 and a unequal?
True
Let i(l) = 2*l**2 - 10*l + 19. Let k be i(6). Let b = k - -3. Let c be (-1)/32*b/(-17). Which is greater: c or 1?
1
Suppose 0 = 2*k - 5*k - 3. Let a(n) = 176*n - 16. Let y be a(-10). Let r be (-570)/y + 15/(-40). Do r and k have the same value?
False
Let m = -281.4 + 315. Let u = -36 + m. Let x = 50/7 - 52/7. Is u != x?
True
Let p = -11477 - -11478. Is p not equal to -2/21211?
True
Let u = -939 - -909.74. Let s = u - -29. Let y = s + -0.74. Is -102 greater than y?
False
Suppose 507 = 302*t - 62*t + 747. Which is bigger: -140.06 or t?
t
Let s = -0.04668 - -0.64668. Do s and -0.2 have the same value?
False
Let u = 1212 + -76358/63. Let y(t) = -t**3 - 2*t**2 - 2*t - 5. Let h be y(-2). Which is smaller: u or h?
h
Let w be -6 + 60/36 + 4/(-6). Suppose -r + 20 = 4*t + 8, r + 3*t - 8 = 0. Let n = r - w. Which is smaller: 3/10 or n?
3/10
Let s be ((-39)/52)/((-3)/4). Is s <= -46/869?
False
Let k = 8096 + -8084. Suppose -3*t = 2*c - 15 - 1, 3*c = -4*t + 23. Suppose t*n - 1 = 1, 5*i - 2*n = -7. Is k < i?
False
Suppose 15*x - 3*g + 583 = 14*x, g = -4*x - 2345. Which is smaller: -584 or x?
x
Suppose -27*a + 18 = -18*a. Let g be ((-20)/90 + a/9)/(-1). Which is smaller: g or 4/17?
g
Let d = 3.1591 + -0.1591. Let a = -14.1 - -2.1. Let z = a + 12.4. Is d not equal to z?
True
Suppose 8*s - 233 = -185. Let d be ((-945)/156 + s)/(-48). Which is smaller: 0 or d?
0
Suppose b = -2*v + 29, 3*v + 3*b = v + 31. Suppose 5 = q + 5*y, 2*y + 32 = -v*q + 17*q. Let f be 3/(9/38) - 2. Is q > f?
False
Suppose -4*p + 12 = -4*m, 5*m - p - 6 = -25. Let u be 2/m - 3206/28. Is -116 < u?
True
Suppose -4*u = 4*r + 32, u + 0 - 12 = 4*r. Let a be ((-12)/u - 0) + (-2 - -20). Suppose -v + a = 27. Is v >= -4?
False
Let g be (-13)/((6/6)/(-1)). Let r be (0 - -1) + g*(3 - 14). Is -142 less than r?
False
Suppose -10 = -i + 3*i, 4*q + 2*i = 2134. Let z = -47407/5 - -550927/55. Let a = z - q. Which is bigger: -0.2 or a?
-0.2
Let i = 59 + -30. Let b(c) = c**2 - c - 3. Let f be b(3). Suppose f*a - 31 = 2*a. Is i at most as big as a?
True
Let w = -1115 - -690. Let h = w - -448. Which is bigger: 7/4 or h?
h
Let o = -5 - 7. Let r be 4 + (-78)/o + (-3)/(-2). Let h be 0 + (-7)/(-2)*r/(-91). Which is smaller: 0 or h?
h
Let k = 14.081 - 14.191. Do 23 and k have the same value?
False
Let s = 2074 + -2072. Which is smaller: s or -16/35?
-16/35
Suppose p - 5 = -13*b + 17*b, 4*p = -12. Which is bigger: -74/53 or b?
-74/53
Let z = -61 + 63. Suppose 3*r - 135 = -3*i + 2*i, 4*r - 178 = -z*i. Suppose 4*v - 3*b = -49, -v + r = -5*v + 2*b. Which is smaller: -29/3 or v?
v
Suppose 28 = 6*d - 13*d. Let l be 7/(-21)*d/2. Let i = 9.1 - 11. Are i and l equal?
False
Let g(h) = h**3 - 10*h**2 - 84*h - 43. Let v be g(14). Which is bigger: -434 or v?
-434
Let g = 27.056 + 0.344. Let y = -36 + g. Which is smaller: 0.2 or y?
y
Let w = -124 + 61. Let d = -59 - w. Suppose 9 = -i + 4*u, -3*u = -d*u + 3. Is i less than 1/3?
False
Let y be (-62 - 1)*2/(-3). Let l be (-28)/(-182) - (-2094)/4*8/156. Let b = y - l. Is b equal to 16?
False
Let i = -1399 - -4073/3. Which is smaller: -3 or i?
i
Let j be ((-302)/4 + 3/(-6))*-1. Suppose 0 = -4*o - 2*k + j, 10*o - 4*k - 28 = 9*o. Is o at least as big as 20?
True
Let t = -1319 - -717. Let f = t + 603.7. Which is bigger: f or -15?
f
Let k be (-35226)/12051*(-13)/(-2). Let w be (19/(-2))/((-2)/(-4)). Is k at least as big as w?
True
Let n = 678/7 - 17069/175. Which is smaller: n or -1?
-1
Let w = 0.117 - -6.733. Let c = 6.8 - w. Let m = 78 + -625/8. Is c != m?
True
Let j = 824.597 - 825. Let o = 0.303 + j. Which is bigger: o or -293?
o
Let z = -4320.7 - -4319. Is 2.2 smaller than z?
False
Let o = 4635 + -4634. Which is greater: -3669 or o?
o
Let x be (73779/(-14586) - 48/(-408)) + 5. Which is bigger: -1 or x?
x
Let l = -1/12287 + 29575/61447287. Is l smaller than -1?
False
Let f = 1573 + -480. Suppose -3*l + 2*t = -0*t - f, 1098 = 3*l + 3*t. Is l equal to 365?
True
Let l = -274 - -278. Suppose -3*d + l = -7*d. Which is bigger: -20/13 or d?
d
Suppose t + 87 = 85. Let o(y) = -3*y**3 - 3*y**2 - 5*y - 5. Let c be o(t). Let b = 22 + -6. Which is greater: b or c?
c
Let f be 1168/(-20)*(-3 + -2). Suppose -287 = -5*v - f. Let q = -1/136 + 159/3128. Is q equal to v?
False
Let j = 40657/259 - 1103/7. Do j and -1 have the same value?
False
Let v(r) = -r**3 - 11*r**2 - 8*r + 23. Let c be v(-10). Let s be (c - 3 - 3) + 3. Which is bigger: s or 2/235?
2/235
Let n(w) = w**3 - 9*w**2 - 15*w - 3. Let i be n(10). Which is bigger: -488/9 or i?
i
Suppose 0 = -v - 8*v - 2*v. Is v at most -3/805?
False
Let b = -615 + 620. Let t = -1 + 2. Let x be (t - 4)*(-2)/4. Is b bigger than x?
True
Let o(l) = -l**3 - l**2 + 20*l + 10. Let w be o(-5). Let n be (1 - -1)/(5/w). Which is bigger: 10 or n?
10
Suppose -s = -3*c + 3 - 1, 3*s = -c + 14. Suppose 0 = -4*n + 9*t - 13*t - 444, 2*n + 240 = 4*t. Let u = 117 + n. Which is bigger: c or u?
u
Let y = 20968 - 20968. Are 110/153 and y non-equal?
True
Let u = -2.9 - -28.6. Which is bigger: 12/11 or u?
u
Suppose -f = d + 12, 6*d - 37 = 7*d - 4*f. Let z = 15 - 1. Let j be d/(-14) - (-4)/z. Are 0.7 and j nonequal?
True
Let y = -235 - -273. Which is bigger: y or 42?
42
Let z be (-10)/(-5) + (2 - 2). Suppose 4*m + z*y - 182 = 0, 0 = -m + 3*y + 2*y + 73. Is m at most as big as 46?
False
Let w(k) = 5*k**2 - k. Let x be w(2). Suppose -2*u = -6*y + 10*y + 1146, -282 = y - u. Let r = 305 + y. Which is smaller: r or x?
x
Let y = -1 + -2. Let g = 1/94 + -1423/122