Which is greater: q or 4?
4
Let k(f) = -2*f**2 - 4*f**2 + 2 - 4*f + 2 - f**3. Let q be k(-5). Let r be (1 - 3)*(2 - 6/4). Is r >= q?
True
Let s = 10.75 + 0.25. Let a = s - 12. Which is greater: a or 2?
2
Let g be (-1)/(-2)*8 - (0 - 6). Is g >= 66/7?
True
Let j = 223/2 + -106. Which is smaller: 6 or j?
j
Let a = 7 + 3. Let n = a + -7. Let v = n + -3.2. Is 2 not equal to v?
True
Let f = -1.7 + -0.3. Let h = 611 - 611.1. Which is greater: h or f?
h
Let g be -1*(-1 - (0 + 1)). Let o be (-5)/g*32/(-10). Which is smaller: o or 7?
7
Let v = 36 + -52. Let c = -12.2 - v. Let p = 4 - c. Is 0.2 equal to p?
True
Let f = -42 + 38. Are 0.01 and f equal?
False
Let i be 13/3 - 1/3. Suppose 5*k = i*f + 20 - 81, 2*k = -10. Let q be 3/(f/6) - 2. Which is bigger: q or 1/8?
1/8
Let i = -1796/29 - -62. Is 1 equal to i?
False
Let k be (-20)/(-9) - 2/9. Let b be ((-4)/4)/((-1)/k). Is -1 at most as big as b?
True
Let d(i) = i - 3. Let u be d(0). Let b be (u/(-9))/((-3)/9). Is 9/4 greater than b?
True
Let w(b) be the second derivative of b**7/2520 + b**6/720 + b**4/6 + 2*b. Let i(t) be the third derivative of w(t). Let a be i(-1). Is a less than -1?
False
Let x = 3 + -5. Let y = 2 + x. Let h(u) = u + 4. Let t be h(-3). Which is bigger: t or y?
t
Let p(b) = b**2 + 12*b + 2. Let q be p(-14). Which is bigger: 31 or q?
31
Let h = 19 + -13. Let p be h/(-10) + -4 + 5. Suppose 4 = 4*r + 8*s - 4*s, -2*r + 5*s + 16 = 0. Do p and r have the same value?
False
Suppose 0 = -2*i + w, -3*w = 2*i - 0*i. Which is bigger: i or 8/15?
8/15
Let v be (2/42)/(1/4). Let z = -10/3 + 3. Let d = z + v. Which is greater: d or 0?
0
Let m = -2 - -7. Suppose -m*u - 5*x = -45, 0*x - 5*x + 25 = u. Suppose -8 = u*d - d. Is -2 at least d?
True
Let u be 0 - ((-30)/(-3))/1. Let g be u/55 - 304/22. Let a be g/(-8) - 1/(-4). Which is smaller: a or -2/7?
-2/7
Let r = -15/11 + 21/11. Is r >= -5?
True
Suppose 0*d + 3*d + 3 = 0. Let q = 10 - 65. Let y = q + 277/5. Do y and d have different values?
True
Let t(j) = j + 2. Let b be t(0). Let i be (b/3)/((-10)/45). Suppose -3*c - 4*r = 2, 0*c + 1 = c + 3*r. Is i <= c?
True
Let y = 4/61 - 215/488. Let g = 2 - 3. Which is smaller: g or y?
g
Let j be 0 + (-2)/4 - (-29)/2. Which is bigger: j or 16?
16
Let a = 1.33 - 1.2. Which is smaller: -1/3 or a?
-1/3
Suppose 0 = -5*p + 5*m, 0*p + 2*p - 6 = -m. Suppose 3*w + p - 26 = 0. Which is smaller: 2 or w?
2
Suppose -4*i + 32 = 4*i. Let y(t) = t + 10. Let q be y(-6). Is q at most as big as i?
True
Let l = 42.15 + -41. Let x = l - 0.15. Is x < -4?
False
Let h(p) = -p**2 - 11*p - 27. Let b be h(-7). Which is bigger: 3/19 or b?
b
Let d be (0 - 0)/(4 - 3). Suppose -3*s + 2*s - 1 = d. Suppose f + g + 0 = -4, 0 = -4*f - 2*g - 8. Which is bigger: f or s?
f
Let k = 5 - 8. Let o = -16 - -11. Let z = k - o. Which is smaller: 0.1 or z?
0.1
Suppose -u + 3*u = 4*f + 16, 20 = 3*u - 5*f. Let g be -4 - ((-3)/3 + u). Which is smaller: -4 or g?
-4
Let r = 8 - 5. Let n be 3*(47/3 - r). Let p be n/30 - (-2)/5. Are p and 1/2 non-equal?
True
Suppose -5*n + 10 = -5*f, -3*n + 2*n + 4*f = -2. Let s be 2*2 - 3/3. Suppose 0 = -2*c + 4*g + 6, -s*g + g = 2. Which is smaller: n or c?
c
Let q(x) = 8*x + 34. Let s be q(-12). Which is bigger: -61 or s?
-61
Let g = -565/7 + 81. Suppose -2*v + 2 = -4*v. Is g at least v?
True
Let u = 16 - -6. Let r = u - 14. Suppose -2*o + r = x + 1, 9 = 3*x. Is 3/2 <= o?
True
Suppose 12 = -0*u - 3*u. Is u at least as big as -5?
True
Suppose w = -0*g + 4*g - 13, -2*g = 4*w - 20. Let d = 9 + 9. Let j be g/6 - 3/d. Are j and -2 non-equal?
True
Let x = 5.8 + -5.9. Is x >= 1?
False
Let x(m) be the third derivative of m**4/4 - 2*m**3/3 + 2*m**2. Let c be x(-3). Let k be (-4)/c - 57/132. Which is bigger: k or 3?
3
Suppose -8 = -2*m + 6. Suppose -2*y + 5 = -m. Are 6 and y non-equal?
False
Suppose -5*y + 1725935729 = -5*t + t, -3*t = -2*y + 690374286. Let w = y - 8486426059721/24585. Let b = -2/745 - w. Which is greater: 0 or b?
b
Let b = 0 - -2. Let i = b - 2. Suppose i*r + 1 = r. Which is greater: r or 3?
3
Let p = 307 - 309. Let l be -1 + -1 + (-2132)/(-11). Let d = -192 + l. Do p and d have the same value?
False
Let h be -3 + (-80)/(-15) + -4. Which is smaller: -2 or h?
-2
Let w = -0.37 - -0.19. Let n = -0.08 - w. Let b = -0.2 - -0.3. Is n at most b?
True
Let v be (-1 - 0)*(6 + -1). Let b = 57 - 62. Is b at least v?
True
Let p(t) = 11*t - 21. Let r(a) = 7*a - 14. Let c(m) = 5*p(m) - 8*r(m). Let i be c(5). Let g = -3 + i. Is 0 greater than or equal to g?
True
Suppose 0*m = -3*j - 2*m + 27, -2*j + 3*m = -31. Let n = j + -9. Is n not equal to 2?
False
Let t be (-1 - -2 - 0) + 0. Let x be ((-18)/15)/((-1)/5). Suppose -2*p = -5*p + x. Which is smaller: t or p?
t
Suppose -1 = 2*u - 3*u. Suppose 2 = -w + u. Which is smaller: w or -4?
-4
Let s = 55/36 + -16/9. Let z(v) = -2*v - 3. Let t be z(-2). Which is smaller: s or t?
s
Let c(i) = 2*i - 8. Suppose 0 = 7*m - 6*m - 6. Let k be c(m). Let y be (-1)/(-3 - (-11)/k). Does y = 4?
True
Let g = 3 + -5. Let j = -3 + 4. Let b be (5 - 3)/(-2*j). Which is smaller: g or b?
g
Let p(l) = -l**2 - 8*l + 17. Let i be p(-10). Let z be (-21)/(-2)*(-4)/12. Which is greater: i or z?
i
Suppose -i = 2 - 1. Let n(r) = -2*r**2. Let o be n(i). Is o > -2?
False
Let v be (-4)/(-14) + (-19)/(-7). Suppose 5*q - v = 2*q. Suppose s = -2*s. Which is smaller: q or s?
s
Let c be 4*12/16 - 3. Is 2/17 <= c?
False
Let l be 830/4*(33/(-15) + 3). Which is smaller: l or 165?
165
Suppose -2 = j + 10. Suppose -4*w = 0, -u - 4*u - 65 = 5*w. Which is smaller: j or u?
u
Let t(l) = l**2 - 27*l - 12. Let s be t(27). Which is smaller: s or -14?
-14
Let k = 40 + -7. Which is smaller: k or -1?
-1
Let m(l) = -l**3 + 4*l**2 - 7*l + 10. Let u be m(4). Is -19 > u?
False
Suppose 5*q = -3*h + 27, h = -0*h - 5*q + 19. Let b be (h/8 + 0)*0. Which is smaller: -1/2 or b?
-1/2
Suppose 4*v - 2 = -4*g + 14, 5*v - 12 = -3*g. Suppose g = 8*q - 4*q. Suppose -d - 2*y = 0, 3*d - 1 - 2 = -3*y. Is q not equal to d?
True
Let m(p) = -2*p - 11. Let w be m(-5). Let r be 4/1*1/2. Let x be (r/6)/(w/2). Is x != -1?
True
Let q = -1/278 + 567/3058. Let r(s) = s**2 + 5*s + 7. Let t be r(-3). Let o be 8/(-2)*t/(-4). Which is bigger: q or o?
o
Let b = 246/425 - 150047/183600. Let x = b + 5/16. Are x and -1 nonequal?
True
Let l = 0.066 + -0.166. Is l < -7/3?
False
Let j = -136 + 161. Which is smaller: 27 or j?
j
Let f = -0.9 - 2.1. Let t = -10 + 9.8. Is f not equal to t?
True
Let a be (3/(-6))/(33/(-24)). Suppose -4*m = m - 5. Do a and m have the same value?
False
Let r = -2.1 - -2. Let s = 2.04 - 0.04. Let b = s + -2.1. Are b and r equal?
True
Let i be (-1 - 0) + 2 + 1. Suppose 11 = i*b + 3. Suppose -9 - 3 = -b*u. Is u smaller than 3?
False
Let c be 9*-2*(-5)/15. Let d(v) = -v + 7. Let s be d(c). Which is smaller: -2/15 or s?
-2/15
Let m = 780/7 - 112. Is m at least as big as 0?
False
Suppose -y + 0*t + 4*t = -14, -5*y + 2*t = -16. Let z = -2 + y. Is 1 > z?
True
Let m = 8 + -3. Suppose 4*v - 9 + 29 = -5*o, m*v + 25 = -4*o. Which is greater: o or 2/33?
2/33
Let r be (12/(-5))/(33/110). Is 2/3 at least as big as r?
True
Suppose 0 = 2*s + 2*h - 4, s - 5 = h - 3*h. Let r be 1/13*15 + -1. Which is bigger: r or s?
r
Suppose -n = 2*n - 6. Let c be 3/1 + (-2)/2. Is c equal to n?
True
Let c(b) = -b + 5. Let l(o) = 1. Let u(p) = -c(p) + 5*l(p). Let t be u(1). Let r = 0 - -0.1. Which is greater: t or r?
t
Let b = -76607/84 + 912. Is 1 < b?
False
Let c = 31 - 30. Does 2/3 = c?
False
Suppose 2*f - 118 = -2*z, z - 2*z + 3 = 0. Let i be (-207)/f + 3/7. Let l = -25/8 - i. Is 1 > l?
True
Let v be (72/(-135))/((-2)/(-3)). Suppose -3 = 5*g + 3*u - 2*u, 0 = 3*g - 2*u - 6. Is g > v?
True
Suppose -4*y - 1 = -5. Is 2/15 equal to y?
False
Let n be (12/(-9))/(-4)*-3. Let t be n/(-10)*(4 - 5). Which is bigger: -1 or t?
t
Suppose 5*z = 5 - 0, 25 = -5*m - 5*z. Is 2 at most m?
False
Let k = 24 + -8. Which is greater: 17 or k?
17
Suppose -3*l - 3 = 6. Let q = 5 + l. Let w be -7 + 1 + 2 + q. Which is smaller: w or 0.1?
w
Let s(w) = w - 7. Let i be s(7). Let u = i + -2. Let j be 10/(-8)*2/(-10). Which is smaller: j or u?
u
Let h = 0 + -2/5. Let q = 1 + -1. Is q at least h?
True
Let x = -8 + 19. Suppose 19 + 80 = 9*r. Is r at least x?
True
Suppose 14*q - 13*q = 0. Is q greater than or equal to -3/1