t as big as w?
True
Let q = -2 + 1.98. Let l = q + 2.02. Let p be (-3 + 1)*3/9. Which is greater: l or p?
l
Let g = -28 - -35. Which is smaller: 6 or g?
6
Let h be (14/(-21))/(1/(-15)). Let y be (3/h)/(30/(-25)). Is 1/6 > y?
True
Let d = -91/4 - -24. Is d at least 2?
False
Let j = -0.422 + 0.022. Is -1 > j?
False
Let t(f) = -f**2 + 3*f - 1. Let w be t(3). Is -1/18 bigger than w?
True
Let n(b) = -b**2 - 2 - 2*b + 4*b - b - 6*b. Let c be n(-5). Is -2 > c?
False
Let d(n) = n**2 - 7*n - 11. Suppose -o + 8 = -0*o. Let v be d(o). Is -3 at most as big as v?
True
Let t = 1 + -0.8. Let b = 0.5 - 0.2. Which is greater: t or b?
b
Let r = -65 - -64.73. Let k = -0.73 + r. Let d = 6 + -4. Is k < d?
True
Let f be ((-9)/(-6))/(12/16). Which is greater: -10 or f?
f
Let s(c) = c - 4. Let y be s(3). Which is bigger: y or 3/11?
3/11
Suppose -w - 4*w = 2*n + 38, n = w - 5. Let d be -2*(-4)/312*n. Which is smaller: -1 or d?
-1
Let o(m) = m**2 + 4*m + 2. Let t be o(-4). Suppose 3*n + 0*n - 3 = 2*d, t*n - 2 = -3*d. Is 3 bigger than n?
True
Let u = -21 - -15. Let j = u + 12. Let p = -9 + j. Is -0.1 <= p?
False
Let c be (-3 + 4)*(2 + -1). Is c != 1/4?
True
Let n = -1 + -7. Let y be n/(-36) - (-40)/(-18). Let b be (y/8)/(15/24). Which is smaller: 2/7 or b?
b
Let v = -2689/660 - -49/12. Are -2/3 and v unequal?
True
Let h = -1.4 - -0.2. Let y = h + 0.2. Let d = -0.5 - -0.6. Is y < d?
True
Let m be (-3)/(-5) - (-6)/(-10). Suppose 3*j + 12 = 0, -4*j + 2 = 4*i - 2. Suppose 5*h - i*o - 25 = -0*h, 3*h - o = 5. Is m >= h?
True
Suppose 2*h = -5*a + 20, 0 = 3*a + h - 8 - 4. Let r = a - 3. Let v = 0 + 1. Is r equal to v?
True
Let h = 8649/35260 + 23/430. Let t = -2/41 + h. Is t bigger than -6?
True
Let b = 51 + -50.9. Let y = 0.2 - 0.4. Let f = y + 1.2. Is b < f?
True
Let n be 4/(-18) - 60/216. Do n and -2 have the same value?
False
Suppose 5*m - 26 = -r - 3*r, -2*r + 16 = 4*m. Suppose 3*j - 1 = -q, 2*q = -r*j - j + 2. Suppose j*d - 3*d = 0. Is 1 equal to d?
False
Suppose -z - 7 = -w, -5*w + 13 + 19 = -4*z. Let a be 255/54 - w/18. Is a >= 5?
False
Let r = -0.07 + 0.17. Let g = 1.9 - 2. Is g at most as big as r?
True
Let f = 45 + -46. Which is bigger: 4/27 or f?
4/27
Let d = -11 - -22. Let z = d - 5. Let m be ((-3)/z*2)/(-1). Is 1 != m?
False
Suppose 0 = -g + 2*g + 2, -3*d + 8 = -g. Suppose d*u + 8 = -2*u. Let i be (u + 33/9)*3. Are i and 6 nonequal?
True
Let u = 73/495 + -2/55. Let q = -562 + 561. Which is bigger: q or u?
u
Suppose -5*u + 6 = z - 20, -z + 2*u = 2. Is z >= 4?
True
Let q(n) = 4*n - 5*n + 0*n - 5. Let b be q(-5). Suppose -4*i + 4*p = 8, -3*i + 2*p - 7 + 2 = 0. Which is greater: i or b?
b
Let r be ((-72)/(-27))/(6/(-27)). Is -12 at least as big as r?
True
Suppose -2*g = n + 4, -2 = -4*n - g - g. Suppose n*y + 2*y = 0. Is y at most as big as -2/15?
False
Let z = -20.6 + 19. Let a = 201.67 - 200. Let n = a + z. Is -1/3 less than n?
True
Let y = 6 + -5.6. Let t = 1 - 1.2. Let m = y + t. Do m and 0.2 have the same value?
True
Suppose 5*n = 4 + 1. Let t = 2 - 5/3. Which is bigger: n or t?
n
Let h be 2/10 - 28/(-10). Let w(k) = -k**2 + 8*k + 4. Let d be w(8). Suppose 25 - d = -h*r. Is r != 0.1?
True
Let x = 19 - 16. Which is smaller: 1 or x?
1
Let p be (-7)/(-5)*(-6)/(-21). Which is bigger: p or 0.6?
0.6
Suppose -16 = l - 3*l. Which is greater: l or 7?
l
Let q(m) = m**2 + 5*m - 6. Let i be q(-5). Let c be i/(-4)*4/3. Suppose 2 = -b + 4. Is b < c?
False
Let b = 1.153 - 1.1. Which is smaller: 2/5 or b?
b
Let c = -1 - -4. Let y = -3 + c. Which is greater: 15 or y?
15
Suppose 7*f - 2*f + 5*t = -170, 9 = -3*t. Is -29 at least as big as f?
True
Let s = 29/5 - 31/5. Is 9 < s?
False
Let l(n) = n**2 - 1. Let f be l(0). Is 1 greater than f?
True
Let u = 131 - 653/5. Let c = -1.6 + 9.6. Let t = 7 - c. Which is smaller: t or u?
t
Let t be (-8)/(80/(-6)) + (-103)/5. Which is smaller: -19 or t?
t
Let m = -0.06 - 1.94. Let c = 1.34 - 0.14. Let i = -0.2 + c. Which is bigger: m or i?
i
Let w be (-4)/(-7) - 12/(-28). Is 5/8 > w?
False
Let b be (1/(-21))/(14/(-42)). Is 0 > b?
False
Let j = 34443253/21 - 1640454. Let a = 299 + j. Which is greater: 1 or a?
1
Let v(o) = o**3 - o**2 - o - 2. Let f be v(2). Which is smaller: -6/5 or f?
-6/5
Let y be 2*(-1 + 30/27). Let d = -39 + 36. Is y >= d?
True
Let a = 0.06 - 0.46. Which is greater: -0.1 or a?
-0.1
Let c be (-5)/10 + (-23)/(-2). Let n = 14 - c. Is n smaller than 10/3?
True
Let j(v) = -v**2 + 11*v - 23. Let x be j(8). Let o(p) = p**2 + 4*p - 7. Let s be o(-6). Suppose -s*i = -3*i. Is x not equal to i?
True
Let t(b) = -9*b + 8. Let n(w) = -5*w + 4. Let d(l) = l - 6. Let o be d(0). Let s(x) = o*t(x) + 11*n(x). Let y be s(-4). Are 3 and y unequal?
True
Let l be 3/9*-2*3. Let n be 2*(l/4 + 2). Suppose -n = -3*d - 0. Is 1/2 <= d?
True
Let x be -1 + -1 + (1 - -7). Suppose 12*a + 2*a - 70 = 0. Is x at most a?
False
Let r be 60/24 - (-1)/2. Let k be (8/(-3) - -1)*-6. Suppose -4*j + 3*v + 9 = 0, -4*j - 5*v = -9*j + k. Is r <= j?
True
Let o = 35 - 22. Suppose -t - o = -4*i, -2*i + 4*t + 21 + 3 = 0. Do i and 2 have different values?
False
Let j be (-2)/(-2)*18*3. Let m be (21/j)/7*-4. Let p = 0 - 1. Which is smaller: m or p?
p
Suppose -5*y - 13 = -2*p + 6, 3*y - 4*p + 3 = 0. Is y greater than -4?
False
Suppose -2*y - 10 = -12. Let x be 9/212*(-24)/(-9). Let h = 64/371 + x. Is h less than y?
True
Let r(a) = 5*a**2 - a. Let v be r(1). Let z = 7 - v. Suppose -z*n - 8*o + 3*o - 13 = 0, -o - 9 = -n. Does n = -0.2?
False
Let z(i) be the third derivative of i**6/120 - i**5/60 - i**4/8 + i**3/2 - 2*i**2. Let k be z(2). Which is bigger: k or 0?
k
Suppose -2*j + 0*j = 0. Which is bigger: j or 2/113?
2/113
Suppose 2*s = 6*j - 5*j + 3, s = -5*j + 7. Suppose -3*p = -4*p + s. Let u be (3/2)/(-3) - -1. Is p at most as big as u?
False
Suppose -10 = 5*f, -3*m + 2*f = -4*m - 5. Let b be -2 - -1*(3 - m). Let a be (-2 - 1)/(3/b). Which is bigger: -1 or a?
-1
Let d be 6*3/(-8) + 2. Which is greater: d or -1?
d
Let u = -2.045 + 0.045. Which is smaller: u or -0.2?
u
Let p(i) = 2*i + 5*i - 2*i + i**2 - 6 - 3*i. Let c be p(4). Suppose -2*f - f = c. Is -6 greater than f?
False
Let w = 479 + -1471/3. Which is smaller: w or -10?
w
Let u = -8 + 171/22. Which is smaller: u or 1?
u
Let t = 10 + -8. Suppose 13 = -5*g - t. Which is greater: -2 or g?
-2
Let m be 7/(-14) + ((-3)/6)/(-1). Which is smaller: m or 3/74?
m
Let z = 2/71 + -147/2698. Is z > -2/3?
True
Let t = 29 + -33. Which is greater: 0.4 or t?
0.4
Suppose 2*t - 60 = -t. Suppose -2*l + 6*l = -t. Is -5 equal to l?
True
Suppose 5 = -5*b - 10. Let h = -1741/510 - -49/15. Let w = h - 6/17. Which is bigger: w or b?
w
Suppose -2*x = -0 + 2. Let i be ((-18)/(-16))/x - -1. Which is greater: i or 1/4?
1/4
Let m = -9.4 + 19.8. Is -1 > m?
False
Let r be ((-50)/14)/1 + 3. Suppose 2*g - g + 5 = 0, -4*l = 5*g + 29. Is l < r?
True
Let d = 92 + -59. Are d and 32 non-equal?
True
Let g be (-1581)/(-315) + -2 + -3. Is -1 greater than g?
False
Let m = 406 + -4879/12. Let d = -1/3 - m. Let i(g) = -g**2 + 3*g - 3. Let o be i(2). Is o less than d?
True
Let c(s) = 13*s**2 + 17*s - 3. Let l(y) = 3*y**2 + 4*y - 1. Let q(d) = -2*c(d) + 9*l(d). Let a be q(2). Suppose -a*p + p = -4. Does -1/4 = p?
False
Let s be (-1)/3 - (-35)/(-21). Is s not equal to -2?
False
Let l = -144 + 145. Do 57 and l have the same value?
False
Let i = -377/255 - -24/17. Which is smaller: i or -1?
-1
Let r(f) = -f - 4. Let w be r(-4). Let i be 0 - ((-3)/1 - -3). Let h be (3 - i) + (-4)/1. Which is bigger: w or h?
w
Let o = -4 + 4. Let p = 0 + 3. Let l = o + p. Which is bigger: 2 or l?
l
Let y(x) = -x**2 - 7*x - 7. Let m be y(-6). Let r = -2 + -7. Let l be (-2)/3 - 4/r. Is l equal to m?
False
Suppose 4*c = -6 + 2, -n - 17 = -4*c. Let t be (-5)/(-3) - 7/n. Suppose -5*z = j - 9 - 6, -4*z = t*j - 12. Which is greater: 3/7 or j?
3/7
Suppose z - 5*i + 13 = -21, 4*z + 5*i = -136. Let u be (-12)/(z/4 + 1). Which is smaller: u or 2?
u
Suppose -6*a + 3*a + 2*t = 2, 3*a + 3*t + 27 = 0. Which is greater: 3 or a?
3
Suppose 0*n + 3*n = 27. Is n > 9?
False
Let c(v) = -4*v - 1 + 0*v + 3*v + 38*v**3. Let b be c(-1). Let f be b/(-84) + 3/(-18). Which is bigger: -1/3 or f?
f
Suppose -12 = -4*u - 4*y, 0 = -3*u + 2*y + y + 9. Suppose u*b - 72 - 3 = 0. Let t be ((-2)/(-5))/((-30)/b). Which is great