 or m?
m
Let y = 17 + -26. Let k = y - -8. Is 1/2 != k?
True
Suppose -9*s - 16 = -5*s. Is s smaller than -4?
False
Let t(m) = -2*m - 11. Let d be t(-6). Let h = 3/31 - 83/217. Which is bigger: d or h?
d
Suppose 5*m = 33 + 142. Let r = m + -243/7. Is r less than or equal to 1?
True
Let x = -0.049 - 0.051. Suppose u - 2*b + 3*b + 82 = 0, 2*u = 2*b - 156. Let w = 402/5 + u. Which is bigger: w or x?
w
Let f(q) = q - 4. Let t be f(5). Suppose -a = 1 - 2. Is t greater than a?
False
Let o = 1 + -1.1. Let a = -39.9 - -40. Which is smaller: o or a?
o
Suppose -5*k = 2*y + 16, 0*k - 2*y = 3*k + 8. Let v(j) = j + 7. Let s be v(-13). Which is bigger: s or k?
k
Let l be -6 + -5 - 1*-6. Which is bigger: 9 or l?
9
Let f = 3426/3289 - 30/253. Are 1 and f equal?
False
Let z = 15 + -18. Suppose u - 4 = 2*q - q, 0 = -4*q - 4*u - 16. Which is smaller: z or q?
q
Let i = -130 + 112.9. Let b = i - -17. Which is bigger: 3 or b?
3
Let o = 6583/12 - 549. Is 1 at least as big as o?
True
Suppose -3*u = 1 - 19. Let a = u + -5. Let v be (-1)/(-4) - (-28)/(-48). Which is bigger: a or v?
a
Let l(i) be the first derivative of i**4/4 - 8*i**3/3 + 7*i**2/2 - 3*i + 2. Let q be l(7). Let n be q/6*1/(-2). Is n > 0?
True
Let t be (1/(-4))/((-68)/32). Is -1 at least t?
False
Let k(l) = -l**3 - 5*l**2 - l - 6. Let m be k(-5). Suppose 3*x + 0*x = 0. Do x and m have different values?
True
Let g = 0.049 - 5.849. Which is greater: 0.1 or g?
0.1
Let f be (-5)/12 - 2/6. Let q = -0.264 - -0.064. Which is smaller: q or f?
f
Let h = -43246 + 390304/9. Let t = -121 + h. Suppose 16*f = 7*f. Which is greater: f or t?
t
Let t be (-33)/21*(-1 + 47). Let x = t + 72. Suppose k + 6 = -3*d, 3*k + 4 = -5*d - 6. Are k and x equal?
False
Let b be 1/((-1)/4*-2). Let a(x) = -x**3 - 6*x**2 - x - 5. Suppose -18 = 5*j + 12. Let z be a(j). Which is greater: b or z?
b
Let w = -0.7 + 1. Let q = -2.7 - w. Let v = q + 3. Is 2 greater than v?
True
Suppose -2*c = c - 18. Let l = c - 8. Is -5 less than l?
True
Let o = -6 - -11. Suppose 4*s - 11 - 5 = o*g, g + 2 = 2*s. Let l = -3 + 2. Is s > l?
False
Let c be 148/(-10) + 0 + 3/(-15). Which is greater: c or -16?
c
Let s = -0.37 - -0.47. Let o be 1*-1*4/(-3). Which is greater: o or s?
o
Let y be 3/2*(-28)/(-231). Let p = 3/44 + y. Which is greater: 3 or p?
3
Let u be (-1)/(-2) - 9/6. Let d be (21*2/3)/(6 + -8). Which is smaller: d or u?
d
Suppose z = 11*z - 10. Which is greater: z or 4/49?
z
Let d(q) = -q + 2. Let y be d(-2). Suppose 2*r + 5*f = -23, -8 = -5*r + 2*r + f. Is y at least r?
True
Let m be -1*2 + 8/2. Suppose -5*v - i - 11 = -3*i, -4*v - 10 = -m*i. Let t = 0.19 + -0.09. Which is smaller: v or t?
v
Let l = -3 + 1. Let o = l - -1.5. Let y = -203/3 + 67. Which is greater: y or o?
o
Let v be ((-4840)/(-244))/5 - 4. Is v not equal to -1?
True
Let u = 9/10 - 2/5. Let a(c) = -c - 5. Let k(p) = -2*p**2 + 2. Let j be k(-2). Let w be a(j). Which is smaller: u or w?
u
Let p be (-159)/(-54) - (1 - -2). Let d be -3 + (-4)/4 - -3. Do p and d have the same value?
False
Let k = 8 - 6. Let j be (k + -1)/(3/6). Is -1 at most j?
True
Let w be (0 - (-2)/6)*18. Let a be 8/28*14/w. Which is smaller: -0.01 or a?
-0.01
Let l(c) = c**3 - 6*c**2 - 9*c + 8. Let z be l(7). Which is smaller: -5 or z?
z
Let v be 0 - -2 - 138/(-28). Let k = v - 7. Which is bigger: 0 or k?
0
Let n(l) = -l**2 - 11*l - 14. Let j be n(-9). Does j = 2?
False
Let x = 520 + -328. Let r be (x/20)/(-4) - -3. Is r at most as big as 0?
False
Let z = 22 + -22. Which is bigger: -4/17 or z?
z
Suppose 0 = w - 4. Let x be ((-3)/3)/((-1)/11). Let i = x + -8. Which is greater: w or i?
w
Let g be (3/6)/(2/4). Let m = 2 - 5. Let u = m + g. Which is greater: -3/4 or u?
-3/4
Let j = 137/6 - 2917/18. Let c = 139 + j. Which is smaller: c or -2/5?
-2/5
Let p = 0.061 - -0.139. Is 1/24 bigger than p?
False
Let c be (3/(-2))/(6/(-8)). Suppose c*f - 6*f = 40. Let l = f + 7. Which is smaller: -1 or l?
l
Let q = -278466 - -182097. Let r = q - -1444739/15. Let l = 53 + r. Which is smaller: -1 or l?
-1
Let s(p) = -p**2 - p + 3. Let a be s(0). Suppose 22 = 5*o + q - 8, 3*o + 3*q - 30 = 0. Suppose 2*w = o*w + a. Is -4/3 bigger than w?
False
Suppose 0*a + 2*a = 2*n - 2, a - 5*n = 3. Let i be (6/(-4))/(1/(-2)). Suppose -2*m = 1 + i. Are m and a unequal?
False
Let g = 37/4 - 9. Which is smaller: -0.4 or g?
-0.4
Let j = -164 + 278. Is j bigger than 115?
False
Let k be ((-189)/(-6))/(-9) + 4. Which is bigger: k or 2?
2
Suppose 0 = -t - 77 + 101. Suppose -k = -2*j + 41, 8*k - 3*k = -4*j + 117. Which is bigger: t or j?
t
Let i = -192/6715 + 2/395. Which is bigger: 0 or i?
0
Let u be (-68)/(-16) + (-1)/4. Suppose 2*s + 2 = u*x, s = 5*x - 6*x - 1. Let g = -18 + 35/2. Is g less than s?
False
Suppose 1 - 53 = 2*l. Let k = l + 21. Suppose -25 = 4*w + w. Are w and k unequal?
False
Let a = -23/14 + 271/182. Which is bigger: -1 or a?
a
Let w = -39 + 40. Let q(p) = -p**2 - 3*p. Let f be q(-3). Which is bigger: w or f?
w
Let h(a) = -a**3 - a**2 - 2*a - 1. Let j be h(-2). Let t be j/9 - (-2)/9. Let p be (10 + -2)/(2*t). Is 5/2 at most p?
True
Let d be (4/(-1))/((-7)/(-28)). Let j = 19 + d. Which is smaller: 1 or j?
1
Let z = -100.03 - -100. Which is smaller: z or 1?
z
Let g be (3/((-6)/(-8)))/2. Let r be (-3 - (-3 - g)) + -2. Let f be 4/14 + (-18)/14. Is r > f?
True
Let u be (-1)/(-1) + 12 + -9. Suppose 4*y - 2 + 10 = u*t, -4*t = -3*y - 9. Which is bigger: -1 or y?
y
Let u = 0.7 - 0.5. Let t = 6 - 5.9. Which is smaller: t or u?
t
Suppose 0 = -4*l - 4*y + 16, -3*l + 0*l - 5*y + 18 = 0. Which is smaller: l or -2/13?
-2/13
Let k be ((-3)/23)/(-3)*-6. Let f = k - -64/69. Is 2/5 less than or equal to f?
True
Let v = -6 + 8. Let t be (-30)/3 - 4/v. Do -11 and t have different values?
True
Let b be 5/15*3/2. Is b bigger than 1?
False
Suppose -4*o - 16 = -8*o + 4*c, -2*o = 5*c + 13. Which is greater: o or -1/93?
o
Suppose 4*h + 0 = 12. Suppose -7*i + 8 = -h*i. Let t be 10/4 - 1/2. Are i and t unequal?
False
Let m = 54/19465 + 104083194/19465. Let f = m - 5330. Let i = 17 - f. Which is smaller: 2 or i?
i
Suppose 30 = -4*t + 2*n + 116, 4 = -4*n. Does t = 20?
False
Let b be (-3 - -9)/(0 + -1). Let k(h) = -7*h + 114. Let j be k(17). Which is greater: b or j?
j
Let l = -8 - -11. Suppose 27 = y + y - 5*f, -18 = -l*y + 3*f. Let z = -350 - -5952/17. Which is bigger: y or z?
y
Let j be (12/36)/((-2)/(-6)). Let b(k) = k**3 - 3*k**2 - k. Let y be b(3). Is j less than y?
False
Let p be 0 - 2 - 246/(-132). Let w = p - -7/22. Suppose n + n = 2. Which is smaller: w or n?
w
Suppose 15 = 3*m + 3. Suppose 5*r = m*r - 1. Let b = -47/3 + 326/21. Which is bigger: b or r?
b
Let p = -0.3 - -0.18. Is p bigger than 2/5?
False
Let a(x) = -5*x**2 + 6*x - 1. Let l(v) = -v**2 + v. Let r = 7 - 6. Let k(h) = r*a(h) - 6*l(h). Let z be k(1). Is -1/3 at most as big as z?
True
Let f = 6 - 6. Suppose 2*k - 2 = f, q + k - 9 = -4. Which is greater: 5 or q?
5
Let h(b) be the third derivative of -b**5/60 - b**4/24 - b**3/6 - 3*b**2. Let k be h(0). Let l = 3 + -3.1. Which is greater: k or l?
l
Let u be (3 + -6)*4/(-6). Suppose u*h = h. Let m be 54/140 - 6/21. Which is bigger: h or m?
m
Let x = -1.47 + 1.57. Is -43 > x?
False
Let p = 110/7 - 405/28. Let w(r) = r**3 + 3*r**2 - 2*r - 4. Let g be w(-3). Is p <= g?
True
Let r be (-5)/(-1) - 0/(-1). Let v = 3 - r. Let p be (v/6)/(2/(-4)). Which is greater: 2 or p?
2
Let c = -10 + 11. Which is greater: -3/46 or c?
c
Suppose -2*p - 2 = 4*r + 18, 4*p + 5*r + 25 = 0. Let g be (6 - 4)/(p - -1). Let f be 0/(g - 3 - -3). Which is greater: -3 or f?
f
Let h(r) = -r**3 + 6*r**2 - 3*r - 6. Let a be h(5). Suppose -7*p = -a*p + 9. Let n be p/(-36) - 2/(-8). Is 1 less than n?
False
Let o be 3 + -2 + 0 - -3. Which is bigger: o or 2?
o
Suppose -r = -3*r - 6. Is -5 at least as big as r?
False
Let a be -17 + ((-1)/(4/(-32)))/(-2). Which is greater: a or -20?
-20
Let x(m) = -m**2 - 6*m - 14. Let q be x(-7). Which is bigger: -20 or q?
-20
Let h = 3767/15 - 251. Let n(b) = -b**2 - 10*b. Let f be n(-10). Is f > h?
False
Let x be 2774/(-143)*2/(-4). Let a = -93/13 + x. Let z = a + -62/33. Which is greater: 2 or z?
2
Let s be (-1)/(-3) + (-4)/(-6). Suppose -3*a + 5*a = 0. Suppose -5*j - 3*r - 7 = a, 4*j - r = 3*r + 20. Is j < s?
False
Suppose 4*w = -w. Suppose w = -2*r - 4. Suppos