-35). Are 6 and k equal?
False
Let k = 1290 - 1290. Which is smaller: 1295 or k?
k
Let s = -64 + 69. Let d(u) = u**2 + 6*u + 9. Let y be d(-5). Is y equal to s?
False
Let i = -106 + 106.2. Let p = 158 - 1108/7. Which is smaller: p or i?
p
Let s = -28 + 26. Let l be (-1)/(1/19*-1). Let f = -22 + l. Do s and f have the same value?
False
Let o(q) = -2*q**2 - 9*q - 3. Let w be o(-3). Let l(b) = -b**3 + 6*b**2 - b - 2. Let i be l(w). Is 4/5 > i?
True
Let w = -8.2 - -1.2. Let c be (-88)/(-3) - 3/9. Let u = -29 + c. Which is bigger: w or u?
u
Let f = -4.3 - 14.7. Let u = -19 - f. Is u greater than or equal to 0?
True
Let f = -1327 + 1328. Is f equal to -63?
False
Let v be 5 + (-21)/4 + 2475/12. Which is smaller: 205 or v?
205
Let l be (-1)/(-1)*(-14 + 387). Let f = 4846/13 - l. Which is smaller: f or 1?
f
Let r(m) = m**2 + 16*m + 14. Let g be r(-10). Let i = -49 - g. Is i less than -4?
False
Let k(l) = -6*l + 8. Let x(a) = 5*a - 7. Let d(b) = -4*k(b) - 5*x(b). Let f be d(5). Let z(m) = m**3 - m**2 - m - 2. Let q be z(0). Is q equal to f?
True
Let u be 10/5*(-1 + 0). Let i be (-5)/(-10) - u/(-12). Let r = -2 + 3. Which is smaller: r or i?
i
Let l = 102 - 101.392. Let i = l - 0.63. Is 0 at least as big as i?
True
Let t be (-4)/((-4)/(-2)) - -5. Let g be 5 - 4 - (t + -1). Let j be 1 - (-1 - g)/(-1). Is j greater than or equal to -2/9?
True
Let g = -144 - -201. Let b = g + -57.3. Which is smaller: 2/9 or b?
b
Let j = -1181.9 - -1182. Is j greater than -91?
True
Let u = -1483 - -1483.1. Which is bigger: u or -90?
u
Let x = 687.16 + -687. Let c = 6.74 + -7. Let p = x + c. Which is smaller: 0.18 or p?
p
Let c be (3 - (-4)/(-4))/2. Suppose -2*s - 3*z - 8 = c, -2*s - z - 7 = 0. Which is greater: s or -7/4?
-7/4
Let t(k) = k**3 + 36*k**2 - 163*k + 18. Let b be t(-41). Are b and -1704 non-equal?
False
Suppose 0 = 4*c + 4*v - 32, -3*v + v = -5*c + 54. Let h be c/25 - 104/110. Which is greater: -1 or h?
h
Suppose -57 - 31 = -4*u. Let y be 4/u - -39*6/(-198). Is -5 at most y?
True
Let v = 13 - -5. Let m be 1*-1*0/(-1). Suppose 0 = -m*a - 3*a - v. Which is greater: -5 or a?
-5
Suppose -h + p = 2, 4 = 13*h - 18*h + 2*p. Which is bigger: 1/235 or h?
1/235
Let a = 0.3296 - 0.0296. Are a and 26 unequal?
True
Suppose 0 = -o - 6*b + 4*b - 5, o - 10 = 3*b. Do o and 1/73 have the same value?
False
Suppose 0 = -12*b + 9*b + 111. Let c = 33 - b. Is -42/13 > c?
True
Let u = -1499/124320 - -3/1184. Let x = -2473/140 - -513/28. Let d = x - u. Which is smaller: 2 or d?
d
Let l = -5913/35 + 1182/7. Suppose 0 = 4*a - 2*x - 6, -4*x - 1 - 11 = 0. Which is greater: a or l?
a
Suppose -4*s + 6 = -18. Which is smaller: s or -7?
-7
Let i(r) = -r**3 + 4*r**2 - 2*r - 1. Suppose 0*h - 12 = -4*h - 4*j, -h - 3 = -5*j. Let t be i(h). Let m(f) = 3*f - 3. Let u be m(2). Is u < t?
False
Let x = 1090 - 1005. Does -0.9 = x?
False
Let t = -119 + 119. Let p(a) = a + 10. Let w be p(t). Which is bigger: w or 41/4?
41/4
Let x(a) = -16*a**2 - 4*a - 41. Let i be x(-5). Is i bigger than -422?
True
Suppose a + 4 = 5*a - 3*u, 2*u - 8 = 0. Let k be ((-36)/(-16) - 2)/((-133)/a). Which is smaller: k or 1?
k
Suppose 0 = -4*t + 5*t + 4. Let j be t/(-6) + (-610)/(-30). Is 43/2 != j?
True
Let d(l) = 7*l - 137. Let g be d(19). Does g = -6?
False
Let o = -132.82 - -124. Let r = -0.18 + o. Let v = r + 8.98. Do v and -2/7 have the same value?
False
Let d(k) = 3*k**2 - 6*k**2 + k**2 - 3*k - 12*k. Let x be d(-7). Is x <= 7?
True
Suppose -28*n - 30*n + 35728 = 0. Is 616 < n?
False
Suppose -3*s = -n + 5, 7*n + 4*s + 15 = -0*s. Is n at least -2/83?
False
Let m be (1/(-1))/(2/8). Let s be (-6)/m + 3/(-6). Let c = -3682/23 + 160. Which is bigger: c or s?
s
Let a = 930 + -958.26. Let r = 28 + a. Is 0 > r?
True
Let w = -193 - -135. Let o = w + 52. Is -1 greater than or equal to o?
True
Let r = -100/7 + 13. Let j be 5/(-4)*(5 + -1). Let o = -7 - j. Is r greater than or equal to o?
True
Let h = 36.03 - -3.97. Which is greater: -2/25 or h?
h
Suppose 4*f + 25 = 17. Are -1 and f nonequal?
True
Let j(a) = -a**2 - 44*a - 289. Let d be j(-8). Are d and 2/945 nonequal?
True
Let h = -0.21 - -0.11. Let p = h + 0.1. Let r = -1/14 - -11/7. Which is bigger: p or r?
r
Suppose 3*o = -o + 16. Suppose -3*m - 29 + 26 = 0. Let u be m - o/(-2) - 1. Does u = 2/11?
False
Let c = -1313 + 1309. Which is smaller: -5/7 or c?
c
Let t = -344.9 - -345. Does -1/32 = t?
False
Let q be 5497/(-2737) - (-1 - 1). Let k = 241/357 + q. Which is smaller: k or -0.1?
-0.1
Let z = 192.4 - 192. Is -17 at most z?
True
Suppose 4 = y - 21. Suppose -114 = -5*q + 6*s, 3*q + 10*s = 8*s + 74. Is y less than q?
False
Let x(i) = -23*i**3 - 170*i**2 + 3*i - 3. Let t be x(-7). Which is smaller: -463 or t?
t
Let a = -7 + 11. Let k = 11 + -13. Let y be (k*1)/(-1 + 0). Is a at least y?
True
Let q = 185/2 - 1651/18. Suppose 22 = 8*x + 14. Is x greater than or equal to q?
True
Suppose 3*w + 9 = 2*u - 6, 4*u - 34 = 2*w. Which is greater: 21 or u?
21
Let p = -39/112 - -2787/4144. Is p >= -1?
True
Let y be ((-24)/(-4))/((-6)/(-4)). Is 4 at least as big as y?
True
Let x be (3/(-186))/(8/(-6)). Which is bigger: x or -1?
x
Let s = -0.097 - -67.097. Let m = s - 68. Which is smaller: m or 0.2?
m
Let l(k) = 13*k**2 - 6*k - 16 + 2 - 3*k**2 - 6*k**2 - 5*k**2. Let d(m) = m + 1. Let g be d(-6). Let j be l(g). Which is smaller: -8 or j?
j
Suppose 3*j + 0*q + q = 17, j - 4*q = 23. Suppose u + 112 = -j*u. Let k be (-16)/u*98/(-21). Does k = 1?
False
Suppose 5*n + 2*o + 6 = 0, -5*n = -0*o + 3*o + 9. Let g(w) = -w**2 - 1. Let h be g(n). Which is greater: h or -2?
h
Let b = 171.9 + -252.8. Let n = 82 + b. Which is bigger: 0.1 or n?
n
Let f(w) = -4*w - 20. Let q be f(7). Let x be ((-432)/90)/((-2)/(-20)). Is x greater than or equal to q?
True
Let w(i) = -8*i + 26. Let b be w(-11). Is 113 greater than b?
False
Suppose a + 5 + 0 = 0. Let p = a - -1. Suppose 4*f - 28 = 2*k, 0 = -4*k - 5*f + 15 - 6. Is k less than p?
False
Suppose -7*n - 3*z = -2*n - 222, -n + 49 = -4*z. Let o be 6/(-27) + 127/n. Which is smaller: o or 2?
2
Let t = 1470 + -1469. Is 194 <= t?
False
Let a(r) = 4*r - 186. Let z be a(39). Let t = -100 - -70. Is z smaller than t?
False
Let j be 2/(-12) - (4 - (-865)/(-240)). Let r(m) = -m**3 - 3*m**2 + 10*m - 1. Let x be r(-5). Is j at least x?
True
Let l = 7.172 - 0.172. Is l at least -29?
True
Let t(i) = -5*i**2 + 4*i - 2. Let r be t(1). Are r and 89 nonequal?
True
Let f(s) = -s**3 - 15*s**2 + 11*s + 7. Let u be f(-16). Is 436/5 equal to u?
False
Let v = -400 + 395. Let m(z) = -3*z**2 - 4 + z**3 - 9*z + 5*z + 0*z**3. Let a be m(4). Is v greater than a?
False
Let h = -249639/1264 - 1/1264. Which is greater: -198 or h?
h
Suppose 2429*p - 2437*p = 72. Which is smaller: -132/13 or p?
-132/13
Suppose -487 = -4*a + 285. Let z = -195 + a. Suppose 0 = -2*p - 4*d + 4, -3*d = -2*p - 10. Is p at most as big as z?
True
Let g be -2 - (86/66 + 1) - -4. Which is smaller: -1 or g?
-1
Let a = -641/78 + 96/13. Suppose 8 - 48 = 5*v. Let r(h) = -h**2 - 8*h - 2. Let c be r(v). Which is smaller: a or c?
c
Let m = 0.04 + -2.24. Let d = m - -2.36. Is 0.2 at least d?
True
Let a = 529 + -525. Is a at least as big as -24?
True
Suppose -2*l - 97 + 7 = 0. Let p be 15/(-25) - 52/l. Which is smaller: p or 2?
p
Let z = -105 - -64. Let h = z - -45. Which is smaller: 3/7 or h?
3/7
Let g(j) = -j - 6. Let m be g(-6). Let q be (8/16)/(11/2). Is m at most as big as q?
True
Let n be 3 + 3/(-12) + (-87)/(-12). Let j be (n - 5) + -6 - -2. Is 2/13 not equal to j?
True
Let t = 4 + -6. Let d be 18/99 + 2/(-1 + -1). Which is smaller: t or d?
t
Let y(q) = 5*q**2 + q + 2. Let c be y(-2). Let k(n) = -n**3 + 66*n**2 + 64*n + 220. Let s be k(67). Which is bigger: c or s?
c
Let j = -22 - -21.9. Let v = -8.2 - 2.8. Let d = v + 11.6. Which is smaller: d or j?
j
Suppose 0 = -s + 4*m + 17, -5*m - 23 = s - m. Let f be (-8)/(-54)*s/(-2). Let u(p) = -p - 7. Let o be u(-7). Is f >= o?
True
Let d be (-66)/(-140) + (-12)/30. Let l = 106.8 + -107. Are d and l nonequal?
True
Let r(p) = 3*p - 1. Let q be r(2). Suppose -t - 5*d = 1, -d + 8 = t - q*d. Let h be 4/4 - t/6. Is 1 bigger than h?
True
Let k be (-60)/8 + (-3)/6. Let v be (2/8)/(86/k - 0). Is 0 != v?
True
Let f be 16/12 - 2/(-3). Suppose -2*v + 5*n - f = 0, 3*v = -3*n + n + 16. Let q be (v/(-6))/