)/50. Which is greater: 11 or u?
11
Suppose -2*n = -7 + 3. Which is greater: -0.5 or n?
n
Suppose -4*o = -2*o - 6. Let a = -9 + o. Let c be 16/(-15) + (-4)/a. Is 1 < c?
False
Let n = -1/89 - 707/445. Let c be (-2 + 1)/(2/6). Is c less than n?
True
Let s be 2 + (-3)/((-18)/(-15)). Are 0.05 and s nonequal?
True
Let o = -8/19 - -37/133. Suppose 0*b = 3*b + 3. Which is bigger: o or b?
o
Let t = 1423 - 5727/4. Let o = t + 9. Is 0 at least o?
False
Let w be (2 + -8)/(-2 - -1). Suppose 4*v - 4*i + i = -w, -5*v = 3*i - 6. Is v equal to -1?
False
Let g(c) = c**3 + 6*c**2 + 5*c. Let m be g(-5). Which is greater: m or 1/2?
1/2
Let d = -157 + 176.6. Let g = d - 20. Is 0 != g?
True
Suppose -4*k = d - 4, 5*k + d + 4*d + 10 = 0. Suppose 0*j = j - k. Which is smaller: 1 or j?
1
Let j be (18/32)/(30/20). Let n be 2/4*(-1 + 1). Which is greater: n or j?
j
Let m be 2*(540/32)/(-1). Let r = m + 389/12. Is 0 less than r?
False
Let f be (-3)/12*-10 - 2. Is 1 less than f?
False
Let s(b) = -b**3 + 6*b**2 - 1. Let u be s(6). Does u = 2/27?
False
Suppose -5*p = -0*p. Suppose 4*q + 1 = 3*o, p = -5*o + 3*q - 4*q - 29. Let s = o - -6. Which is greater: -1 or s?
s
Let w = 16 + -16.1. Let y = 0.05 + -4.05. Let l = y - -3. Is l at most w?
True
Let t = 292 + -268.1. Let l = 24 - t. Which is smaller: l or -1/3?
-1/3
Let s = -17 - -17.03. Let l = -0.03 + s. Which is bigger: 0.1 or l?
0.1
Let n = 2.1 - 2.2. Let y = -743/13 - -57. Which is greater: y or n?
n
Let i be -15 - (3 + 2 + -3). Let r = i - -25. Are r and 7 nonequal?
True
Suppose 5*u = -5*r + 35, r + 4*u - 1 = 6. Do 6 and r have different values?
True
Let w = 8 + 4. Let m be (w/(-15))/(4/70). Which is smaller: -12 or m?
m
Let u = 244 + -745/3. Which is smaller: -4 or u?
u
Let m be 10/(-6)*(-9)/135. Is -1 at least as big as m?
False
Let k = 2.2 + -2. Let i = 5 + -8. Let h = i - -2. Which is greater: h or k?
k
Let r(h) = -h**2 - 7*h - 5. Let l be 6*(-9)/(-6)*5. Suppose 0 = -5*m - 5*c - l, 4*m - 3*c = m - 9. Let o be r(m). Is 1/2 at least as big as o?
False
Let p = 2 - 4. Let i = -2259/820 - -1/205. Is p != i?
True
Let t be 96*(-2 + (-204)/(-56)). Let o = 158 - t. Which is bigger: o or -1/3?
o
Let b = -2.25 + 0.25. Which is greater: 0 or b?
0
Let o(n) = -n**2 - 9*n - 8. Let k be o(-8). Let r be (k/(12/3))/(-2). Let q be (1 - 0) + (-21)/15. Is r greater than or equal to q?
True
Let s = -62/63 + 10/7. Let m = 5.7 - 5.8. Is s at most m?
False
Let t = 86 - 82. Is 2/7 greater than or equal to t?
False
Suppose 7 = 2*c + 5*d - 18, 31 = 2*c - d. Let q be (4/c)/(12/(-10)). Suppose -3*b - b = 4. Is b at least q?
False
Suppose -5*t - 5 = 2*v, 5*t - 18 = 5*v + 12. Is t < -3?
False
Let x(p) = 164*p + 2. Let g be x(2). Let r = g - 1656/5. Which is smaller: r or 0?
r
Let k be 21/6 - (-3)/6. Suppose 4 = -k*s + 16. Suppose 0 = 5*d + s*q - 4 - 0, -2*q = 4*d - 2. Which is smaller: -2 or d?
-2
Let s = -329/5 - -66. Which is smaller: -0.3 or s?
-0.3
Let m(y) = -4*y**3 + y**2. Let g be m(-1). Let b = -2 + g. Let u = 64 + -60. Which is greater: u or b?
u
Let x(j) = -4*j + 60. Let i be x(18). Is -10 at least i?
True
Let y be -2 - ((-1)/3)/(3/27). Which is smaller: y or -2/5?
-2/5
Let z = 0.79 + 0.11. Let v = 0.1 + z. Is v at least as big as 0.11?
True
Suppose -4*n - 9 = s, 2*s + s + 3 = 0. Which is bigger: n or -3?
n
Let q(x) = -x**3 + 5*x**2 + 5*x + 8. Let t be q(6). Suppose 2*n - 4*n = t. Which is smaller: -2/7 or n?
n
Let z(n) = -n**2 - 15*n + 11. Let f be z(-14). Is f >= 22?
True
Suppose -4*q + 7*q = 5*m + 8, -m = q. Suppose k - 24 = -k. Let d = -12 + k. Which is smaller: m or d?
m
Let v be -1 + -3 + 4 + -1. Is v < -2?
False
Suppose -3*a = -0*g - 4*g + 36, 3*a = -2*g. Let t be 120/207 - 4/g. Let v = -28/207 + t. Are v and 0 unequal?
True
Let y = -40.9 - -41. Does y = -0.1?
False
Let f = 0.7 + -0.5. Suppose 3*z - 5*x + 17 = 2, 0 = -4*z + x - 3. Let b = 0 + z. Is f bigger than b?
True
Let r = -2272/15729 + 14/107. Which is bigger: 0 or r?
0
Suppose 31 = 3*g - 32. Let w be 2/(-3) + g/(-9). Is -3 greater than w?
False
Let l = -9 - -8. Let u be (4/(-10))/l*5. Suppose x - 3*f + 0*f = -1, x = -u*f - 1. Is 0 smaller than x?
False
Let u = -550 - -550. Let d(o) = o**2 - 5*o + 2. Let p(j) = -j**2 + 7*j - 6. Let m be p(5). Let n be d(m). Which is smaller: u or n?
n
Let r be 12/10*(-15)/(-6). Let s = r - 4. Is -2 greater than s?
False
Let v be (-13)/(-12) + 5/20. Are 0 and v unequal?
True
Suppose 0 = -0*m - 5*m. Let r be (12/9)/2*3. Suppose m*o + r = o. Which is smaller: 1 or o?
1
Let i(p) = p**2 + 10*p + 17. Let h be i(-8). Which is greater: h or -4?
h
Let n = -268/9 - -30. Which is smaller: n or 8/3?
n
Suppose -2 = -7*m + 6*m. Let d = -12 - -17. Let b(y) = -y**2 + 4*y + 7. Let j be b(d). Is m less than j?
False
Let c(r) be the third derivative of -r**5/60 + 8*r**2. Let w be c(0). Is -2 bigger than w?
False
Let q = 57.06 + -57. Let v = -0.3 - -0.1. Do q and v have different values?
True
Let t be 33/(-18)*-3*4. Suppose -4*g + 2*g + 5*d + t = 0, d + 2 = -2*g. Are 1/2 and g nonequal?
True
Let q = -10 + 3. Let x be ((-2)/q)/(-1 + 0). Let g be (-1)/(-7)*7/(-6). Is x smaller than g?
True
Suppose 4*l - 2 = 2*l. Let b be (2/2)/(-2 + l). Let d = 13 - 9. Is b at most d?
True
Let b be ((-6)/18)/((-3)/(-9)). Which is bigger: b or 4/11?
4/11
Let l = 527 + -5793/11. Let g = -4 + 4. Are g and l unequal?
True
Suppose -5*t + 19 = a, -a = -0*a - 5*t + 21. Let l = a + 1. Which is greater: -2/3 or l?
l
Let c be 1/1 - (1 - 3). Suppose 20 = -c*d - d. Let q be 1/9*(-6)/d. Which is smaller: q or 0?
0
Let r be ((-3)/(-2))/(-3)*-22 - 3. Let q be (-5 + 1)*2/28. Which is greater: q or r?
r
Let j be 1/6 + (-5)/(-24). Let c be -3 + 1 + 6 + -3. Do c and j have different values?
True
Let f = -14 + 16. Suppose 0*p + 24 = 3*p + 3*d, -p - 12 = -3*d. Are p and f nonequal?
True
Let t = 4157/9 - 461. Let z = -7 + 7. Which is bigger: z or t?
t
Let o = -12 + 9. Let s(x) = 3*x - x - 3*x. Let c be s(2). Is o equal to c?
False
Suppose 8*h - 2*z + 20 = 3*h, -5*z = -5*h - 35. Let q be 3/(h - (-3)/6). Suppose -2*t = 5*o - 8*o - 13, -t - 6 = o. Is t smaller than q?
False
Let x = -2 - -6. Suppose -x*n + 15 = -21. Is n bigger than 10?
False
Let a(o) = o**2 - 2*o. Let p be a(1). Let z(j) be the third derivative of j**4/24 - j**2. Let t be z(p). Are -1 and t non-equal?
False
Suppose 2*h - 13 = 3*o, 1 = -2*h - 2*o + 9. Suppose -2 - 3 = h*j. Suppose 4*v = 5*v. Which is smaller: j or v?
j
Suppose -11 = 3*u - f, 0 = 2*u - u - 2*f + 12. Which is smaller: 12 or u?
u
Suppose 0 = -p - 1 - 2. Suppose 0*v + 2*v = 26. Suppose 5*i - 3*u = -v, -5*i - u = -2*i + 5. Is p greater than or equal to i?
False
Let d(f) = f - 18. Let r be d(10). Let c be 2/(-4)*16/r. Which is bigger: -4 or c?
c
Let o(p) = -p**3 + 6*p**2 - p + 7. Let r be o(6). Is -1/10 >= r?
False
Let u(t) = -3*t**3 + t**2 - t - 2. Let a be u(-2). Let p be (-6)/a*2/(-3). Suppose -20*z = -24*z - 4. Is p less than z?
False
Let q = -0.05 - -0.1. Let a = q - 1.05. Is 1/2 greater than or equal to a?
True
Let d be (1 + 0)*7/6. Is 2 at least as big as d?
True
Let y = -19/52 + 8/13. Let a = 2.4 - 1.4. Is a > y?
True
Let z(a) = 2*a + 1. Suppose -w - 35 = 5*u, -2*u + 3*w = -2*w + 14. Let q(k) = k**2 + 8*k + 8. Let d be q(u). Let m be z(d). Which is bigger: 2 or m?
m
Let o = 22 + -20.7. Let l = o - 1.2. Are -0.9 and l unequal?
True
Let y = -11 + 19. Let b = y - 7.7. Let z = 0.1 - b. Which is bigger: z or 1?
1
Let m be 11/((3/(-21))/((-6)/(-7))). Which is smaller: m or -65?
m
Let o = -87 + 439/5. Suppose -3*h + 9 = 3*j, 2*j + 8 = h + 4*h. Suppose -2 = -a + 2*d + 2*d, -2*d = h*a - 4. Do a and o have the same value?
False
Suppose 5*p - 5*m + 100 = 0, -p + 3*m + 84 = -4*p. Which is smaller: -23 or p?
p
Let d = -11 - -25. Is 1 != d?
True
Let t = -10893/28 + 389. Does t = -0.02?
False
Let a = 19.11 + -19. Which is greater: 3 or a?
3
Suppose 4*w = -16, 2*u - 6*u = -4*w - 8. Which is smaller: u or -2/3?
u
Let a(u) = u - 1. Let q be a(1). Let p be -1*10477*3/63. Let h = -499 - p. Does h = q?
False
Let y = -2 - -4. Let w(m) = -m**3 + m**2 + 2*m + 1. Let f be w(y). Which is smaller: 2/13 or f?
2/13
Let v = -87 - -88. Which is greater: 1.2 or v?
1.2
Suppose -5*j + j + 4 = 0. Let a be -2 + (6 - j)*1. Suppose 0*i + 7*i = 21. Is a at most i?
True
Let j be (-6)/18 + 20/6. Let p = 4 