 -3 - (-4 - -1). Is i equal to -2/97?
False
Let u = 7/692 + -5229/38060. Which is smaller: 0 or u?
u
Suppose -2*x + 2*a + 2 = -6, 3*x - 2 = 5*a. Let r = 10 - x. Is r less than 1?
False
Let c be (6/(-4))/((-18)/60). Suppose -104 = 2*r - c*w, -7*w + 2*w = r + 67. Is r at least -57?
True
Suppose 2*c = -3*g + 23, -c + 5 = 4*c - 3*g. Let y(w) = -2*w**2 + 6*w - 2. Let q be y(c). Let r be 0*(-5 - -4) + q. Is -10 greater than or equal to r?
True
Suppose -4*k + 30 = f, -3*f + 10 = 2*k - 0*f. Suppose -k*d = -5*d - 18. Suppose 2*b = 2 - d. Which is smaller: b or -3?
-3
Let l be (15 + -9)*(-2)/6. Suppose -1 = -2*w + 3, f - 3*w + 8 = 0. Let u = f - -1. Is u <= l?
False
Let h be (-122)/4 + (-1)/(-2). Let r be (-4)/h + 2/(-6). Suppose -17*o + 237 = 496 - 242. Is r <= o?
False
Let w be 1/(-2*1/(-34)). Which is smaller: w or 12?
12
Let d = -1527/26 + 294/5. Is d greater than or equal to -1?
True
Let p = -271 + 271. Is -240 smaller than p?
True
Let q = -10771.89 - -10728. Let h = 44 + q. Do -1 and h have the same value?
False
Suppose -3*t = 46 - 160. Let p = 37 - t. Is 1/21 > p?
True
Let j(p) = p**3 - 11*p**2 + 9*p + 11. Let o be j(10). Let s be (2 - o)/(10/(-280)). Which is bigger: s or -2?
-2
Suppose -6*w = -2*w - 36. Suppose -12*i = -w*i + 9. Let o(v) = 2*v. Let r be o(-2). Which is smaller: r or i?
r
Let n(w) = -w**2 + w + 45. Let o be n(6). Is o != 1?
True
Let d = 13.3 - 15.6. Is 0.1 smaller than d?
False
Let v = -4.2 + -7. Let t = -11.2 - v. Which is smaller: t or 12?
t
Suppose 2*w - 15*w = -195. Suppose t = -5*b - w, b - 3*t + 5*t + 12 = 0. Which is greater: -18 or b?
b
Let v = 18963 - 1687737/89. Which is greater: v or 1?
1
Let o = -34 + -13. Let z = o + 46.75. Which is bigger: z or 0.1?
0.1
Let u be (33/(-6))/((-42)/(-2940)). Are u and -384 non-equal?
True
Let d = -46 - -45. Which is greater: d or 2/135?
2/135
Let x = 2 - 4. Let v = -4.6 + 6.3. Let w = v - -1.3. Is x bigger than w?
False
Let z = 0.096 + -0.196. Which is bigger: 523 or z?
523
Let j = 2/7 + -34/21. Let k(n) = 3*n - 2*n - 1 + 11. Let v be k(-9). Is v > j?
True
Suppose 2*d = -881 + 99. Let o be 0 + 1 - 7446/19. Let n = d - o. Which is smaller: -1 or n?
-1
Let k be -3 - 1/((36/(-8))/9). Let o be ((-9)/(-15))/((-9)/6). Which is smaller: o or k?
k
Let i(v) = -v**2 + 4*v + 23. Let z be i(7). Let t be z + -6 - -3 - -4. Let q = -0.1 + 0.3. Which is bigger: q or t?
t
Let u be ((-73)/6)/(8/16) + -3. Let l = u + 1643/60. Which is bigger: l or 0?
l
Let a be 878/(-6) + 2 - (-2)/6. Let n = 1582/11 + a. Which is greater: n or 0?
0
Let l = 143 - 316. Which is greater: l or -515/3?
-515/3
Let q(w) = 7*w - 34. Suppose -27*y + 21*y = -36. Let n be q(y). Is 8 greater than or equal to n?
True
Suppose 13*k = 595 - 1687. Is -81 less than or equal to k?
False
Suppose -7 - 3 = -2*i - m, 4*i - 26 = -5*m. Suppose -2*z = 2*o - 8, -o - 7 - i = -4*z. Which is smaller: o or 10/9?
o
Suppose 5*d - 11 = -4*t - 98, -3*t - 3*d = 69. Let y = -38 - t. Is -7 greater than or equal to y?
True
Let z be 21*(4/4)/4. Let w = 71/12 - z. Which is smaller: -4/3 or w?
-4/3
Let i = 3.57 - 3.77. Which is bigger: -70 or i?
i
Let i(c) = -21*c**2 - 8*c + 7. Let t be i(1). Let z(b) = b**3 + 4*b**2 - 8*b - 3. Let n be z(-6). Let y = n - t. Are -5 and y equal?
True
Let b be (-27)/(-21) - (-4)/(-14). Let q(p) be the second derivative of p**5/20 + p**4/12 - p**3/6 + 2*p. Let y be q(b). Which is greater: 2/83 or y?
y
Let b be 4*(-2)/4 - (-13 + -2). Let r = 0 + -0.1. Which is smaller: b or r?
r
Let h(p) = p - 41. Let c be h(34). Are c and -10 equal?
False
Let x = 33 + -31.7. Let a = x - 1.3. Let b = a - -0.3. Which is smaller: b or -0.1?
-0.1
Suppose 1 + 5 = 3*w. Suppose -2*d + 5*r = -35 + 9, -4*d - 3*r = 0. Let n be w/d - 400/690. Is n >= -1?
True
Suppose -672 + 679 = 7*n. Is n at least as big as 21?
False
Let d = -7807.03 + 7758. Let o = d + 49. Is 3 equal to o?
False
Suppose 0 = -v + 2*d + 141, -2*d = 2*d + 20. Let a = v + -83. Are a and 48 nonequal?
False
Let n = 68/569 + -153984/1269439. Which is greater: 0 or n?
0
Let u(a) = a**3 + 13*a**2 + 9*a - 12. Let x be u(-12). Which is greater: 12 or x?
x
Let t be 9*1 + 136/238. Which is bigger: t or 10?
10
Let u(k) = k**3 + 6*k**2 - 4*k - 3. Let m be u(-6). Let r(y) = -y**3 + 4*y**2 + 2*y - 3. Let b be r(4). Suppose b*p - m = 4. Which is bigger: -0.1 or p?
p
Let l(r) = -r**3 + 7*r**2 + r - 6. Suppose 2*m + 3 = -t + 2, -3*m = -2*t + 26. Let u be l(t). Suppose -x - u = -2. Which is bigger: 2 or x?
2
Let v be (((-9)/(-4))/9)/(3/64). Let f = 307/57 - v. Which is greater: 1 or f?
1
Let q = -7 + 41. Which is bigger: 0.3 or q?
q
Suppose -2*y + 0*y - 2 = 0. Is 2/11 smaller than y?
False
Suppose -6*f - 41 = -h - f, -h - 2*f = -6. Let d = h - 20. Let q be 5/10 - (-38)/d. Are -9 and q non-equal?
False
Let v(w) = -w**2 - w + 1. Let b be v(-1). Let i be (b*-1)/(19/38). Which is smaller: -4 or i?
-4
Let d = -9 - -11. Suppose -a + d*h + 2 = 0, -2*a = -3*a + 5*h - 1. Suppose -2*w - 2*b + 6 = 0, w = -a*w + b + 45. Are w and 8 non-equal?
False
Let u = 53 + -48. Suppose i + 2*r = -3*i - 2, -5*r - 10 = u*i. Which is bigger: -1/6 or i?
i
Let i(f) = -f**3 + 5*f**2 + 25*f + 212. Let l be i(-7). Which is smaller: 624 or l?
624
Let t(q) = q**3 - 10*q**2 + 8*q + 8. Let c be t(9). Suppose 0 = -2*z - 3*i + 23, 7*z = 3*z + 5*i + 35. Let b be 2/z - (-32)/(-35). Does b = c?
False
Let x(a) = -4*a**3 - 2*a**2 + 1. Let k be x(-1). Let s be (-20)/k*(-60)/(-50). Let y be (-4)/(-1 + (-3)/(-2)). Is s greater than or equal to y?
True
Let n = 2578/5 - 516. Is 0.02 > n?
True
Let a = 12/1415 - -570173/8490. Let k = -67 + a. Which is bigger: -2/7 or k?
k
Let b be (-287)/(1/(-2)*2). Let k = b + -12914/45. Which is smaller: k or -1?
-1
Suppose 0 = -5*s + 25, -s + 4*s = v - 9. Is v at most as big as 22?
False
Let x(t) = -t**3 + t - 5. Let f be x(0). Let q = 3.031 + 0.069. Let s = q - 3. Is f at most s?
True
Suppose 4*k - 15 = -g + 4*g, 17 = -5*g + 4*k. Which is bigger: g or 2/561?
2/561
Suppose -4*a = -5*f - 76, 2*f + 2*f + 104 = 5*a. Suppose 0 = -4*r + 8 - a. Let u = 8900 + -8901. Which is smaller: r or u?
r
Let b(a) = -2*a + 9. Let d(i) = -3*i**3 - 5*i**2 - 2*i - 3. Let g be d(-2). Let u be b(g). Which is smaller: -1/32 or u?
u
Let t = -279 - -182. Is t at least -99?
True
Suppose 3*b + 41 = 2*a, 5*a + 5*b + 24 - 89 = 0. Let g be 12/a*-4 - 5*7. Which is smaller: g or 1?
g
Let a = 53 - 49. Suppose -a = s - 5. Which is smaller: 2/23 or s?
2/23
Suppose 2*g + 11 = 3*t - 0*g, 11 = t + 3*g. Suppose 0 = 9*d - t*d. Suppose -5*f - 3*r + 5 = 0, -f - 5*r + d = -1. Which is bigger: 4 or f?
4
Suppose -180 = -4*o + 316. Let l = o - 116. Let k = -17 + 25. Is k greater than l?
False
Let z(h) = -h**2 + 6*h + 4. Let j be z(7). Let l = j - -7. Let p(o) = -o**2 - 7*o - 5. Let b be p(-5). Is l at least as big as b?
False
Suppose -3*v = -3*q + 33, 0 = -q + 4*v + 1 - 2. Suppose 3*r + g = -q - 4, -4*g = -4*r - 20. Let b be (72/27)/(2/r). Which is smaller: b or -22/3?
b
Let q = 695 + -695.2. Is -2 equal to q?
False
Let m = 0.5 + -0.3. Let j be (-4)/(-4)*(2 - 0) - (-28)/(-8). Which is smaller: m or j?
j
Let l(g) = -18*g - 353. Let y be l(-23). Which is bigger: 60 or y?
y
Let g = -110547/74560 + 95/64. Is g <= -1?
False
Let n = -0.378 + -1.7. Let t = 0.078 + n. Is -12 not equal to t?
True
Let i be 2/(-7) + 32/14. Let h = 19176 + -19175.6. Is h > i?
False
Let d = -53 - -80. Let y = d + -26.89. Let o = y - 0.11. Which is bigger: o or -23?
o
Suppose -2*g - 1 - 3 = 0. Let x be 3 + (g - 7/6). Let t = 14 + -14. Is t equal to x?
False
Suppose -3*m = 2*m - 170. Suppose 4*v + 3*r + 18 + 58 = 0, -v + 3*r - m = 0. Let u = 19 + v. Is u bigger than -8?
True
Let x be (-3*16)/(-6 + 7). Let p be ((-10)/8)/(4/x). Let d be (12/p)/(1*-2). Which is bigger: -3 or d?
d
Suppose 2 + 8 = -5*r. Suppose 0*n = -5*z - 2*n, -4*z + 4*n = 0. Suppose z = -u - 30 + 26. Is u less than or equal to r?
True
Suppose -j - 5 = 0, 3*r + 0*j + 4*j - 49 = 0. Let b be 47 + -30 + 10*1/2. Which is smaller: r or b?
b
Let x = -21/61 + 1277/3355. Let b = x - 2/5. Which is smaller: b or 2?
b
Let x be (-28)/(-192) - (-5)/(-6). Is -2 bigger than x?
False
Suppose 2*y - 4*r + 2 = 0, -y + 1 - 6 = -4*r. Let t be -10*4/6*y. Is t > -21?
True
Suppose -134 = 4*p + 3*z, 9*z - 10 = 4*z. Which is greater: p or -32?
-32
Suppose 